Sail RISC-V Formal Model

Tool

First seen 5/29/2026

Last seen 6/3/2026

Evidence 4 chunks

NEIGHBORHOOD

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

5 connections

TestRIG ← uses 100% 6e

TestRIG uses the Sail RISC-V formal model as the golden reference for tandem execution.

RISC-V implements → 100% 4e

The Sail RISC-V formal model is a formal specification of the RISC-V ISA.

Sail language implements → 100% 2e

The Sail RISC-V formal model is written in the Sail language.

sailcov ← evaluates 100% 1e

sailcov measures coverage of the Sail RISC-V model branches during testing.

Sail language uses → 100% 1e

The Sail RISC-V formal model is written in the Sail language.