TY  - RPRT
TI  - Design Verification of the Quantum Control Stack
AU  - Seyed Amir Alavi
AU  - Samin Ishtiaq
AU  - Nick Johnson
AU  - Rojalin Mishra
AU  - Dwaraka Oruganti Nagalakshmi
AU  - Asher Pearl
AU  - Jan Snoeijs
PY  - 2023
UR  - https://arxiv.org/abs/2310.05229
ID  - 2310.05229
ER  -