Automatic synthesis of asynchronous circuits from high-level specifications
- 1 January 1989
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
- Vol. 8 (11) , 1185-1205
- https://doi.org/10.1109/43.41504
Abstract
The authors construct a processor design approach that does not require the distribution of a clocking signal. To facilitate design of processors that use fully asynchronous components, the first step is to design hazard-free asynchronous interconnection circuits. To this end, a deterministic algorithm was developed to synthesize asynchronous interconnection circuits from high-level specifications. This approach systematically designs correct asynchronous interconnection circuits with the weakest possible constraints and minimal overhead. The authors are primarily concerned with the synthesis of nonmetastable circuits, even though the procedure is also valid of metastable circuit synthesis. The synthesized logic is hazard-free and guaranteed to have the fastest operation according to a behavioral specification. A high-level description is used to specify circuit behavior, not only for a simpler input format, but also as a basis for determining the final optimum designs. Automatic synthesis and the ability to localize the timing considerations reduce design effort when systems become complexKeywords
This publication has 42 references indexed in Scilit:
- MIS: A Multiple-Level Logic Optimization SystemIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1987
- Compiling communicating processes into delay-insensitive VLSI circuitsDistributed Computing, 1986
- A 15ns CMOS 64K RAMPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1986
- Random logic design utilizing single-ended cascode voltage switch circuits in NMOSIEEE Journal of Solid-State Circuits, 1985
- Cascode voltage switch logic: A differential CMOS logic familyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1984
- Wavefront Array Processor: Language, Architecture, and ApplicationsIEEE Transactions on Computers, 1982
- Modeling and Digital Simulation for Design Verification and DiagnosisIEEE Transactions on Computers, 1976
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- Marked directed graphsJournal of Computer and System Sciences, 1971
- Infinite sequences and finite machinesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1963