Title :
Synthesis-for-initializability of asynchronous sequential machines
Author :
Singh, Montek ; Nowick, Steven M.
Author_Institution :
Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
Abstract :
We present a new method for the synthesis-for initializability of asynchronous state machines. Unlike existing approaches, our method incorporates a state assignment step. State assignment is critical, since initializability may be precluded by poor choice of state assignment. Also, we present precise conditions on hazard-free logic, to insure that the circuits are physically initializable
Keywords :
asynchronous sequential logic; logic design; state assignment; asynchronous sequential machines; asynchronous state machines; hazard-free logic; initializability; multi-hop transitions; single-hop transitions; state assignment; state assignment step; Circuit synthesis; Circuit testing; Clocks; Computer science; Distributed computing; Hazards; Logic circuits; Logic design; Synchronization; Timing;
Conference_Titel :
Test Conference, 1996. Proceedings., International
Conference_Location :
Washington, DC
Print_ISBN :
0-7803-3541-4
DOI :
10.1109/TEST.1996.556966
