This article is about soft errors, which are transient corruptions of digital signals in hardware components. The authors propose a bit-level error coalescing (BEC) static program analysis to understand and improve program reliability against these errors. The BEC analysis tracks each bit corruption and classifies its effect at compile time. The authors demonstrate the effectiveness of this method with two scenarios, fault injection campaign pruning, and reliability-aware program transformation. The BEC analysis has been implemented in LLVM and tested on the RISC-V architecture and has shown promising results in reducing program vulnerability.
Publication date: 11 Jan 2024
Project Page: https://arxiv.org/abs/2401.05753v1
Paper: https://arxiv.org/pdf/2401.05753
