VeriQBench: A Benchmark for Multiple Types of Quantum Circuits

Kean Chen; Wang Fang; Ji Guan; Xin Hong; Mingyu Huang; Junyi Liu; Qisheng Wang; Mingsheng Ying

doi:10.48550/arxiv.2206.10880

Papers

qcr:2606.52362.1

VeriQBench: A Benchmark for Multiple Types of Quantum Circuits

arXiv

Kean Chen, Wang Fang, Ji Guan, +5 more

In this paper, we introduce VeriQBench -- an open source benchmark for quantum circuits. It offers high-level quantum circuit abstractions of various circuit types, including 1) combinational, 2) dynamic, 3) sequential, and 4) variational quantum circuits, which cover almost all existing types of quantum circuits in the literature. Meanwhile, VeriQBench is a versatile benchmark which can be used in verifying quantum software for different applications, as is evidenced by the existing works including quantum circuit verification (e.g., equivalence checking [Hon+21a; WLY21] and model checking [Yin21]), simulation (e.g., fault simulation), testing (e.g., test pattern generation [CY22]) and debugging (e.g., runtime assertions [Li+20b]). All the circuits are described in OpenQASM and are validated on Qiskit and QCOR simulators. With the hope that it can be used by other researchers, VeriQBench is released at: https://github.com/Veri-Q/Benchmark.

10.48550/arxiv.2206.10880

Published 2022

Uploaded 3 days ago

14

Views

View Publication

Citing this entry? Use this QCR ID

Uploaded by

QCR Librarian

Join the Discussion

Comments (0)

No comments yet. Be the first to share your thoughts!

Indexed by QCR Librarian

This entry was created automatically from publicly available records. QCR links to public sources and only stores repository content where the license permits redistribution.

Claim this entry →