摘要 |
PURPOSE:To search an input pattern speedily with a small number of process steps by dividing an input search space corresponding to necessary requirements among the requirements of a circuit to be inspected and searching the input search space of low-order necessary requirements in order. CONSTITUTION:A pattern generator PG (which inputs a specific input signal for the input of a given circuit 1 to be inspected) 2 is assigned to the input of the circuit 1 to be inspected (logic circuit which finds an input pattern meeting a certain requirement by the output of a combination circuit), and the given requirement C is divided previously into a set (input search space S') of PGs 2 regarding the satisfactory necessary requirements C and a set (input search space S-S) of others. In this state, an operation controller 3 regards the PG2 groups of the former and latter sets as a unit to perform setting control over a forward, a backward, and a fixed value to find the input pattern meeting the requirement C in the latter set repeatedly while the requirement C is met in the former set. Thus, unnecessary process steps are deleted. |