Streamline Projects with Verdi and VCS Coverage Tools

Are you looking for a singular location to merge your coverage results after running formal verification RTL simulations? Do you want to automatically track the coverage convergence to the verification plan?

Let’s explore some of the features Synopsys Verdi offers that can help answer these questions across each phase of a project.

As the testbench becomes more mature, exclusion files can be created, viewed and edited alongside the source code in Verdi’s exclusion manager. As the RTL undergoes several iterations, Adaptive Exclusions in Verdi adapts the exclusions for changed RTL and retains them for the unchanged RTL, saving several hours’ of manual effort.

Closing the last few % of coverage is time-consuming and calls for utilizing any tools available before going down the path of writing directed tests. The Synopsys VC Formal Coverage Analyzer (FCA) app, integrated with Synopsys VCS, is one such tool which automatically generates the exclusion file for unreachable code to be analyzed in Verdi. The code coverage generated by VC Formal can also be merged with simulation coverage. As you get closer to tape-out you want to ensure there are no missing coverage points – that everything in the specification is mapped to the plan.

In summary, Synopsys Verdi provides a unified solution to view, analyze, merge coverage across Synopsys tools based on a unified compile flow and can be used during each stage of a project.