Home > finite state machines > Asyncronous FSM Design > Hazardfree circuit

Programmable Logic Devices


• It is possible to prove that if we implement a combinational circuit directly from the disjunctive normal (SOP) formula with no product terms containing a variable and its complement and in which additional terms are included to avoid static 1 - hazard, then such a network is free of static 0 - hazards as well as dynamic hazards.
• Similarly if we implement a combinational circuit directly from a conjuctive normal (POS) formula with no sum terms containing a variable and its complement and additional terms are included to avoided static 0-hazards, then such a network is free of static 1-hazards as well as dynamic hazards.
• Combinational circuits free of static and dynamic hazards is called as a hazardfree circuit.