LOGICAL SIMULATION DEVICE, ITS METHOD AND RECORD MEDIUM RECORDING ITS CONTROLLING PROGRAM

PROBLEM TO BE SOLVED: To provide a logical simulation device capable of improving the efficiency of logical verification and that of error analysis. SOLUTION: In the case of executing logical simulation for a device model using an OS by a logical simulator, an asynchronous interruption(AI) information recording part 12 detects the generation of AI and records the generation in an AI information storing part 2. An execution instruction string recording part 13 detects an execution instruction string and records the string in an execution instruction string storing part 3. An AI information matching part 41 refers to the storing part 2 and allows the AI generation timing of an instruction level simulator 4 to coincide with that of the logical simulator 1. An execution instruction string comparing part 42 compares an execution instruction string to be executed by the simulator 1 with an execution instruction string to be executed by the simulator 4, and when both the strings do not coincide with each other, ends instruction level simulation.