The breakdown propagation path selection system and its manner and records that control supervisor the record media

摘要

PROBLEM TO BE SOLVED: To allow fast extraction of defective propagation path related to a combined circuit. ;SOLUTION: A logical contradiction judging means 24 detects contradiction in logical state of each signal line during implication operation at a first implication operation means 23, and a process completion judging means 25, if no contradiction is detected, judges whether the logical state of all signal lines estimated to be '0', '1', or 'X'. if logical state estimation is judged not complete, a U (unknown) state searching means 27 searches a signal line in unknown state where logical state is imperfect, and searches a signal line connected to a defective propagation path through a gate. Temporal decision of '0' is provided to a detected signal line, a temporal decision level representing frequency of temporal decision is increased by 1, and returns to implication operation process by the first implication operation means 23. If the logical state assumption is judged to be compete, a defective output terminal connection related line extracting means 31 extracts such defective propagation path as affects directly a defective output terminal, which is outputted to an output device 5.;COPYRIGHT: (C)1999,JPO