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 8/16/2026
Evidence 16 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

17 connections
UCAM-CL-TR-984 ← uses 90% 2e
Memory Management Units are discussed in the context of memory protection and spatial safety.
memory segment ← part of 85% 2e
Memory segments are specified as part of the MMU
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.
CHERI-RISC-V VP++ ← implements 95% 1e
CHERI-RISC-V VP++ includes an MMU for virtual address translation.
RISC-V VP part of → 90% 1e
RISC-V VP++ includes an MMU for virtual address translation.
virtual memory management ← uses 100% 1e
Virtual memory management uses the MMU for address translation.
VAMP (Verified Architecture Microprocessor) part of → 100% 1e
The VAMP includes two Memory Management Units.
Page Based Virtual Memory Testing ← uses 93% 1e
RV64 Core Page Based MMU Tests show that page based virtual memory testing uses the MMU.
system element behavior ← mentions 93% 1e
Memory management units are listed as system elements whose behavior is described.
The paper describes a tool for automatically generating test programs for MIPS64 MMUs
Address Translation ← part of 95% 1e
Address translation is a key mechanism of the MMU
Translation Lookaside Buffer ← part of 95% 1e
TLBs are part of the MMU
cache memory ← part of 95% 1e
Cache memory is part of the MMU
page table ← part of 95% 1e
Page tables are part of the MMU
MicroTESK ← uses 85% 1e
MicroTESK models and verifies the memory management unit as a microprocessor subsystem.
microprocessor part of → 93% 1e
The memory management unit is a component of the microprocessor design.

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