AV Map

Concept

An AV (Architectural Variable) Map is a component of the refinement map used in tandem simulation that defines the correspondence between ILA Architectural Variables (ILAVs) and RTL Architectural Variables (RTAVs), specifying what variables should be checked for equivalence between a high-level Instruction-Level Abstraction (ILA) model and an RTL implementation.

First seen 6/6/2026

Last seen 6/6/2026

Evidence 2 chunks

Wiki v1

WIKI

AV Map

Definition

An AV Map (Architectural Variable Map) is a mapping structure that defines the correspondence between ILAVs (Instruction-Level Abstraction Architectural Variables) in a high-level ILA model and RTAVs (RTL Architectural Variables) in the corresponding RTL implementation. It forms one of the main fields of the broader refinement map used to support cross-level verification via tandem simulation.

READ FULL ARTICLE →

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

2 connections

Tandem Simulation ← uses 95% 1e

Tandem simulation uses AV maps to define correspondence between ILAVs and RTAVs

Refinement Map part of → 97% 1e

The refinement map contains the AV map field

LINKED ENTITIES

2 links

Tandem Simulation USES Extracted graph relationship

Refinement Map PART_OF Extracted graph relationship

CITATIONS

3 sources

3 citations — click to collapse

[1] The AV map provides the correspondence between ILAVs and RTAVs and is the basis for the AV-Comparator and AV-Converter in tandem simulation. Generalizing Tandem Simulation: Connecting High-level and RTL Simulation Models

[2] The AV map is one of the two main fields of the ILA refinement map and defines 'what to check', e.g., RTAV1 corresponds to ILAV1 and they are checked for equivalence. Generalizing Tandem Simulation: Connecting High-level and RTL Simulation Models

[3] The instruction monitor in the tandem simulation flow invokes the AV-Comparator (Scenarios 1-2) for checking AVs, or the AV-Converter (Scenario 3) for swapping AVs and jump-start, both based on the AV map. Generalizing Tandem Simulation: Connecting High-level and RTL Simulation Models