“…For example, a parity check of an addition or a multiplication. [27], [4], [3], [44], [11] [12], [21], [36], [39], [8], [23], [41], [42], [48], [28], [5], [24], [7], [17], [38], [43] [41], [42], [38], [43] Fault Model Bit Wise Word Wise Variable Wise [39], [9], [2], [5], [36], [12], [21], [8], [23] [4], [3], [47] [51], [25], [27], [44], [11], [48], [28], [24], [49], [7], [17] Abstraction Level…”