Systems & Design

Questa Covercheck: An Automated Code Coverage Closure Solution

A look at the automatic generation of exclusion to improve code coverage while slashing the amount of wasted time.


This white paper explores the debugging aspect of code coverage closure, and how Questa CoverCheck’s unique ability of formal technology can automatically generate simulation exclusion files to improve code coverage results while reducing the amount of time wasted trying to hit unreachable states.

To download this white paper, click here.

Leave a Reply

(Note: This name will be displayed publicly)