YosysHQ / yosys

Yosys Open SYnthesis Suite

YosysHQ / oss-cad-suite-build

Multi-platform nightly builds of open source digital design and verification tools

ArroyoSystems / arroyo

Distributed stream processing engine in Rust

YosysHQ / nextpnr

nextpnr portable FPGA place and route tool

YosysHQ / icestorm

Project IceStorm - Lattice iCE40 FPGAs Bitstream Documentation (Reverse Engineered)

YosysHQ / apicula

Project Apicula 🐝: bitstream documentation for Gowin FPGAs

YosysHQ / sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

liujianyu20021122 / RTL-ASS

Codex-first, vendor-neutral RTL coding and verification skill using open-source tools