Design Verification of the Quantum Control Stack

Seyed Amir Alavi, Samin Ishtiaq, Nick Johnson +4

This paper describes the verification of the classical software and hardware stack that is used to control cold atom- and superconducting-based quantum computing hardware. The pape…