PyPI
cocotb/cocotb
cocotb: Python-based chip (RTL) verification
BSD-3-Clause17. Sept. 2026 · Metriken 2.10.0
Alle Tags
Katalog-Tag
#verilog
Alle Repositories im öffentlichen Register, die dieses Tag tragen — aus ihren GitHub-Topics oder den von ihren Paket-Registries veröffentlichten Schlagwörtern. Die Gesundheit wird nach derselben versionierten Methodik gemessen wie im übrigen Register.
12 Einträge
PyPI
FPGA-Research/FABulous
An easy-to-use, silicon-proven (e)FPGA generator with an integrated CAD toolchain 🏗️
Apache-2.012. Sept. 2026 · Metriken 2.10.0
PyPI
siliconcompiler/siliconcompiler
Modular hardware build system
Apache-2.012. Sept. 2026 · Metriken 2.10.0
PyPI
MikePopoloski/slang
SystemVerilog compiler and language services
MIT17. Sept. 2026 · Metriken 2.10.0
PyPI
marcelwa/aigverse
A Python library for working with logic networks, synthesis, and optimization.
MIT13. Okt. 2026 · Metriken 2.10.0
Maven
logisim-evolution/logisim-evolution
Digital logic design tool and simulator
GPL-3.020. Sept. 2026 · Metriken 2.10.0
crates.io
veryl-lang/veryl
Veryl: A Modern Hardware Description Language
Apache-2.018. Okt. 2026 · Metriken 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-Clause7. Sept. 2026 · Metriken 2.10.0
npm
mshr-h/vscode-verilog-hdl-support
Verilog/SystemVerilog support for VS Code
MIT11. Sept. 2026 · Metriken 2.10.0
PyPI
najaeda/naja
Netlist API (and more) for EDA flow development
Apache-2.012. Sept. 2026 · Metriken 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-Clause18. Sept. 2026 · Metriken 2.10.0
npm
wavedrom/wavedrom
:ocean: Digital timing diagram rendering engine
MIT7. Okt. 2026 · Metriken 2.10.0