Doulos OVM Adopter Class
Start Date: Please contact us
Course Overview
Course description with information on the course – marketing oriented.
Open Verification Methodology (OVM) is a non-proprietary functional verification methodology based on SystemVerilog. The source code and documentation are freely available under an open-source Apache license. OVM offers a complete framework for the creation of sophisticated functional verification environments in SystemVerilog, and encourages the development and deployment of re-usable verification components.
It has comprehensive support for constrained random stimulus generation, including structured sequence generation, and for transaction-level modelling. OVM testbenches also support functional coverage collection and assertions. OVM exploits the object-oriented programming (or “class-based”) features of SystemVerilog. The open structure, extensive automation, and standard transaction-level interfaces of OVM make it suitable for building functional verification environments ranging from simple block-level tests to the most complex coverage-driven testbenches.
Delegates for this course must start with a detailed knowledge of building class-based verification environments using SystemVerilog. The course leads delegates through to full verification project readiness by focussing on the in-depth practical application of OVM using commercial verification tools such as Mentor Graphics Questa™Sim and Synopsys® VCS®.
Workshops comprise approximately 50% of class time, and are based around carefully designed exercises to reinforce and challenge the extent of learning. During the hands-on workshops, delegates will build a complete OVM verification environment for a small example system.
Level:
Standard Level OVM TrainingWho should attend?
• Verification engineers who wish to deploy complex SystemVerilog verification environments using OVM 2.0Prerequisite:
A detailed knowledge of how to build a class-based SystemVerilog verification environment is essential. For engineers with no class-based SystemVerilog knowledge or experience the Comprehensive SystemVerilog or SystemVerilog for Verification Specialists courses provide an appropriate preparation. For onsite courses, Modular SystemVerilog precursor training can be tailored to your team’s profile.
What will you learn?
The course is structured into four distinct sections.
• The principles of effective functional verification using OVM
• The standard structure of OVM components and environments
• How to use the OVM kit (classes, macros, documentation and examples) in constructing your own verification environments
• Making good use of OVM features for configuration, stimulus generation, reporting and diagnostics
• How to build complete, powerful, reusable class-based OVM verification components and environments
Course Outline:
1. Introduction to OVM
• Course structure
• motivation
• principles of coverage-driven verification
• benefits
• transaction level modelling
• overview of AVM and URM
• the OVM kit
• test bench organisation
• OVM class summary
• overview of key OVM features
2. Getting Started with OVM
• Test bench structure
• ovm_env and ovm_test
• field automation macros
• basic reporting transaction classes
• generating a randomized sequence
• driver class
• linking to the DUT
• virtual interfaces
• running a test
• Lab – a simple test bench
3. Monitors and Reporting
• Creating a monitor
• the OVM printer
• reports and actions
• configuring the OVM report handler
• ovm_analysis_port / export
• connecting analysis ports and exports
• ovm_subscriber
• tlm_analysis_fifo
• Lab – Monitor with analysis ports
4. Checkers and Scoreboards
• The role of assertions
• structural versus protocol assertions
• reference models
• monitor operation
• sampling signal values
• scoreboards and the ovm_scoreboard class
• OVM built-in comparators
• specifying match rules
• redirecting reports
• log files
• Lab – implementing a checker
5. Functional Coverage
• Separating data gathering from coverage analysis
• property-based coverage
• property variables and actions
• covergroup and coverpoint
• cross coverage
• binning
• analysis subscriber
• coverage on internal states of DUT
• Lab – creating a coverage collector
6. Random Stimulus Generation
• Constrained random stimulus
• packing OVM class fields
• emulating ROM with instruction driver
• creating sequences manually controlling the constraint solver
• serial I/O example
• overriding generated sequence items
• Lab – constraints and random stimulus
7. Configuring the Testbench
• Using component names to represent hierarchy
• locating and identifying component instances by name
• using the OVM factory
• registering fields with factory
• overriding factory defaults
• using the factory with parameterized components
• setting and getting configuration details
• virtual interface wrappers
• configuring multiple tests
• configuration with command-line arguments
• stopping a test
• OVM objection class
• Lab – testbench configuration and overriding the factory
• “Agent” architecture and its relationship with other verification methodologies
• class monitors and drivers
• standard agent architecture
• ovm_agent
• sequence library and default OVM sequences
• communication between sequencer and driver
• connecting and configuring agent
• Lab – building a simple agent with sequencer
9. Sequences
• Sequencer and sequences – the ovm_sequence class
• creating custom sequences
• sequence macros and the body task
• sequence phases configuring sequences
• complex sequences
• introduction to virtual sequences virtual sequencers
• Lab – creating and extending user-defined sequences
10. Hierarchical Testbench Components
• TLM interfaces and ports
• implementing an export
• using tlm_fifo analysis ports
• coverage-based test controllers
• error injection
• child process controlSupplementary Subjects11. More on Sequences
• Using sequence callback methods
• getting response from sequence driver grabbing control of sequences
• concurrent sequence control
• multi-layer sequences using inheritance
• multi-layer sequences and sequencers
12. Callbacks
• Callback uses
• OVM Callback class
• Inserting callbacks into a component
• Defining callback functions
• Registering callback objects with components
13. Classes – OOP Primer/Review
• Object-Oriented Programming
• class
• object
• method
• constructor
• extends
• inheritance
• overriding
• virtual method
• up-cast
• parameterised class
14. Related courses
• Comprehensive SystemVerilog
• Modular SystemVerilog (in-house delivery only)
Doulos acknowledges all trademarks and registered trademarks as the property of their respective owners.
