Fault collapsing for digital circuits based on relations between stuck-at faults

A way for fault collapsing is proposed for digital circuits based on the relations of fault equivalence and fault dominance. A new notion of strict structural fault dominance is proposed for single stuck-at faults on input/output lines of logical gates. Experiments are conducted on combinational circuits of ISCAS´85 and combinational parts of sequential benchmark circuits of ISCAS´89 benchmark circuits. Fault collapsing for most of the circuits is about 60-70%.