Patent ID: 8099697

Claim:
A computer-readable recording medium storing therein a verification support program that causes a computer to execute: receiving a hardware description of a combinational circuit to be verified; extracting, from the hardware description, a conditional branch description expressing conditional branch processing; identifying, from among conditional branch descriptions extracted at the extracting of a conditional branch description and based on a description sequence in the hardware description, a combination of conditional branch descriptions having a hierarchical relation; extracting, from among combinations of conditional branch descriptions identified at the identifying, a combination having a potential to satisfy a specified condition; generating a simulation program that causes the specified condition for the conditional branch descriptions included in the combination extracted at the extracting of the combination to be satisfied; and outputting, as assertion information of the combinational circuit, the simulation program created for each combination at the creating, wherein the generating includes generating, as the simulation program, a cover statement that causes the specified condition for the conditional branch descriptions included in the combination extracted at the extracting of the combination, to be satisfied simultaneously.