Skip to content
STIMSMITH

Refinement Map

Concept
First seen 6/6/2026
Last seen 6/6/2026
Evidence 4 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

8 connections
ILAng ← implements 93% 2e
ILAng provides the base refinement map in JSON format
Tandem Simulation ← uses 97% 2e
Tandem simulation uses refinement maps for automation
Generalizing Tandem Simulation: Connecting High-level and RTL Simulation Models ← uses 97% 2e
The paper uses refinement maps to automate tandem simulation
Checkpoint Map ← part of 93% 1e
The refinement map is augmented with checkpoint map for Scenario 2
Tandem Generator ← uses 97% 1e
The tandem generator uses the refinement map to create monitoring infrastructure
formal verification ← uses 95% 1e
Refinement maps are used in formal verification of processors and accelerators
AV Map ← part of 97% 1e
The refinement map contains the AV map field
Instruction Map ← part of 97% 1e
The refinement map contains the instruction map field