Reversible, information-preserving logic and its application

Martin Lukac, Ben Shuai, Michitaka Kameyama, D. Michael Miller

Research output: Contribution to journalArticle

Abstract

We introduce the concept of the Information Preserving Logic (IPL) based on some of the properties of reversible logic. The proposed IPL is using reversibility to dynamically recover inputs or intermediary product terms and to adaptively reconfigure itself to either a memory block or to logic processing circuit. We show that using these principles and the proposed computational model several problems in the current logic technology (such as CMOS), can be solved. In particular we show possible improvements to the heat dissipation in the Cache-CPU system, register number reduction in a computational pipeline, reversible encoding and compression and the design of the so called Universal Reversible Logic cell. Finally, to show that the logical reversibility alone can be used to implement the introduced concepts in the current technology, a Toffoli gate is implemented using adiabatic CMOS and compared to non adiabatic Toffoli gates. It is shown that our implementation of the Toffoli gate, saves power and registers when used in the reversible concepts introduced above.

Original languageEnglish
Pages (from-to)379-406
Number of pages28
JournalJournal of Multiple-Valued Logic and Soft Computing
Volume23
Issue number3-4
Publication statusPublished - 2014

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Logic

Fingerprint Dive into the research topics of 'Reversible, information-preserving logic and its application'. Together they form a unique fingerprint.

  • Cite this

    Lukac, M., Shuai, B., Kameyama, M., & Miller, D. M. (2014). Reversible, information-preserving logic and its application. Journal of Multiple-Valued Logic and Soft Computing, 23(3-4), 379-406.