Generation of hazard identification functions

We study the problem of identifying the complete set of pairs of input patterns that can cause different types of hazards to appear at a circuit line. A novel methodology to implicitly identify all possible input configurations is proposed. The technique is based on a systematic derivation of the conditions for the occurrence of static and dynamic hazards at a line, which are subsequently formulated as Boolean functions defined over variables representing the primary input signals. Our experimental results demonstrate that the proposed approach is very promising and outperforms existing approaches. In addition, they show that a proposed solution for the decision problem of hazard existence at a circuit line is very efficient.