Pre-silicon Robustness Assessment of RISC-V Cores using bit-accurate FPGA fault injection
2026-06-10 , Poster Island A

FPGA fault injection (FFI) is a well-known technique for verification and robustness assessment of critical systems. However existing FFI tools for current generation FPGAs support only FPGA-specific fault models irrelevant for ASIC prototypes, and feature very coarse-grain analysis insufficient for localization of dependability bottlenecks in the design. To address these limitations have developed a bit-accurate FFI tool (BAFFI), capable of emulating ASIC (RTL) faults at the level of individual netlist cells. This paper explains how BAFFI can be used to obtain robustness estimates for RTL designs and exemplifies this through a case study of an open-source RISC-V SoC.

See also: extended abstract with authors affiliations and acknowledgements (camera-ready version) (599.2 KB)

Ilya Tuzov received the Ph.D. degree in computer science from the Universitat Politècnica de València (UPV), Valencia, Spain, in 2020. He is currently working at UPV as a researcher. His current research interest include fault-tolerant embedded systems, reconfigurable computing, automated verification and dependability benchmarking.