A transformation based algorithm for reversible logic synthesis

DM Miller, D Maslov, GW Dueck - … of the 40th annual Design Automation …, 2003 - dl.acm.org
A digital combinational logic circuit is reversible if it maps each input pattern to a unique
output pattern. Such circuits are of interest in quantum computing, optical computing …

Computational capabilities and compiler development for neutral atom quantum processors—connecting tool developers and hardware experts

L Schmid, DF Locher, M Rispler, S Blatt… - Quantum Science …, 2024 - iopscience.iop.org
Abstract Neutral Atom Quantum Computing (NAQC) emerges as a promising hardware
platform primarily due to its long coherence times and scalability. Additionally, NAQC offers …

Toffoli network synthesis with templates

D Maslov, GW Dueck, DM Miller - IEEE Transactions on …, 2005 - ieeexplore.ieee.org
Reversible logic functions can be realized as networks of Toffoli gates. The synthesis of
Toffoli networks can be divided into two steps. First, find a network that realizes the desired …

Reversible cascades with minimal garbage

D Maslov, GW Dueck - … on Computer-Aided Design of Integrated …, 2004 - ieeexplore.ieee.org
The problem of minimizing the number of garbage outputs is an important issue in reversible
logic design. We start with the analysis of the number of garbage outputs that must be added …

Exact multiple-control Toffoli network synthesis with SAT techniques

D Große, R Wille, GW Dueck… - IEEE Transactions on …, 2009 - ieeexplore.ieee.org
Synthesis of reversible logic has become a very important research area in recent years.
Applications can be found in the domain of low-power design, optical computing, and …

Fault testing for reversible circuits

KN Patel, JP Hayes, IL Markov - IEEE Transactions on …, 2004 - ieeexplore.ieee.org
Applications of reversible circuits can be found in the fields of low-power computation,
cryptography, communications, digital signal processing, and the emerging field of quantum …

On the controlled-NOT complexity of controlled-NOT–phase circuits

M Amy, P Azimzadeh, M Mosca - Quantum Science and …, 2018 - iopscience.iop.org
We study the problem of $\mathrm {CNOT} $-optimal quantum circuit synthesis over gate
sets consisting of $\mathrm {CNOT} $ and Z-basis rotations of arbitrary angles. We show that …

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 …

A new heuristic algorithm for reversible logic synthesis

P Kerntopf - Proceedings of the 41st annual Design Automation …, 2004 - dl.acm.org
Reversible logic has applications in many fields, including quantum computing. Synthesis
techniques for reversible circuits are not well developed, even for functions with a small …

Reducing the CNOT count for Clifford+ T circuits on NISQ architectures

V Gheorghiu, J Huang, SM Li, M Mosca… - … on Computer-Aided …, 2022 - ieeexplore.ieee.org
While mapping a quantum circuit to the physical layer one has to consider the numerous
constraints imposed by the underlying hardware architecture. Connectivity of the physical …