https://scholars.lib.ntu.edu.tw/handle/123456789/632700
標題: | Accurate BDD-based unitary operator manipulation for scalable and robust quantum circuit verification | 作者: | Wei, Chun Yu Tsai, Yuan Hung Jhang, Chiao Shan JIE-HONG JIANG |
公開日期: | 10-七月-2022 | 來源出版物: | Proceedings - Design Automation Conference | 摘要: | Quantum circuit verification is essential, ensuring that quantum program compilation yields a sequence of primitive unitary operators executable correctly and reliably on a quantum processor. Most prior quantum circuit equivalence checking methods rely on edge-weighted decision diagrams and suffer from scalability and verification accuracy issues. This work overcomes these issues by extending a recent BDD-based algebraic representation of state vectors to support unitary operator manipulation. Experimental results demonstrate the superiority of the new method in scalability and exactness in contrast to the inexactness of prior approaches. Also, our method is much more robust in verifying dissimilar circuits than previous work. |
URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/632700 | ISBN: | 9781450391429 | ISSN: | 0738100X | DOI: | 10.1145/3489517.3530481 |
顯示於: | 電機工程學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。