shieldosvb · shieldcocotb shieldOSVVM shieldSVUnit shieldUVVM shieldVUnit · shieldGHDL shieldIVerilog shieldVerilator shieldYosys

Open Source Verification Bundle#

Welcome to the Documentation of the Open Source Verification Bundle (OSVB)!

OSVB gathers the most popular open source verification Frameworks and Methodologies for VHDL and System Verilog: CoCoTb, OSVVM, SVUnit, UVVM, VUnit. Each of them was created and is maintained by different groups of people, in different contexts and with different backgrounds. All evolved into standalonish solutions involving build and test execution helpers, along with verification components for standard interfaces. However, each project prioritised certain features, while others didn’t receive so much care. The purpose of this bundle is twofold:

  • Allow users of any of the frameworks/methodologies to share some plumbing with others, so that communities can share testbenches written in any framework without having to learn a new workflow from scratch.

  • Reduce the maintenance burden of the projects by focusing on the features which are unique to a particular framework/methodology, instead of reinventing the wheel.

All the frameworks support multiple vendor tools as well as open source simulators. However, due to licensing restrictions, it is not possible to test non FLOSS simulators on public Continuous Integration (CI) services. Therefore, the examples in this bundle are tested on CI with open source simulators/compilers only (see Simulators | Compilers).

Important

This project is a proof of concept for gathering several integration efforts involving the target projects by pairs. For instance, VUnit and cocotb, or VUnit and OSVVM. Not all the features described in this home page are implemented yet. See the available examples for an specific reference about what is ready to be used.