Customization and Reuse of Interoperable Verdi Applications
Design knowledge
platform enables rapid creation of custom applications
that leverage correlated design and verification data
The design and verification flow for complex digital designs involves an extraordinary amount of detailed information about design composition and behavior with many inter-related pieces of data that change frequently throughout the flow’s progression. This information is represented across a range of abstraction levels in multiple formats and languages that is ultimately stored in hundreds of files.
Successful completion of the flow requires that design and verification information be analyzed in a variety of ways to gain an understanding of the design’s composition, its behavior, and the inherent relationships between various structural and temporal elements. Fortunately, there are many highly refined design automation tools available today that support common analysis techniques, as well as standard languages and formats that facilitate interoperability between tools. Of course, not all analysis is best handled by commercial tools, and typically analysis results must be interpreted, transformed, correlated, and filtered in order to be useful.
Acquiring the knowledge critical for design comprehension is difficult without the use of automation tools built for the task. SpringSoft’s Verdi™ Automated Debug System provides a highly automated solution for comprehension of design composition and behavior. Its underlying architecture is specifically designed to compile, extract, store, and process design and verification information in a way that makes ‘design knowledge’ – data and correlations between data elements – readily available for browsing and interactive analysis. This knowledge-based infrastructure has been enhanced and formally offered as the SpringSoft Verdi Interoperability Applications (VIA) platform to provide open connections to the Verdi database and software infrastructure and enable system-on-chip (SoC) design teams to easily create and reuse interoperable applications tailored for their own tool and design/verification flow requirements.
Download Backgrounder Here
What is Functional Closure?
- Automated Debug Platform
- Prototype Verification
- Removing Verification Uncertainty
- Speeding up Simulation
"The Verdi tool helped cut our debug time in half"
-Nguyen Le, a senior verification engineer in the XBOX Group at Microsoft
Functional Closure Resources
- Overview
- Technical Papers
- Technical Articles
- Hints & Tips