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.
Academy Topics
Topics
UVM/OVM
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 a new open-source UVM/OVM-based library that provides TLM1 and TLM2 connectivity and object passing between SystemC and SystemVerilog UVM/OVM 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
Coverage is a simulation metric we use to measure verification progress and completeness.
Acceleration
Acceleration are techniques that are used to address performance shortcomings of traditional simulation.