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 …

A meet-in-the-middle algorithm for fast synthesis of depth-optimal quantum circuits

M Amy, D Maslov, M Mosca… - IEEE Transactions on …, 2013 - ieeexplore.ieee.org
We present an algorithm for computing depth-optimal decompositions of logical operations,
leveraging a meet-in-the-middle technique to provide a significant speedup over simple …

Improved simulation of stabilizer circuits

S Aaronson, D Gottesman - Physical Review A, 2004 - APS
Abstract The Gottesman-Knill theorem says that a stabilizer circuit—that is, a quantum circuit
consisting solely of controlled-NOT (CNOT), Hadamard, and phase gates—can be simulated …

Synthesis of quantum logic circuits

VV Shende, SS Bullock, IL Markov - Proceedings of the 2005 Asia and …, 2005 - dl.acm.org
The pressure of fundamental limits on classical computation and the promise of exponential
speedups from quantum effects have recently brought quantum circuits to the attention of the …

RevLib: An online resource for reversible functions and reversible circuits

R Wille, D Große, L Teuber, GW Dueck… - … on Multiple Valued …, 2008 - ieeexplore.ieee.org
Synthesis of reversible logic has become an active research area in the last years. But many
proposed algorithms are evaluated with a small set of benchmarks only. Furthermore, results …

Quantum circuit optimizations for NISQ architectures

B Nash, V Gheorghiu, M Mosca - Quantum Science and …, 2020 - iopscience.iop.org
Currently available quantum computing hardware platforms have limited 2-qubit connectivity
among their addressable qubits. In order to run a generic quantum algorithm on such a …

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 …

Synthesizing Quantum Circuits of AES with Lower T-depth and Less Qubits

Z Huang, S Sun - International Conference on the Theory and …, 2022 - Springer
The significant progress in the development of quantum computers has made the study of
cryptanalysis based on quantum computing an active topic. To accurately estimate the …

Quantum circuit implementations of AES with fewer qubits

J Zou, Z Wei, S Sun, X Liu, W Wu - … on the Theory and Application of …, 2020 - Springer
We propose some quantum circuit implementations of AES with the following improvements.
Firstly, we propose some quantum circuits of the AES S-box and S-box^-1-1, which require …

An algorithm for synthesis of reversible logic circuits

P Gupta, A Agrawal, NK Jha - IEEE Transactions on Computer …, 2006 - ieeexplore.ieee.org
Reversible logic finds many applications, especially in the area of quantum computing. A
completely specified n-input, n-output Boolean function is called reversible if it maps each …