Synthesis and optimization of reversible circuits -- a survey
From MaRDI portal
Publication:2875110
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.
Recommendations
Cited in
(62)- Improved reversible and quantum circuits for Karatsuba-based integer multiplication
- Boolean satisfiability in quantum compilation
- Six Synthesis Methods for Reversible Logic
- A dynamic programming approach to multi-objective logic synthesis of quantum circuits
- 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
- An improved and cost reduced quantum circuit generator approach for image encoding applications
- Basic circuit compilation techniques for an ion-trap quantum machine
- 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
- A classical propositional logic for reasoning about reversible logic circuits
- A fast symbolic transformation based algorithm for reversible logic synthesis
- Module for arbitrary controlled rotation in gate-based quantum algorithms
- 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
- Minimal designs of reversible sequential elements
- Graph transformation meets reversible circuits: generation, evaluation, and synthesis
- New Results on Reversible Boolean Functions Having Component Functions with Specified Properties
- 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
- Optimizing the depth of quantum implementations of linear layers
- 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
- Depth-optimized reversible circuit synthesis
- QMDD-based one-pass design of reversible logic: exploring the available degree of freedom (work-in-progress report)
- Towards a design flow for reversible logic
- Synthesis of reversible logic quantum circuits
- Reversible circuit synthesis by genetic programming using dynamic gate libraries
- scientific article; zbMATH DE number 7599955 (Why is no real title available?)
- Decompositions of n-qubit Toffoli gates with linear circuit complexity
- Asymptotically optimal synthesis of reversible circuits
- Ancilla-free synthesis of large reversible functions using binary decision diagrams
- Clean reversible simulations of ranking binary trees
- A reversible carry-look-ahead adder using control gates
- A reversible logical circuit synthesis algorithm based on decomposition of cycle representations of permutations
- Categorical semantics of reversible pattern-matching
- Heuristic methods to use don't cares in automated design of reversible and quantum logic circuits
- A finite alternation result for reversible Boolean circuits
- Termination of rewriting on reversible Boolean circuits as a free 3-category problem
- 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)
