Edinburgh Research Explorer

Theoretical and practical aspects of verification of quantum computers

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publication2018 Design, Automation Test in Europe Conference Exhibition (DATE)
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages721-730
Number of pages10
ISBN (Electronic)978-3-9819263-0-9
DOIs
Publication statusPublished - 23 Apr 2018
Event21st Design, Automation and Test in Europe - Dresden, Germany
Duration: 19 Mar 201823 Mar 2018
https://www.date-conference.com/

Conference

Conference21st Design, Automation and Test in Europe
Abbreviated titleDATE 2018
CountryGermany
CityDresden
Period19/03/1823/03/18
Internet address

Abstract

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).

    Research areas

  • Computers, Design methodology, Error correction, Logic gates, Quantum computing, Quantum entanglement, VLSIQ, design automation, verification, very large scale integrated quantum circuits

Event

21st Design, Automation and Test in Europe

19/03/1823/03/18

Dresden, Germany

Event: Conference

ID: 59198729