Skip to content
STIMSMITH

RISC-V Sail Model

Tool
First seen 6/22/2026
Last seen 6/22/2026
Evidence 3 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

2 connections
EPEX: Processor Verification by Equivalent Program Execution ← mentions 90% 2e
The paper mentions the RISC-V Sail Model as a formal RISC-V ISA specification.
Formal ISA Model implements → 90% 2e
The RISC-V Sail Model provides a formal specification of the RISC-V ISA semantics.