QuBEC: Boosting Equivalence Checking for Quantum Circuits with QEC EmbeddingChao LuNavnil Choudhuryet al.2024IEEE Transactions on Computer-Aided Design of Integrated Circuits and SystemsPaper
Dynamic selection of trace signals for post-silicon debugKanad BasuPrabhat Mishraet al.2013MTV 2013Conference paper