1. C.G. Almudever et al., The engineering challenges in quantum computing, in Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017. (IEEE, Lausanne, Switzerland, 2017), pp. 836–845. https://doi.org/10.23919/DATE.2017.7927104

  2. M.S. Anis et al., Qiskit: An open-source framework for quantum computing (2021). [Online]. Available: https://doi.org/10.5281/zenodo.2573505

  3. F. Arute et al., Quantum supremacy using a programmable superconducting processor. Nature 574(7779), 505–510 (2019). arXiv:quant-ph/1910.11333. https://doi.org/10.1038/s41586-019-1666-5

  4. F. Arute et al., Quantum approximate optimization of non-planar graph problems on a planar superconducting processor. Nature Physics 17(3), 332–336 (2021). arXiv:quant-ph/2004.04197

  5. A. Barenco, C.H. Bennett, R. Cleve, D.P. DiVincenzo, N. Margolus, P. Shor, T. Sleator, J.A. Smolin, H. Weinfurter, Elementary gates for quantum computation. Phys. Rev. A 52(5), 3457–3467 (1995). https://doi.org/10.1103/PhysRevA.52.3457

    Article  Google Scholar 

  6. D. Bhattacharjee, A.A. Saki, M. Alam, A. Chattopadhyay, S. Ghosh, MUQUT: Multi-constraint quantum circuit mapping on NISQ computers: Invited paper, in 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) (IEEE, Westminster, CO, USA, 2019), pp. 1–7, https://doi.org/10.1109/ICCAD45719.2019.8942132

  7. A. Botea, A. Kishimoto, R. Marinescu, On the complexity of quantum circuit compilation, in Proceedings of the 11th Annual Symposium on Combinatorial Search (AAAI Press, 2018), p. 5

    Google Scholar 

  8. S. Brandhofer, H.P. Büchler, I. Polian, Optimal mapping for near-term quantum architectures based on Rydberg atoms, in 2021 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2021. arXiv:quant-ph/2109.04179

  9. C.-C. Chang, J. Cong, M. Romesis, M. Xie, Optimality and scalability study of existing placement algorithms. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23(4), 537–549 (2004). https://doi.org/10.1109/TCAD.2004.825870

    Article  Google Scholar 

  10. Cirq Developers, Cirq (2021, Aug.). See full list of authors on GitHub: https://github.com/quantumlib/Cirq/graphs/contributors. [Online]. Available: https://doi.org/10.5281/zenodo.5182845

  11. I. Cong, S. Choi, M.D. Lukin, Quantum convolutional neural networks. Nature Physics 15(12), 1273–1278 (2019). arXiv:quant-ph/1810.03787. https://doi.org/10.1038/s41567-019-0648-8

  12. A. Cornelissen, J. Bausch, A. Gilyén, Scalable benchmarks for gate- based quantum computers (2021). arXiv:quant-ph/2104.10698

  13. L. de Moura, N. Bjørner, Z3: An efficient SMT solver, in Tools and Algorithms for the Construction and Analysis of Systems, ser. Lecture Notes in Computer Science, ed. by C.R. Ramakrishnan, J. Rehof (Springer, Berlin, Heidelberg, 2008), pp. 337–340. https://doi.org/10.1007/978-3-540-78800-3_24

    Google Scholar 

  14. S. Ebadi et al., Quantum phases of matter on a 256-atom programmable quantum simulator. Nature 595(7866), 227–232 (2021). https://doi.org/10.1038/s41586-021-03582-4

    Article  Google Scholar 

  15. E. Farhi, J. Goldstone, S. Gutmann, A quantum approximate optimization algorithm (2014). arXiv:quant-ph/1411.4028

  16. A.G. Fowler, M. Mariantoni, J.M. Martinis, A.N. Cleland, Surface codes: Towards practical large-scale quantum computation. Phys. Rev. A 86(3), 032324 (2012). arXiv:quant-ph/1208.0928. https://doi.org/10.1103/PhysRevA.86.032324

  17. Google Quantum AI, Quantum computer datasheet (2021). [Online]. Available: https://quantumai.google/hardware/datasheet/weber.pdf

  18. J.B. Hertzberg, R.O. Topaloglu, Quantum circuit topology selection based on frequency collisions between qubits. US Patent US20 200 401 925A1 (2020). [Online]. Available: https://patents.google.com/patent/US20200401925A1/en/

  19. Honeywell, Honeywell sets new record for quantum computing performance (2020). [Online]. Available: https://www.honeywell.com/us/en/news/2021/03/honeywell-sets-new-record-for-quantum-computing-performance

  20. IBM Quantum Processor, [Online]. Available: https://quantum-computing.ibm.com/services/docs/services/manage/systems/processors

  21. IBM, 5 things to know about the IBM roadmap to scaling quantum technology (2020). [Online]. Available: https://newsroom.ibm.com/5-Things-About-IBM-Roadmap-to-Scale-Quantum-Technology

  22. IONQ, Ionq (2020). [Online]. Available: https://ionq.com/technology

  23. P. Jurcevic et al., Demonstration of quantum volume 64 on a superconducting quantum computing system. Quantum Sci. Technol. 6(2), 025020 (2021). https://doi.org/10.1088/2058-9565/abe519

  24. P.J. Karalekas, N.A. Tezak, E.C. Peterson, C.A. Ryan, M.P. da Silva, R.S. Smith, A quantum-classical cloud platform optimized for variational hybrid algorithms. Quantum Sci. Technol. 5(2), 024003 (2020). arXiv:quant-ph/2001.04449. https://doi.org/10.1088/2058-9565/ab7559

  25. I.D. Kivlichan, J. McClean, N. Wiebe, C. Gidney, A. Aspuru-Guzik, G.K.-L. Chan, R. Babbush, Quantum simulation of electronic structure with linear depth and connectivity. Phys. Rev. Lett. 120(11), 110501 (2018). arXiv:quant-ph/1711.04789. https://doi.org/10.1103/PhysRevLett.120.110501

  26. G. Li, Y. Ding, Y. Xie, Tackling the qubit mapping problem for NISQ-era quantum devices, in Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS ’19. (ACM Press, Providence, RI, USA, 2019), pp. 1001–1014. arXiv:cs.ET/1809.02573. https://doi.org/10.1145/3297858.3304023

  27. D. Maslov, S.M. Falconer, M. Mosca, Quantum circuit placement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(4), 752–763 (2008). arXiv:2002.09783. https://doi.org/10.1109/TCAD.2008.917562

  28. P. Murali, N.M. Linke, M. Martonosi, A.J. Abhari, N.H. Nguyen, C.H. Alderete, Full-stack, real-system quantum computer studies: Architectural comparisons and design insights, in Proceedings of the 46th International Symposium on Computer Architecture - ISCA ’19 (ACM Press, Phoenix, Arizona, 2019), pp. 527–540. arXiv:quant-ph/1905.11349. https://doi.org/10.1145/3307650.3322273

  29. G. Nannicini, L.S. Bishop, O. Gunluk, P. Jurcevic, Optimal qubit assignment and routing via integer programming. arXiv:quant-ph/2106.06446

  30. H. Neven, Keynote in Google Quantum Summer Symposium (2020). [Online]. Available: https://youtu.be/HgQOPhNCct0

  31. E.C. Peterson, G.E. Crooks, R.S. Smith, Fixed-depth two-qubit circuits and the monodromy polytope. Quantum 4, 247 (2020). arXiv:1904.10541. https://doi.org/10.22331/q-2020-03-26-247

  32. J. Preskill, Quantum computing in the NISQ era and beyond. Quantum 2, 79 (2018). arXiv:quant-ph/1801.00862. https://doi.org/10.22331/q-2018-08-06-79

  33. S. Sahni, A. Bhatt, The complexity of design automation problems, in Proceedings of the 17th Design Automation Conference, ser. DAC ’80 (Association for Computing Machinery, New York, NY, USA, 1980), pp. 402–411. https://doi.org/10.1145/800139.804562

  34. Semiconductors Research Corporation, ‘Huge opportunity’ in IC design optimization gained by Semiconductor Research Corporation (2007). National Science Foundation: CAD innovation could save industry billions. [Online]. Available: https://www.src.org/newsroom/press-release/2007/41/

  35. A. Shafaei, M. Saeedi, M. Pedram, Qubit placement to minimize communication overhead in 2D quantum architectures, in 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC) (IEEE, Singapore, 2014), pp. 495–500. https://doi.org/10.1109/ASPDAC.2014.6742940

  36. P.W. Shor, Scheme for reducing decoherence in quantum computer memory. Phys. Rev. A 52(4), R2493–R2496 (1995). https://doi.org/10.1103/PhysRevA.52.R2493

    Article  Google Scholar 

  37. M.Y. Siraichi, V.F. dos Santos, S. Collange, F.M.Q. Pereira, Qubit allocation, in Proceedings of the 2018 International Symposium on Code Generation and Optimization - CGO 2018 (ACM Press, Vienna, Austria, 2018), pp. 113–125. https://doi.org/10.1145/3168822

    Google Scholar 

  38. S. Sivarajah, S. Dilkes, A. Cowtan, W. Simmons, A. Edgington, R. Duncan, t|ket〉: A retargetable compiler for NISQ devices. Quantum Sci. Technol. (2020). arXiv:quant-ph/2003.10611. https://doi.org/10.1088/2058-9565/ab8e92

  39. R.S. Smith, E.C. Peterson, M.G. Skilbeck, E.J. Davis, An open-source, industrial-strength optimizing compiler for quantum programs. Quantum Sci. Technol. 5(4), 044001 (2020). https://doi.org/10.1088/2058-9565/ab9acb

  40. B. Tan, J. Cong, Optimal layout synthesis for quantum computing, in 2020 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), ser. ICCAD ’20 (Association for Computing Machinery, Virtual Event, USA, 2020). arXiv:quant-ph/2007.15671. https://doi.org/10.1145/3400302.3415620

  41. B. Tan, J. Cong, Optimality study of existing quantum computing layout synthesis tools. IEEE Trans. Comput. (2020). arXiv:quant-ph/2002.09783. https://doi.org/10.1109/TC.2020.3009140

  42. B. Tan, J. Cong, Optimal qubit mapping with simultaneous gate absorption, in 2021 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), ser. ICCAD ’21 (Association for Computing Machinery, Munich, Germany, 2021). arXiv:cs.ET/2109.06445

  43. F. Vatan, C. Williams, Optimal quantum circuits for general two-qubit gates. Phys. Rev. A 69(3), 032315 (2004). https://doi.org/10.1103/PhysRevA.69.032315

  44. D. Venturelli, M. Do, E. Rieffel, J. Frank, Compiling quantum circuits to realistic hardware architectures using temporal planners. Quantum Sci. Technol. 3(2), 025004 (2018). https://doi.org/10.1088/2058-9565/aaa331

  45. R. Wille, L. Burgholzer, A. Zulehner, Mapping quantum circuits to IBM QX architectures using the minimal number of SWAP and H operations, in Proceedings of the 56th Annual Design Automation Conference 2019 on - DAC ’19 (ACM Press, Las Vegas, NV, USA, 2019), pp. 1–6. arXiv:quant-ph/1907.02026. https://doi.org/10.1145/3316781.3317859

  46. C. Zhang, A.B. Hayes, L. Qiu, Y. Jin, Y. Chen, E.Z. Zhang, Time-optimal Qubit mapping, in Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ACM, Virtual USA, 2021), pp. 360–374. https://doi.org/10.1145/3445814.3446706

    Google Scholar 

  47. A. Zulehner, R. Wille, Compiling SU(4) quantum circuits to IBM QX architectures, in Proceedings of the 24th Asia and South Pacific Design Automation Conference on - ASPDAC ’19 (ACM Press, Tokyo, Japan, 2019), pp. 185–190. https://doi.org/10.1145/3287624.3287704

    Google Scholar 

  48. A. Zulehner, A. Paler, R. Wille, Efficient mapping of quantum circuits to the IBM QX architectures, in 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) (IEEE, Dresden, Germany, 2018), pp. 1135–1138. arXiv:quant-ph/1712.04722. https://doi.org/10.23919/DATE.2018.8342181