SYNOPSYS Verdi vx 2025.06

Description

SYNOPSYS Verdi vx 2025.06

Synopsys Verdi is the industry-standard Automated Debug System for complex hardware design and verification. It is the central platform for understanding, analyzing, and debugging failures in simulation, emulation, and formal verification environments.

Its core strength is its tight integration across the Synopsys Verification Continuum® (VCS®, ZeBu®, VC Formal®, etc.), providing a unified debug environment for all verification engines.

 Core Value Proposition

Verdi moves beyond basic waveform viewing. Its primary value is dramatically reducing debug time by automating the root-cause analysis of failures. It connects simulation results (logs, assertions, coverage) directly back to the source RTL, SystemVerilog, and UVM testbench code.

Primary Capabilities & Features

The Verdi platform encompasses several key technologies and applications:

 
 
Capability / Application Primary Function
Verdi Automated Debug System The main GUI integrating all debug features: schematic viewing, waveform analysis (FSDB), source code tracing, and automatic error tracing.
Verdi® Performance Analyzer Identifies simulation and testbench performance bottlenecks by analyzing CPU and memory usage.
Verdi® Coverage Analyzer Visualizes and analyzes functional coverage (e.g., covergroups, assertions) to identify coverage holes and drive verification closure.
Verdi® Behavior Insight Automatically generates a "visual specification" of the DUT's behavior from simulation, creating state machines and flow charts to quickly understand design intent.
Verdi® Protocol Analyzer Provides pre-defined, protocol-aware debug kits (for AMBA AXI, USB, PCIe, etc.) to visualize transactions and decode bus activity.
Verdi® Knowledge Portal (aka nSchema) A powerful database that stores design, verification, and debug knowledge, enabling fast querying and cross-session analysis.
FSDB (Fast Signal Database) Verdi's proprietary, highly compressed waveform dump format that enables rapid loading and analysis of large, long simulations.

Download