QuBEC: Boosting Equivalence Checking for Quantum Circuits with QEC EmbeddingChao LuNavnil Choudhuryet al.2024IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems