Two control-flow checkers, one built from specification Petri nets and one from golden-simulation state sequences, detect 48% to 100% of injected control faults at a few to about 10% area overhead across four hardware designs.
The Impact of Terrestrial Radiatio n on FPGAs in Data Centers,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AR 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences
Two control-flow checkers, one built from specification Petri nets and one from golden-simulation state sequences, detect 48% to 100% of injected control faults at a few to about 10% area overhead across four hardware designs.