STOC '90 Proceedings of the twenty-second annual ACM symposium on Theory of computing
A fast quantum mechanical algorithm for database search
STOC '96 Proceedings of the twenty-eighth annual ACM symposium on Theory of computing
SIAM Journal on Computing
Computer arithmetic: algorithms and hardware designs
Computer arithmetic: algorithms and hardware designs
Synthesis and Optimization of Digital Circuits
Synthesis and Optimization of Digital Circuits
Quantum computation and quantum information
Quantum computation and quantum information
The Designer's Guide to VHDL
Proceedings of the 7th Colloquium on Automata, Languages and Programming
An improved quantum Fourier transform algorithm and applications
FOCS '00 Proceedings of the 41st Annual Symposium on Foundations of Computer Science
Gate-level simulation of quantum circuits
ASP-DAC '03 Proceedings of the 2003 Asia and South Pacific Design Automation Conference
Improving quantum circuit dependability with reconfigurable quantum gate arrays
Proceedings of the 2nd conference on Computing frontiers
Reliability assessment in embryonics inspired by fault-tolerant quantum computation
Proceedings of the 2nd conference on Computing frontiers
Multiple-level concatenated coding in embryonics: a dependability analysis
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
A dependability perspective on emerging technologies
Proceedings of the 3rd conference on Computing frontiers
Quantum programming languages: survey and bibliography
Mathematical Structures in Computer Science
Design for dependability in emerging technologies
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Simulation of quantum gates on a novel GPU architecture
ISTASC'07 Proceedings of the 7th Conference on 7th WSEAS International Conference on Systems Theory and Scientific Computation - Volume 7
Parallel Quantum Computer Simulation on the CUDA Architecture
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part I
A library-based synthesis methodology for reversible logic
Microelectronics Journal
Hi-index | 0.00 |
The quantum algorithms could efficiently solve problems having exponential classical solutions [8]. The circuit model is considered as the most feasible implementation of the quantum algorithms [17]. This paper tries to find common ground between classical circuit design techniques and quantum computation, by identifying quantum circuit specification and simulation tools under the form of Hardware Description Languages (HDLs). The HDL-based simulation approach could reduce the complexity of quantum circuit simulation, by considering entanglement as the main source of gate-level simulation complexity, and isolating it in an automated manner. This is possible by taking advantage of the HDL feature of describing a circuit with both structural and functional architectures. We also performed an analysis of our methodology effectiveness, for the arithmetic circuits involved in Shor's algorithm and the circuits implementing Grover's algorithm. Our method is further improved by an entangled representation avoidance technique called 'bubble logic insertion'.