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%.