EDGAR SALAS CARLOS ALOMOTO

COMPUERTAS LOGICAS REVERSIBLES

ESCUELA POLITCNICA DEL EJRCITO FACULTAD DE INGENIERA MECATRNICA ABRIL 2013

Abstract This paper contains basic information about reversible gates, from a brief explanation of the origin of the issue until a clear determination of the characteristics of the best known reversible gates. It also describes some applications of the subject and describes important considerations for the implementation of a given circuit by such logic. I. INTRODUCCIN

la constante de Boltzman, y T la temperatura del sistema. Por esta razn le inters en la computacin reversible surge del deseo de reducir la disipacin de calor, permitiendo mayores densidades y velocidades. Las Operaciones Reversibles son aquellas que poseen la suficiente informacin en la salida como para poder deducir la entrada. Mediante la lgica reversible se puede llegar a un punto en que la informacin nunca se pierda, tomando los datos anteriores, siendo el consumo de energa muy bajo. Es por esta razn que este tema es de gran aplicacin debido a la creciente demanda en el mercado de computadoras porttiles y dispositivos mviles, los cuales requieren velocidad de clculo y larga vida til. II. LGICA REVERSIBLE

La capacidad de clculo de las computadoras se ha duplicado cada 18 meses en los ltimos 50 aos. Esto se debe en gran parte a la disminucin de tamao de los dispositivos electrnicos (transistores) que componen las computadoras, lo cual genera frecuencias de clculo cada vez mayores pero con menor disipacin de energa por evento elemental de clculo. La disipacin de energa est asociada a las operaciones lgicamente irreversibles en las computadoras por la generacin de entropa en el borrado de cada bit de informacin. Las Operaciones Irreversibles son aquellas que a partir de las salidas no se puede obtener las entradas, como son: AND, NAND, OR y XOR. En dichas operaciones se puede perder informacin de forma permanente, y esto est asociado con leyes de la fsica que establecen que la eliminacin de un bit de informacin disipa KT ln2 energa, donde K es

Lgica reversible es un modelo global de clculo que refleja explcitamente una serie de principios fundamentales de la fsica, como la reversibilidad de las leyes dinmicas y la conservacin de las cantidades de aditivos algunos (entre los que la energa desempea un papel destacado). Debido a que refleja de manera ms confiable la fsica que los modelos tradicionales de clculo, la lgica reversible est en una mejor posicin para proporcionar indicaciones relativas a la realizacin de los sistemas de computacin

EDGAR SALAS CARLOS ALOMOTO de alto rendimiento, es decir, de los sistemas que hacen un uso muy eficiente de los recursos de computacin efectivamente ofrecidos por la naturaleza. En particular, la lgica reversible muestra que es idealmente posible construir circuitos secuenciales con cero disipacin de potencia interna. Existen dos modelos especficos de clculo expuestos por Fredkin y Toffoli. El primero utiliza las variables binarias y es la contraparte conservadora-lgica de la teora de conmutacin; este modelo demuestra que las capacidades informticas universales son compatibles con la reversibilidad y limitaciones de conservacin. El segundo modelo, que es un refinamiento de la primera, constituye un avance sustancial en el establecimiento de una correspondencia entre la computacin y la fsica. De hecho, este modelo se basa en las colisiones elsticas idnticas "bolas" y por lo tanto es formalmente idntica a la del modelo atmico que subyace en la teora (clsica) cintica de los gases perfectos. Literalmente, el comportamiento funcional de un ordenador digital de propsito general puede ser reproducido por un gas perfecto colocado en un recipiente de forma adecuada y dado condiciones iniciales apropiadas. III. TIPOS DE COMPUERTAS REVERSIBLES LGICAS de copia. Desde un fan-out no est permitido en la lgica reversible, esta puerta es til para la duplicacin de los resultados requeridos.
A B A* AB

Figura 1: Compuerta Feynman

A 0 0 1 1

B 0 0 1 1

A* 0 0 1 1

B* 0 1 1 0

Tabla 1: Tabla de verdad compuerta Feynman

