Handling non-unitaries in quantum circuit equivalence checking-Reference-Cited by-同舟云学术

Handling non-unitaries in quantum circuit equivalence checking

Published:2022-07-10 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 59th ACM/IEEE Design Automation Conference
language:
Short-container-title:

Author:

Burgholzer Lukas¹,Wille Robert²

Affiliation:

1. Johannes Kepler University Linz, Austria

2. Technical University of Munich, Germany

Funder

European Research Council

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3489517.3530482

Reference45 articles.

1. A. W. Cross , OpenQASM 3: A broader and deeper quantum assembly language , 2021 . arXiv: 2104.14722. A. W. Cross et al., OpenQASM 3: A broader and deeper quantum assembly language, 2021. arXiv: 2104.14722.

2. IBM Quantum "Quantum circuits get a dynamic upgrade with the help of concurrent classical computation " 2021. [Online]. Available: https://www.ibm.com/blogs/research/2021/02/quantum-phase-estimation/. IBM Quantum "Quantum circuits get a dynamic upgrade with the help of concurrent classical computation " 2021. [Online]. Available: https://www.ibm.com/blogs/research/2021/02/quantum-phase-estimation/.

3. S. Yamashita and I. L. Markov , " Fast equivalence-checking for quantum circuits," in Int'l Symp. on Nanoscale Architectures , 2010 . S. Yamashita and I. L. Markov, "Fast equivalence-checking for quantum circuits," in Int'l Symp. on Nanoscale Architectures, 2010.

4. L. Burgholzer and R. Wille , " Advanced equivalence checking for quantum circuits," IEEE Trans. on CAD of Integrated Circuits and Systems , 2021 . L. Burgholzer and R. Wille, "Advanced equivalence checking for quantum circuits," IEEE Trans. on CAD of Integrated Circuits and Systems, 2021.

5. L. Burgholzer , R. Raymond , and R. Wille , " Verifying results of the IBM Qiskit quantum circuit compilation flow," in Int'l Conf. on Quantum Computing and Engineering , 2020 . L. Burgholzer, R. Raymond, and R. Wille, "Verifying results of the IBM Qiskit quantum circuit compilation flow," in Int'l Conf. on Quantum Computing and Engineering, 2020.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Is Simulation the only Alternative for Effective Verification of Dynamic Quantum Circuits?;Lecture Notes in Computer Science;2024

2. MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing;Quantum;2023-07-20

3. Partial Equivalence Checking of Quantum Circuits;2022 IEEE International Conference on Quantum Computing and Engineering (QCE);2022-09

4. Advances in Quantum Computation and Quantum Technologies: A Design Automation Perspective;IEEE Journal on Emerging and Selected Topics in Circuits and Systems;2022-09