Abstract:Quantum Information and Complexity, pp. 296-320 (2004) No AccessOn Reversible Computation in Asynchronous SystemsJia Lee, Ferdinand Peper, Susumu Adachi, and Shinro MashikoJia LeeCommunications Research Laboratory, Nanotechnology Group, 588-2 Iwaoka, Iwaoka-cho, Nishi-ku, Kobe-city, 651-2492, Japan, Ferdinand PeperCommunications Research Laboratory, Nanotechnology Group, 588-2 Iwaoka, Iwaoka-cho, Nishi-ku, Kobe-city, 651-2492, Japan, Susumu AdachiCommunications Research Laboratory, Nanotechnology Group, 588-2 Iwaoka, Iwaoka-cho, Nishi-ku, Kobe-city, 651-2492, Japan, and Shinro MashikoCommunications Research Laboratory, Nanotechnology Group, 588-2 Iwaoka, Iwaoka-cho, Nishi-ku, Kobe-city, 651-2492, Japanhttps://doi.org/10.1142/9789812702449_0016Cited by:13 PreviousNext AboutSectionsPDF/EPUB ToolsAdd to favoritesDownload CitationsTrack CitationsRecommend to Library ShareShare onFacebookTwitterLinked InRedditEmail Abstract: Reversible computation has attracted much attention over the years, not only for its promise for computers with radically reduced power consumption, but also for its importance to Quantum Computing. Though studied extensively in a great variety of synchronous computation models, it is virtually unexplored in an asynchronous framework. This paper studies reversibility of asynchronous systems, focussing in particular on delay-insensitive circuits, a type of asynchronous circuit, whose correctness of operation is unaffected by arbitrary delays of signals. We start with Morita's Rotary Element (RE), a delay-insensitive reversible element that can process one signal at a time, and which has four input lines, four output lines, and two states. An RE is universal, because a universal Reversible Turing Machine can be constructed from it, as shown by Morita. We embed an RE on a two-dimensional Self-Timed Cellular Automaton (STCA), a type of cellular automaton that is asynchronous, i.e., that updates its cells at random times that are independent of each other. This proves that the STCA is capable of universal and reversible computation. We then propose a new delay-insensitive reversible element that can process one signal at a time, and which has only three input lines, three output lines, and two states. We prove the universality of this element, by constructing an RE from it. Finally, we investigate reversible delay-insensitive circuits that can process more than one signal at a time. Such circuits are more subtle than their single-signal counterparts, because a simple reordering of signal arrival times may (or may not) destroy their reversibility. We analyze an example in which an irreversible multi-signal circuit is constructed from reversible elements, and speculate about reasons why reversibility is not closed under circuit composition, and about ways to repair this shortcoming. FiguresReferencesRelatedDetailsCited By 13NanocomputersFerdinand Peper26 August 2018NanocomputersFerdinand Peper26 September 2017Reversible ComputingKenichi Morita7 November 2015Emergence of universal global behavior from reversible local transitions in asynchronous systemsJia Lee, Susumu Adachi, Yun-Ni Xia and Qing-Sheng Zhu1 Oct 2014 | Information Sciences, Vol. 282Computing on a Simple Asynchronous Cellular AutomatonJia Lee, Ferdinand Peper and Katsunobu Imai1 Dec 2013NanocomputersFerdinand Peper1 Jan 2012Reversible ComputingKenichi Morita1 Jan 2012Implementation of Rotary Element with Quantum Cellular AutomataSusumu Adachi1 Jan 2010NanocomputersFerdinand Peper1 Jan 2009Reversible ComputingKenichi Morita1 Jan 2009Universal delay-insensitive systems with buffering lines Jia Lee, F. Peper, S. Adachi and S. Mashiko1 Apr 2005 | IEEE Transactions on Circuits and Systems I: Regular Papers, Vol. 52, No. 4Universal delay-insensitive circuits with bidirectional and buffering linesJ. Lee, F. Peper, S. Adachi and K. Morita1 Aug 2004 | IEEE Transactions on Computers, Vol. 53, No. 8An Asynchronous Cellular Automaton Implementing 2-State 2-Input 2-Output Reversed-Twin Reversible ElementsJia Lee, Ferdinand Peper, Susumu Adachi and Kenichi Morita Quantum Information and ComplexityMetrics History PDF download

Design of 1-Tape 2-Symbol Reversible Turing Machines Based on Reversible Logic Elements

General Design of Reversible Sequential Machines Based on Reversible Logic Elements

Logically reversible measurements: Construction and application

Invertible Construction Of Decimal-To-Binary Converter Using Reversible Elements

Embedding Simple Reversed-Twin Elements into Self-Timed Reversible Cellular Automata

An Arithmetic Logic Unit design based on reversible logic gates

Efficient Design of Reversible Sequential Circuit

Design of Ternary Logic Based on Reram Crossbars

Efficient Implementation of Complete Reconfigurable Boolean Logic Primitives Based on Memristors

Reversible Gates Using Quantum Phase Slip Junctions, Part A: Logical Reversible Design

Decomposing Fredkin Gate into Simple Reversible Elements with Memory

Extensible reversible comparator based on novel reversible gate

Design of Reversible Random Access Memory

Reversible Logic Synthesis by Quantum Rotation Gates

Design of a Compact Reversible Read-Only-Memory with MOS Transistors

Building a Completely Reversible Computer

A Novel Transformation-Based Algorithm for Reversible Logic Synthesis

New designs of reversible sequential devices

On Reversible Computation in Asynchronous Systems

An Algorithm for Reversible Logic Circuit Synthesis Based on Tensor Decomposition

Design of Reversible Computing Systems; Large Logic, Languages, and Circuits