Symbolic Verification of Quantum Circuits
Quantum Physics
2020-10-08 v1 Hardware Architecture
Emerging Technologies
Abstract
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.
Cite
@article{arxiv.2010.03032,
title = {Symbolic Verification of Quantum Circuits},
author = {Mingsheng Ying and Zhengfeng Ji},
journal= {arXiv preprint arXiv:2010.03032},
year = {2020}
}