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.
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.
Relaterede nyheder
- • Samsung bruger Synopsys IC kompiler til ARM Cortex-A15 SoCs
- • Altium udvider med Maxim board-level komponenter
- • Synopsys lancerer 3D IC initiativ
- • Altium og Microchip samarbejder om board-level design
- • HDL kode genereres automatisk fra MATLAB
- • Altium lancerer 'Designer 12'
- • Altium leverer nye board-level komponenter fra Altera
- • Altium rykker tættere på ST
- • Første komplette AUTOSAR 4.x løsning
- • Første integrerede løsning til termisk analyse og karakterisering
- • Synopsys køber Magma
- • Succesfuldt nordisk samarbejde om system-level værktøjer
- • Web-portal med system-level modeller af SoC komponenter
- • Altium og Würth Elektronik samarbejder om nye komponentbiblioteker
- • Det skal være lettere at integrere komplekse analoge makroceller
Seneste nyheder
- • Ny standard for trådløs opladning i støbeskeen
- • Stor opbakning til nye M2M standard i 'white space' området
- • AMD Embedded G-Series undestøtter Windows RTOS
- • Ny 600V IGBT platform
- • COM-modul med næste generation Atom dual-core processorer
- • Danfoss afhænder datterselskab
- • Renesas hos RS
- • Würth Elektronik på vej med transformerkomponenter til trådløs opladning
- • Segger Microcontroller hos Farnell
- • I/Q demulator med ultrabred båndbredde
- • Nyt kompakt COM modul fra VIA
- • Low-cost fugtigheds- og temperatursensor
- • Brüel & Kjær og Agilent samarbejder om 'voice-over-LTE' testsystemer
- • Digi-Key åbner teknologiforum på dansk hjemmeside
- • Interkonnekteringsystem understøtter 28 Gbit/s datatransmission
- • Lattice introducerer helt ny power management arkitektur
- • Første LED-controller med konstant effektregulering
- • Micron udvikler DDR4 DRAM-modul
- • Aktivt kabel til Thunderbolt løsninger
- • Microsoft vil være med til at nedbryde 'memory-muren'
- • Opkoblere med lavt effektforbrug
- • Gate driver optokobler til krævende applikationer
- • Piezoelektriske MEMS oscillatorer med ultralav jitter
- • Svensk institut tilbyder højspændings-impulstest
- • Mouser og TDK-Lambda indgår global distributionsaftale