Title :
UCLOCK: automated design of high-performance unclocked state machines
Author :
Nowick, Steven M. ; Coates, Bill
Author_Institution :
Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
Abstract :
A new automated method is described for the correct design of asynchronous state machines. The method builds upon recent work using “burst-mode” specifications, a class of specifications which allow multiple-input change fundamental-mode operation. Implementations are built as unclocked Huffman machines, requiring no latches or other sequential elements. The method has several significant advantages over both the classical methods of Unger (1969) Friedman and Menon (1968) and Mago (1971) as well as recent methods of Nowick et al. (1991), Yun et al. (1992) and Davis et al. (1993). The synthesis method is applied to several design examples
Keywords :
finite state machines; logic CAD; sequential circuits; UCLOCK; asynchronous state machines; automated design; burst-mode≫CLOSE specifications; high-performance unclocked state machines; multiple-input change fundamental-mode operation; synthesis method; unclocked Huffman machines; Added delay; Books; Clocks; Computer science; Design methodology; Feedback; Latches; Microwave integrated circuits; Silicon carbide; Timing;
Conference_Titel :
Computer Design: VLSI in Computers and Processors, 1994. ICCD '94. Proceedings., IEEE International Conference on
Conference_Location :
Cambridge, MA
Print_ISBN :
0-8186-6565-3
DOI :
10.1109/ICCD.1994.331945
