Patent ID: 8584064

Claim:
A non-transitory computer-readable recording medium storing therein a verification support program that causes a computer to execute a procedure, the procedure comprising: extracting from hardware description of a target circuit, a conditional branch statement that represents a conditional branch process; determining whether the conditional branch statement extracted at the extracting includes at least three condition expressions, where a given combination thereof has satisfying conditions that are set to be exclusive; extracting from the conditional branch statement determined at the determining, a combination of condition expressions for which satisfying conditions are set to be exclusive; extracting each condition expression from the combination of condition expressions extracted at the extracting and creating, for each extracted condition expression and according to an order of appearance in the hardware description, a conditional branch statement in which the extracted condition expression has a hierarchical relationship with a condition expression not included in the combination; generating an assertion for checking whether a specified condition is satisfied in each conditional branch statement created at the creating; and outputting, as assertion data of the target circuit, the assertion generated at the generating.