A Simplified General Method for Static Hazard Detection

A simplified binary technique is presented for dedecting hazards in combinational and sequential systems. First, a duo-binary representation is developed to derive the necessary and sufficient conditions for describing transient and steady-state behavior of switching systems. The results obtained by the duo-binary representation serve to prove that static hazards in switching circuits can be detected by examining only the extreme conditions of the transient signals. Thus, a 1-hazard will appear if the value zero is assigned simultaneously to the changing signals and their complements, and a 0-hazard will appear if the value one is assigned to them.