• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Design, Automation and Test in Europe Conference and Exhibition >Theoretical and practical aspects of verification of quantum computers
【24h】

Theoretical and practical aspects of verification of quantum computers

机译：量子计算机验证的理论和实践方面

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Quantum computing is emerging at a meteoric pace from a pure academic field to a fully industrial framework. Rapid advances are happening both in the physical realisations of quantum chips, and in their potential software applications. In contrast, we are not seeing that rapid growth in the design and verification methodologies for scaled-up quantum machines. In this work we describe the field of verification of quantum computers. We discuss the underlying concepts of this field, its theoretical and practical challenges, and state-of-the-art approaches to addressing those challenges. The goal of this paper is to help facilitate early efforts to adapt and create verification methodologies for quantum computers and systems. Without such early efforts, a debilitating gap may form between the state-of-the-art of low level physical technologies for quantum computers, and our ability to build medium, large, and very large scale integrated quantum circuits (M/L/VLSIQ).
机译：从纯粹的学术领域到完整的工业框架，量子计算正在以迅猛的速度发展。量子芯片的物理实现及其潜在的软件应用都在迅速发展。相比之下，我们没有看到规模化量子机器的设计和验证方法的快速增长。在这项工作中，我们描述了量子计算机的验证领域。我们讨论了该领域的基本概念，其理论和实践挑战以及应对这些挑战的最新方法。本文的目的是帮助促进早期努力，以适应和创建用于量子计算机和系统的验证方法。如果没有这些早期的努力，那么在用于量子计算机的最新的低层物理技术与我们构建中，大型和超大规模集成量子电路（M / L / VLSIQ）的能力之间可能会形成令人失望的鸿沟。 ）。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号