Accelerate C-Functions
Automated Debug
Correct-by-Construction
ESL Methodology
Functional Qualification
HW/SW Profiling
Virtual HW Models
Visibility Automation

SpringSoft

Automation Technologies for Debug and Verification

Print this page Contact us Tip a colleague about this page

Novas Verificartion Enhancement Solutions

With Novas Verification Enhancement Solutions SpringSoft delivers unique technologies that AUTOMATE the tedious and time-consuming verification and debugging of complex digital ASICīs and FPGAīs.


Verdi Automated Debug System

Cuts Debug Time in Half

The Verdi Automated Debug System is an advanced solution for debugging your digital designs that cuts debug time by as much as 50%.

Siloti Visibility Automation

Eliminates Simulation Overhead

The Siloti family of Visibility Automation products transforms verification methodologies by eliminating the overhead associated with dumping data for all the signals in a design.

Certitude Functional Qualification

Removes Verification Uncertainty
Certitude allows you to evaluate the effectiveness of your verification environment:
  • Objectively measures the quality of the verification environment
  • Identifies verification holes that could hide design bugs
alt text, valfritt Certitude datasheet
Info

Related pages