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 provides evidence-based verification quality analysis for ISO 26262 Part 8-9 assessments.

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. 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:

  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

 

Certitude Functional Qualification System