Totally self-checking checker designs for Bose-Lin, Bose, and Blaum codes

摘要

The totally self-checking (TSC) circuit concept is well established in the area of concurrent error detection (CED). The outputs of a functional circuit are encoded and are monitored by a TSC checker. Thus errors can be detected concurrently with normal operation. Both permanent and transient faults can be detected. Some efficient systematic codes have been developed for detecting unidirectional errors in t or fewer bits (Bose-Lin code) and for detecting burst unidirectional errors (Bose and Blaum codes). Since unidirectional errors are the most common errors in VLSI circuits, such codes should find widespread use. TSC checker designs have been found for the three codes mentioned above. The designs are easily testable, relatively economical, and have a modular structure.