Synthesis and optimization of reversible circuits -- a survey
From MaRDI portal
Publication:2875110
DOI10.1145/2431211.2431220zbMATH Open1293.94141arXiv1110.2574OpenAlexW2114638353MaRDI QIDQ2875110FDOQ2875110
Authors: Mehdi Saeedi, Igor L. Markov 
Publication date: 13 August 2014
Published in: ACM Computing Surveys (Search for Journal in Brave)
Abstract: Reversible logic circuits have been historically motivated by theoretical research in low-power electronics as well as practical improvement of bit-manipulation transforms in cryptography and computer graphics. Recently, reversible circuits have attracted interest as components of quantum algorithms, as well as in photonic and nano-computing technologies where some switching devices offer no signal gain. Research in generating reversible logic distinguishes between circuit synthesis, post-synthesis optimization, and technology mapping. In this survey, we review algorithmic paradigms --- search-based, cycle-based, transformation-based, and BDD-based --- as well as specific algorithms for reversible synthesis, both exact and heuristic. We conclude the survey by outlining key open challenges in synthesis of reversible and quantum logic, as well as most common misconceptions.
Full work available at URL: https://arxiv.org/abs/1110.2574
Recommendations
Research exposition (monographs, survey articles) pertaining to information and communication theory (94-02) Quantum computation (81P68)
Cited In (62)
- Asymptotically optimal synthesis of reversible circuits
- Categorical semantics of reversible pattern-matching
- Termination of rewriting on reversible Boolean circuits as a free 3-category problem
- Improved reversible and quantum circuits for Karatsuba-based integer multiplication
- Boolean satisfiability in quantum compilation
- A dynamic programming approach to multi-objective logic synthesis of quantum circuits
- Six Synthesis Methods for Reversible Logic
- Application of Permutation Group Theory in Reversible Logic Synthesis
- Translation Techniques for Reversible Circuit Synthesis with Positive and Negative Controls
- Design of a universal logic block for fault-tolerant realization of any logic operation in trapped-ion quantum circuits
- Line ordering of reversible circuits for linear nearest neighbor realization
- Conditionally reversible computations and weak universality in category theory
- Binary-decision-diagram-based decomposition of Boolean functions into reversible logic elements
- Basic circuit compilation techniques for an ion-trap quantum machine
- An improved and cost reduced quantum circuit generator approach for image encoding applications
- Depth optimization for topological quantum circuits
- An improved design of \(n\)-bit universal reversible gate library
- A Post-Synthesis Optimization Technique for Reversible Circuits Exploiting Negative Control Lines
- A reversible logic synthesis algorithm based on the transformation of the truth table
- Module for arbitrary controlled rotation in gate-based quantum algorithms
- A fast symbolic transformation based algorithm for reversible logic synthesis
- A classical propositional logic for reasoning about reversible logic circuits
- Logic circuits from zero forcing
- OR-Toffoli and OR-Peres Reversible Gates
- Improved algorithms for debugging problems on erroneous reversible circuits
- Towards line-aware realizations of expressions for HDL-based synthesis of reversible circuits
- Reversible and Quantum Circuit Optimization: A Functional Approach
- Synthesis of reversible circuits with minimal costs
- Generating reversible circuits from higher-order functional programs
- New Results on Reversible Boolean Functions Having Component Functions with Specified Properties
- Minimal designs of reversible sequential elements
- Graph transformation meets reversible circuits: generation, evaluation, and synthesis
- Optimizing the depth of quantum implementations of linear layers
- Initial ideas for automatic design and verification of control logic in reversible HDLs (work in progress report)
- Graph transformation meets reversible circuits: model transformation and optimization
- A new reversible circuit synthesis algorithm based on cycle representations of permutations
- Fundamentals of reversible flowchart languages
- The classification of reversible bit operations
- Application of Functional Decomposition in Synthesis of Reversible Circuits
- On figures of merit in reversible and quantum logic designs
- Towards a design flow for reversible logic
- QMDD-based one-pass design of reversible logic: exploring the available degree of freedom (work-in-progress report)
- Depth-optimized reversible circuit synthesis
- Synthesis of reversible logic quantum circuits
- Reversible circuit synthesis by genetic programming using dynamic gate libraries
- Title not available (Why is that?)
- Decompositions of \(n\)-qubit Toffoli gates with linear circuit complexity
- Clean reversible simulations of ranking binary trees
- Ancilla-free synthesis of large reversible functions using binary decision diagrams
- A reversible carry-look-ahead adder using control gates
- A reversible logical circuit synthesis algorithm based on decomposition of cycle representations of permutations
- Heuristic methods to use don't cares in automated design of reversible and quantum logic circuits
- A finite alternation result for reversible Boolean circuits
- An ESOP based cube decomposition technique for reversible circuits
- Automatic test pattern generation for multiple missing gate faults in reversible circuits. Work in progress report
- Improving synthesis of reversible circuits: exploiting redundancies in paths and nodes of QMDDs
- A Fully Fault-Tolerant Representation of Quantum Circuits
- REVS: a tool for space-optimized reversible circuit synthesis
- Efficient algorithms for optimal 4-bit reversible logic system synthesis
- Toffoli-depth reduction method preserving in-place quantum circuits and its application to SHA3-256
- Quantum circuit implementations of SM4 block cipher optimizing the number of qubits
- White dots do matter: rewriting reversible logic circuits
This page was built for publication: Synthesis and optimization of reversible circuits -- a survey
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2875110)
