Issue No.09 - September (1993 vol.42)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.241592
<p>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.</p>
state assignments; large-scale; asynchronous sequential logic circuits; race-free; race condition; intrinsic race; generated race; Node-Weight Diagram; cycles; states; asynchronous sequential logic; hazards and race conditions; logic design; sequential circuits; state assignment.
P.D. Fisher, "Race-Free State Assignments for Synthesizing Large-Scale Asynchronous Sequential Logic Circuits", IEEE Transactions on Computers, vol.42, no. 9, pp. 1025-1034, September 1993, doi:10.1109/12.241592