TERORIA BASICA DE LOGICA REVERSIBLE

RESUMEN

En el siguiente trabajo se aborda como tema general la lgica reversible, se presenta el concepto terico de lgica reversible, se analiza el efecto de la disipacin de calor y el aumento de la eficiencia producida a la implementacin de esta lgica reversible. las compuertas reversibles, se analizar las principales compuertas reversibles que fueron desarrolladas por Feynman R., Toffoli T., y Fredkin E., ciertas reglas de la lgica reversible. Finalmente se presentara el diseo de una compuerta reversible y una posible aplicacin para la misma,

ABSTRACT

KEY WORDS Reversible, cuntica, lgica irreversible, disipacin de energa, nanotecnologa, FPGA

de gran costo, pero este es compensado respecto al gasto generado por perdida de energa y gastos de diseo de la lgica convencional, que resulta ser menos eficiente y no tan portable.

DESARROLLO Lgica Reversible La prdida de informacin en un circuito causa perdida de energa, La informacin en un circuito combinacional se pierde cuando un vector de entrada no puede ser recuperado del vector de salida. Las compuertas y/o circuitos que no pierden informacin se les llama reversible. Un circuito es reversible cuando el nmero de entradas es igual al nmero de salidas y es mapeado uno a uno entre los vectores de entrada y de salida, as, el vector de estados de entrada siempre puede reconstruirse del vector de estados de salida. Se considera que un circuito es reversible si una entrada puede ser recuperada a partir de una salida, esto quiere decir que la

INTRODUCCION

A reversibilidad se ha convertido en un tema muy estudiado en los ltimos aos debido al bajo consumo de calor generado por las compuertas, y a la reduccin fsica de circuitos de implementacin bsica y compleja. La capacidad de clculo de las computadoras se duplica cada 18 meses, esto se debe fundamentalmente a la disminucin de tamao de los constituyentes de las computadoras, resultando en ms compuertas elementales por unidad de rea con frecuencias de clculo cada vez mayores, junto con menor disipacin de energa por evento elemental de clculo. La implementacin de este tipo de lgica reversible es ptima, pero a su vez llega a ser

computacin reversible puede generar entradas y salidas, puede parar y volver a cualquier punto en la historia de desarrollo de la computadora. La disipacin de energa es causante de prdida de informacin. La disipacin de energa asociada con las operaciones lgicas impone un lmite fsico fundamental en el clculo y es generado por el coste entrpico de borrado de la informacin, que es una consecuencia de los elementos lgicos irreversibles.

Aplicaciones La computacin biomolecular, codifica la informacin del ADN y usa la amplificacin del ADN. Un arreglo de compuertas programable en campo (FPGA) es un sistema integrado circuito diseado para ser configurado por el cliente o diseado despus de la fabricacin. Programacin cuantica.

Definiciones Salidas basura (GO): Se refiere a la salida que no se utiliza de una compuerta, que es prescindible para no perder informacin y lograr la reversibilidad. Costo cuntico (QC): Se refiere al costo del circuito en trminos del costo primitivo de la compuerta.

Conclusiones Se abord en forma general el tema de lgica reversible, partiendo de un enfoque terico, pasando por un relevamiento prctico de diferentes compuertas lgicas propuestas en el trabajo. La lgica reversible permite realizar clculos paralelos que por ende permiten mayores velocidades de respuesta y menor consumo de recursos. Existen diferentes maneras de implementar un circuito reversible, estas dependen de un equilibrio entre las puertas de conteo, salidas basura y costo cuntico. Este tipo de lgica permite que el sistema donde se implementa sea un sistema portable que no necesita de mucha energa y que es autnomo.

Reglas de lgica reversible Usar varias salidas posibles por compuerta, esto minimizar los salidas basura. No crear ms constantes de entrada de las que son necesarias. Evitar la conduccin de seales de salida de las compuertas a ms de una entrada. Nunca utilizar ningn lazo cerrado, est totalmente restringido. Usar el menor nmero de compuertas reversibles posibles para lograr el objetivo de diseo

REFERENCIAS

Compuertas Reversibles Bsicas

[1] C. H. Bennett. Logical reversibility of computation, IBM J. Research and

Development, 17:pp. 525-532, November 1973. [2] E. Fredkin, T Toffoli, Conservative Logic, International Journal of Theor. Physics, 21(1982), pp.219-253.

[3] Peres, A., Reversible Logic and Quantum Computers, Physical Review A, 32: 3266-3276, 1985. [4] R. Landauer, Irreversibility and Heat Generation in the Computing Process IBM J. Res. Dev., vol.5, 181 (1961).