Synthesis and optimization of reversible circuits -- a survey
From MaRDI portal
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
(66)- Heuristic methods to use don't cares in automated design of reversible and quantum logic circuits
- On figures of merit in reversible and quantum logic designs
- A reversible logical circuit synthesis algorithm based on decomposition of cycle representations of permutations
- Reversible circuit synthesis by genetic programming using dynamic gate libraries
- Decompositions of n-qubit Toffoli gates with linear circuit complexity
- REVS: a tool for space-optimized reversible circuit synthesis
- 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
- QMDD-based one-pass design of reversible logic: exploring the available degree of freedom (work-in-progress report)
- Logic circuits from zero forcing
- Depth optimization for topological quantum circuits
- An improved and cost reduced quantum circuit generator approach for image encoding applications
- Conditionally reversible computations and weak universality in category theory
- Binary-decision-diagram-based decomposition of Boolean functions into reversible logic elements
- An improved design of \(n\)-bit universal reversible gate library
- Efficient algorithms for optimal 4-bit reversible logic system synthesis
- 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
- A classical propositional logic for reasoning about reversible logic circuits
- A Fully Fault-Tolerant Representation of Quantum Circuits
- Improved algorithms for debugging problems on erroneous reversible circuits
- Towards line-aware realizations of expressions for HDL-based synthesis of reversible circuits
- Application of Functional Decomposition in Synthesis of Reversible Circuits
- White dots do matter: rewriting reversible logic circuits
- 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
- Synthesis of reversible logic quantum circuits
- Initial ideas for automatic design and verification of control logic in reversible HDLs (work in progress report)
- 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
- A fast symbolic transformation based algorithm for reversible logic synthesis
- Graph transformation meets reversible circuits: model transformation and optimization
- Minimal designs of reversible sequential elements
- Graph transformation meets reversible circuits: generation, evaluation, and synthesis
- A new reversible circuit synthesis algorithm based on cycle representations of permutations
- Six Synthesis Methods for Reversible Logic
- Reversible and Quantum Circuit Optimization: A Functional Approach
- Depth-optimized reversible circuit synthesis
- Towards a design flow for reversible logic
- Improved reversible and quantum circuits for Karatsuba-based integer multiplication
- The classification of reversible bit operations
- A reversible carry-look-ahead adder using control gates
- Ancilla-free synthesis of large reversible functions using binary decision diagrams
- Boolean satisfiability in quantum compilation
- scientific article; zbMATH DE number 7599955 (Why is no real title available?)
- Clean reversible simulations of ranking binary trees
- Translation Techniques for Reversible Circuit Synthesis with Positive and Negative Controls
- OR-Toffoli and OR-Peres Reversible Gates
- A dynamic programming approach to multi-objective logic synthesis of quantum circuits
- Module for arbitrary controlled rotation in gate-based quantum algorithms
- Optimizing the depth of quantum implementations of linear layers
- Basic circuit compilation techniques for an ion-trap quantum machine
- New Results on Reversible Boolean Functions Having Component Functions with Specified Properties
- 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
- 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
- An improved lower bound on the gate count for Toffoli-based reversible logic circuits realizing given reversible functions
- On the construction of quantum circuits for S-boxes with different criteria based on the SAT solver
- Quantum circuits of AES with a low-depth linear layer and a new structure
- Synthesis of reversible circuits with minimal costs
- Nearly optimal circuit size for sparse quantum state preparation
- Fundamentals of reversible flowchart languages
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)
