The general synthesis problem for asynchronous digital networks
- 1 January 1967
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
The notion of behavior is defined for an asynchronous digital network. A necessary and sufficient condition for the existence of a network having a given behavior is that the behavior be regular in a general sense.Keywords
This publication has 13 references indexed in Scilit:
- Testing and generating infinite sequences by a finite automatonInformation and Control, 1966
- Asynchronous propagation-limited logic7th Annual Symposium on Switching and Automata Theory (swat 1966), 1966
- Feedback in Asynchronous Sequential CircuitsIEEE Transactions on Electronic Computers, 1966
- Infinite sequences and finite machinesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1963
- A survey of asynchronous logic: Comparing various definitions and models for asynchronous switching circuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1963
- Finite automata and badly timed elementsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1963
- Sequential circuit synthesis using input delaysPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1963
- An introduction to speed independent circuit theoryPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1961
- Hazards and Delays in Asynchronous Sequential Switching CircuitsIRE Transactions on Circuit Theory, 1959
- The Design and Use of Hazard-Free Switching NetworksJournal of the ACM, 1957