Sail RISC-V Formal Model

Tool

First seen 5/29/2026

Last seen 7/6/2026

Evidence 6 chunks

NEIGHBORHOOD

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

5 connections

TestRIG ← uses 100% 7e

TestRIG compares architectural state against the Sail formal model of the RISC-V ISA.

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.