Open Source VHDL Verification Methodology (OSVVM)
OSVVM is an advanced verification methodology thatdefines a VHDL verification framework, verification utility library,verification component library, and a scripting flowthat simplifies your FPGA or ASIC verification projectfrom start to finish.Using these libraries you can create a simple, readable,and powerful testbench that is suitable for either asimple FPGA block or a complex ASIC.
OSVVM is developed by the same VHDL experts whohave helped develop VHDL standards.We have used our expert VHDL skills to createadvanced verification capabilities that provide:
- A structured transaction-based framework using verification components that is suitable for all verification tasks - from Unit/RTL to full chip/system level testing.
- Test cases and verification components that can be written any VHDL Engineer.
- Test cases that are readable and reviewable by the whole team including software and system engineers.
- Unmatched reuse through the entire verification process.
- Unmatched test reporting with HTML based test suite reports, test case reports, and logs that facilitate debug and test artifact collection.
- Support for continuous integration (CI/CD) with JUnit XML test suite reporting.
- Powerful and concise verification capabilities including Constrained Random, Functional Coverage, Scoreboards, FIFOs, Memory Models, error logging and reporting, and message filtering that are simple to use and work like built-in language features.
- A common scripting API to run all simulators - including GHDL, NVC, Aldec Riviera-PRO and ActiveHDL, Siemens Questa and ModelSim, Synopsys VCS, and Cadence Xcelium.
- A Co-simulation capability that supports running software (C++) in a hardware simulation environment.
- A Model Independent Transaction (MIT) library that defines a transaction API (procedures such as read, write, send, get, …) and transaction interface (a record) that simplifies writing verification components and test cases.
- A rival to the verification capabilities of SystemVerilog + UVM.
You can find an overview of OSVVM atosvvm.github.io.Alternately you can find our pdf documentation atOSVVM Documentation Repository.
You can also learn OSVVM by taking the class,Advanced VHDL Verification and Testbenches - OSVVM™ BootCamp
A great way to get oriented with OSVVM is to run the demos.For directions on running the demos, seeOSVVM Scripts.
OsvvmLibraries contains all other OSVVM repositories as submodules. If you want everything, this is the one you need to clone.
Be sure to use “–recursive” to include the submodules:
$ git clone --recursive https://github.com/osvvm/OsvvmLibrariesGet a zip file fromosvvm.org Downloads Page.
The OSVVM Utility library (named osvvm) implementsbuzz word verification capabilities including Constrained Random, Functional Coverage,Scoreboards, FIFOs, Memory Models, error logging and reporting, and message filteringthat are simple to use and work like built-in language features.
The OSVVM script library implementsa common scripting API to run all simulators -including GHDL, NVC, Aldec Riviera-PRO and ActiveHDL, Siemens Questa and ModelSim, Synopsys VCS, and Cadence Xcelium.
Our motto: "One Script to RUn them ALL"
The Model Independent Transaction (MIT) library (osvvm_common) defines a transaction API (procedures such as read, write, send, get, …)and transaction interface (a record) that simplifies writing verification components and test cases.The MIT library is used (and required) by all OSVVM verification components.Usi8ng OSVVM MIT makes verification component deveopment as easy as any "Lite" based approach.
The OSVVM Verification Component Libraries are a growing set ofverification components commonly used for FPGA and ASIC verification.Each family of verification components is a separate git repository.The library currently contains the following repositories:
- AXI4 Repository
- Axi4 Full Manager (burst), Memory (burst), Subordinate Verification Components
- Axi4 Lite Manager and Subordinate Verification Components
- AxiStream Transmitter and Receiver Verification Components
- UART Repository
- UART Transmitter and Receiver
- DpRam Repository
- DpRam behavioral model
- DpRam Manager VC to read and write to the DpRam interface
- Ethernet xMII Repository
- Verification components for Ethernet Phy and MAC that support GMII/RGMII/MII/RMII.
OSVVM co-simulation supports running software (C++) in a hardware simulation environment.
This includes either writing tests cases in C++ or running C++ models such as instruction set simulators.
PDF documentation for all things OSVVM.
PinnedLoading
- OsvvmLibraries
OsvvmLibraries PublicStart here. Includes all other OSVVM libraries as submodules: Utility, Common, Verification Component, and Script.
- OSVVM-Scripts
OSVVM-Scripts PublicOSVVM project simulation scripts. Scripts are tedious. These scripts simplify the steps to compile your project for simulation
- OSVVM-Common
OSVVM-Common PublicPackages that implement OSVVM's model independent transactions and other shared verification component support packages. Required for all OSVVM verification components. AddressBusTransactionPkg - A…
Repositories
- OsvvmLibraries Public
Start here. Includes all other OSVVM libraries as submodules: Utility, Common, Verification Component, and Script.
OSVVM/OsvvmLibraries’s past year of commit activity - OSVVM-Scripts Public
OSVVM project simulation scripts. Scripts are tedious. These scripts simplify the steps to compile your project for simulation
OSVVM/OSVVM-Scripts’s past year of commit activity - OSVVM-Common Public
Packages that implement OSVVM's model independent transactions and other shared verification component support packages. Required for all OSVVM verification components. AddressBusTransactionPkg - AXI, AxiLite, ... StreamTransactionPkg - AxiStream, UART, ...
OSVVM/OSVVM-Common’s past year of commit activity