Synthesis of asynchronous state machines using a local clock
- 10 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 192-197
- https://doi.org/10.1109/iccd.1991.139879
Abstract
A novel, correct design methodology for asynchronous state-machine controllers is presented. The goal of this work is a design style as close to a synchronous one as possible, but with the advantages of an asynchronous method. The implementations realize asynchronous state-machine specifications using standard combinational logic, flow latches as storage elements, and a locally-generated clocking signal that pulses whenever there is a change in state. This design style allows multiple input changes which can arrive at arbitrary times. The implementations use a minimal or near-minimal number of states. It also allows arbitrary state encoding and flexibility in logic minimization and gate-level realization, so it can take advantage of systematic CAD optimization techniques.Keywords
This publication has 15 references indexed in Scilit:
- Translating concurrent programs into delay-insensitive circuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Hazard-free design of mixed operating mode asynchronous sequential circuitsInternational Journal of Electronics, 1990
- Compiling communicating processes into delay-insensitive VLSI circuitsDistributed Computing, 1986
- Direct Implementation of Asynchronous Control UnitsIEEE Transactions on Computers, 1982
- Stored State Asynchronous Sequential CircuitsIEEE Transactions on Computers, 1981
- Synthesis of Asynchronous Machines Using Mixed-Operation ModeIEEE Transactions on Computers, 1979
- Self-Synchronized Asynchronous Sequential MachinesIEEE Transactions on Computers, 1974
- Synthesis of Multiple-Input Change Asynchronous Machines Using Controlled Excitation and Flip-FlopsIEEE Transactions on Computers, 1973
- Elimination of static and dynamic hazards for multiple input changes in combinational switching circuitsInformation and Control, 1972
- Realization Methods for Asynchronous Sequential CircuitsIEEE Transactions on Computers, 1971