Title :
Automatic synthesis of locally-clocked asynchronous state machines
Author :
Nowick, S.M. ; Dill, D.L.
Author_Institution :
Comput. Syst. Lab., Stanford Univ., CA, USA
Abstract :
The authors describe a novel automated design methodology for asynchronous state-machine controllers. Using a local-clocking scheme, the method allows multiple input changes and produces hazard-free designs with a minimal or near-minimal number of states. The authors present an automated program for asynchronous state machine synthesis, and describe a new heuristic for state minimization and new optimizations to improve implementations. The program is used to synthesize competitive implementations of published designs; results are compared.<>
Keywords :
combinatorial circuits; finite automata; logic CAD; minimisation of switching nets; asynchronous state machine synthesis; asynchronous state-machine controllers; automated design methodology; hazard-free designs; local-clocking scheme; locally-clocked asynchronous state machines; multiple input changes; state minimization; Automatic control; Clocks; Control system synthesis; Delay; Design methodology; Encoding; Hazards; Laboratories; Lifting equipment; Logic design;
Conference_Titel :
Computer-Aided Design, 1991. ICCAD-91. Digest of Technical Papers., 1991 IEEE International Conference on
Conference_Location :
Santa Clara, CA, USA
Print_ISBN :
0-8186-2157-5
DOI :
10.1109/ICCAD.1991.185264
