Checkpoint Map
ConceptA checkpoint map is an optional field of the ILA refinement map, introduced to support tandem simulation. It specifies when the AV-Comparator should be invoked by defining checkpoint periods, sequences, or conditions during instruction-level execution of the RTL executable model (RTEM).
First seen 6/6/2026
Last seen 6/6/2026
Evidence 2 chunks
Wiki v1
WIKI
Checkpoint Map
A checkpoint map is an optional field of the ILA refinement map that specifies when the architectural variables (AVs) of the instruction-level architecture (ILA) model should be compared against the corresponding RTL architectural variables (RTAVs) of the RTL executable model (RTEM) during tandem simulation.
Origin and Context
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
2 connectionsTandem simulation uses checkpoint maps for Scenario 2 checking
The refinement map is augmented with checkpoint map for Scenario 2
CITATIONS
4 sources4 citations — click to collapse
[1] The checkpoint map is an optional field (iv) of the ILA refinement map, added as part of this work to support tandem simulation, and is not part of the original ILA refinement map [8]. Generalizing Tandem Simulation: Connecting High-level and RTL Simulation Models
[2] The checkpoint map supports three types of checkpoints: Checkpoint period (P) invoking checking every P instructions, Checkpoint sequence ([t1, t2, ...]) invoking checking at the tn-th instruction, and Checkpoint condition (C) invoking checking when condition C holds. Generalizing Tandem Simulation: Connecting High-level and RTL Simulation Models
[3] According to the refinement map, the tandem generator augments the instruction monitor block to appropriately invoke the AV-Comparator at the checkpoints defined by the checkpoint map. Generalizing Tandem Simulation: Connecting High-level and RTL Simulation Models
[4] The refinement map defines two main fields (AV map and instruction map) specifying what to check and when to check, with the checkpoint map providing an additional mechanism for periodic checking in Scenario 2. Generalizing Tandem Simulation: Connecting High-level and RTL Simulation Models