2020/10/05 by Mingsheng Ying, Zhengfeng Ji, Ying, Mingsheng +1
Computer Science · Engineering · #Emerging Technologies (cs.ET) #FOS: Computer and information sciences #FOS: Physical sciences #Formal Methods in Verification #Hardware Architecture (cs.AR) #Low-power high-performance VLSI design #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph)
paper · pdf · doi:10.48550/arxiv.2010.03032
openalex publication_date 2020/10/05 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.