Title :
Gate abstractions and reversibility: On the logical-physical link
Author_Institution :
Dept. of Electr. & Comput. Eng., Univ. of Massachusetts Amherst, Amherst, MA, USA
Abstract :
Logic gates rendered in digital circuit diagrams refer both to abstract logical transformations of Boolean variables and to the physical structures and processes that realize these transformations. The logical and physical aspects are related in a manner that has implications for energy efficient computing; Landauer´s Principle (LP) imposes efficiency limits on gates that irreversibly discard information but imposes no such limits on gates that do not. In this paper, we explore the logical-physical link and its dissipative consequences from a fundamental perspective. We provide a systematic characterization of this link, and use the resulting framework to clarify necessary conditions for physically reversible operation of logically reversible and logically irreversible gates in circuit environments.
Keywords :
Boolean algebra; logic design; logic gates; Boolean variable; Landauer principle; abstract logical transformation; digital circuit diagram; gate abstraction; logic gates; logical-physical link;
Conference_Titel :
Circuits and Systems (MWSCAS), 2013 IEEE 56th International Midwest Symposium on
Conference_Location :
Columbus, OH
DOI :
10.1109/MWSCAS.2013.6674835