Manjushri: A Tool for Equivalence Checking of Quantum Circuits

Xuan Du Trinh, Meghana Sistla, Nengkun Yu +1

Verifying whether two quantum circuits are equivalent is a central challenge in the compilation and optimization of quantum programs. We introduce \textsc{Manjushri}, a new automat…