SPRINGSOFT INTEGRATES NEW AUTOMATION TECHNOLOGIES INTO CERTITUDE FUNCTIONAL QUALIFICATION SYSTEM
Priority-based detection technology and integration with Verdi Debug System accelerate identification of major verification holes and comprehension of results
HSINCHU, Taiwan, March 1, 2010 - SpringSoft, Inc. (TAIEX: 2473), a global supplier of specialized IC design software, today introduced powerful methodology and ease-of-use advancements with the latest release of its CertitudeTM Functional Qualification System. The Certitude system removes verification uncertainty and accelerates functional closure for complex intellectual property (IP) and system-on-chip (SoC) designs with unique automation technologies that qualify the thoroughness of verification environments and identify weaknesses that could allow bugs to go undetected.
New priority-based detection technologies within the Certitude system enable engineers to quickly find and fix the biggest problems first, optimizing the application of simulation and CPU resources. This priority-based approach allows users to run the Certitude software earlier and more often, providing incremental improvements to the verification environment and guidance on test and checker development.
The new software release also features simplified set-up and push-button integration with SpringSoft's award-winning VerdiTM Automated Debug System to enhance visualization, source code tracing, and comprehension of analysis results. These capabilities provide a streamlined, more automated qualification flow that makes it easier for engineers to improve the verification of internal IP, assess the quality of third-party IP, and qualify SoC verification environments.
"With verification environments becoming more complex than the designs themselves, functional qualification applies automated mutation-based techniques to obtain an objective measurement of verification quality," said George Bakewell, director of product marketing at SpringSoft. "Our latest release of Certitude takes this approach even further. The powerful combination of advanced detection technologies, intelligent operation, and incremental use model makes functional qualification practical for a broader range of users and verification applications."
A detailed technical paper describing the evolution of functional qualification technologies and the application of best practices is available for download from the SpringSoft web site at: www.springsoft.com/whitepapers/functional-qualification.
Methodology for Earlier, Faster Fault Detection
SpringSoft research reveals that certain faults injected into the register transfer level (RTL) code are more likely to expose major holes in verification and produce results that are easier to analyze. In the latest software release, faults are split into multiple prioritized classes utilizing rules developed through years of research and the results of thousands of Certitude runs. The faults are then automatically qualified in priority-order, exposing the most significant weaknesses first and providing early feedback on the overall health of the verification environment.
These priority-based algorithms enable an incremental methodology - run functional qualification, fix problems, and run again - that automatically accumulates qualification data over time to drive test development and checker creation. Faults that are detected early in the process don't need to be re-qualified again unless the related RTL code changes, saving valuable time and computing resources.
Integration Eases Analysis of Results
The latest release includes a utility that automatically creates Certitude setup files compiled for use by the Verdi system. This utility leverages the SpringSoft knowledge database (KDB) to build templates that can be modified by Certitude users to provide more detail and fine-tune parameters. Intuitive reports provide fault status information and show where faults have been injected into RTL code.
In addition, a push-button link to the Verdi environment has been added to ease the analysis and debug process. For any undetected fault, signal data can be dumped to SpringSoft's Fast Signal Database (FSDB) format and the Verdi system invoked to display waveforms. Engineers can compare results of faulty and fault-free designs, highlight the differences, and automatically jump to the relevant source code for further investigation and debug using the structural visualization and tracing capabilities of the Verdi system.
Pricing & Availability
The new capabilities are fully supported in the latest production releases of the Certitude Functional Qualification System and Verdi Automated Debug System. The Certitude software is implemented with a project-based use model for maximum productivity and list priced at US$100,000 for one-year subscription license.
About SpringSoft
SpringSoft, Inc. is a global supplier of specialized automation technologies that accelerate engineers during the design, verification and debug of complex digital, analog and mixed-signal ICs, ASICs, microprocessors, and SoCs. Its award-winning product portfolio features the NovasTM Verification Enhancement and LakerTM Custom IC Design solutions used by more than 400 of today's leading IDM and fabless semiconductor companies, foundries, and electronic systems OEMs. Headquartered in Hsinchu, Taiwan, and San Jose, California, SpringSoft is the largest company in Asia specializing in IC design software and a recognized industry leader in customer service with more than 400 employees located in multiple R&D sites and local support offices around the world. For more information, visit www.springsoft.com.
