Verification supporting apparatus, verification supporting method, and computer product

A verification supporting apparatus comprising:

• a recording unit that records a DIRW matrix in which, among four states including Declare, Initialize, Read, and Write, a state transition that has a possibility of occurring in a register included in a circuit to be verified and information concerning validity of a path corresponding to the state transition are set;
• an acquiring unit that acquires implementation information of the circuit to be verified, a verification scenario that is representative of contents of verification for the circuit to be verified, and a register list that indicates attributes of registers included in specifications of the circuit to be verified;
• a CDFG creating unit that, from the implementation information and the register list acquired by the acquiring unit, creates a control data flow graph that includes a control flow graph having a flow of control for implementation of the circuit to be verified described therein and further having a data flow graph written therein, the data flow graph having a flow of data in the control flow graph described therein;
• a DFG extracting unit that, from the control data flow graph created by the CDFG creating unit, extracts a data flow graph that has described therein a register;
• a path extracting unit that, from the data flow graph extracted by the DFG extracting unit, extracts a path indicating the flow of data concerning the register;
• an identifying unit that, based on the data flow graph, identifies the state transition of the path extracted by the path extracting unit;
• a determining unit that determines whether the state transition identified by the identifying unit is set in the DIRW matrix;
• a calculating unit that, if the determining unit has determined that the state transition of the path is set in the DIRW matrix, calculates using the verification scenario acquired by the acquiring unit and the control data flow graph, a value that can be substituted as a parameter in the register connected to the path;
• and
• a scenario creating unit that creates a verification scenario having a parameter that is obtained by setting the value calculated at the calculating in the verification scenario.