Updated 2025-04-29 19:16:04 +00:00
RiscV-Formal
Archived
An attempt at a formal model of the Risc-V ISA in Clash Haskell.
Updated 2025-03-14 16:40:49 +00:00
FastWaveBackend
Archived
A Rust VCD parser intended to be the backend of a Waveform Viewer(built using egui) that supports dynamically loaded rust plugins.
Updated 2024-12-30 23:31:33 +00:00