Questa Covercheck: An Automated Code Coverage Closure Solution
This white paper explores the debugging aspect of code coverage closure and how Questa CoverCheck’s 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.
Please disable any pop-up blockers for proper viewing of this Whitepaper.