ABC: System for Sequential Logic Synthesis and Formal Verification

A scalable 256/1024-RISC-V-core system with low-latency access into shared L1 memory.

Stratux is an open-source, DIY avionics system offering affordable ADS-B and flight data, enhancing situational awareness for general aviation pilots.

Bringup-Bench is a collection of standalone minimal library and system dependence benchmarks useful for bringing up newly designed CPUs, accelerators, compilers and operating systems. You probably …

Spatz is a compact RISC-V-based vector processor meant for high-performance, small computing clusters.

Continuous Delivery of the Snitch Toolchain