Abstract: An apparatus and method which verify a system including a microprocessor. The apparatus includes first and second simulators which verify a target architecture using a test program and a functional description of the system, respectively. The first and second simlators extract first event information that expresses a verification item relating to a specification of the system. Further, checkers compare results of verification run by the second simulator with results of verification run by the first simulator. The first and second simulators execute an identification of the verification item. The checkers further examine a coverage of the system on the basis of second event information extracted from the verification item with the first event information, if the results of the verification run by the first simulator match the results of the verification run by the second simulator. The second event information is annotation data that describes information on events based on a specification for the system.

Abstract: An apparatus which verifies a system comprising at least a microprocessor includes a first simulator which verifies a test program for the system. The apparatus further includes a second simulator which verifies a functional description of the system to extract first event information that expresses a verification item relating to an operational specification of the system, as an event. The apparatus further includes a comparator which compares results of verification carried out by the second simulator with results of verification carried out by the first simulator, and a checker which checks whether or not the verification item is met on the basis of a second event information resulting from the verification carried out by the second simulator and the first event information if the results of the verification carried out by the first simulator match the results of the verification carried out by the second simulator.