Software Implemented Implication-Based Online Error Detection

Advances in technology present challenges like single event upsets that reduce the reliability of electronic systems. To ensure uninterrupted functionality, real-time error detection and correction mechanisms are imperative. This paper proposes an online concurrent error detection system based on identifying invariant relationships between input and output values of functional blocks. An algorithm is developed to identify these relationships offline, to find the most useful ones, and to find connections between the outputs themselves. Based on this, checker circuit is designed. Simulation results demonstrate the efficacy of the proposed method in detecting errors, even with minimal hardware overhead.