Automatic synthesis of locally-clocked asynchronous state machines
Automatic synthesis of locally-clocked asynchronous state machines
复制标题
本地时钟异步状态机的自动合成
DOI：
10.1109/iccad.1991.185264
复制
发表时间：
1991
期刊：
影响因子：
--
通讯作者：
D. Dill
中科院分区：
文献类型：
--
作者：
S. Nowick;D. Dill
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.<<ETX>>
