机构名称：
¥ 1.0
摘要 — 我们正处于一个新“计算时代”的黎明，量子计算机有望在其中找到实际应用。然而，虽然在量子计算机的物理实现方面取得了令人印象深刻的成就，但为这些设备的应用程序设计和实现提供帮助的自动化工具和方法的开发却面临着无法跟上这种发展的风险——我们可能拥有强大的量子计算机，但几乎没有任何适当的手段来实际使用它们。 ERC Consolidator 项目“量子计算的设计自动化”旨在通过为这项新兴技术开发高效且实用的设计方法来为即将到来的设计差距提供解决方案。虽然目前的技术水平受到量子计算的跨学科性的影响（导致考虑不适当的模型、不一致的解释和“错误”的问题表述），但该项目在设计自动化社区和量子计算社区之间架起了一座桥梁。这将允许充分利用设计自动化的潜力，而这种潜力在量子计算中几乎还没有得到利用。本中期报告概述了该项目的动机和方法，并展示了项目前两年开展的部分成果和外展活动。
量子计算的设计自动化
主要关键词
相关文件推荐
