Efficient coverage closure is a key aspect of functional verification in modern digital semiconductor design.

Code coverage complements this by tracking whether all parts of the RTL have been exercised. While code coverage is relatively easy to maximize, functional coverage remains more subjective. It depends ...

The tool also offers enhanced functional coverage analysis, including integration with Verisity's SureCov code-coverage tool.

Code coverage and functional coverage metrics were gathered for each test and rolled up at the end of the regression run. Verification plans became executable, with pass/fail test results and ...