Fault localization, error correction, and graceful degradation in Radix 2 Signed Digit-based adders

被引:19
作者
Cardarilli, GC [1 ]
Ottavi, M [1 ]
Pontarelli, S [1 ]
Re, M [1 ]
Salsano, A [1 ]
机构
[1] Univ Roma Tor Vergata, Dept Elect Engn, I-00133 Rome, Italy
关键词
fault tolerance; high-speed arithmetic; error checking;
D O I
10.1109/TC.2006.76
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
In this paper, a methodology for the development of fault-tolerant adders based on the Radix 2 Signed Digit (SD) representation is presented. The use of a number representation characterized by a carry propagation confined to neighbor digits implies interesting advantages in terms of error detection, fault localization, and repair. Errors caused by faults belonging to a considered stuck-at fault set can be detected by a parity-based technique. In fact, a carry-free adder preserving the parity of the augends can be implemented allowing fault detection by using a parity checker. Regarding fault localization, the "carry-free" property of the adder ensures the confinement of the error due to a permanent fault to only few digits. The detection of the faulty digit has been obtained by using a recomputation with shifted operands method. Finally, after the fault localization, graceful degradation of the system intended as the reduction of the performances versus a correct output computation can be obtained by using two different procedures. The first one allows obtaining the correct output by recomputing the result performing two different shift operations and using the intersection of the obtained results to recover the correct output, while the second one is based on a reduced dynamic range approach, which allows us to obtain the result in only one step, but with fewer output digits.
引用
收藏
页码:534 / 540
页数:7
相关论文
共 23 条
  • [1] Achieving fault-tolerance by shifted and rotated operands in TMR non-diverse ALUs
    Alderighi, M
    D'Angelo, S
    Metra, C
    Sechi, GR
    [J]. IEEE INTERNATIONAL SYMPOSIUM ON DEFECT AND FAULT TOLERANCE IN VLSI SYSTEMS, PROCEEDINGS, 2000, : 155 - 163
  • [2] Avizienis A, 1961, IRE Trans Electron Comput EC, VEC-10, P389, DOI DOI 10.1109/TEC.1961.5219227
  • [3] Parity bit code: Achieving a complete fault coverage in the design of TSC combinational networks
    Bolchini, C
    Salice, F
    Sciuto, D
    [J]. SEVENTH GREAT LAKES SYMPOSIUM ON VLSI, PROCEEDINGS, 1997, : 32 - 37
  • [4] A REGULAR LAYOUT FOR PARALLEL ADDERS
    BRENT, RP
    KUNG, HT
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1982, 31 (03) : 260 - 264
  • [5] Cardarilli GC, 2003, INT SYM DEFEC FAU TO, P401
  • [6] Ercegovac M., 2004, Digital Arithmetic
  • [7] FABULA J, 2004, NEUTRON INDUCED SOFT
  • [8] Garcia O. N., 1968, Proceedings of the second annual Princeton conference on information sciences and systems, P89
  • [9] Koren I., 1993, COMPUTER ARITHMETIC
  • [10] A CODING THEORY APPROACH TO ERROR CONTROL IN REDUNDANT RESIDUE NUMBER-SYSTEMS .1. THEORY AND SINGLE ERROR CORRECTION
    KRISHNA, H
    LIN, KY
    SUN, JD
    [J]. IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-ANALOG AND DIGITAL SIGNAL PROCESSING, 1992, 39 (01): : 8 - 17