Yosys Headquarters (@YosysHQ)
Guthub

YosysHQ

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

yosys

Yosys Open SYnthesis Suite
C++
3,453
star
2

picorv32

PicoRV32 - A Size-Optimized RISC-V CPU
Verilog
2,627
star
3

nextpnr

nextpnr portable FPGA place and route tool
C++
1,300
star
4

icestorm

Project IceStorm - Lattice iCE40 FPGAs Bitstream Documentation (Reverse Engineered)
Python
987
star
5

oss-cad-suite-build

Multi-platform nightly builds of open source digital design and verification tools
Shell
780
star
6

apicula

Project Apicula 🐝: bitstream documentation for Gowin FPGAs
Verilog
445
star
7

arachne-pnr

Place and route tool for FPGAs
C++
411
star
8

sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Python
403
star
9

prjtrellis

Documenting the Lattice ECP5 bit-stream format.
Python
398
star
10

fpga-toolchain

Multi-platform nightly builds of open source FPGA tools
C
289
star
11

riscv-formal

RISC-V Formal Verification Framework
Verilog
94
star
12

mcy

Mutation Cover with Yosys (MCY)
C++
76
star
13

nerv

Naive Educational RISC V processor
SystemVerilog
68
star
14

yosys-bigsim

A collection of big designs to run post-synthesis simulations with yosys
Verilog
45
star
15

VlogHammer

A Verilog Synthesis Regression Test
Shell
30
star
16

eqy

Equivalence checking with Yosys
Python
29
star
17

padring

A padring generator for ASICs
C++
23
star
18

yosys-bench

Benchmarks for Yosys development
Verilog
21
star
19

yosys-plugins

Yosys Plugins
Yacc
21
star
20

yosys-tests

Collection of test cases for Yosys
Verilog
17
star
21

sby-gui

GUI for SymbiYosys
C++
12
star
22

setup-oss-cad-suite

Set up your GitHub Actions workflow with a OSS CAD Suite
TypeScript
10
star
23

prjtrellis-db

Project Trellis database
9
star
24

nextpnr-bench

Benchmarks for nextpnr
Jupyter Notebook
6
star
25

Sublime-Yosys

Yosys syntax highlighter for the Sublime Text 3 editor
5
star
26

yosyshq.github.io

www.yosyshq.net
HTML
4
star
27

mau

Modular Application Utilities
Python
4
star
28

nextpnr-tests

Verilog
4
star
29

yosys-oldtests

Various larger test cases for yosys
Verilog
4
star
30

yosys-web

Yosys Web Page
HTML
3
star
31

pyosys-tests

pyosys tests
Python
3
star
32

yosys-manual-build

Yosys manual
Dockerfile
1
star