Design and analysis of delay-insensitive modulo-N counters
- 1 December 1993
- journal article
- research article
- Published by Springer Nature in Formal Methods in System Design
- Vol. 3 (3) , 211-232
- https://doi.org/10.1007/bf01384074
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Delay-insensitive circuits: An algebraic approach to their designPublished by Springer Nature ,2005
- A formal approach to designing delay-insensitive circuitsDistributed Computing, 1991
- Performance Analysis and Optimization of Asynchronous CircuitsPublished by Defense Technical Information Center (DTIC) ,1990
- MicropipelinesCommunications of the ACM, 1989
- Networks of communicating processes and their (De-)compositionPublished by Springer Nature ,1989
- Trace Theory for Automatic Hierarchical Verification of Speed-Independent CircuitsPublished by MIT Press ,1989
- Trace theory and systolic computationsLecture Notes in Computer Science, 1987
- A formal model for defining and classifying delay-insensitive circuits and systemsDistributed Computing, 1986