DocumentCode :
964241
Title :
Race-free state assignments for synthesizing large-scale asynchronous sequential logic circuits
Author :
Fisher, P. David ; Wu, Sheng-Fu
Author_Institution :
Dept. of Electr. Eng., Michigan State Univ., East Lansing, MI, USA
Volume :
42
Issue :
9
fYear :
1993
fDate :
9/1/1993 12:00:00 AM
Firstpage :
1025
Lastpage :
1034
Abstract :
A state assignment technique is introduced for synthesizing large-scale asynchronous sequential logic circuits (ASLCs). It provides a systematic and efficient approach for generating race-free state assignments. A race condition is classified as being either an intrinsic race (IR) or or a generated race. Intrinsic races decompose into two subclassifications: visible intrinsic races and hidden intrinsic races. Algorithms have been developed to identify and eliminate these races. A graph, referred to as a Node-Weight Diagram, facilitates the process of making state assignments and guarantees that no races are generated. Moreover, it provides a convenient and efficient method for investigating the implications of selecting from an allowed set of alternative race-free state assignments. The state assignment technique described adds cycles and states, as needed, to avoid IRs and always attempts to use the minimum or near-minimum number of state variables and states. This technique has been implemented and incorporated into an ASLC design automation system. Experimental results show that it provides significantly better results than other approaches in terms of the computation time required to make the assignments and the number of state variables required to achieve race-free ASLCs
Keywords :
asynchronous sequential logic; hazards and race conditions; logic design; sequential circuits; state assignment; Node-Weight Diagram; asynchronous sequential logic circuits; cycles; generated race; intrinsic race; large-scale; race condition; race-free; state assignments; states; Circuit synthesis; Design automation; Hamming distance; Helium; Large-scale systems; Lattices; Logic circuits; Sequential circuits;
fLanguage :
English
Journal_Title :
Computers, IEEE Transactions on
Publisher :
ieee
ISSN :
0018-9340
Type :
jour
DOI :
10.1109/12.241592
Filename :
241592
Link To Document :
بازگشت