Research On General Design Of Reversible Computing Model

Reversible computing was proposed during the research of consumption of energy on computing. Landauer[3] found the Inevitable relation between the computing and consumption of energy, and proposed that there is no consumption of energy in reversible computing. Then, the reversible computing in which the ancestor of computing can be determined uniquely was widely studied. Consumption of energy will be more and more import in the technology of creating big super computers and microchip nowadays, which makes the breakthrough in reversible computing become more important now.This paper studies how to compose reversible computing models(e.g., reversible sequential machines(RSMs) and reversible Turing machines(RTMs)) by using reversible logic elements(RLEs). The logic circuits constructed by this method can work in the asynchronous system. Asynchronous systems have virtually been unexplored for reversible computing, for the reason of the randomness by which events in them are timed appears incompatible with the backward determinism of reversible computing[16]. It becomes very difficult problem to define reversibility in asynchronous systems properly[5]. The signal in the asynchronous systems, without clock signal, constructed by using this method makes the realizing reversible computing in asynchronous systems become possible.Moreover, the scheme we proposed for decomposing reversible computing model into simple reversible logic elements improves the original one. Each RSM’s operation in the circuit is no longer subject to strict conditions that prevent direct extension of their constructions to more general RSMs. Our novel scheme imposes no condition on the operations of RTMs which may take any arbitrary number of states. Except for the scale of circuits, any big reversible computing circuits can be constructed through this model conveniently for the reason of reconstruction and modularization.