ATV: an abstract timing verifier
- 6 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 154-159
- https://doi.org/10.1109/dac.1988.14751
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- SCAT---a new statistical timing verifier in a silicon compiler systemPublished by Association for Computing Machinery (ACM) ,1986
- Plug-in timing models for an abstract timing verifierPublished by Association for Computing Machinery (ACM) ,1986
- A Switch-Level Timing Verifier for Digital MOS VLSIIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1985