ASPLOS2020_techrxiv.pdf (542.94 kB)
Download file

Quantum Circuits for Dynamic Runtime Assertions in Quantum Computation

Download (542.94 kB)
posted on 2019-12-09, 06:22 authored by Ji LiuJi Liu, Greg ByrdGreg Byrd, Huiyang Zhou
In this paper, we propose quantum circuits to enable dynamic assertions for classical values, entanglement, and superposition. This enables a dynamic debugging primitive, driven by a programmer’s understanding of the correct behavior of the quantum program. We show that besides generating assertion errors, the assertion logic may also force the qubits under test to be into the desired state. Besides debugging, our proposed assertion logic can also be used in noisy intermediate scale quantum (NISQ) systems to filter out erroneous results, as demonstrated on a 20-qubit IBM Q quantum computer. Our proposed assertion circuits have been implemented as functions in the open-source Qiskit tool.


SaTC: CORE: Small: Towards Smart and Secure Non Volatile Memory

Directorate for Computer & Information Science & Engineering

Find out more...

SHF: Small: Collaborative Research: Efficient Memory Persistency for GPUs

Directorate for Computer & Information Science & Engineering

Find out more...


Email Address of Submitting Author

ORCID of Submitting Author


Submitting Author's Institution

North Carolina State University

Submitting Author's Country

  • United States of America

Usage metrics