Skip to content
STIMSMITH

memory management unit

Concept

A memory management unit is represented in the provided evidence as a component of the VAMP processor memory interface. In VAMP, two Memory Management Units access the instruction and data caches, which then access physical memory over a bus protocol.

First seen 5/25/2026
Last seen 6/8/2026
Evidence 4 chunks
Wiki v1

WIKI

Overview

In the provided evidence, a memory management unit is discussed in the context of the VAMP processor. The VAMP memory interface consists of two Memory Management Units. These units access the processor's instruction and data caches, and the caches in turn access physical memory through a bus protocol.

Role in the VAMP memory interface

READ FULL ARTICLE →

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

5 connections
UCAM-CL-TR-984 ← uses 90% 2e
Memory Management Units are discussed in the context of memory protection and spatial safety.
VAMP (Verified Architecture Microprocessor) part of → 100% 1e
The VAMP includes two Memory Management Units.
microprocessor part of → 93% 1e
The memory management unit is a component of the microprocessor design.
SBVer ← evaluates 90% 1e
SBVer has knowledge of the memory management unit built into it.
SBVer ← uses 85% 1e
SBVer has knowledge about the memory management unit built in.

CITATIONS

5 sources
5 citations — click to expand
[1] VAMP memory interface contains two Memory Management Units Test Program Generation for a Microprocessor: A Case Study
[2] The Memory Management Units access instruction and data caches, which access physical memory via a bus protocol Test Program Generation for a Microprocessor: A Case Study
[3] VAMP implements different caching and virtual-memory infrastructures Test Program Generation for a Microprocessor: A Case Study
[4] Address translation is not visible in the VAMP assembler model, where computations live in linear virtual memory space Test Program Generation for a Microprocessor: A Case Study
[5] The assembler model represents memory as a mapping from natural numbers to integers Test Program Generation for a Microprocessor: A Case Study