The Design and Use of Hazard-Free Switching Networks
Journal of the ACM (JACM)
Application of Ternary Algebra to the Study of Static Hazards
Journal of the ACM (JACM)
Boolean Differential Calculus and its Application to Switching Theory
IEEE Transactions on Computers
A Unified Approach to Combinational Hazards
IEEE Transactions on Computers
Hazard detection in combinational and sequential switching circuits
IBM Journal of Research and Development
Hi-index | 14.98 |
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.