LOGICAL VALUE DETERMINATION METHOD AND LOGICAL VALUE DETERMINATION PROGRAM

摘要

It is an object to provide a logical value determination method and a logical value determination program that can specify an undetermined value bit, which does not lower a test judgment capability, and determine a logical value of the undetermined value bit in a short time. A determination method of a logical value of an undetermined value, which adjusts the total number of differences in logical value between a corresponding external input and output lines of a combination circuit (11), is provided with a first logical value determination operation that, when the external output line has a logical value and the external input line has an undetermined value, regards a logical value of the undetermined value bit as the logical value of the external output line, a second logical value determination operation that, when the external output line has an undetermined value and the external input line has a logical value, determines a logical value of the undetermined value bit by a justification operation, and a third logical value determination operation that, when the external input and output lines have undetermined values, calculates probabilities that the external output line becomes logical value 0 and 1, respectively, and determines a logical value of the undetermined value bit of the external input line based on a difference between the probabilities, wherein the third logical value determination operation is repeated until the total number of logical value differences reaches a target value.