instruction memcheck

Concept

First seen 6/7/2026

Last seen 6/7/2026

Evidence 1 chunks

NEIGHBORHOOD

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

3 connections

memory abstraction ← part of 93% 1e

Instruction memcheck adds a memory abstraction for verification

RVFI uses → 92% 1e

Instruction memcheck verifies that data from memory makes its way into rvfi_insn correctly

bus memcheck ← derived from 90% 1e

The bus memcheck supersedes the older instruction memcheck