摘要 |
PROBLEM TO BE SOLVED: To reduce useless simulation time and to find an abnormality generation cause in an early stage in the case that abnormality is generated in the middle of executing the simulation of a computer system, to shorten the development period of the computer system and to reduce a product development cost. SOLUTION: A logical simulation system is provided with a logical simulator for verifying the computer system, a simulation information file outputted in the middle of executing the simulation by the logical simulator and a check program checking the simulation information file in the middle of executing the simulation and judging the halfway state of the simulation.
|