GENERATION DEVICE, DETERMINATION METHOD, GENERATION METHOD, AND PROGRAM

摘要

The speed of compression is increased when an undetermined bit is included in an output pattern outputted from a developer installed in a logic circuit under test in relation to the logic circuit. The output pattern (7) includes the undetermined bit.  In step SS1, a determining means determines whether the undetermined bit in the output pattern (7) is an implication bit the logic value of which is determined to be 0 or 1 to meet a constraint condition (such as compressibility) between a logic bit and a predetermined bit.  In step SS1, bits other than the implication bit are free bits.  In step SS2, the determining means classifies a set of free bits.  In step SS3, under the constraint condition (such as compressibility) in relation to an input pattern (5) the determining means specifies from the set of free bits included in the output pattern (7) a set of compatible free bits to which the logic values can be assigned independently from each other.