Symbolic verification of quantum circuits

M Ying, Z Ji - arXiv preprint arXiv:2010.03032, 2020 - arxiv.org
M Ying, Z Ji
arXiv preprint arXiv:2010.03032, 2020arxiv.org
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.
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.
arxiv.org
Showing the best result for this search. See all results