jix

sby

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

flussab

Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.

yosys

Yosys Open SYnthesis Suite

fast_fwd_crc

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

dolphin

Dolphin is a GameCube / Wii emulator, allowing you to play games for these two platforms on PC with improvements.

Ghidra-GameCube-Loader

A Nintendo GameCube binary loader for Ghidra

sby-bigexample

cadical

CaDiCaL SAT Solver

brandy

sphinx-argparse

Sphinx extension that automatically document argparse commands and options

vec_mut_scan

Rust library for a forward scan over a vector with mutation and item removal

time-travel

nerv

Naive Educational RISC V processor

riscv-formal

RISC-V Formal Verification Framework

Natron

Open-source video compositing software. Node-graph based. Similar in functionalities to Adobe After Effects and Nuke by The Foundry.

SVA-AXI4-FVIP

YosysHQ SVA AXI Properties

aucavo

varisat

SAT solver written in Rust

AppNote-400

Intro to Mutation Coverage with Yosys (MCY)

tinytapeout_scan

tinytapeout-from-template

tinytapeout_spin0

Basic spin animation on LED 7 segment

gh-create-test

tinytapeout-broken

kissat_extras

A fork of the Kissat SAT solver with additional features. Supports incremental solving.

gtkwave

GTKWave is a fully featured GTK+ based wave viewer for Unix and Win32 which reads LXT, LXT2, VZT, FST, and GHW files as well as standard Verilog VCD/EVCD files and allows their viewing.

wrapped_instrumented_adder

instrumented_adder

Instrumenting adders to measure speed

starlit

CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI breakage.