Automatic synthesis of locally-clocked asynchronous state machines

Author

Nowick, S.M. ; Dill, D.L.

Author_Institution

Comput. Syst. Lab., Stanford Univ., CA, USA

fYear

1991

fDate

11-14 Nov. 1991

Firstpage

318

Lastpage

321

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICCAD.1991.185264

Filename

185264