B. COMPUERTA DOBLE DE FEYNMAN La compuerta Feynman doble que posee tres entradas y tres salidas. El vector de entrada I (A,B,C) y el vector de salida es O (A*=A, B*= AB, C* = AC. El precio cuntico es el doble de una compuerta Feynman normal, es decir 2.
A B C A* AB A

A. COMPUERTA FEYNMAN. La compuerta Feynman es una compuerta que posee dos entradas y dos salidas, el vector de entrada I(A,B), y la salida O(A, AB). Costo cuntico de una puerta de Feynman es 1. Feynman Gate (FG) se puede utilizar como una puerta Figura 2: Compuerta Doble Feynman

EDGAR SALAS CARLOS ALOMOTO A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 A* 0 0 0 0 1 1 1 1 B* 0 0 1 1 1 1 0 0 C* 0 1 0 1 1 0 1 0 D. COMPUERTA FREDKIN Es una compuerta que contiene tres entradas y tres salidas, cuyo vector de entrada es I(A, B, C), y el vector de salida es O(A*=A, B*, C*). En esta compuerta reversible, el nmero de 1 y de 0 no cambia nunca e introduce un elemento que realiza un intercambio. Su coste cuntico es de 5.

Tabla 2: Tabla de verdad de Compuerta Feynman doble C. COMPUERTA TOFFOLI La compuerta Toffoli, al igual que la doble de Faynman, contiene tres entradas y tres salidas. El vector de entrada es I (A,B,C) y el vector de salida es O(A*=A, B*=B, C*=ABC). Sin embargo el coste cuntico para esta compuerta es de 5.
A B C A* B* AB

Figura 4: Compuerta Fredkin.

A 0 0 0 0 1 1 1 1

B 0 0 1 1 0 0 1 1

C 0 1 0 1 0 1 0 1

A* 0 0 0 0 1 1 1 1

B* 0 0 1 1 0 1 0 1

C* 0 1 0 1 0 0 1 1

Figura 3: Compuerta Toffoli A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 A* 0 0 0 0 1 1 1 1 B* 0 0 1 1 0 0 1 1 C* 0 1 0 1 0 1 1 0 Tabla 4: Tabla de Verdad de la Compuerta Fredkin

I.

APLICACIONES

Tabla 3: Tabla de verdad Compuerta Toffoli

Al intentar aplicar los conceptos de reversibilidad a las tecnologas actuales, particularmente a circuitos lgicos MOSFET, en vista de desarrollar prototipos prcticos, aparecen problemas empricos inherentes a la tecnologa. Es as que un gran grupo de investigadores trabaj en el desarrollo de tcnicas de diseo e implementaciones circuitales,

EDGAR SALAS CARLOS ALOMOTO

primero terica y luego prcticamente, desarrollando los llamados Circuitos Adiabticos. Estas implementaciones circuitales se basan en algunos principios de computacin reversible y carga adiabtica para lograr muy baja (pero no nula) disipacin de energa en cmputos de tiempo finito. Otra motivacin para el estudio de la lgica reversible es que los resultados correspondientes a computadoras reversibles son tambin aplicables a las computadoras cunticas. Se desarrollaron implementaciones mediante circuitos CMOS. Especficamente se trabaj sobre las compuertas reversibles Fredkin, Toffoli, Feynman y New Gate. Se comprob mediante simulacin que la realizacin en tecnologa CMOS de funciones irreversibles implementadas a partir de compuertas reversibles no reduce necesariamente el consumo de energa respecto del caso de la implementacin con compuertas clsicas. Sin embargo, la realizacin de compuertas lgicas reversibles en tecnologa CMOS es perfectamente posible siempre y cuando se utilice para la simulacin funcional de sistemas reversibles y no para la evaluacin energtica de los mismos.

V.

REFERENCIAS [1] Edward Fredkin and Tommaso Toffoli, Conservative Logic, Intl. J. Theoretical Physics, vol.21, nos.3-4, 219253 (1982). [2] Lgica reversible y circuitos adiabticos, Valentn Sagrario ,Universidad Nacional de Mar del Plata Facultad de Ingeniera, Junio de 2008, http://www3.fi.mdp.edu.ar/electronica/ articulos/LogicaReversibleYCircuitosAdia baticos_Sagrario.pdf [3] R.P. Feynman, Feynman Lectures on Computation Westview Press. 2000 [4] R. Landauer, Fundamental Physical Limitations of the Computational Process Ann. N.Y. Acad.Sci, 426, 162(1985).

IV.

CONCLUSIONES Una de las principales razones para el estudio y uso de la tecnologa de compuertas lgicas reversibles bsicamente es el hecho de que con dicha tecnologa es posible minimizar o incluso eliminar la disipacin de energa en los circuitos computacionales, logrando de esta manera una eficiencia casi del 100% en cuanto al manejo de informacin digital, la vida til de los dispositivos en s y el consumo de energa.