Verdi Debug Modules

The Verdi™ Debug Modules comprise a spectrum of fundamental tools for understanding the structure of designs. At the core of the Verdi modules is the Novas Design Knowledge Architecture and robust set of compilers, specialized databases and APIs. These form an open, highly scalable infrastructure that connects design and verification knowledge to help designers better understand complex design behavior.

•  Knowledge Engine Compilers extract detailed knowledge of design structure from VHDL and VerilogHDL source code.
• Knowledge Database (KDB) stores relevant information for access by analysis, tracing and visualization  tools;
• Fast Signal Database (FSDB) stores and optimizes loading of results from verification tools;
• Open APIs interface with all popular third-party verification tools for consistent view throughout entire development flow.

The Verdi waveform, source code, and schematic modules use design knowledge to help designers quickly locate, isolate, and resolve design problems. These modules are fully integrated using point-and-click and drag-and-drop techniques for seamless navigation between views and greater overall debug productivity.

Verdi nWave™ module is a complete waveform viewer that provides a comprehensive and intuitive view of design activity over time.

• Locate and isolate logic related to particular transitions and values
• View higher-level design structures such as assertions and transactions

Verdi nTrace™ module is a sophisticated source code browser that automates tracing of connectivity and related elements throughout the design.

• Navigate designs in the hierarchy display or HDL source code view 
• Annotate source code with simulation results for easy viewing and analysis
• Automatically find active drivers and loads for specific signal transitions and values

Verdi nSchema™ module is a schematic visualization tool that intelligently generates hierarchical or flat diagrams from RTL and gate-level descriptions.

• Highlight and correlate in schematic views the portions of code being analyzed
• Automatically locate and analyze cause-and-effect relationships
• Render specialized schematic displays for structures such as fan-in and fan-out cones