Projects in Awesome Lists tagged with hardware-verification

A curated list of projects in awesome lists tagged with hardware-verification .

- Recently synced
- Stars

https://github.com/intel/rohd

The Rapid Open Hardware Development (ROHD) framework is a framework for describing and verifying hardware in the Dart programming language.

framework hardware hardware-design hardware-verification hdl rtl simulator verification

Last synced: 27 Dec 2025

https://github.com/mit-plv/kami

A Platform for High-Level Parametric Hardware Specification and its Modular Verification

bluespec coq hardware-description-language hardware-verification proof-assistant

Last synced: 08 Apr 2025

https://github.com/cristian-mattarei/CoSA

CoreIR Symbolic Analyzer

formal-methods formal-verification hardware-verification model-checking satisfiability-modulo-theories systemverilog verilog

Last synced: 14 Mar 2025

https://github.com/intel/rohd-vf

The ROHD Verification Framework is a hardware verification framework built upon ROHD for building testbenches.

framework hardware hardware-verification verification

Last synced: 23 Oct 2025

https://github.com/aebeljs/verlpy

VeRLPy is an open-source python library developed to improve the digital hardware verification process by using Reinforcement Learning (RL). It provides a generic Gym environment implementation for building cocotb-based testbenches for verifying any hardware design.

hardware-verification reinforcement-learning

Last synced: 13 Mar 2026

https://github.com/intel/rohd-cosim

Cosimulation for the Rapid Open Hardware Development (ROHD) framework with other simulators

co-simulation cocotb cosim cosimulation dart framework hardware hardware-design hardware-verification python rohd rohd-vf rtl simulator

Last synced: 19 Feb 2026

https://github.com/mit-plv/hemiola

A Coq framework to support structural design and proof of hardware cache-coherence protocols

cache-coherence coq domain-specific-language hardware-verification proof-assistant

Last synced: 25 Apr 2025

https://github.com/sagikimhi/socx-cli

Unified command-line tool for EDA development teams to streamline common tasks and tools, and unify them under a single configurable CLI menu to increase accessibility and transparency of tools and scripts in collaborative development environments.

hardware-verification python regression-testing systemverilog terminal-user-interface test-management tools