SynDebug: A Framework to Debug Logic Bugs in Fault-Tolerant Quantum Computing Programs
SynDebug is a new framework designed to debug logic errors in fault-tolerant quantum computing programs. It introduces lightweight, assertion-based debugging primitives that work directly within the complex structure of encoded FTQC systems. By using these methods, it allows developers to catch common software bugs without adding significant circuit depth or increasing logical error rates, proving that practical debugging for large-scale FTQC is feasible.