OsvvmLibraries
by OSVVM
Start here. Includes all other OSVVM libraries as submodules: Utility, Common, Verification Component, and Script.
AI summary
Verification framework
Provides reusable and modular VHDL verification components for creating testbenches and verifying digital circuits.
- stars
- 52
- forks
- 19
- watching
- 8
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
VHDL verification library
A comprehensive VHDL verification utility library with advanced testing and verification capabilities
uvvm/uvvm377
Testbench framework
A methodology and tool suite for creating structured VHDL-based testbenches for FPGA and ASIC development
RISC-V core simulator
Functional verification project for RISC-V cores
Mvvm tester
A test suite for verifying the behavior of CommunityToolkit.Mvvm
pyuvm/pyuvm380
Verification framework
An implementation of the IEEE Standard for Universal Verification Methodology in Python
Compiler verifier
A formal verification project of the LLVM compiler's semantics using Coq proof assistant.
Testbench framework
A framework for building testbenches for hardware verification using modern programming languages
Package Verifier
Tool for verifying package integrity and security in the npm ecosystem
MVVM framework
A minimalist MVVM framework providing basic building blocks for data-driven applications.
Verification framework
Port of the SystemVerilog Universal Verification Methodology to Python
Monoid library
A formalisation of Partial Commutative Monoids (PCMs) for verification of concurrent programs.
RISC-V Verifier
A framework for formally verifying RISC-V processors by providing a processor-independent formal description and testbenches.
Async framework
A Lua-based library for structured async/ concurrency in Neovim
Mvvm framework
A lightweight Mvvm Framework designed specifically for Xamarin.Forms, providing simple and flexible navigation, automatic wiring, and built-in IOC container.
Object model generator
Generates C++ implementation of the SystemVerilog Object Model and related tools based on YAML descriptions
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions OsvvmLibraries.
