Verification & Quality Analytics

Functional verification has been, and continues to be, one of the most challenging and time-consuming activities in the modern microprocessor design process.

Machine learning (AI) techniques are the key for many complex daily tasks and challenges – for the functional verification and in general.

The Verification & Quality Analytics group addresses three main areas:
• Verification Cockpit - Provides a consolidated platform and applies data analytics techniques (ML and others) to track and optimize large-scale verification projects
• Identifying and Predicting Machine Learning Drift - Develops end-to-end methodologies and a framework to identify, predict, and send alerts for drift in ML deployment
• Formal Verification Technologies - RuleBase SixthSense is a verification expert tool, and Diver is a tool for designer level verification.