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.
Verification Cockpit Platform
TAC – Template Aware Coverage
Performance Verification
CDG - Coverage Directed Generation
Identifying and Predicting Machine Learning Drift
Machine Learning Basics
