| 摘要 |
PROBLEM TO BE SOLVED: To reduce the labor and time required for function verification. SOLUTION: A function verifying device is provided with a logic cone generating means 111 which generates a logic cone concerned with a noncoincident external output signal which does not coincide with an expected value upon detecting the output signal, a logical function generating means 112 which generates a logical function regarding the input signal to the logic cone and extracts a vector signal for verification concerned with the failure of a logic circuit, and a function verifying means 117 which verifies the function of the logic cone by inputting the vector signal for verification extracted based on the information of the logical function generating means 112 and outputs the variation of input - output signals concerned with the logic cone. The device is also provided with a logical function processing means 113 which only degenerates the logical function to the logic at the time when a signal failure occurs by referring to the output of the function verifying means 117 and outputs the regenerated logic.
|
