English
Related papers

Related papers: Reversible Logic Circuit Synthesis

200 papers

Linear reversible circuits represent a subclass of reversible circuits with many applications in quantum computing. These circuits can be efficiently simulated by classical computers and their size is polynomially bounded by the number of…

Reversible circuits have applications in digital signal processing, computer graphics, quantum computation and cryptography. In this paper, a generalized k*k reversible gate family is proposed and a 3*3 gate of the family is discussed.…

Hardware Architecture · Computer Science 2010-08-20 Md. Rafiqul Islam , Md. Saiful Islam , Muhammad Rezaul Karim , Abdullah Al Mahmud , Hafiz Md. Hasan Babu

This paper presents models for transforming standard reversible circuits into Linear Nearest Neighbor (LNN) architecture without inserting SWAP gates. Templates to optimize the transformed LNN circuits are proposed. All minimal LNN circuits…

Emerging Technologies · Computer Science 2015-08-25 Md. Mazder Rahman , Gerhard W. Dueck

In this paper, a library-based synthesis methodology for reversible circuits is proposed where a reversible specification is considered as a permutation comprising a set of cycles. To this end, a pre-synthesis optimization step is…

Quantum Physics · Physics 2012-09-04 Mehdi Saeedi , Mehdi Sedighi , Morteza Saheb Zamani

A reversible logic has application in quantum computing. A reversible logic design needs resources such as ancilla and garbage qubits to reconfigure circuit functions or gate functions. The removal of garbage qubits and ancilla qubits are…

Quantum Physics · Physics 2016-08-04 Jayashree HV , Himanshu Thapliyal , Hamid R. Arabnia , V K Agrawal

We show the applicability of the Cartan decomposition of Lie algebras to quantum circuits. This approach can be used to synthesize circuits that can efficiently implement any desired unitary operation. Our method finds explicit quantum…

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

We provide a simple framework for the synthesis of quantum circuits based on a numerical optimization algorithm. This algorithm is used in the context of the trapped-ions technology. We derive theoretical lower bounds for the number of…

Emerging Technologies · Computer Science 2020-04-17 Timothée Goubault de Brugière , Marc Baboulin , Benoît Valiron , Cyril Allouche

Reversible logic has come to the forefront of theoretical and applied research today. Although many researchers are investigating techniques to synthesize reversible combinational logic, there is little work in the area of sequential…

Emerging Technologies · Computer Science 2014-07-29 Md. Selim Al Mamun , Indrani Mandal , Md. Hasanuzzaman

In the recent years, reversible logic has emerged as a promising technology having its applications in low power CMOS, quantum computing, nanotechnology, and optical computing. The classical set of gates such as AND, OR, and EXOR are not…

Hardware Architecture · Computer Science 2007-05-23 Himanshu Thapliyal , M. B Srinivas

In this work, we present a class of new designs for reversible binary and BCD adder circuits. The proposed designs are primarily optimized for the number of ancilla inputs and the number of garbage outputs and are designed for possible best…

Quantum Physics · Physics 2017-12-08 Himanshu Thapliyal , Nagarajan Ranganathan

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

Reversible circuits for SR flip flop, JK flip flop, D flip flop, T flip flop, Master Slave D flip flop and Master Slave JK flip flop have been provided with three different logical approaches. All the circuits have been optimized with the…

Quantum Physics · Physics 2007-07-31 Anindita Banerjee , Anirban Pathak

Reversible logic has become one of the promising research directions in low power dissipating circuit design in the past few years and has found its applications in low power CMOS design, cryptography, optical information processing and…

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

We study optimal synthesis of Clifford circuits, and apply the results to peep-hole optimization of quantum circuits. We report optimal circuits for all Clifford operations with up to four inputs. We perform peep-hole optimization of…

Quantum Physics · Physics 2013-11-12 Vadym Kliuchnikov , Dmitri Maslov

A large amount of research is currently going on in the field of reversible logic, which have low heat dissipation, low power consumption, which is the main factor to apply reversible in digital VLSI circuit design. This paper introduces…

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

With the high demand of low power digital systems, energy dissipation in the digital system is one of the limiting factors. Reversible logic is one of the alternate to reduce heat/energy dissipation in the digital circuits and have a very…

Hardware Architecture · Computer Science 2014-12-18 Pradeep Singla , Devraj Gautam

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

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

Boolean matching is an important problem in logic synthesis and verification. Despite being well-studied for conventional Boolean circuits, its treatment for reversible logic circuits remains largely, if not completely, missing. This work…

Quantum Physics · Physics 2024-04-19 Tian-Fu Chen , Jie-Hong R. Jiang