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.