Using Formal Verification to Evaluate Single Event Upsets in a RISC-V Core.

Bing Xue Mark Zwolinski

Published in: CoRR (2024)

Keyphrases

formal verification
model checking
application specific
model checker
bounded model checking
artificial intelligence
event detection
expert systems
knowledge representation
object oriented
orders of magnitude
binary images
automated verification