YosysHQ

Yosys Open SYnthesis Suite

PicoRV32 - 一個尺寸優化的 RISC-V CPU

nextpnr 可攜式 FPGA 佈局與繞線工具

開源數位設計與驗證工具的多平台每日建置版本

Project IceStorm - Lattice iCE40 FPGA 位元流文件（逆向工程）

Project Apicula 🐝：Gowin FPGA 的位元串流文件

SymbiYosys (sby) —— 基於 Yosys 的形式驗證流程前端