Algorithms for interface timing verification
- 2 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Synthesis of timed asynchronous circuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Specification and analysis of timing constraints in signal transition graphsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Asynchronous self-timed circuit synthesis with timing constraintsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Consistency and satisfiability of waveform timing specificationsNetworks, 1991