Pinned Repositories
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
riscv-isa-manual
RISC-V Instruction Set Manual
KrystalDelusion's Repositories
KrystalDelusion/AppNote-320
320 Using the YosysHQ AXI4 formal VIP
KrystalDelusion/AppNote-400
Intro to Mutation Coverage with Yosys (MCY)
KrystalDelusion/black-parrot
A Linux-capable RISC-V multicore for and by the world
KrystalDelusion/mapgen4
Mapgen4 procedural wilderness map generator
KrystalDelusion/mau
Modular Application Utilities
KrystalDelusion/mcy
Mutation Cover with Yosys (MCY)
KrystalDelusion/nerv
Naive Educational RISC V processor
KrystalDelusion/oss-cad-suite-build
Multi-platform nightly builds of open source digital design and verification tools
KrystalDelusion/picorv32
PicoRV32 - A Size-Optimized RISC-V CPU
KrystalDelusion/riscv-isa-manual
RISC-V Instruction Set Manual
KrystalDelusion/sby
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
KrystalDelusion/sby-bigexample
KrystalDelusion/yosys
Yosys Open SYnthesis Suite
KrystalDelusion/yosys-bigsim
A collection of big designs to run post-synthesis simulations with yosys
KrystalDelusion/yosys-cmd-ref
Staging repo for Yosys command reference build. The contents of this repository are autogenerated from Yosys source.
KrystalDelusion/yosys-web
Yosys Web Page
KrystalDelusion/YosysHQ-Docs