Questa CoverCheck Demo

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.

In this session, you will learn:

This session will demo the Questa CoverCheck tool and will review features including the details window, coverage checks window, and source debug features.