Hazards pulses are undesirable short pulses caused by stray delaysin digital circuits. Such pulses not only may cause errors in thecircuit operation, but also consume energy, and add to the computationtime. It is therefore very important to detect hazards in circuitdesigns. Two-valued Boolean algebra, which is commonly used for theanalysis and synthesis of digital circuits, cannot detect hazardconditions directly. To overcome this limitation several multi-valuedalgebras have been proposed for hazard detection. This paper surveysthese algebras, and studies their mathematical properties. Also, somerecent results unifying most of the multi-valued algebras presented inthe literature are described. Our attention in this paper is restrictedto the study of static and dynamic hazards in gate circuits
展开▼