Bing Xue, Mark Zwolinski. Using Formal Methods to Evaluate Hardware Reliability in the Presence of Soft Errors. In 17th Conference on Ph.D Research in Microelectronics and Electronics, PRIME 2022, Villasimius, SU, Italy, June 12-15, 2022. pages 29-32, IEEE, 2022. [doi]
Abstract is missing.