|Verification Futures 2022 (click here to see full programme)
|Mark Zwolinski , Bing Xue
|Using Formal Methods to Evaluate Hardware Reliability in the Presence of Soft Errors
|Reliability is a major concern in many embedded systems. The traditional method to evaluate the reliability of a system is fault injection. However, it is practically impossible to test all faults for a complex design due to intractable simulation times. In this paper, we propose using formal methods to evaluate hardware reliability in the presence of soft errors. The proposed method can exhaustively search the entire state space and the whole fault list in a reasonable time. The method is applied to assess the vulnerability of all registers in a RISC-V Ibex core.
|Bing Xue gained his MSc in Microelectronics Systems Design from the University of Southampton in 2018. He is now a PhD student at the University of Southampton, investigating how to evaluate the vulnerability to single event upsets of registers within a processor core in order to optimise the protection applied to each register.
Mark Zwolinski is a Professor in the School of Electronics and Computer Science at the University of Southampton. He has published 220 refereed papers and written 3 books. His research interests include microelectronics reliability, design for test and simulation.