Skip to content
STIMSMITH

Execution Controller

Technique
First seen 5/29/2026
Last seen 8/8/2026
Evidence 8 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

3 connections
Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing ← introduces 100% 2e
The paper introduces the Execution Controller technique to prevent infinite loops and detect mismatches between processor cores.
Register Value Comparison uses → 100% 2e
The Execution Controller uses register value comparison to detect mismatches between the ISS and RTL core.
Infinite Loop Prevention implements → 100% 1e
The Execution Controller implements infinite loop prevention by terminating long-running executions.