Cloud native EDA tools & pre-optimized hardware platforms
Synopsys is a leading provider of electronic design automation solutions and services.
Synopsys is a leading provider of high-quality, silicon-proven semiconductor IP solutions for SoC designs.
Synopsys helps you protect your bottom line by building trust in your software¡ªat the speed your business demands.
Coverage lies at the very heart of functional verification. Whether designing a single intellectual property (IP) block or a huge system on chip (SoC), verification teams need to know how well the design has been tested. Functional coverage, code coverage, toggle coverage, assertion coverage, and other metrics are widely used. Improving tests to fill in coverage holes is a key part of the process, but sometimes it seems that no progress is being made. This may be because some coverage targets are unreachable. This white paper describes how to detect unreachable coverage formally and what to do about it. The result of this methodology is better coverage and, therefore, a much greater chance of first-silicon success.