Deductive fault simulation algorithm based on fault collapsing

The true value simulation is necessary in the critical path tracing fault simulation algorithm. The critical and non-critical inputs can he known after the number of controlling and non-controlling inputs and the criticality of output of every gate are determined. Single output region (SOR) is defined for non-critical lines, so many other non-critical lines can be obtained before fault simulation. Then deductive fault simulation algorithm is used to compute the fault list for every possible critical line from bottom to top, which can greatly decrease the length of fault list and simulation time. The cross-section is defined to reduce the storage space. The experimental results are given at the end of the paper.