VERIFICATION DEVICE AND VERIFICATION METHOD FOR LOGIC SYSTEM, AND STORAGE MEDIUM AND COMPUTER PROGRAM

摘要

PROBLEM TO BE SOLVED: To reduce man-hours for analyzing a cause of error found in dynamic simulation. SOLUTION: This verification device or the like for a logic system described by a hardware description language has: a test bench production means executing the dynamic simulation; a static verification means executing static verification; and an error part specification means specifying an error part from results of the dynamic simulation and the static verification. COPYRIGHT: (C)2007,JPO&INPIT