论文标题
Veriqbench：多种类型的量子电路的基准
VeriQBench: A Benchmark for Multiple Types of Quantum Circuits
论文作者
论文摘要
在本文中，我们介绍了Veriqbench-量子电路的开源基准。它提供了各种电路类型的高级量子电路抽象，包括1）组合，2）动态，3）顺序和4）变异量子电路，这些电路几乎涵盖了文献中几乎所有现有类型的量子电路。 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.,运行时断言[li+20b]）。所有电路均以openqasm进行描述，并在qiskit和Qcor模拟器上进行验证。希望其他研究人员可以使用它，Veriqbench发行了以下网址：https：//github.com/veri-q/benchmark。
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.
