Skip to content
STIMSMITH

LIBRISCV

Tool
First seen 6/9/2026
Last seen 6/9/2026
Evidence 6 chunks

NEIGHBORHOOD

9 nodes · 11 edges
graph · LIBRISCV · depth=1

RELATIONSHIPS

8 connections
Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models ← uses 100% 2e
The paper uses LIBRISCV as its formal RISC-V ISA model
formal-iss code generation tool ← uses 100% 2e
The code generation tool depends on LIBRISCV for the formal RISC-V model
Formal ISA Model implements → 100% 2e
LIBRISCV is a formal ISA model for RISC-V
Embedded Domain-Specific Language implements → 100% 2e
LIBRISCV is implemented as an EDSL in Haskell
ISS Code Generation ← uses 100% 2e
LIBRISCV is used as input to the ISS code generation technique
Haskell uses → 100% 2e
LIBRISCV is implemented in Haskell
Instruction Semantics implements → 100% 2e
LIBRISCV formally describes RISC-V instruction semantics
Free Monads uses → 100% 1e
LIBRISCV is internally implemented using free monads