Skip to content
STIMSMITH

GRIFT

Tool
First seen 6/9/2026
Last seen 8/25/2026
Evidence 7 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

6 connections
Closing the RISC-V compliance gap: Looking from the negative testing side ← evaluates 100% 2e
The paper evaluates GRIFT simulator for compliance testing.
Mutation-based Compliance Testing for RISC-V ← evaluates 100% 2e
The paper evaluates the complete CT infrastructure on GRIFT and finds a bug.
Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models ← compares with 85% 1e
The paper compares LIBRISCV with GRIFT as a related Haskell-based RISC-V model
Formal ISA Model implements → 100% 1e
GRIFT is a formal RISC-V semantics model in Haskell
Haskell uses → 100% 1e
GRIFT is implemented in Haskell
Instruction Set Architecture (ISA) implements → 90% 1e
GRIFT provides an executable formalization of the RISC-V ISA