Critical race
From Wikipedia, the free encyclopedia
A critical race is a specific type of race hazard found in digital logic circuits. A critical race occurs when the order in which internal variables are changed determines the eventual state that the state machine will end up in.
[edit] External links
- Starvation and Critical Race Analyzers for Ada
- VHDL example
- Paper "Algorithms for the Optimal State Assignment of Asynchronous State Machines" by Robert M. Fuhrer, Bill Lin and Steven M. Nowick
- Paper "A Novel Framework for Solving the State Assignment Problem for Event-Based Specifications" by Luciano Lavagno, Cho W. Moon, Robert K. Brayton and Alberto Sangiovanni-Vincentelli
Nicole