YosysHQ/yosys-plugins YosysHQ/yosys-plugins

  • Stars
    star
    21
  • Rank 1,084,038 (Top 22 %)
  • Language Yacc
  • Created over 9 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
YosysHQ/yosys-plugins
github

YosysHQ

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Yosys Plugins

More 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-tests

Collection of test cases for Yosys
Verilog
17
star
20

sby-gui

GUI for SymbiYosys
C++
12
star
21

setup-oss-cad-suite

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

prjtrellis-db

Project Trellis database
9
star
23

nextpnr-bench

Benchmarks for nextpnr
Jupyter Notebook
6
star
24

Sublime-Yosys

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

yosyshq.github.io

www.yosyshq.net
HTML
4
star
26

mau

Modular Application Utilities
Python
4
star
27

nextpnr-tests

Verilog
4
star
28

yosys-oldtests

Various larger test cases for yosys
Verilog
4
star
29

yosys-web

Yosys Web Page
HTML
3
star
30

pyosys-tests

pyosys tests
Python
3
star
31

yosys-manual-build

Yosys manual
Dockerfile
1
star