Reversible fault-tolerant logic

It is now widely accepted that the CMOS technology implementing irreversible logic may hit a scaling limit beyond 2016, and that the increased power dissipation is a major limiting factor. Reversible computing can potentially require arbitrarily small amounts of energy. Recently several nano-scale devices which have the potential to scale, and which naturally perform reversible logic, have emerged. This paper addresses several fundamental issues that need to be addressed before any nano-scale reversible computing systems can be realized, including reliability and performance trade-offs and architecture optimization. Many nano-scale devices are limited to only near neighbor interactions, requiring careful optimization of circuits. We provide efficient fault-tolerant (FT) circuits when restricted to both 2D and 1D. Finally, we compute bounds on the entropy (and hence, heat) generated by our FT circuits and provide quantitative estimates on how large can we make our circuits before we lose any advantage over irreversible computing.

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

[2]  Umesh V. Vazirani,et al.  Molecular scale heat engines and scalable quantum computation , 1999, STOC '99.

[3]  R. Landauer,et al.  Irreversibility and heat generation in the computing process , 1961, IBM J. Res. Dev..

[4]  J.A.B. Fortes,et al.  Bifurcations and fundamental error bounds for fault-tolerant computations , 2005, IEEE Transactions on Nanotechnology.

[5]  B. E. Kane A silicon-based nuclear spin quantum computer , 1998, Nature.

[6]  S Lloyd,et al.  A Potentially Realizable Quantum Computer , 1993, Science.

[7]  Seth Lloyd,et al.  Algorithmic Cooling of Spins: A Practicable Method for Increasing Polarization , 2004 .

[8]  T. Toffoli,et al.  Conservative logic , 2002, Collision-Based Computing.

[9]  Charles H. Bennett,et al.  Logical reversibility of computation , 1973 .

[10]  Jie Han,et al.  A system architecture solution for unreliable nanoelectronic devices , 2002 .

[11]  Eli Yablonovitch,et al.  Electron-spin-resonance transistors for quantum computing in silicon-germanium heterostructures , 1999, quant-ph/9905096.

[12]  M. Ben-Or,et al.  Limitations of Noisy Reversible Computation , 1996, quant-ph/9611028.

[13]  A. S. Sadek,et al.  Fault-tolerant techniques for nanocomputers , 2002 .

[14]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

[15]  Farrokh Vatan,et al.  Algorithmic cooling and scalable NMR quantum computers , 2001, Proceedings of the National Academy of Sciences of the United States of America.

[16]  Tommaso Toffoli,et al.  Reversible Computing , 1980, ICALP.

[17]  J. Preskill Reliable quantum computers , 1997, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[18]  Thomas G. Draper,et al.  A new quantum ripple-carry addition circuit , 2004, quant-ph/0410184.