GitHub repository: JoyOfHardware/RV_Formal
Primary language: Haskell
Description: A humble attempt at a formal model of the Risc-V ISA.