Quantum Circuit Equivalence Checking
2 papers with code • 0 benchmarks • 0 datasets
Equivalence Checking of Quantum Circuits
Benchmarks
These leaderboards are used to track progress in Quantum Circuit Equivalence Checking
No evaluation results yet. Help compare methods by
submitting
evaluation metrics.
Libraries
Use these libraries to find Quantum Circuit Equivalence Checking models and implementationsMost implemented papers
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.
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.