INFORMATION PROCESSING APPARATUS, INFORMATION PROCESSING METHOD AND PROGRAM

摘要

PROBLEM TO BE SOLVED: To prevent verification leakage of a verification item.SOLUTION: An information processing apparatus includes a generation unit 1b and a storage unit 1c. By using a control file 2 in which the information for defining a circuit operation generated on the basis of a signal flowing in a verification target circuit and the constraints of the circuit operation are described, the generation unit 1b generates an item table 3 in which an item for verifying the occurrence of an event occurring in the operation simulation of the verification target circuit and an item for verifying the occurrence violation of the event are stored in association with each other. The storage unit 1c stores the item table 3 generated by the generation unit 1b.