Pinned Repositories
apicula
Project Apicula 🐝: bitstream documentation for Gowin FPGAs
arachne-pnr
Place and route tool for FPGAs
fpga-toolchain
Multi-platform nightly builds of open source FPGA tools
icestorm
Project IceStorm - Lattice iCE40 FPGAs Bitstream Documentation (Reverse Engineered)
nextpnr
nextpnr portable FPGA place and route tool
oss-cad-suite-build
Multi-platform nightly builds of open source digital design and verification tools
picorv32
PicoRV32 - A Size-Optimized RISC-V CPU
prjtrellis
Documenting the Lattice ECP5 bit-stream format.
sby
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
yosys
Yosys Open SYnthesis Suite
Yosys Headquarters's Repositories
YosysHQ/yosys
Yosys Open SYnthesis Suite
YosysHQ/picorv32
PicoRV32 - A Size-Optimized RISC-V CPU
YosysHQ/nextpnr
nextpnr portable FPGA place and route tool
YosysHQ/icestorm
Project IceStorm - Lattice iCE40 FPGAs Bitstream Documentation (Reverse Engineered)
YosysHQ/oss-cad-suite-build
Multi-platform nightly builds of open source digital design and verification tools
YosysHQ/apicula
Project Apicula 🐝: bitstream documentation for Gowin FPGAs
YosysHQ/sby
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
YosysHQ/prjtrellis
Documenting the Lattice ECP5 bit-stream format.
YosysHQ/fpga-toolchain
Multi-platform nightly builds of open source FPGA tools
YosysHQ/riscv-formal
RISC-V Formal Verification Framework
YosysHQ/mcy
Mutation Cover with Yosys (MCY)
YosysHQ/nerv
Naive Educational RISC V processor
YosysHQ/VlogHammer
A Verilog Synthesis Regression Test
YosysHQ/eqy
Equivalence checking with Yosys
YosysHQ/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
YosysHQ/padring
A padring generator for ASICs
YosysHQ/yosys-tests
Collection of test cases for Yosys
YosysHQ/setup-oss-cad-suite
Set up your GitHub Actions workflow with a OSS CAD Suite
YosysHQ/prjtrellis-db
Project Trellis database
YosysHQ/sby-gui
GUI for SymbiYosys
YosysHQ/imctk
Incremental Model Checking Toolkit
YosysHQ/scy
Sequence of Covers with Yosys
YosysHQ/mau
Modular Application Utilities
YosysHQ/nextpnr-tests
YosysHQ/pyosys-tests
pyosys tests
YosysHQ/yosyshq.github.io
www.yosyshq.net
YosysHQ/yosys-web
Yosys Web Page
YosysHQ/furo-ys
A clean customizable documentation theme for Sphinx
YosysHQ/yosys-manual-build
Yosys manual
YosysHQ/.github