Rule-based optimization of reversible circuits
Mona Arabzadeh,Mehdi Saeedi,Morteza Saheb Zamani +2 more
- pp 849-854
Reads0
Chats0
TLDR
A rule-based optimization approach for reversible circuits is proposed which uses both negative and positive control Toffoli gates during the optimization, and a set of rules for removing NOT gates and optimizing sub-circuits with common-target gates are proposed.Abstract:
Reversible logic has applications in various research areas including low-power design and quantum computation. In this paper, a rule-based optimization approach for reversible circuits is proposed which uses both negative and positive control Toffoli gates during the optimization. To this end, a set of rules for removing NOT gates and optimizing sub-circuits with common-target gates are proposed. To evaluate the proposed approach, the best-reported synthesized circuits and the results of a recent synthesis algorithm which uses both negative and positive controls are used. Our experiments reveal the potential of the proposed approach in optimizing synthesized circuits.read more
Citations
More filters
Journal ArticleDOI
Synthesis and optimization of reversible circuits—a survey
Mehdi Saeedi,Igor L. Markov +1 more
TL;DR: This survey reviews algorithmic paradigms—search based, cycle based, transformation based, and BDD based—as well as specific algorithms for reversible synthesis, both exact and heuristic, and outlines key open challenges in synthesis of reversible and quantum logic.
Journal ArticleDOI
Constant-optimized quantum circuits for modular multiplication and exponentiation
Igor L. Markov,Mehdi Saeedi +1 more
TL;DR: In the context of modular exponentiation, this work offers several constant-factor improvements, as well as an improvement by a constant additive term that is significant for few-qubit circuits arising in ongoing laboratory experiments with Shor's algorithm.
Posted Content
Constant-Optimized Quantum Circuits for Modular Multiplication and Exponentiation
Igor L. Markov,Mehdi Saeedi +1 more
TL;DR: In this paper, the search for modular multiplication circuits with zero-initialized ancilla registers was reduced to a shortest-path problem, and several constant-factor improvements were presented.
Journal ArticleDOI
A Shared-cube Approach to ESOP-based Synthesis of Reversible Logic
N. M. Nayeem,J.E. Rice +1 more
TL;DR: This paper presents an improved ESOP-based reversible logic synthesis approach which leverages situa- tions where cubes are shared by multiple outputs and ensures that the implementation of each cube requires just one Toffoli gate.
Book ChapterDOI
White dots do matter: rewriting reversible logic circuits
TL;DR: This paper describes the few basic rules that are needed to perform rewriting directly on reversible logic circuits made from general Toffoli circuits and shows how to use these rules to derive more complex formulas.
References
More filters
Book
Quantum Computation and Quantum Information
TL;DR: In this article, the quantum Fourier transform and its application in quantum information theory is discussed, and distance measures for quantum information are defined. And quantum error-correction and entropy and information are discussed.
Journal ArticleDOI
Quantum computation and quantum information
TL;DR: This special issue of Mathematical Structures in Computer Science contains several contributions related to the modern field of Quantum Information and Quantum Computing, with a focus on entanglement.
Journal ArticleDOI
Elementary gates for quantum computation.
Adriano Barenco,Charles H. Bennett,Richard Cleve,David P. DiVincenzo,Norman Margolus,Peter W. Shor,Tycho Sleator,John A. Smolin,Harald Weinfurter +8 more
TL;DR: U(2) gates are derived, which derive upper and lower bounds on the exact number of elementary gates required to build up a variety of two- and three-bit quantum gates, the asymptotic number required for n-bit Deutsch-Toffoli gates, and make some observations about the number of unitary operations on arbitrarily many bits.
Journal ArticleDOI
Irreversibility and heat generation in the computing process
TL;DR: Two simple, but representative, models of bistable devices are subjected to a more detailed analysis of switching kinetics to yield the relationship between speed and energy dissipation, and to estimate the effects of errors induced by thermal fluctuations.
Proceedings ArticleDOI
A transformation based algorithm for reversible logic synthesis
TL;DR: A transformation based algorithm for the synthesis of such a reversible circuit in terms of n /spl times/ n Toffoli gates is presented and produces very good results for larger problems.