YosysHQ/pyosys-tests

Stars
3
Rank 3,963,521 (Top 79 %)
Language
Python
License
ISC License
Created about 4 years ago
Updated almost 4 years ago

YosysHQ/pyosys-tests

YosysHQ

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

pyosys tests

yosys

Yosys Open SYnthesis Suite

picorv32

PicoRV32 - A Size-Optimized RISC-V CPU

nextpnr

nextpnr portable FPGA place and route tool

icestorm

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

oss-cad-suite-build

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

apicula

Project Apicula 🐝: bitstream documentation for Gowin FPGAs

arachne-pnr

Place and route tool for FPGAs

sby

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

prjtrellis

Documenting the Lattice ECP5 bit-stream format.

fpga-toolchain

Multi-platform nightly builds of open source FPGA tools

riscv-formal

RISC-V Formal Verification Framework

mcy

Mutation Cover with Yosys (MCY)

nerv

Naive Educational RISC V processor

yosys-bigsim

A collection of big designs to run post-synthesis simulations with yosys

VlogHammer

A Verilog Synthesis Regression Test

eqy

Equivalence checking with Yosys

padring

A padring generator for ASICs

yosys-bench

Benchmarks for Yosys development

yosys-plugins

yosys-tests

Collection of test cases for Yosys

sby-gui

GUI for SymbiYosys

setup-oss-cad-suite

Set up your GitHub Actions workflow with a OSS CAD Suite

prjtrellis-db

Project Trellis database

nextpnr-bench

Benchmarks for nextpnr

Jupyter Notebook

Sublime-Yosys

Yosys syntax highlighter for the Sublime Text 3 editor

yosyshq.github.io

www.yosyshq.net

mau

Modular Application Utilities

nextpnr-tests

yosys-oldtests

Various larger test cases for yosys

yosys-web

yosys-manual-build