DIGITAL CIRCUIT VERIFICATION DEVICE, AND DIGITAL CIRCUIT VERIFICATION METHOD

摘要

PROBLEM TO BE SOLVED: To provide a device and method for digital circuit verification, which processes assertions written in a property specification language capable of describing high-level specifications and specifications on IPs.;SOLUTION: When a decision result of a temporal logic formula decision device is true, a verification program interpreting part is driven to execute a verification program paired with a temporal logic formula which gets true. The verification program interpreting part executes the verification program while driving a shared storage part holding values shared among all verification programs.;COPYRIGHT: (C)2009,JPO&INPIT