Automatic generation algorithms, experiments and comparisons of self-checking PLA schemes using parity codes

Self-checking circuits ensure concurrent error detection by means of hardware redundancy. An important drawback of self-checking circuits is that they involve a significant increasing of the circuit area. Recent experiments on Berger-code encoded PLAs result on 46.9% average area overhead. In order to decrease this overhead, the authors present a tool that generates self-checking PLAs using parity encoding for the product terms and the outputs. This tool has been used for experimenting on several benchmark PLAs. In these experiments the authors retain for each PLA case the scheme involving the lower area overhead. Thus the mean overhead is reduced from 46.9% [TCR 91] to 37.2% (24.9% if a PLA named misex3 is not included).<<ETX>>

[1]  Ahmed Amine Jerraya,et al.  SYCO—a silicon compiler for VLSI ASICs specified by algorithms , 1988 .

[2]  E.J. McCluskey,et al.  Concurrent error detection and testing for large PLA's , 1982, IEEE Transactions on Electron Devices.

[3]  D. A. Anderson,et al.  Design of self-checking digital networks using coding techniques , 1971 .

[4]  Bernard Courtois,et al.  Self-checking logic arrays , 1989, Microprocess. Microsystems.

[5]  Bernard Courtois,et al.  Strongly Code Disjoint Checkers , 1988, IEEE Trans. Computers.

[6]  James E. Smith,et al.  Strongly Fault Secure Logic Networks , 1978, IEEE Transactions on Computers.

[7]  Imag Tim,et al.  UBIST VERSION OF THE SYCO's CONTROL SECTION COMPILER' , 1988 .

[8]  Michael Nicolaidis,et al.  New implementations, tools, and experiments for decreasing self-checking PLAs area overhead , 1991, [1991 Proceedings] IEEE International Conference on Computer Design: VLSI in Computers and Processors.

[9]  Jacob A. Abraham,et al.  EFFICIENT CONCURRENT ERROR DETECTION IN PLAS AND ROMS. , 1985 .