SoC design analysis software gets upgraded for greater efficiency

1 min read

Chip design specialist SpringSoft has upgraded its Certitude Functional Qualification System to support broader and more efficient deployment of verification qualification methodologies. Amongst the improvements are new detection automation and checker qualification capabilities, both developed to identify potential problems with fewer resources and to drive continuous improvements.

"Certitude is becoming an essential part of functional verification signoff flows," claimed George Bakewell, SpringSoft's director of product marketing. "With the new automation technologies and infrastructure improvements in the latest release, Certitude provides meaningful information faster on the quality of chip verification environments, so engineers can prioritise their efforts and use system resources more effectively. "More importantly, we're extending the use model for functional qualification to earlier in the verification flow – not just a point tool used at the end of the process – to help SoC teams get to signoff sooner with higher quality designs." The fault detection, ranking and tracking functions added to Certitude provide feedback more quickly, refine results and simplify fault analysis, says the company. When Certitude finds a non detected (ND) fault, it automatically drops other faults related to the ND fault. The software now allows fault dropping with an extended logic cone approach that expands the dropping criteria beyond a single cone to further minimise the 'noise' factor. Meanwhile, fault ranking and prioritisation features offer guidance on which ND faults within a specific fault class to analyse first and which test to use. SpringSoft says the Certitude platform will be expanded to introduce a new mode for deployment early in the verification process, providing a measure of how well the environment detects unspecified behaviour.