Title :
Practical generalizations of asynchronous state machines
Author :
Yun, Kenneth Y. ; Dill, David L. ; Nowick, Steven M.
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., Stanford Univ., CA, USA
Abstract :
The authors propose to extend burst-mode specifications, a class of asynchronous finite-state machine specification that allows multiple-input changes. The proposed extensions allow concurrent transitions of inputs and outputs and input choices based on level conditional signals. An example that features the proposed extensions is presented and the deficiencies of existing specification styles, in particular, SG and original burst-mode are pointed out. The impact if these extensions on the hazard-free implementation of the 3-D machine and its synthesis procedure is analyzed. The results of experiments using the modified 3-D synthesis tool are presented and it is shown that the performance numbers are consistent with examples of comparable complexity not requiring the extensions
Keywords :
asynchronous circuits; finite state machines; logic CAD; state assignment; 3-D machine; asynchronous finite-state machine specification; burst-mode specifications; concurrent transitions; hazard-free implementation; input choices; inputs; level conditional signals; modified 3-D synthesis tool; multiple-input changes; outputs; performance numbers; synthesis procedure; Automatic control; Circuit synthesis; Concurrent computing; Control system synthesis; Design automation; Hardware design languages; Laboratories; Signal synthesis; Timing; Very large scale integration;
Conference_Titel :
Design Automation, 1993, with the European Event in ASIC Design. Proceedings. [4th] European Conference on
Conference_Location :
Paris
Print_ISBN :
0-8186-3410-3
DOI :
10.1109/EDAC.1993.386422
