Skip to content
STIMSMITH

Hash-based Differential Fault Effect Equivalence Check (CDIF+FEEC)

Technique
First seen 8/7/2026
Last seen 8/7/2026
Evidence 11 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

14 connections
Rapid Fault Injection Simulation by Hash-based Differential Fault Effect Equivalence Checks ← introduces 100% 2e
The paper introduces the CDIF+FEEC technique for accelerating RTL fault injection simulation.
Dynamic Fault Collapsing (DFC) extends → 95% 2e
CDIF+FEEC builds on and extends DFC by checking multi-bit fault effect patterns rather than single-bit deviations.
Fault Effect Equivalence Check (FEEC) uses → 100% 2e
CDIF+FEEC incorporates FEEC as a core component.
Database of Diffs (DoD) uses → 100% 2e
CDIF+FEEC uses a Database of Diffs to store and compare fault effect differentials.
Database of Diff Hashes (DoH) uses → 100% 2e
CDIF+FEEC uses a Database of Diff Hashes for efficient fault effect equivalence lookups.
collision-free hash function uses → 100% 2e
CDIF+FEEC uses a collision-free hash function to efficiently compare fault effects.
golden reference simulation uses → 100% 2e
CDIF+FEEC uses a golden reference simulation to compute differentials.
Coordinate List Format (COO) uses → 90% 2e
CDIF+FEEC uses COO format for sparse storage of diffs.
vRTLmod ← implements 100% 2e
The CDIF+FEEC method is implemented within vRTLmod.
microarchitectural state uses → 90% 2e
CDIF+FEEC extends FEP to handle micro-architectural states, which previous methods could not.
Silent Data Corruption (SDC) evaluates → 90% 1e
CDIF+FEEC evaluates experiments and classifies outcomes including SDC.
Hamming Weight uses → 90% 1e
The Hamming Weight is used to sparsely store diffs in COO format.
Detectable Unrecoverable Error (DUE) evaluates → 90% 1e
CDIF+FEEC evaluation classifies outcomes including DUE.
server-client simulation framework uses → 100% 1e
CDIF+FEEC is implemented in a server-client simulation framework.