Synthesis of speed-independent circuits from algebraic specifications
- 6 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- An algebraic model for asynchronous circuits verificationIEEE Transactions on Computers, 1988
- Verification of Asynchronous Circuits: Behaviors, Constraints and SpecificationsPublished by Springer Nature ,1988