An attempt at a formal model of the Risc-V ISA in Clash Haskell.
Updated 2025-03-14 16:40:49 +00:00
Updated 2025-02-13 16:05:59 +00:00
Updated 2025-01-30 22:33:02 +00:00
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