Search Results for author:
Found 6 papers, 5 papers with code
Compiler Optimization for Quantum Computing Using Reinforcement Learning
Any quantum computing application, once encoded as a quantum circuit, must be compiled before being executable on a quantum computer.
Characteristics of Reversible Circuits for Error Detection
In this work, we consider error detection via simulation for reversible circuit architectures.
Hardware Architecture Emerging Technologies
Random Stimuli Generation for the Verification of Quantum Circuits
Verification of quantum circuits is essential for guaranteeing correctness of quantum algorithms and/or quantum descriptions across various levels of abstraction.
Quantum Physics Emerging Technologies
Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow
In this paper, we propose an efficient scheme for quantum circuit equivalence checking---specialized for verifying results of the IBM Qiskit quantum circuit compilation flow.
Quantum Circuit Equivalence Checking
Quantum Physics
Advanced Equivalence Checking for Quantum Circuits
Experimental evaluations confirm that the resulting methodology allows one to conduct equivalence checking dramatically faster than ever before--in many cases just a single simulation run is sufficient.
Quantum Circuit Equivalence Checking
Quantum Physics
Emerging Technologies
Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations
By this, we do not only provide a method that maps quantum circuits to IBM's QX architectures with a minimal number of SWAP and H operations, but also show by experimental evaluation that the number of operations added by IBM's heuristic solution exceeds the lower bound by more than 100% on average.
Quantum Circuit Mapping
Quantum Physics
