epex-formal-rv32-model

CodeArtifact

First seen 6/22/2026

Last seen 6/22/2026

Evidence 2 chunks

NEIGHBORHOOD

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

4 connections

EPEX ← uses 100% 2e

EPEX uses the epex-formal-rv32-model as its formal ISA model for generating equivalent programs.

EPEX ← introduces 100% 1e

EPEX introduces the formal RV32 ISA model as a code artifact.

Formal ISA Model implements → 100% 1e

The epex-formal-rv32-model code artifact implements the formal ISA model for RV32.

RISC-V ISA implements → 100% 1e

The epex-formal-rv32-model implements a formal model of the RISC-V ISA.