PROGRAM, APPARATUS, AND METHOD FOR SUPPORTING VERIFICATION

摘要

PROBLEM TO BE SOLVED: To efficiently perform verification processing of high quality. SOLUTION: In a verification support apparatus, normal simulation by a random test pattern generated in accordance with a set Seed number is executed as in a conventional technology by steps S101-S109. Then, unverified parts are extracted, the processing at steps S110-S119 is used to obtain verification results with respect to the conditions, a simulation result when a condition similar to one to be verified is verified is applied to efficiently obtain a verification result of a desired condition. COPYRIGHT: (C)2011,JPO&INPIT