Using Formal Methods to Evaluate Hardware Reliability in the Presence of Soft Errors

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]

Authors

Bing Xue

This author has not been identified. Look up 'Bing Xue' in Google

Mark Zwolinski

This author has not been identified. Look up 'Mark Zwolinski' in Google