00

Sail

Tool ☆ WATCH ⎘ SHARE

First seen 6/2/2026

Last seen 6/9/2026

Evidence 11 chunks

01

NEIGHBORHOOD

4 nodes · 3 edges

graph · Sail · depth=1

02

RELATIONSHIPS

8 connections

TestRIG ← uses 100% 5e evidence

The RISC-V golden Sail model implements RVFI-DII and is used within TestRIG for comparison.

RISC-V implements → 100% 2e evidence

Sail provides a golden RISC-V model used as the reference in TestRIG.

Brian Campbell ← mentions 90% 2e evidence

Brian Campbell has begun work on a Sail-OCaml VEngine with direct access to Sail RISC-V model data structures.

Formal ISA Model implements → 100% 2e evidence

Sail is a DSL for describing formal ISA semantics

Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models ← compares with 90% 2e evidence

The paper compares its approach with Sail as prior work

CHERI implements → 90% 1e evidence

The Sail model includes a CHERI function that is tested via mutation-based testing.

Mutation-Based Testing ← uses 100% 1e evidence

Mutation-based testing introduces artificial bugs into the Sail model to measure test adequacy.

RVFI-DII implements → 100% 1e evidence

The Sail model implements the RVFI-DII interface.