YosysHQ

Yosys Open SYnthesis Suite

PicoRV32 - 一个尺寸优化的 RISC-V CPU

nextpnr 可移植 FPGA 布局与布线工具

开源数字设计与验证工具的多平台每日构建版本

Project IceStorm - Lattice iCE40 FPGA 比特流文档（逆向工程）

Project Apicula 🐝：Gowin FPGA 的比特流文档

SymbiYosys (sby) —— 基于 Yosys 的形式验证流程前端