Functions for quality transition fault tests

The paper shows how to generate a function that contains all possible tests to detect a transition fault. Moreover, a systematic methodology is presented that derives the functions for all transition faults based on only two circuit traversals. Quality tests are generated by requiring that the function formulation considers established sensitization criteria to either activate a transition at the fault site or propagate it to a circuit output. Experimental results on the ISCAS'85 and ISCAS'89 benchmarks demonstrate the promise of the method which can also lead to efficient compaction methods for transition faults.