static analysis

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…