• Corpus ID: 249926375

VeriQBench: A Benchmark for Multiple Types of Quantum Circuits

  title={VeriQBench: A Benchmark for Multiple Types of Quantum Circuits},
  author={Kean Chen and Wang Fang and Ji Guan and Xin Hong and M.-Z. Huang and Junyi Liu and Qisheng Wang and Mingsheng Ying},
In this paper, we introduce VeriQBench — an open source benchmark for quantum circuits. It offers high-level quantum circuit abstractions of various circuit types, including: 1) combinational, 2) dynamic, 3) sequential, and 4) variational quantum circuits, which cover almost all existing types of quantum circuits in the literature. Meanwhile, VeriQBench is a versatile benchmark which can be used in verifying quantum software for different applications, as is evidenced by the existing works… 



Automatic Test Pattern Generation for Robust Quantum Circuit Testing

A novel framework of automatic test pattern generation (ATPG) for the robust quantum circuit testing by introducing the stabilizer projector decomposition (SPD) for representing the quantum test pattern, and constructing the test application using Clifford-only circuits.

Checking equivalence of quantum circuits and states

This work identifies several different equivalence-checking problems and presents algorithms for practical benchmarks, including quantum communication and search circuits, which are shown to be very fast and robust for hundreds of qubits.

Equivalence Checking of Dynamic Quantum Circuits

This paper gives a formal definition of dynamic quantum circuits and proposes to characterise their functionality in terms of ensembles of linear operators, based on this novel semantics, and proposes and implements two decision diagram-based algorithms for checking the equivalence ofynamic quantum circuits.

Detection and Diagnosis of Single Faults in Quantum Circuits

  • Debajyoti Bera
  • Computer Science
    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  • 2018
It is shown that faulty quantum circuits under the widely accepted single fault assumption can be fully characterized by the (single) faulty gate and the corresponding fault model, which allows them to efficiently determine test input states as well as measurement strategy for fault detection and diagnosis.

Model Checking for Verification of Quantum Circuits

In this talk, we will describe a framework for assertion-based verification (ABV) of quantum circuits by applying model checking techniques for quantum systems developed in our previous work, in

Advanced Equivalence Checking for Quantum Circuits

  • Lukas BurgholzerR. Wille
  • Computer Science
    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  • 2021
An advanced methodology which takes the different paradigms of quantum circuits not as a burden, but as a chance is proposed, and it is unveiled that, in contrast to the classical realm, simulation is very powerful in verifying quantum circuits.

QASMBench: A Low-Level Quantum Benchmark Suite for NISQ Evaluation and Simulation

This work proposes a low-level, easy-to-use benchmark suite called QASMBench based on the OpenQASM assembly representation, which consolidates commonly used quantum routines and kernels from a variety of domains including chemistry, simulation, linear algebra, searching, optimization, arithmetic, machine learning, fault tolerance, cryptography, etc., trading-off between generality and usability.

Equivalence Checking of Sequential Quantum Circuits

The main theorem is shown showing that equivalence checking of two quantum Mealy machines can be done with input sequences that are taken from some chosen basis and have a length quadratic in the dimensions of the state Hilbert spaces of the machines.

Detection and diagnosis of faulty quantum circuits

This work develops a design-for-test method which is specifically intended to detect faults that only affect the phase of a quantum state, and gives experimental results for benchmark and random circuits which show high coverage of quantum faults by BTTs, and good resolution in the case of the adaptive diagnosis method.

Quantum Circuit Simplification and Level Compaction

This paper considers a local optimization technique based on templates to simplify and reduce the depth of nonoptimal quantum circuits and shows how templates can be used to compact the number of levels of a quantum circuit.