mmicko

prjtang

Documenting the Anlogic FPGA bit-stream format.

galtape

Galaksija tape tool

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

cli

FPGA Command Line Interface

macos-resources

MacOS resources needed for cross compile

mame

MAME

edalize

An abstraction library for interfacing EDA tools

fusesoc

Package manager and build abstraction tool for FPGA/ASIC development

iverilog

Icarus Verilog

litex-boards

LiteX boards files

mistral

Cyclone V bitstream reverse-engineering project

mojmikroslovenija

opentitan

OpenTitan: Open source silicon root of trust

SymbiYosys

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

verilator

Verilator open-source SystemVerilog simulator and lint system

apicula

Project Apicula 🐝: bitstream documentation for Gowin FPGAs

eqy

Equivalence checking with Yosys

litex

Build your hardware, easily!

macdylibbundler

Utility to ease bundling libraries into executables for OSX

mau

Modular Application Utilities

nextpnr-xilinx

Experimental flows using nextpnr for Xilinx devices

picosat

Unofficial picosat github mirror

prjoxide

Documenting Lattice's 28nm FPGA parts

prjoxide-db

prjoxide database

scy

Sequence of Covers with Yosys

test-ci

VexRiscv

A FPGA friendly 32 bit RISC-V CPU implementation

yosys

Yosys Open SYnthesis Suite

yosys-cmd-ref

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

yosys-f4pga-plugins

Plugins for Yosys developed as part of the F4PGA project.