Symbolic Verification of Quantum Circuits

10/05/2020

∙

by   Mingsheng Ying, et al.

∙

0

∙

share

This short note proposes a symbolic approach for representing and reasoning about quantum circuits using complex, vector or matrix-valued Boolean expressions. A major benefit of this approach is that it allows us to directly borrow the existing techniques and tools for verification of classical logic circuits in reasoning about quantum circuits.