The Certitude system provides detailed information on the ability of your verification environment to activate, propagate and detect “systematic faults” that represent potential bugs in your design, exposing significant weaknesses that have gone unnoticed by other tools. The system provides data to identify vulnerabilities in the stimuli, observability, checkers and assertions as well as holes in your verification plan. With the uncertainty removed, your verification efforts will be more reliable and efficient. Certitude supports a broad range of verification environments, including VHDL, Verilog, System Verilog, SystemC, C/C++, software and scripting testbenches.
Satisfying ISO 26262 for Automotive
The Certitude system enables testbench qualification and proves the credibility of best-in-class functional verification methodology and tools. This is needed for the evidence-based verification quality analysis for ISO 26262 Part 8-9 assessments (“Supporting Processes – Verification”).
Operation Modes
The Certitude system works in these modes:
- Verification improvement mode analyzes the verification of your design and identifies specific holes and weaknesses
- Metric mode objectively measures the overall quality of your verification environment