SpringSoft's Certitude^TM Functional Qualification System removes verification uncertainty and accelerates functional closure for complex IP and SoC designs. It combines automated detection technologies, intelligent operation, and an incremental use model to qualify the thoroughness of verification environments and identify weaknesses that could allow RTL bugs to go undetected.

ST Microelectronics has been using Certitude technology since its market introduction, and today runs functional qualification on more than 80 percent of its internal IP designs. Certitude metrics provide engineers with the most important indicators of verification completeness. Its non-intrusive integration into the company's existing verification flows has made it practical to deploy a functional qualification methodology that produces measurable gains in chip quality and increases verification productivity.

Click here to see the presentation.