Yosys Open SYnthesis Suite

SystemVerilog compiler and language services

SystemVerilog frontend for Yosys

PicoGraph is a Pi Pico 2 ISA video card that supports several PC graphics standards using DisplayLink

Save time and cost when using GitHub Actions

System Software for Z80/Z180/Z280 Computers

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

ABC: System for Sequential Logic Synthesis and Formal Verification

MAME

Build your hardware, easily!

LiteX boards files

Linux on LiteX-VexRiscv

Small footprint and configurable DRAM core

Kölsch Computer

nextpnr portable FPGA place and route tool

Staging repo for Yosys command reference build. The contents of this repository are autogenerated from Yosys source.

Modular Application Utilities

Equivalence checking with Yosys

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

AGM bitstream utilities and decoded files from Supra

Documenting Lattice's 28nm FPGA parts

prjoxide database

Cyclone V bitstream reverse-engineering project

Sequence of Covers with Yosys