Integration with Verdi Speeds Certitude Setup and Eases Analysis and Debug
The CertitudeTM Functional Qualification System identifies holes and weaknesses in the verification environment that can let RTL bugs slip through the process undetected. With the release of version 2010.04 in April, VerdiTM users will be able to leverage their existing Verdi environment to minimize Certitude setup effort and analyze the results of functional qualification quickly and efficiently using Verdi's powerful debug features.
To ease the setup process, the Verdi system provides a new utility called setupCer that operates on the compiled Knowledge Database (KDB) libraries and generates templates for the files needed to run Certitude. The template files identify the relevant HDL files and locations and ensure that they are listed in the proper order for correct compilation. Users can modify the templates to mark the HDL files to be qualified and specify additional session-specific information prior to running Certitude.
Links from Certitude's Report Viewer to the Verdi system enable quick and efficient analysis of the functional qualification results in Verdi's familiar and powerful environment. The integration provides push-button access to waveforms for the original RTL and the RTL with fault inserted and displays the highlighted nTrace source code view with fault location information (Figure 1).
Figure 1: Links from Certitude Report Viewer to Verdi for analysis and debug
After jumping to the Verdi environment, users have access to Verdi's powerful debug features to analyze the results and determine the fix (new checker, additional test scenario, etc) required to improve the verification environment.
