1. An apparatus which verifies a system comprising at least a microprocessor, the apparatus comprising: a first simulator which verifies a test program for the system; 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; 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.