krystaldelusion Goto Github PK

appnote-320

320 Using the YosysHQ AXI4 formal VIP

appnote-400

Intro to Mutation Coverage with Yosys (MCY)

black-parrot

A Linux-capable RISC-V multicore for and by the world

mapgen4

Mapgen4 procedural wilderness map generator

mau

Modular Application Utilities

mcy

Mutation Cover with Yosys (MCY)

nerv

Naive Educational RISC V processor

oss-cad-suite-build

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

picorv32

PicoRV32 - A Size-Optimized RISC-V CPU

sby

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

sby-bigexample

yosys

Yosys Open SYnthesis Suite

yosys-bigsim

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

yosys-cmd-ref

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

yosys-web

Yosys Web Page

yosyshq-docs