摘要 |
PROBLEM TO BE SOLVED: To reduce information volume to be checked and to improve the efficiency of checking operation by adding an end condition for ending the checking operation when a fixed condition is satisfied in checking a self-holding circuit. SOLUTION: When a prescribed check ending condition is satisfied, i.e., when a circuit having no output coil appears, a circuit for repeating the same route appears or a circuit having an external output appears, in the checking of the self-holding circuit, succeeding checking operation is allowed to end.
|