Search form

Main menu

My Account Menu

Academy Topics

The Verification Academy offers users multiple entry points to find the information they need. One of these entry points is through Topic collections. These topics are industry standards that all design and verification engineers should recognize. While we continue to add new topics, users are encourage to further refine collection information to meet their specific interests.



Here you’ll find everything you need to get up to speed on UVM and OVM, whether it’s downloading the kit(s), viewing a cookbook article, downloading a UVM or OVM video course and more.

UVM Express

UVM Express is a collection of techniques, coding styles and UVM usages that are designed to increase the productivity of functional verification

UVM Connect

UVM Connect is an open-source UVM-based library that provides TLM1 and TLM2 connectivity and object passing between SystemC and SystemVerilog UVM models and components.

Simulation-Based Techniques

This topic area focuses on simulation-based techniques, ranging from stimulus generation, coverage modeling, and correctness checking

Planning, Measurement and Analysis

This topic area focuses on the early stages of a verification project.

FPGA Verification

The modern FPGA designer faces many different challenges while working on his or her project. Fortunately, there are many solutions to choose from and more powerful, user-friendly tools available.

Formal-Based Techniques

This topic area focuses on formal-based techniques, ranging from formal property checking to clock-domain crossing (CDC) verification.

Design and Verification Languages

Verification languages are the foundation of the very dynamic electronics industry.


Coverage is a simulation metric we use to measure verification progress and completeness.


Acceleration are techniques that are used to address performance shortcomings of traditional simulation.