Skip to content
STIMSMITH

custom-instruction verification contract

Concept
First seen 8/28/2026
Last seen 8/28/2026
Evidence 3 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

7 connections
exception and trap behaviour mentions → 90% 1e
The verification contract must define exception and trap behaviour including behaviour for unimplemented encodings.
privilege mode verification mentions → 88% 1e
The verification contract must specify legal privilege modes for the instruction.
register aliasing mentions → 88% 1e
The verification contract must define behaviour when source and destination registers alias.
XLEN mentions → 87% 1e
The verification contract must address whether XLEN affects the instruction result.
CSR mentions → 87% 1e
The verification contract must define interaction with CSRs.
decoder overlap checking mentions → 88% 1e
The verification contract must address whether the new decoder pattern can overlap existing instructions.
exception and trap behaviour ← part of 90% 1e
Exception and trap behaviour for unimplemented or invalid encodings is part of the verification contract.