quAssert：量子断言的自动生成
quAssert: Automatic Generation of Quantum Assertions
摘要：
函数验证对于检测量子计算过程中的任何错误都是必要的。使用运行时断言来调试量子线路是有希望的途径。然而，现有的方法依赖于验证工程师的专业知识来手动设计并在合适的位置插入断言。在本文中，我们提出了基于静态分析和随机采样的量子线路的量子断言的自动生成和放置。具体而言，本文作出了两个重要贡献。我们利用统计方法自动揭示了量子线路的特殊性质，如纯经典态、叠加态和纠缠态。我们还执行量子断言的自动放置，以最大限度地提高功能覆盖率，并最大限度地减少硬件开销。我们使用一套量子基准测试，包括Shor的因子分解算法和Grover的搜索算法，证明了生成的断言在错误检测中的有效性。
英文摘要：
Functional validation is necessary to detect any errors during quantum computation. There are promising avenues to debug quantum circuits using runtime assertions. However, the existing approaches rely on the expertise of the verification engineers to manually design and insert the assertions in suitable locations. In this paper, we propose automated generation and placement of quantum assertions based on static analysis and random sampling of quantum circuits. Specifically, this paper makes two important contributions. We automatically uncover special properties of a quantum circuit, such as purely classical states, superposition states, and entangled states using statistical methods. We also perform automated placement of quantum assertions to maximize the functional coverage as well as minimize the hardware overhead. We demonstrate the effectiveness of the generated assertions in error detection using a suite of quantum benchmarks, including Shor's factoring algorithm and Grover's search algorithm.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
