Issue No. 11 - November (1976 vol. 25)
Y. Zisapel , BitCom Ltd., Science Based Industry
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.
B-ternary functions, duo-binary algebra, hazard detection, hazard in combinational circuits, hazard in sequential machines, multiple hazards.
Y. Zisapel, "A Simplified General Method for Static Hazard Detection," in IEEE Transactions on Computers, vol. 25, no. , pp. 1160-1164, 1976.