white paper

Questa Visualizer adds coverage analysis to the platform

High performance, scalable, context-aware debugger

Questa Visualizer adds coverage analysis to the platform

Questa Visualizer Debug is Siemens EDA’s high-performance, scalable, context-aware debugger supporting the complete logic verification flow including simulation, emulation, prototyping, testbench, low-power, and assertion analysis. Visualizer recently introduced new functionality for coverage support giving the user many ways to analyze and improve coverage closure with ease. This paper will highlight some of the benefits that these kinds of features will bring to the process.

Overview of visualizer coverage

Intuitive and easy to use, Visualizer improves debug productivity of today's complex SoCs and FPGAs. Visualizer recently introduced new functionality for coverage support giving the user many ways to analyze and improve coverage closure with ease. Starting with coverage gives you another way to diagnose problems.

Visualizer provides great improvement to the coverage data representation, taking advantage of its existing rich visualization capabilities. It is built with improved capacity and performance to handle the largest coverage models. The visualization tools in Visualizer display UCDB results for both code coverage and functional coverage. Now that you have everything in Visualizer, you can go from coverage into the full power of debug in a single environment.
Both designers and verification engineers can analyze and debug coverage issues with the help of design and waveform data available in Visualizer, all in one tool. This is only the first step in the overall requirements for coverage closure productivity.

The Visualizer Debug Environment provides two invocation modes for analyzing coverage results using the unified coverage database (UCDB) obtained from Questa simulation:

  • Coverage View Mode

    • allows accessing all coverage analysis windows
  • Coverage Debugging Mode

    • allows accessing all coverage analysis windows in addition to all debugging capabilities within Visualizer

Share

Related resources

Easy, Efficient & Exhaustive Verification with Formal
Webinar

Easy, Efficient & Exhaustive Verification with Formal

Formal verification uses mathematical methods and exhaustive algorithms that deliver results by significantly reducing risk by proving implementation

Understanding formal verification methods for use in DO-254 programs
White Paper

Understanding formal verification methods for use in DO-254 programs

This paper takes the mystery out of the use of formal methods for hardware verification and provides recommendations for using formal methods on DO-254 projects.

Formal verification experiences
White Paper

Formal verification experiences

This paper will present a “spiral refinement” bug hunt methodology that captures the success factors and guides the deployment of various formal techniques.