Skip to content
STIMSMITH

vRTLmod

Tool
First seen 8/7/2026
Last seen 8/7/2026
Evidence 3 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

8 connections
Hash-based Differential Fault Effect Equivalence Check (CDIF+FEEC) implements → 100% 2e
The CDIF+FEEC method is implemented within vRTLmod.
Rapid Fault Injection Simulation by Hash-based Differential Fault Effect Equivalence Checks ← uses 100% 2e
The paper implements CDIF+FEEC in vRTLmod.
flip-flop-level fault injection implements → 100% 1e
vRTLmod enables flip-flop-level fault injection by transforming Verilator's vRTL output.
Coordinate List Format (COO) uses → 100% 1e
vRTLmod's code generation is extended to compute diffs in COO format.
verilated RTL (vRTL) uses → 100% 1e
vRTLmod transforms vRTL to enable fault injection.
Johannes Geier authored by → 95% 1e
Johannes Geier is listed as an author of vRTLmod.
Daniel Mueller-Gritschneder authored by → 95% 1e
Daniel Mueller-Gritschneder is listed as an author of vRTLmod.
Verilator uses → 100% 1e
vRTLmod transforms Verilator's output (vRTL) to enable fault injection.