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.
Satisfying ISO 26262 for Automotive
The Certitude system provides detailed information on the ability of your safety mechanisms to detect and react to “random faults” that represent defects in your designs, enabling calculation of key metrics like diagnostic coverage (DC) and documentation of how these mechanisms are verified and whether they perform as expected. Such documentation is required by the ISO 26262 standard to validate the satisfactory operation of the system under unexpected conditions and to illustrate the use of best-practice, state-of-the art verification methods.
The Certitude system works in three 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
- Safety mode assesses your safety mechanisms relative to the ISO 26262 automotive standard