Certitude

Functional Qualification System

The Certitude™ Functional Qualification System (See Figure 1) is the only solution that objectively measures the overall effectiveness of your verification environment. It identifies verification weaknesses that allow bugs to go undetected and lead to functional problems, silicon re-spins, and delays to market. For designs targeting automotive, Certitude assesses safety mechanisms as required by the ISO 26262 standard. The Certitude system does this with unique automation technology that provides quick feedback on the most serious problems and supports the efficient analysis and correction of problems.

Gaining Confidence in Your Verification Environment

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.

Operation Modes
The Certitude system works in three modes:

  1. Verification improvement mode analyzes the verification of your design and identifies specific holes and weaknesses
  2. Metric mode objectively measures the overall quality of your verification environment
  3. Safety mode assesses your safety mechanisms relative to the ISO 26262 automotive standard