Title: Design of Low-Cost Self-Checking Circuits

Self-checking circuits can detect the presence of both transient and permanent faults. A self-checking circuit consists of a functional circuit, which produced encoded output vectors, and a checker, which check the output vectors. A self-checking system consists of an interconnection of self-checking circuits. The advantage of such a system is that errors can be caught as soon as they occur; thus, data contamination is prevented. Previous works on self-checking circuit design try to restrict the synthesis procedure such that only restricted errors may appear. However, this approach may not be always feasible, and always requires significant hardware overhead. In this paper, we present a new design methodology, in which functional circuit is not modified. Compared with previous methods, our approach requires less hardware overhead, and experimental results show that the method also achieves good fault coverage.