Synthesis and optimization of reversible circuits—a survey

DOI10.1145/2431211.2431220zbMath1293.94141arXiv1110.2574OpenAlexW2114638353MaRDI QIDQ2875110

Igor L. Markov, Mehdi Saeedi

Publication date: 13 August 2014

Published in: ACM Computing Surveys (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1110.2574

zbMATH Keywords

logic synthesisreversible circuitscircuit optimization

Mathematics Subject Classification ID

Related Items (29)

A reversible logical circuit synthesis algorithm based on decomposition of cycle representations of permutations ⋮ Improved reversible and quantum circuits for Karatsuba-based integer multiplication. ⋮ The Classification of Reversible Bit Operations ⋮ A new reversible circuit synthesis algorithm based on cycle representations of permutations ⋮ Application of Permutation Group Theory in Reversible Logic Synthesis ⋮ A Finite Alternation Result for Reversible Boolean Circuits ⋮ Generating Reversible Circuits from Higher-Order Functional Programs ⋮ Depth-optimized reversible circuit synthesis ⋮ Reversible circuit synthesis by genetic programming using dynamic gate libraries ⋮ A dynamic programming approach to multi-objective logic synthesis of quantum circuits ⋮ Module for arbitrary controlled rotation in gate-based quantum algorithms ⋮ Fundamentals of reversible flowchart languages ⋮ Optimizing the depth of quantum implementations of linear layers ⋮ Basic circuit compilation techniques for an ion-trap quantum machine ⋮ Clean Reversible Simulations of Ranking Binary Trees ⋮ New Results on Reversible Boolean Functions Having Component Functions with Specified Properties ⋮ Decompositions of \(n\)-qubit Toffoli gates with linear circuit complexity ⋮ Line ordering of reversible circuits for linear nearest neighbor realization ⋮ Design of a universal logic block for fault-tolerant realization of any logic operation in trapped-ion quantum circuits ⋮ Ancilla-free synthesis of large reversible functions using binary decision diagrams ⋮ Translation Techniques for Reversible Circuit Synthesis with Positive and Negative Controls ⋮ OR-Toffoli and OR-Peres Reversible Gates ⋮ Logic circuits from zero forcing ⋮ Conditionally reversible computations and weak universality in category theory ⋮ Depth optimization for topological quantum circuits ⋮ Binary-decision-diagram-based decomposition of Boolean functions into reversible logic elements ⋮ A Fully Fault-Tolerant Representation of Quantum Circuits ⋮ Boolean satisfiability in quantum compilation ⋮ An improved and cost reduced quantum circuit generator approach for image encoding applications

This page was built for publication: Synthesis and optimization of reversible circuits—a survey