PyPI
cocotb/cocotb
cocotb: Python-based chip (RTL) verification
BSD-3-ClauseSep 17, 2026 · metrics 2.10.0
All tags
Catalogue tag
#verilog
Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.
12 records
PyPI
FPGA-Research/FABulous
An easy-to-use, silicon-proven (e)FPGA generator with an integrated CAD toolchain 🏗️
Apache-2.0Sep 12, 2026 · metrics 2.10.0
PyPI
siliconcompiler/siliconcompiler
Modular hardware build system
Apache-2.0Sep 12, 2026 · metrics 2.10.0
PyPI
MikePopoloski/slang
SystemVerilog compiler and language services
MITSep 17, 2026 · metrics 2.10.0
PyPI
marcelwa/aigverse
A Python library for working with logic networks, synthesis, and optimization.
MITOct 13, 2026 · metrics 2.10.0
Maven
logisim-evolution/logisim-evolution
Digital logic design tool and simulator
GPL-3.0Sep 20, 2026 · metrics 2.10.0
crates.io
veryl-lang/veryl
Veryl: A Modern Hardware Description Language
Apache-2.0Oct 18, 2026 · metrics 2.10.0
—
stnolting/neorv32
🖥️ A small, customizable and extensible MCU-class 32-bit RISC-V soft-core CPU and microcontroller-like SoC written in platform-independent VHDL.
BSD-3-ClauseSep 7, 2026 · metrics 2.10.0
npm
mshr-h/vscode-verilog-hdl-support
Verilog/SystemVerilog support for VS Code
MITSep 11, 2026 · metrics 2.10.0
PyPI
najaeda/naja
Netlist API (and more) for EDA flow development
Apache-2.0Sep 12, 2026 · metrics 2.10.0
PyPI · npm
rtl-buddy/rtl_buddy
RTL Buddy is a Python CLI for Verilog and SystemVerilog regression testing, Verilator and VCS simulation workflows, coverage, and YAML-based RTL verification automation.
BSD-3-ClauseSep 18, 2026 · metrics 2.10.0
npm
wavedrom/wavedrom
:ocean: Digital timing diagram rendering engine
MITOct 7, 2026 · metrics 2.10.0