An SFS Berger Check Prediction ALU and Its Application to Self-Checking Processor Designs

Document Type

Article

Date of Original Version

1-1-1992

Abstract

A strongly fault secure (SFS) ALU design based on the Berger check prediction (BCP) technique is presented in this paper. The fault and error models of a large class of VLSI ALU designs are discussed. The proposed design is proved to be fault-secure and self-testing with respect to any single fault in the ALU part. Then, the proposed BCP ALU is proved to be SFS with any design of BCP circuit. Consequently, a self-checking processor whose data path is encoded entirely in a Berger code can be achieved. An efficient self-checking processor can then be designed. © 1992 IEEE

Publication Title, e.g., Journal

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Volume

11

Issue

4

Share

COinS