A practical technique for designing asynchronous finite-state machines

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.