Yosys Headquarters

Yosys Headquarters's repositories

yosys

Yosys Open SYnthesis Suite

Language:C++ISC4117 130 1993

picorv32

PicoRV32 - A Size-Optimized RISC-V CPU

Language:VerilogISC3763 170 186

nextpnr

nextpnr portable FPGA place and route tool

Language:C++ISC1546 68 481

oss-cad-suite-build

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

Language:ShellISC1223 26 137

icestorm

Project IceStorm - Lattice iCE40 FPGAs Bitstream Documentation (Reverse Engineered)

Language:PythonISC1102 68 143

apicula

Project Apicula 🐝: bitstream documentation for Gowin FPGAs

Language:VerilogMIT595 37 109

sby

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

Language:PythonNOASSERTION479 32 146

prjtrellis

Documenting the Lattice ECP5 bit-stream format.

Language:PythonNOASSERTION431 32 80

riscv-formal

RISC-V Formal Verification Framework

Language:VerilogISC164 13 19

nerv

Naive Educational RISC V processor

Language:SystemVerilogNOASSERTION88 11 3

mcy

Mutation Cover with Yosys (MCY)

Language:C++ISC87 14 6

eqy

Equivalence checking with Yosys

Language:C++NOASSERTION46 7 28

VlogHammer

A Verilog Synthesis Regression Test

Language:Shell37 70

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

Language:CNOASSERTION29 60

padring

A padring generator for ASICs

Language:C++ISC25 8 7

prjpeppercorn

Project Peppercorn - GateMate FPGA Bitstream Documentation

Language:PythonISC25 100

sby-gui

GUI for SymbiYosys

Language:C++ISC17 7 19

setup-oss-cad-suite

Set up your GitHub Actions workflow with a OSS CAD Suite

Language:TypeScriptISC16 8 5

prjtrellis-db

Project Trellis database

CC0-1.013 70

imctk

Incremental Model Checking Toolkit

Language:RustNOASSERTION10 8 44

prjpeppercorn-test-cases

Project Peppercorn GateMate Test Cases

Language:VerilogISC1000

rtlil-mlir

Yosys RTLIL dialect for MLIR

Language:C++ISC1000

nextpnr-tests

Language:VerilogISC6 5 2

scy

Sequence of Covers with Yosys

Language:SystemVerilogNOASSERTION6 11 3

mau

Modular Application Utilities

Language:PythonISC5 12 1

yosyshq.github.io

www.yosyshq.net

Language:HTML4 70

yosys-web

Yosys Web Page

Language:HTML3 6 2

furo-ys

A clean customizable documentation theme for Sphinx

Language:SassMIT100

yosys-manual-build

Yosys manual

Language:Dockerfile1 80

.github

070