memory management unit
ConceptA 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 7/16/2026
Evidence 11 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
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
11 connectionsMemory Management Units are discussed in the context of memory protection and spatial safety.
The memory management unit is a component of the microprocessor design.
SBVer has knowledge of the memory management unit built into it.
SBVer has knowledge about the memory management unit built in.
CHERI-RISC-V VP++ includes an MMU for virtual address translation.
RISC-V VP++ includes an MMU for virtual address translation.
Virtual memory management uses the MMU for address translation.
MicroTESK models and verifies the memory management unit as a microprocessor subsystem.
RV64 Core Page Based MMU Tests show that page based virtual memory testing uses the MMU.
The VAMP includes two Memory Management Units.
Memory management units are listed as system elements whose behavior is described.
LINKED ENTITIES
1 linksCITATIONS
5 sources5 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