Questa CoverCheck is an automatic formal solution for achieving code coverage closure faster. The tool addresses an incontrovertible fact of verification: no matter the combination of techniques used, and even after running an exhaustive battery of tests, some fraction of uncovered code always remains.
This session will demo the Questa CoverCheck tool and will review features including the details window, coverage checks window, and source debug features.