DYNAMIC-VERIFICATION-BASED VERIFICATION APPARATUS ACHIEVING HIGH VERIFICATION PERFORMANCE AND VERIFICATION EFFICENCY AND THE VERIFICATION METHODOLOGY USING THE SAME

摘要

The present invention relates to a simulation-based verification apparatus and a verification method, which enhance the simulation performance and efficiency greatly, for verifying a digital system containing at least million gates. Also, the present invention relates to a simulation-based verification apparatus and a verification method used together with formal verification, simulation acceleration, hardware emulation, and prototyping to achieve the high verification performance and efficiency for verifying a digital system containing at least million gates.