English
Related papers

Related papers: Ancilla-free Reversible Logic Synthesis via Sortin…

200 papers

A clear protocol for synthesis of sequential reversible circuits from any particular gate library has been provided. Using that protocol, reversible circuits for SR latch, D latch, JK latch and T latch are designed from NCT gate library.…

Quantum Physics · Physics 2009-08-13 Anindita Banerjee , Anirban Pathak

With phenomenal growth of high speed and complex computing applications, the design of low power and high speed logic circuits have created tremendous interest. Conventional computing devices are based on irreversible logic and further…

Emerging Technologies · Computer Science 2016-08-08 Vishal Pareek

We present new algorithms to synthesize exact universal reversible gate library for various types of gates and costs. We use the powerful algebraic software GAP for implementation and examination of our algorithms and the reversible logic…

Emerging Technologies · Computer Science 2016-01-01 Rasha Montaser , Ahmed Younes , Mahmoud Abdel-Aty

We propose an approach to optimally synthesize quantum circuits from non-permutative quantum gates such as Controlled-Square-Root-of-Not (i.e. Controlled-V). Our approach reduces the synthesis problem to multiple-valued optimization and…

Logic in Computer Science · Computer Science 2011-11-09 Guowu Yang , William N. N. Hung , Xiaoyu Song , Marek Perkowski

Logic Programming languages and combinational circuit synthesis tools share a common "combinatorial search over logic formulae" background. This paper attempts to reconnect the two fields with a fresh look at Prolog encodings for the…

Logic in Computer Science · Computer Science 2008-12-18 Paul Tarau , Brenda Luderman

In this paper, we have introduced the notion of UselessGate and ReverseOperation. We have also given an algorithm to implement a sorting network for reversible logic synthesis based on swapping bit strings. The network is constructed in…

Hardware Architecture · Computer Science 2010-08-30 Md. Saiful Islam

Landauer's principle places a fundamental lower limit on the work required to perform a logically irreversible operation. Logically reversible gates provide a way to avoid these work costs, and also simplify the task of making the…

Computational Physics · Physics 2023-11-16 Ian Seet , Thomas E. Ouldridge , Jonathan P. K. Doye

We describe a family of recursive methods for the synthesis of qubit permutations on quantum computers with limited qubit connectivity. Two objectives are of importance: circuit size and depth. In each case we combine a scalable heuristic…

Quantum Physics · Physics 2023-08-25 Cynthia Chen , Bruno Schmitt , Helena Zhang , Lev S. Bishop , Ali Javadi-Abhari

Reversibility is a key issue in the interface between computation and physics, and of growing importance as miniaturization progresses towards its physical limits. Most foundational work on reversible computing to date has focussed on…

Logic in Computer Science · Computer Science 2011-12-01 Samson Abramsky

Reversible computing has attracted the attention of researchers due to its low power consumption and less heat dissipation compared to conventional computing. A number of reversible gates have been proposed by different researchers and…

Emerging Technologies · Computer Science 2015-01-08 Shubham Gupta

Quantum computer requires quantum arithmetic. The sophisticated design of a reversible arithmetic logic unit (reversible ALU) for quantum arithmetic has been investigated in this letter. We provide explicit construction of reversible ALU…

Hardware Architecture · Computer Science 2011-07-21 Rigui zhou , Yang shi , Manqun Zhang

The generation of reversible circuits from high-level code is an important problem in several application domains, including low-power electronics and quantum computing. Existing tools compile and optimize reversible circuits for various…

Quantum Physics · Physics 2018-04-24 Matthew Amy , Martin Roetteler , Krysta Svore

Reversible circuits form the backbone for many promising emerging technologies such as quantum computing, low power/adiabatic design, encoder/decoder devices, and several other applications. In the recent years, the scalable synthesis of…

Hardware Architecture · Computer Science 2022-12-13 Smaran Adarsh , Lukas Burgholzer , Tanmay Manjunath , Robert Wille

Now a day reversible logic is an attractive research area due to its low power consumption in the area of VLSI circuit design. The reversible logic gate is utilized to optimize power consumption by a feature of retrieving input logic from…

Hardware Architecture · Computer Science 2015-09-15 Neeraj Kumar Misra , Mukesh Kumar Kushwaha , Subodh Wairya , Amit Kumar

Reversible logic has promising applications in emerging nanotechnologies, such as quantum computing, quantum dot cellular automata and optical computing, etc. Faults in reversible logic circuits that result in multi-bit error at the outputs…

Hardware Architecture · Computer Science 2011-01-24 Himanshu Thapliyal , Nagarajan Ranganathan

Optimal synthesis of reversible functions is a non-trivial problem. One of the major limiting factors in computing such circuits is the sheer number of reversible functions. Even restricting synthesis to 4-bit reversible functions results…

Quantum Physics · Physics 2012-08-21 Oleg Golubitsky , Dmitri Maslov

Quantum computers are considered as a future alternative to circumvent the heat dissipation problem of VLSI circuits. The synthesis of reversible circuits is a very promising area of study considering the expected further technological…

Emerging Technologies · Computer Science 2014-11-25 Fatima Hadjam , Claudio Moraga

Reversible logic is experience renewed interest as we are approach the limits of CMOS technologies. While physical implementations of reversible gates have yet to materialize, it is safe to assume that they will rely on faulty individual…

Hardware Architecture · Computer Science 2008-12-22 Nuno Alves

In today's world everyday a new technology which is faster, smaller and more complex than its predecessor is being developed. The increased number of transistors packed onto a chip of a conventional system results in increased power…

Hardware Architecture · Computer Science 2013-06-11 Aakash Gupta , Pradeep Singla , Jitendra Gupta , Nitin Maheshwari

Synthesis is the automatic construction of a system from its specification. In classical synthesis algorithms it is always assumed that the system is "constructed from scratch" rather than composed from reusable components. This, of course,…

Logic in Computer Science · Computer Science 2011-11-10 Yoad Lustig , Moshe Vardi