Verification Martial Arts: A Verification Methodology Blog

Why do we need an integrated coverage database for simulation and formal analysis?

Posted by Shankar Hemmady on January 23rd, 2012

Closing the coverage gap has been a long-standing challenge in simulation-based verification, resulting in unpredictable delays while achieving functional closure. Formal analysis is a big help here. However, most of the verification metrics that give confidence to a design team are still governed by directed and constrained random simulation. This article describes a methodology that embraces formal analysis along with dynamic verification approaches to automate functional convergence:

I would love to learn what you do to attain functional closure.