ACTAS: An Accurate Timing Analysis System for VLSI
- 1 January 1985
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Timing Verification and the Timing Analysis programPublished by Association for Computing Machinery (ACM) ,1982
- Logic simulation for LSIPublished by Association for Computing Machinery (ACM) ,1982
- Hierarchical Design Verification for Large Digital SystemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1981
- A Critical Path Delay Check SystemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1981
- Verification of timing constraints on large digital systemsPublished by Association for Computing Machinery (ACM) ,1980