Patent ID: 7703056

Claim:
A computer program storage device storing a circuit design program to cause a computer to execute a circuit design process, comprising: (A) referring to a netlist of a circuit to extract a plurality of equivalent faults f j keeping a mutually equivalent relation from all stuck-at faults possible to occur in the circuit; (B) searching a number n(f j ) of test points required for a number of an equivalent fault keeping an equivalent relation with a search object equivalent fault f j with each of the plurality of equivalent faults as the search object equivalent fault to become a predetermined number and an insertion position G(f j ); (C) calculating a probability p(f j ) of a single stuck-at fault being included in a set of equivalent faults including at least the search object equivalent fault f j at an occasion when the stuck-at fault takes place in the circuit; (D) calculating a parameter e(f j ) derived by an equation: e(f j )=p(f j )/n(f j ) on each pattern of the insertion position G(f j ); (E) determining the insertion position G(f max ) giving a maximum value among the calculated parameters e(f j ) as a position where the test point is inserted; and (F) respectively inserting the n(f max ) test points into the determined insertion position G(f max ).