Synopsys Verdi

Synopsys Verdi is a digital design debug and verification productivity platform that correlates simulation, emulation, formal, and static results to RTL/source code and provides regression triage, coverage analysis, and failure-analysis automation.