14.10 DETECTION AND ELIMINATION OF TIMING DEFECTS 711
it is only the delay through an inverter that is the causal effect, there is the possibility
that the FSM will function properly even without hazard cover. But since this cannot be
assured, hazard cover must be added. Again, this should be considered as standard operating
procedure in dealing with static hazards in the NS logic as well as the output logic.
14.10.4 Essential Hazards in Asynchronous FSMs
Elimination of all endless cycles, critical races and static hazards from an asynchronous FSM
operated in the fundamental mode does not ensure proper operation of the FSM. Certain
noncombinational hazards produced by explicitly located asymmetric path delays in gates
and/or on leads are guaranteed ...