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

Bing Xue, Mark Zwolinski

Reliability has been a major concern in embedded systems. Higher transistor density and lower voltage supply increase the vulnerability of embedded systems to soft errors. A Single…