Engineering Commons^™

Generation Of Design Equations In Asynchronous Sequential Circuits, Gary K. Maki, James H. Tracey, Robert J. Smith

Electrical and Computer Engineering Faculty Research & Creative Works

One step in the synthesis procedure for realizing an asynchronous sequential switching circuit is the generation of next-state and output state equations from a simplified and coded flow table description of the circuit. The usual approach for determining these equations is to first construct a state table from the coded flow table, and then construct transition and output tables. For large flow tables this can be quite a lengthy procedure. This note describes an algorithm which simplifies the synthesis procedure for normal fundamental-mode circuits by permitting the determination of these equations without explicit construction of the state table, transition table, …