Skip to content
STIMSMITH

ILAng

Tool
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

3 connections
Generalizing Tandem Simulation: Connecting High-level and RTL Simulation Models ← uses 97% 2e
The paper uses ILAng for ILA modeling
Instruction-Level Abstraction (ILA) implements → 97% 2e
ILAng is the platform for ILA modeling
Refinement Map implements → 93% 2e
ILAng provides the base refinement map in JSON format