Automations af funktionel verifikation
Springsoft lancerer 'Certitude', der fjerner usikkerheder i verifikationsfasen og accelererer funktionel 'closure' i komplekse IP og SoC-designs (in english).
SpringSoft, Inc., a global supplier of specialized IC design software, has introduced powerful methodology and ease-of-use advancements with the latest release of its Certitude 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 approachallows 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 Verdi 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, says 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.
