Transformation rules for designing CNOT-based quantum circuits
Proceedings of the 39th annual Design Automation Conference
Representations of Discrete Functions
Representations of Discrete Functions
A transformation based algorithm for reversible logic synthesis
Proceedings of the 40th annual Design Automation Conference
An Approach to Minimization of Decision Diagrams
DSD '01 Proceedings of the Euromicro Symposium on Digital Systems Design
Simplification of Toffoli Networks via Templates
SBCCI '03 Proceedings of the 16th symposium on Integrated circuits and systems design
Proceedings of the conference on Design, automation and test in Europe - Volume 2
Fredkin/Toffoli Templates for Reversible Logic Synthesis
Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design
Synthesis of reversible logic circuits
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Quantum Circuit Simplification Using Templates
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Reversible computing: from mathematical group theory to electronical circuit experiment
Proceedings of the 2nd conference on Computing frontiers
Data structures and algorithms for simplifying reversible circuits
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Six Synthesis Methods for Reversible Logic
Open Systems & Information Dynamics
Techniques for the synthesis of reversible Toffoli networks
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Synthesis of reversible sequential elements
ACM Journal on Emerging Technologies in Computing Systems (JETC)
A novel synthesis algorithm for reversible circuits
Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design
Reversible logic synthesis with Fredkin and Peres gates
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Proceedings of the 2008 Asia and South Pacific Design Automation Conference
Heuristic methods to use don't cares in automated design of reversible and quantum logic circuits
Quantum Information Processing
A novel Toffoli network synthesis algorithm for reversible logic
Proceedings of the 2009 Asia and South Pacific Design Automation Conference
On figures of merit in reversible and quantum logic designs
Quantum Information Processing
BDD-based synthesis of reversible logic for large functions
Proceedings of the 46th Annual Design Automation Conference
A Novel RM-Based Algorithm for Reversible Circuits
ISICA '09 Proceedings of the 4th International Symposium on Advances in Computation and Intelligence
A Novel Transformation-Based Algorithm for Reversible Logic Synthesis
ISICA '09 Proceedings of the 4th International Symposium on Advances in Computation and Intelligence
Effect of BDD Optimization on Synthesis of Reversible and Quantum Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Transistor realization of reversible "ZS" series gates and reversible array multiplier
Microelectronics Journal
Novel design of a fast reversible Wallace sign multiplier circuit in nanotechnology
Microelectronics Journal
Synthesis and optimization of reversible circuits—a survey
ACM Computing Surveys (CSUR)
BDD-Based Synthesis of Reversible Logic
International Journal of Applied Metaheuristic Computing
Line ordering of reversible circuits for linear nearest neighbor realization
Quantum Information Processing
Trading off circuit lines and gate costs in the synthesis of reversible logic
Integration, the VLSI Journal
| Hi-index | 0.00 |
Reversible logic has applications in many fields, including quantum computing. Synthesis techniques for reversible circuits are not well developed, even for functions with a small number of inputs and outputs. This paper proposes an approach to reversible logic synthesis using a new complexity measure based on shared binary decision diagrams with complemented edges (instead of truth tables or PPRM forms, as in the previous algorithms). The approach can be used with arbitrary libraries of reversible logic gates and arbitrary cost functions. Experiments show promising results in comparison with the known approaches.