DocumentCode :
649362
Title :
Gate abstractions and reversibility: On the logical-physical link
Author :
Anderson, N.G.
Author_Institution :
Dept. of Electr. & Comput. Eng., Univ. of Massachusetts Amherst, Amherst, MA, USA
fYear :
2013
fDate :
4-7 Aug. 2013
Firstpage :
1059
Lastpage :
1062
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Circuits and Systems (MWSCAS), 2013 IEEE 56th International Midwest Symposium on
Conference_Location :
Columbus, OH
ISSN :
1548-3746
Type :
conf
DOI :
10.1109/MWSCAS.2013.6674835
Filename :
6674835
Link To Document :
بازگشت