Timing analysis for extended burst-mode circuits
- 22 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
We describe an efficient timing analysis technique for extended burst-mode circuits implemented according to the 3D design style. Gate-level 3D circuits with uncertain component delays are analyzed, and safe bounds on timing constraints for correct circuit operation are computed. We employ two passes of multi-valued logic simulation to precisely identify gates where timing constraint violations manifest themselves. Signal propagation delay bounds from the primary inputs to these gates are then used to compute global timing constraints for correct circuit operation. Timing constraints identified by our tool represent conservative approximations to the true timing requirements in the worst-case. In practice, our results are accurate on almost all of the 3D benchmarks we have experimented with.Keywords
This publication has 22 references indexed in Scilit:
- Simulation Of Digital Circuits In The Presence of UncertaintyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Unifying synchronous/asynchronous state machine synthesisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Direct synthesis of hazard-free asynchronous circuits from STGs based on lock relation and MG-decomposition approachPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Coded time-symbolic simulation using shared binary decision diagramPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- More accurate polynomial-time min-max timing simulationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Synthesis of hazard-free asynchronous circuits with bounded wire delaysIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1995
- Hazard-non-increasing gate-level optimization algorithmsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1992
- Time-symbolic simulation for accurate timing verification of asynchronous behavior of logic circuitsPublished by Association for Computing Machinery (ACM) ,1989
- Diagnosis & Reliable Design of Digital SystemsPublished by Springer Nature ,1976
- An Algebraic Model for the Analysis of Logical CircuitsIEEE Transactions on Computers, 1974