Title :
A Simplified General Method for Static Hazard Detection
Author_Institution :
BitCom Ltd., Science Based Industry
Abstract :
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.
Keywords :
B-ternary functions, duo-binary algebra, hazard detection, hazard in combinational circuits, hazard in sequential machines, multiple hazards.; Algebra; Calculus; Combinational circuits; Hazards; Multivalued logic; Sequential circuits; Steady-state; Sufficient conditions; Switching circuits; Switching systems; B-ternary functions, duo-binary algebra, hazard detection, hazard in combinational circuits, hazard in sequential machines, multiple hazards.;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1976.1674573
