User's Guide to ATV, an Abstract Timing Verifier

David E. Wallace

EECS Department
University of California, Berkeley
Technical Report No. UCB/CSD-88-426
June 1988

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1988/CSD-88-426.pdf

ATV, the Abstract Timing Verifier, is a program to perform static timing analysis of dependency graphs derived from logic designs, analyzing worst-case paths using an abstract representation of time and delays that enables a user to choose different representations of time and delays for the analysis.

This technical report describes how to use ATV to analyze designs, including clock phrase length analysis of designs that include transparent latches. Background information on the principles behind ATV, including descriptions of several models not yet implemented in ATV, is presented in the main body of my dissertation, available as the companion technical report, Abstract Timing Verification for Synchronous Digital Systems.


BibTeX citation:

@techreport{Wallace:CSD-88-426,
    Author = {Wallace, David E.},
    Title = {User's Guide to ATV, an Abstract Timing Verifier},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1988},
    Month = {Jun},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1988/6050.html},
    Number = {UCB/CSD-88-426},
    Abstract = {ATV, the Abstract Timing Verifier, is a program to perform static timing analysis of dependency graphs derived from logic designs, analyzing worst-case paths using an abstract representation of time and delays that enables a user to choose different representations of time and delays for the analysis. <p>This technical report describes how to use ATV to analyze designs, including clock phrase length analysis of designs that include transparent latches. Background information on the principles behind ATV, including descriptions of several models not yet implemented in ATV, is presented in the main body of my dissertation, available as the companion technical report, <i>Abstract Timing Verification for Synchronous Digital Systems</i>.}
}

EndNote citation:

%0 Report
%A Wallace, David E.
%T User's Guide to ATV, an Abstract Timing Verifier
%I EECS Department, University of California, Berkeley
%D 1988
%@ UCB/CSD-88-426
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1988/6050.html
%F Wallace:CSD-88-426