Patent ID: 8332204
Filing Date: 2012-12-11
Classification: G06F

Abstract:
1. A non-transitory computer-readable medium encoded with an instruction check program for making a computer to check a status of execution of an instruction by an I/O simulator that performs an operation simulation according to a structure of an I/O area of a microcomputer, the instruction check program when executed by a computer causes the computer to perform a method comprising: obtaining specification information of the microcomputer describing an input and an output condition of a hardware resource in the I/O area; detecting a simulation of a reference instruction to the hardware resource executed by the I/O simulator; determining correctness of the reference instruction by comparing a content of the simulation of the reference instruction detected by the detecting with the input and output condition of the hardware resource included in the obtained specification information; and wherein it is determined that the reference instruction is correct when an address of the hardware resource referred to in the simulation detected by the detecting coincides with an address described in the input and output condition of the hardware resource and when a timing of access to the hardware resource coincides with the input and output condition.