Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Efficient implementation of a BDD package
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Explorations in quantum computing
Explorations in quantum computing
Quantum computing
Transformation rules for designing CNOT-based quantum circuits
Proceedings of the 39th annual Design Automation Conference
Quantum computation and quantum information
Quantum computation and quantum information
A transformation based algorithm for reversible logic synthesis
Proceedings of the 40th annual Design Automation Conference
Evolutionary Approach to Quantum andReversible Circuits Synthesis
Artificial Intelligence Review
Proceedings of the conference on Design, automation and test in Europe - Volume 2
Improving Gate-Level Simulation of Quantum Circuits
Quantum Information Processing
Quantum logic synthesis by symbolic reachability analysis
Proceedings of the 41st annual Design Automation Conference
Quantum Circuit Synthesis Using Classes of GF(3) Reversible Fast Spectral Transforms
ISMVL '04 Proceedings of the 34th International Symposium on Multiple-Valued Logic
Synthesis of quantum logic circuits
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Synthesis of reversible logic circuits
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Probabilistic decision diagrams for exact probabilistic analysis
Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design
Proceedings of the 2008 Asia and South Pacific Design Automation Conference
Improved BDD Algorithms for the Simulation of Quantum Circuits
ESA '08 Proceedings of the 16th annual European symposium on Algorithms
A Novel RM-Based Algorithm for Reversible Circuits
ISICA '09 Proceedings of the 4th International Symposium on Advances in Computation and Intelligence
Binary superposed quantum decision diagrams
Quantum Information Processing
Reversible logic synthesis by quantum rotation gates
Quantum Information & Computation
| Hi-index | 0.00 |
Quantum information processing technology is in its pioneering stage and no proficient method for synthesizing quantum circuits has been introduced so far. This paper introduces an effective analysis and synthesis framework for quantum logic circuits. The proposed synthesis algorithm and flow can generate a quantum circuit using the most basic quantum operators, i. e., the rotation and controlled-rotation primitives. The paper introduces the notion of quantum factored forms and presents a canonical and concise representation of quantum logic circuits in the form of quantum decision diagrams (QDD's), which are amenable to efficient manipulation and optimization including recursive unitary functional bi-decomposition. This paper concludes by presenting the QDD-based algorithm for automatic synthesis of quantum circuits.