Synthesis and optimization of reversible circuits—a survey

M Saeedi, IL Markov - ACM Computing Surveys (CSUR), 2013 - dl.acm.org
Reversible logic circuits have been historically motivated by theoretical research in low-
power electronics as well as practical improvement of bit manipulation transforms in …

BDD-based synthesis of reversible logic for large functions

R Wille, R Drechsler - Proceedings of the 46th Annual Design …, 2009 - dl.acm.org
Reversible logic is the basis for several emerging technologies such as quantum computing,
optical computing, or DNA computing and has further applications in domains like low …

Basic circuit compilation techniques for an ion-trap quantum machine

D Maslov - New Journal of Physics, 2017 - iopscience.iop.org
We study the problem of compilation of quantum algorithms into optimized physical-level
circuits executable in a quantum information processing (QIP) experiment based on trapped …

Synthesis of quantum circuits for linear nearest neighbor architectures

M Saeedi, R Wille, R Drechsler - Quantum Information Processing, 2011 - Springer
While a couple of impressive quantum technologies have been proposed, they have several
intrinsic limitations which must be considered by circuit designers to produce realizable …

One-pass design of reversible circuits: Combining embedding and synthesis for reversible logic

A Zulehner, R Wille - … on Computer-Aided Design of Integrated …, 2017 - ieeexplore.ieee.org
Reversible computation is a heavily investigated emerging technology due to its promising
characteristics in low-power design, its application in quantum computations, and several …

Exact reordering of circuit lines for nearest neighbor quantum architectures

R Wille, A Lye, R Drechsler - IEEE Transactions on Computer …, 2014 - ieeexplore.ieee.org
Research in the domain of quantum computation is mainly driven by their promising
applications eg, for factorization or database search. At the same time, physical …

A study of optimal 4-bit reversible Toffoli circuits and their synthesis

O Golubitsky, D Maslov - IEEE Transactions on Computers, 2011 - ieeexplore.ieee.org
Optimal synthesis of reversible functions is a nontrivial problem. One of the major limiting
factors in computing such circuits is the sheer number of reversible functions. Even …

Exact and practical pattern matching for quantum circuit optimization

R Iten, R Moyard, T Metger, D Sutter… - ACM Transactions on …, 2022 - dl.acm.org
Quantum computations are typically performed as a sequence of basic operations, called
quantum gates. Different gate sequences, called quantum circuits, can implement the same …

RevKit: An open source toolkit for the design of reversible circuits

M Soeken, S Frehse, R Wille, R Drechsler - … RC 2011, Gent, Belgium, July 4 …, 2012 - Springer
In recent years, research in the domain of reversible circuit design has attracted significant
attention leading to many different approaches eg for synthesis, optimization, simulation …

Programming quantum computers using design automation

M Soeken, T Haener, M Roetteler - 2018 Design, Automation & …, 2018 - ieeexplore.ieee.org
Recent developments in quantum hardware indicate that systems featuring more than 50
physical qubits are within reach. At this scale, classical simulation will no longer be feasible …