A practical technique for designing asynchronous finite-state machines
- Simon Peyton Jones
|
The literature asynchronous logic design is mostly of a fairly theoretical nature. We present here a practical technique for generating asynchronous finite-state machines from a description of their states and transitions. The technique has been used successfully to design a number of state machines in the GRIP multiprocessor.