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.
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.

2K 0 1
cristian-mattarei
cosa

CoreIR Symbolic Analyzer

2K 75 18
LogicX-Tatsu
rvgen

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

774 0 0
dobios
btor2-opt

Very basic btor2 parser, circuit miter, and code optimizer.

437 11 6
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.

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