脉冲级量子控制的设计时一致性检查
Design-Time Conformance Checking for Pulse-Level Quantum Control
浏览论文内容
中文总结 AI 辅助
针对脉冲级量子控制程序可能超出设备限制的问题，提出设计时检查器qconform，利用版本化能力描述符离线确定程序可实现性，经差分测试验证其可靠性并修复缺陷。
中文摘要 AI 辅助
脉冲级量子控制程序是针对设备编写的，而设备的限制（如果有的话）记录在供应商文档和源代码中。超出这些限制的程序可能在编译时被拒绝，也可能被接受并静默修改，或者编译后在电路板上失败。在后两种情况下，实验会运行，但数据与所编写的程序不对应。我们提出了qconform，一个检查器，它根据设备的版本化能力描述符，判断脉冲程序是否可在该设备上实现。描述符中的每条约束都引用了确立该约束的工具链观察结果。该检查器是设计时的、离线的、确定性的，并且不使用浮点数。它报告判定结果、所应用的规则以及一份覆盖清单，列出未检查的内容。我们通过差分测试，在三个QICK板配置和一个Qblox集群上，对qconform与QICK和Qblox工具链进行了评估。在969个不同程序的1263次程序运行中，检查器没有接受任何工具链拒绝的程序。对于两家供应商，固定到某个工具链版本的描述符会接受旧版本拒绝的程序。评估还发现了检查器及其描述符中的十个缺陷，均已修复。
英文摘要
A pulse-level quantum control program is written against a device whose limits are recorded, if at all, in vendor documentation and source code. A program that exceeds them can be refused at compile time. It can also be accepted and silently altered, or compile and then fail at the board. In the last two cases the experiment runs, and the data does not correspond to the program that was written. We present qconform, a checker that decides whether a pulse program is realizable on a device, given a versioned capability descriptor for that device. Every constraint in a descriptor cites the toolchain observation that established it. The checker is design-time, offline, and deterministic, and it uses no floating point. It reports a verdict, the rules it applied, and a coverage manifest that names what it did not check. We evaluate qconform by differential testing against the QICK and Qblox toolchains, on three QICK board configurations and one Qblox cluster. Over 1263 program runs of 969 distinct programs, the checker accepted no program that a toolchain refuses. On both vendors, a descriptor pinned to one toolchain release accepts programs that older releases refuse. The evaluation also found ten defects in the checker and its descriptors, all fixed.
发表机构
- Embry-Riddle Aeronautical University（安柏瑞德航空大学）
机构由 AI 辅助整理，请以论文原文为准。
