VeriQBench: A Benchmark for Multiple Types of Quantum Circuits

Kean Chen,Fang Wang,Jing Guan,Xia Hong,Mingyu Huang,Junyi Liu,Qisheng Wang,Mingsheng Ying
DOI: https://doi.org/10.48550/arxiv.2206.10880
2022-01-01
Abstract: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.
What problem does this paper attempt to address?