Circuit designing program and circuit designing system having function of test point insertion

摘要

A circuit design program product to cause a computer to execute a circuit design process based on a test point insertion, includes: a step for making reference to a netlist to extract a plurality of equivalent faults f_j; a step for searching a number n(f_j) of test point required for a number of the equivalent fault keeping equivalent relation with a search object equivalent fault f_j with each of a plurality of equivalent faults as the search object equivalent fault to become a predetermined number and a insertion position G(f_j); a step for calculating probability p(f_j) of a single stuck-at fault being included in a set of equivalent faults including at least a search object equivalent fault f_j at an occasion when the relevant stuck-at fault takes place in the circuit; a step for calculating a parameter e(f_j) derived by an equation: e(f_j)=p(f_j)/n(f_j) on each pattern of an insertion position G(f_j); and a step for determining the insertion position G(f_max) giving the maximum value among the calculated parameters e(f_j) as a position where the test point is inserted.