PyRank
  • Insights
  • PyPI
  • GitHub
  • Search
  • Compare
  • Advisories
  • Ecosystem
  • About

Hardware Verification Python Packages

Python packages with the GitHub topic hardware-verification. Sorted by relevance, with stars and monthly downloads.
cristian-mattarei
cosa

CoreIR Symbolic Analyzer

1K 75 18
lanserge
cxxrtl-vpi

An IEEE-1364 VPI interface for CXXRTL (the Yosys C++ simulation backend), so cocotb can drive CXXRTL models.

1K 0 0
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.

852 0 1
lanserge
sc-cxxrtl

A CXXRTL (Yosys) cocotb simulator for SiliconCompiler — installed, not patched in

681 0 0
dobios
btor2-opt

Btor2 parser, circuit mitter, and code optimizer

338 12 6
TatsuProject
rvgen

Pure-Python RISC-V random instruction generator with built-in functional coverage, auto-regression, and CI-ready dashboards.

208 4 1
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.

82 31 4
    • Data from PyPI, GitHub, ClickHouse, and BigQuery