TARGET LOGIC VALUE DETERMINATION METHOD FOR UNSPECIFIED BIT IN TEST VECTOR FOR COMBINATIONAL CIRCUIT AND NON-TRANSITORY COMPUTER-READABLE MEDIUM

Logic value determination method and program for identifying unspecified bits and determining logic values shortly. The method enables to control the total number of logic value differences between corresponding input and output lines of combinational circuit. The method includes the first step for determining, when output has a logic value and input has an unspecified value, that the unspecified bit has the logic value of output, the second step for determining, when output has an unspecified value and input has a logic value, the logic value of the unspecified bit by justification, and the third step for calculating, when input and output both have unspecified values, probabilities of output to have 0 and 1, and determining the logic value of the unspecified bit based on the difference between the probabilities. The third step is repeated until the total number reaches a target value.