Area Efficient Methods to Increase the Reliability of Circuits

We consider the problem to construct reliable combinatorial and clocked circuits from unreliable basic elements. The main concern in this paper is the question how such fault-tolerance increases the circuit layout. In general it requires at least a logarithmic factor increase of the number of gates. We design area efficient codes for the information transfer within a Boolean circuit. Using such a code two constructions are presented to make circuits reliable without increasing the area by a square of the redundancy overhead for their sizes. The first method splits the circuit into clusters and connects the clusters reliably by groups of wires. As an alternative, a recursive layout stratey for circuits is described which uses special graph separator properties. Under certain conditions it achieves only a constant blowup of the area compared to circuits built from completely reliable elements.

[1]  Anna Gál,et al.  Lower bounds for the complexity of reliable Boolean circuits with noisy gates , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.

[2]  H. T. Kung,et al.  The chip complexity of binary arithmetic , 1980, STOC '80.

[3]  Nicholas Pippenger,et al.  On networks of noisy gates , 1985, 26th Annual Symposium on Foundations of Computer Science (sfcs 1985).

[4]  J. von Neumann,et al.  Probabilistic Logic and the Synthesis of Reliable Organisms from Unreliable Components , 1956 .

[5]  Rüdiger Reischuk,et al.  Area Efficient Methods to Increase the Reliability of Combinatorial Circuits , 1989, STACS.

[6]  Péter Gács,et al.  Reliable computation with cellular automata , 1983, J. Comput. Syst. Sci..

[7]  György Turán Lower Bounds for Synchronous Circuits and Planar Circuits , 1989, Inf. Process. Lett..

[8]  Jeffrey D Ullma Computational Aspects of VLSI , 1984 .

[9]  Dietmar Uhlig On Reliable Networks from Unreliable Gates , 1987, Parallel Algorithms and Architectures.

[10]  H. T. Kung,et al.  The Area-Time Complexity of Binary Multiplication , 1981, JACM.

[11]  Péter Gács,et al.  A Simple Three-Dimensional Real-Time Reliable Cellular Array , 1988, J. Comput. Syst. Sci..

[12]  Avi Wigderson,et al.  Completeness theorems for non-cryptographic fault-tolerant distributed computation , 1988, STOC '88.

[13]  Dietmar Uhlig Reliable Networks from Unreliable Gates With Almost Minimal Complexity , 1987, FCT.

[14]  Leslie G. Valiant,et al.  Universality considerations in VLSI circuits , 1981, IEEE Transactions on Computers.

[15]  Rüdiger Reischuk,et al.  Reliable computation with noisy circuits and decision trees-a general n log n lower bound , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.

[16]  Nicholas Pippenger Invariance of complexity measures for networks with unreliable gates , 1989, JACM.

[17]  John N. Tsitsiklis,et al.  On a lower bound for the redundancy of reliable networks with noisy gates , 1991, IEEE Trans. Inf. Theory.

[18]  Robert E. Tarjan,et al.  Applications of a planar separator theorem , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[19]  Rudolf Ahlswede Improvements of Winograd's result on computation in the presence of noise , 1984, IEEE Trans. Inf. Theory.

[20]  Piotr Berman,et al.  Investigations of fault-tolerant networks of computers , 1988, STOC '88.

[21]  Shmuel Winograd,et al.  Coding for Logical Operations , 1962, IBM J. Res. Dev..