We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

quant-ph

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Quantum Physics

Title: Symbolic Verification of Quantum Circuits

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.
Subjects: Quantum Physics (quant-ph); Hardware Architecture (cs.AR); Emerging Technologies (cs.ET)
Cite as: arXiv:2010.03032 [quant-ph]
  (or arXiv:2010.03032v1 [quant-ph] for this version)

Submission history

From: Mingsheng Ying [view email]
[v1] Mon, 5 Oct 2020 00:02:22 GMT (63kb)

Link back to: arXiv, form interface, contact.