A CAD system for automatic synthesis of generalized asynchronous circuits

This paper presents a unified synthesis method for dealing with generalized asynchronous circuits which comprise specifications of both Asynchronous Finite State Machines (AFSMs) and Signal Transition Graphs (STGs). By comparing the similarities and differences of two different synthesis methods, we describe algorithms and techniques underlying our CAD system for automating the design of the generalized asynchronous circuits based on the well-developed synthesis procedures of Huffman-modeled asynchronous circuits. Experimental results show that the developed system, implemented in C, can handle concurrence and sequencing of STGs and fundamental mode operation of AFSMs at the same time, therefore, it allows for a more natural and compact specification of asynchronous behavior.