A cycle-based synthesis algorithm for reversible logic
Proceedings of the 2009 Asia and South Pacific Design Automation Conference
Quantum Circuit Synthesis with Adaptive Parameters Control
EuroGP '09 Proceedings of the 12th European Conference on Genetic Programming
Parallelizing quantum circuits
Theoretical Computer Science
Genetic algorithm based quantum circuit synthesis with adaptive parameters control
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
A library-based synthesis methodology for reversible logic
Microelectronics Journal
Fast equivalence-checking for quantum circuits
Proceedings of the 2010 IEEE/ACM International Symposium on Nanoscale Architectures
Reversible circuit synthesis using a cycle-based approach
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Rule-based optimization of reversible circuits
Proceedings of the 2010 Asia and South Pacific Design Automation Conference
Quantum Information Processing
Strategies for designing geometric transformations on quantum images
Theoretical Computer Science
Fast equivalence-checking for quantum circuits
Quantum Information & Computation
Watermarking and authentication of quantum images based on restricted geometric transformations
Information Sciences: an International Journal
Realizing reversible circuits using a new class of quantum gates
Proceedings of the 49th Annual Design Automation Conference
Hybrid GF(2) --- boolean expressions ..for quantum computing circuits
RC'11 Proceedings of the Third international conference on Reversible Computation
Synthesis and optimization of reversible circuits—a survey
ACM Computing Surveys (CSUR)
Depth-optimized reversible circuit synthesis
Quantum Information Processing
A two-tier scheme for greyscale quantum image watermarking and recovery
International Journal of Innovative Computing and Applications
Reducing the depth of quantum circuits using additional circuit lines
RC'13 Proceedings of the 5th international conference on Reversible Computation
Online Testable Approaches in Reversible Logic
Journal of Electronic Testing: Theory and Applications
A quantum physical design flow using ILP and graph drawing
Quantum Information Processing
RMDDS: Reed-muller decision diagram synthesis of reversible logic circuits
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Quantum circuit physical design methodology with emphasis on physical synthesis
Quantum Information Processing
Hi-index | 0.04 |
Quantum circuits are time-dependent diagrams describing the process of quantum computation. Usually, a quantum algorithm must be mapped into a quantum circuit. Optimal synthesis of quantum circuits is intractable, and heuristic methods must be employed. With the use of heuristics, the optimality of circuits is no longer guaranteed. In this paper, we consider a local optimization technique based on templates to simplify and reduce the depth of nonoptimal quantum circuits. We present and analyze templates in the general case and provide particular details for the circuits composed of NOT, CNOT, and controlled-sqrt-of-NOT gates. We apply templates to optimize various common circuits implementing multiple control Toffoli gates and quantum Boolean arithmetic circuits. We also show how templates can be used to compact the number of levels of a quantum circuit. The runtime of our implementation is small, whereas the reduction in the number of quantum gates and number of levels is significant.