Design Verification of the Quantum Control Stack. - Seyed Amir Alavi; Samin Ishtiaq; Nick Johnson; Rojalin Mishra; Dwaraka Oruganti Nagalakshmi; Asher Pearl; Jan Snoeijs (CoRR, 2023)