Patent ID: 8832636

Claim:
A non-transitory, computer-readable recording medium storing therein a verification support program causing a computer to execute: extracting a test scenario for simulating a circuit-under-test, from a test scenario group that includes a test scenario embedded with record-instruction information causing a designated transition-end state to be recorded to a database and a test scenario embedded with restore-instruction information causing the designated transition-end state to be restored from the database; classifying a type of an element-under-test, during simulation of the circuit-under-test simulated by sequentially providing to the circuit-under-test, elements-under-test from a series of elements making up the extracted test scenario; recording the designated transition-end state to the database, if the element-under-test is classified at the classifying to be the record-instruction information; and restoring the designated transition-end state from the database, if the element-under-test is classified at the classifying to be the restore-instruction information.