SynDebug: A Framework to Debug Logic Bugs in Fault-Tolerant Quantum Computing Programs

Nicholas S. DiBrita, Jack Lange, Tirthak Patel

Fault-tolerant quantum computing (FTQC) introduces substantial systems-level complexity through quantum error correction (QEC), making debugging FTQC programs challenging. Existing…