Large system asynchronous design

A language is presented for the design of asynchronous logic circuits. The language offers effective syntax for specifying long-range interactions among signals remote from one another in the data pipeline. Problems specified in the language have a unique-state-coding implicit in their formulation. Solutions are fully interlocked and satisfy properties of liveness, safeness, and persistency. Features of the language are presented with two examples. One involves the design of an asynchronous 3:1 parallel multiplexer involving concepts of bundled data paths and control. The other illustrates the synthesis of self-timed data paths of a type described by T.E. Williams and M.A. Horowitz (1991).<
>