Execution Controller
CodeArtifactThe Execution Controller is a processor-verification component used in a co-simulation flow to prevent infinite loops and detect behavioral mismatches between an instruction set simulator (ISS) and an RTL core.
First seen 5/25/2026
Last seen 5/26/2026
Evidence 4 chunks
Wiki v1
WIKI
Overview
The Execution Controller is a component in a processor verification flow based on coverage-guided fuzzing and co-simulation. Its two stated purposes are to prevent infinite loops and to detect mismatches between processor cores, specifically between an ISS and an RTL-core. [purpose]
Role in the verification flow
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
3 connectionsThe Execution Controller is introduced as a key component for detecting mismatches and preventing infinite loops.
The Execution Controller compares register values to detect mismatches between processor cores.
The Execution Controller is part of the co-simulation framework.
LINKED ENTITIES
1 linksCITATIONS
8 sources8 citations — click to expand
[2] infinite-loop-context Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing
[8] translation-buffer-context Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing