ACM Great Lakes Symposium on VLSI (GLSVLSI)
CRISP: Control-Realization Integrity and Sequence Profiling
Navnil Choudhury, Ifana Mahbub, Kanad Basu
Abstract
Superconducting quantum systems rely on microwave control paths that transform circuit-derived intent into qubit-facing waveform execution. Yet this radio-frequency (RF) control boundary is typically treated implicitly: compilation derives valid pulse-level intent, while hardware studies focus on analog behavior or downstream gate performance. As a result, cross-layer mismatches among intended control, tile operating state, and realized waveform remain underspecified, even though they can directly affect pulse fidelity, timing structure, and multi-channel coordination. In this paper, we present CRISP, a control-boundary framework for checking consistency among IntendedControl, TileState, and RealizedControl. CRISP introduces a behavioral RF-tile abstraction that models gain, phase distortion, bandwidth limitation, delay, and ringing/settling, and evaluates three pairwise consistency relations together with sequence-aware checks. Across five tile-state regimes, CRISP shows that nominal behavior can remain fully consistent while distorted states trigger distinct failure signatures, including up to 8 intended-to-realized failures, 4 intended-to-state failures, and 5 sequence violations. Under controlled sequence-stress extensions, CRISP further isolates timing drift from 9 ns to 20 ns, illegal overlap from 2 ns to 14 ns, and explicit channel mismatch. These results show that correctness at the RF control boundary is fundamentally relational rather than purely local.