摘要 |
PROBLEM TO BE SOLVED: To make executable the simulation of even a logic circuit that has a combined loop by calculating a logical expression of a circuit to be simulated with use of a fixed external condition and executing a cycle base simulation to a prescribed input test pattern based on the calculated logical expression. SOLUTION: A fixed external condition setting part 220 serving as a fixed external condition setting means applies a fixed external condition given from an input device 100 to a partial circuit which is obtained via a partial circuit extraction part 210 and decides the internal state of the partial circuit. A logical compression part 230 serving as a logical expression calculation means executes the logical compression of a combinational circuit based on the results of both parts 210 and 220. Then a simulation part 240 serving as a simulation means executes a cycle base simulation using the result of the part 230 and a test pattern that is given from the device 100.
|