Verification of speed-dependences in single-rail handshake circuits
- 27 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Timing-reliability evaluation of asynchronous circuits based on different delay modelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- How fast will the flip flop?Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Efficient implementation of a BDD packagePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Event-driven verification of switch-level correctness concernsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A FIFO ring performance experimentPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Stretching quasi delay insensitivity by means of extended isochronic forksPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Asynchronous CircuitsPublished by Springer Nature ,1995
- Receptive process theoryActa Informatica, 1992
- A formal approach to designing delay-insensitive circuitsDistributed Computing, 1991
- Analysis of digital circuits through symbolic reductionIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1991