The paper studies behavioral properties of asynchronous circuits built of monotonic two-input gates (NAND2, NOR2 and NOT) and reveals feasibility of a behavioral specification to be refined to two-input-gate-implementable form. Algebraic taxogram language was further developed to make it applicable to specifying behavior refinement technique. The result of comparison of circuit realizations with their speed-independent counterparts produced by petrify synthesis tool shows that there is still great unrealized potential for improving asynchronous circuit design. Producing circuits being hazard-free in wide range of variations in gate parameters as well as forgiving to shortage of gate library, this approach offers new advantages for ASIC designs.
Citation:
Nikolai Starodoubtsev, Sergei Bystrov, "Behavior and Synthesis of Two-Input Gate Asynchronous Circuits," async, pp.190-200, 11th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'05), 2005