| 摘要 |
PROBLEM TO BE SOLVED: To provide a device and a method for analyzing fault detection rate and a recording medium recording fault detection rate analysis program with which a fault detection rate can be easily improved. SOLUTION: The net list of a logic circuit defined as an analytic object, a library (including a truth value table), the name of an external terminal to fix an input value and this fixed value are inputted (step 100), an internal fixed element is extracted from the net list (step 102) and after the state of propagating the fixed value to the logic circuit and unobservable points are detected at the respective external terminal and internal fixed element to fix the input value (steps 104-110), a result analytic routine is executed for performing the calculation of a lowered fault detection rate or the like based on the detected result (step 112).
|
