摘要 |
PROBLEM TO BE SOLVED: To specify a more than ore defects contained in both first and second detect sets, as a defect impossible to test so as to efficiently specify a defect impossible to test. SOLUTION: When a circuit conductor in a given circuit is selected, the circuit conductor is marked to a logic value 0 as impossible control (hypothetically). Then, an agreement procedure is applied, and similarly, a node in another circuit so as to be set to a suitable logic value, that is, it is marked as impossible control or impossible observation. Accordingly, a first set of defects which cannot be tested is hypothetically delivered. Next, the selected circuit conductor is marked to a logic 1 (hypothetically) as impossible control. Then an agreement procedure is applied, and similarly, a second set of defects which cannot be tested is hypothetically delivered. Further, defects exhibited in both defect sets are automatically impossible in testing. Thus, a defect impossible to test delivered due to defects exhibiting in both defect sets can be specified. |