{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T10:51:00Z","timestamp":1778496660790,"version":"3.51.4"},"reference-count":266,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"},{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"Swiss National Science Foundation (SNSF) through the \u201cSupercool: Design Methods and Tools for Superconducting Electronics\u201d","award":["200021-1920981"],"award-info":[{"award-number":["200021-1920981"]}]},{"DOI":"10.13039\/501100004663","name":"Ministry of Science and Technology of Taiwan","doi-asserted-by":"publisher","award":["MOST 110-2224-E-002-011"],"award-info":[{"award-number":["MOST 110-2224-E-002-011"]}],"id":[{"id":"10.13039\/501100004663","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004663","name":"Ministry of Science and Technology of Taiwan","doi-asserted-by":"publisher","award":["MOST 111-2119-M-002-012"],"award-info":[{"award-number":["MOST 111-2119-M-002-012"]}],"id":[{"id":"10.13039\/501100004663","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Enabling Practical-scale Quantum Computing (EPiQC), an NSF Expedition in Computing","award":["CCF-1730449"],"award-info":[{"award-number":["CCF-1730449"]}]},{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA95502110051"],"award-info":[{"award-number":["FA95502110051"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100007234","name":"IBM as a Post-Doctoral Scholar at the University of Chicago and the Chicago Quantum Exchange","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100007234","id-type":"DOI","asserted-by":"publisher"}]},{"name":"EPiQC, an NSF Expedition in Computing","award":["CCF-1730449"],"award-info":[{"award-number":["CCF-1730449"]}]},{"name":"Software-Tailored Architectures for Quantum co-design","award":["NSF Phy-1818914"],"award-info":[{"award-number":["NSF Phy-1818914"]}]},{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["2110860"],"award-info":[{"award-number":["2110860"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000015","name":"U.S. Department of Energy Office of Advanced Scientific Computing Research, Accelerated Research for Quantum Computing Program","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000015","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"NSF Quantum Leap Challenge Institute for Hybrid Quantum Architectures and Networks","doi-asserted-by":"publisher","award":["2016136"],"award-info":[{"award-number":["2016136"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000015","name":"U.S. Department of Energy, Office of Science, National Quantum Information Science Research Centers","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000015","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE J. Emerg. Sel. Topics Circuits Syst."],"published-print":{"date-parts":[[2022,9]]},"DOI":"10.1109\/jetcas.2022.3205174","type":"journal-article","created":{"date-parts":[[2022,9,8]],"date-time":"2022-09-08T19:46:05Z","timestamp":1662666365000},"page":"584-601","source":"Crossref","is-referenced-by-count":16,"title":["Advances in Quantum Computation and Quantum Technologies: A Design Automation Perspective"],"prefix":"10.1109","volume":"12","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7827-3215","authenticated-orcid":false,"given":"Giovanni","family":"De Micheli","sequence":"first","affiliation":[{"name":"Institute of Electrical Engineering and Computer Science, EPFL, Lausanne, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2279-4732","authenticated-orcid":false,"given":"Jie-Hong R.","family":"Jiang","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering, Graduate Institute of Electronics Engineering, National Taiwan University, Taipei, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Rand","sequence":"additional","affiliation":[{"name":"Department of Computer Science, The University of Chicago, Chicago, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kaitlin","family":"Smith","sequence":"additional","affiliation":[{"name":"Department of Computer Science, The University of Chicago, Chicago, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0229-8766","authenticated-orcid":false,"given":"Mathias","family":"Soeken","sequence":"additional","affiliation":[{"name":"Microsoft, Z&#x00FC;rich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1137\/s0097539795293172"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/237814.237866"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1126\/science.273.5278.1073"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1103\/physreve.58.5355"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.103.150502"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1088\/1751-8113\/47\/10\/105301"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1103\/physrevx.2.031007"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-019-1666-5"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1038\/nature10012"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.52.3457"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1038\/nature23460"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-08-06-79"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/jproc.2019.2954005"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1038\/nature23879"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1038\/s41524-020-00353-z"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1147\/JRD.2018.2888987"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1063\/1.5089550"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-conmatphys-031119-050605"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1063\/pt.3.4270"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1103\/prxquantum.2.020343"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1126\/science.abg7812"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/JSSC.2019.2937234"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.23919\/MIXDES.2019.8787164"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1038\/s42254-020-00245-7"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3102980.3102993"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462177"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2597917.2597939"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab9359"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab8e92"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3434318"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab8ebc"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.287.1"},{"key":"ref33","first-page":"33:1","article-title":"0.5 petabyte simulation of a 45-qubit quantum circuit","volume-title":"Proc. Int. Conf. High Perform. Comput., Netw., Storage Anal.","author":"H\u00e4ner"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/aaa5cc"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.23919\/date.2018.8341993"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/tcad.2018.2859251"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ASP-DAC47756.2020.9045100"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/isscc42613.2021.9365748"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.3389\/fphy.2019.00048"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-019-0980-2"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/abe519"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1038\/s41534-020-0259-3"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1038\/s41467-019-13534-2"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1038\/nature24654"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.123.170503"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1038\/nature24622"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1038\/nphoton.2009.229"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1038\/35051009"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1038\/299802a0"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1002\/1521-3978(200009)48:9\/11<771::AID-PROP771>3.0.CO;2-E"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1038\/ncomms5213"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/aab822"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.94.052325"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1038\/s41534-021-00464-5"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/IEDM19573.2019.8993458"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.22331\/q-2020-09-11-321"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304007"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1017\/cbo9780511976667"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/3505636"},{"key":"ref60","article-title":"Scaffold: Quantum programming language","author":"Javadi-Abhari","year":"2012"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2014.12.001"},{"key":"ref62","first-page":"7","article-title":"Q#: Enabling scalable quantum computing and development with a high-level DSL","volume-title":"Proc. Real World Domain Specific Lang. Workshop","author":"Svore"},{"key":"ref63","volume-title":"QIR Specification","year":"2021"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004256"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129506005238"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009894"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1145\/3373718.3394765"},{"key":"ref68","volume-title":"Qimaera: Type-Safe (Variational) Quantum Programming in Idris","author":"Dandy","year":"2021"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386007"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454040"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/3498691"},{"key":"ref72","first-page":"1","article-title":"Q# as a quantum algorithmic language","volume-title":"Proc. 19th Int. Conf. Quantum Phys. Log. (QPL)","author":"Singhal"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1145\/3571204"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-20860-2_20"},{"key":"ref75","article-title":"Logic synthesis for quantum computing","author":"Soeken","year":"2017","journal-title":"arXiv:1706.02721"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3062261"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1109\/PACRIM.2007.4313212"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45711-5_8"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS45731.2020.9180792"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1109\/iccad45719.2019.8942093"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1109\/sfcs.1987.57"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-012-9124-7"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1145\/3316781.3317893"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.23919\/DATE48585.2020.9116467"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1137\/0218053"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-59936-6_7"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.23919\/date.2019.8715092"},{"key":"ref88","article-title":"An analysis of Bennett\u2019s pebble game","author":"Knill","year":"1995","journal-title":"arXiv:math\/9508218"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1109\/ccc.2013.22"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21398-9_7"},{"key":"ref91","doi-asserted-by":"publisher","DOI":"10.1109\/tcad.2014.2341953"},{"key":"ref92","doi-asserted-by":"publisher","DOI":"10.1109\/tit.2019.2906374"},{"key":"ref93","article-title":"On the CNOT-complexity of CNOT-PHASE circuits","author":"Amy","year":"2017","journal-title":"arXiv:1712.01859"},{"key":"ref94","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99498-7_12"},{"key":"ref95","doi-asserted-by":"publisher","DOI":"10.26421\/qic20.7-8-4"},{"key":"ref96","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab79b1"},{"key":"ref97","article-title":"Architecture-aware synthesis of phase polynomials for NISQ devices","author":"Meijer-van de Griend","year":"2020","journal-title":"arXiv:2004.06052"},{"key":"ref98","doi-asserted-by":"publisher","DOI":"10.1088\/1751-8121\/aa565f"},{"key":"ref99","article-title":"Quantum computing and polynomial equations over the finite field Z2","author":"Dawson","year":"2004","journal-title":"arXiv:quant-ph\/0408129"},{"key":"ref100","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.93.022311"},{"key":"ref101","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.87.022328"},{"key":"ref102","doi-asserted-by":"publisher","DOI":"10.1109\/ismvl49045.2020.00-35"},{"key":"ref103","article-title":"A CCCZ gate performed with 6 T gates","author":"Gidney","year":"2021","journal-title":"arXiv:2106.11513"},{"key":"ref104","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-06-18-74"},{"key":"ref105","doi-asserted-by":"publisher","DOI":"10.1109\/TQE.2021.3136195"},{"key":"ref106","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-09005-9_2"},{"key":"ref107","article-title":"Windowed quantum arithmetic","author":"Gidney","year":"2019","journal-title":"arXiv:1905.07682"},{"key":"ref108","doi-asserted-by":"publisher","DOI":"10.1103\/physreva.104.052602"},{"key":"ref109","doi-asserted-by":"publisher","DOI":"10.1103\/physrevlett.93.130502"},{"key":"ref110","doi-asserted-by":"publisher","DOI":"10.1109\/tcad.2005.855930"},{"key":"ref111","doi-asserted-by":"publisher","DOI":"10.1103\/physreva.93.032318"},{"key":"ref112","doi-asserted-by":"publisher","DOI":"10.1109\/tcad.2013.2244643"},{"key":"ref113","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/1\/1\/015003"},{"key":"ref114","doi-asserted-by":"publisher","DOI":"10.4171\/jems\/337"},{"key":"ref115","doi-asserted-by":"publisher","DOI":"10.1103\/physrevlett.110.190502"},{"key":"ref116","doi-asserted-by":"publisher","DOI":"10.26421\/qic15.1-2-10"},{"key":"ref117","doi-asserted-by":"publisher","DOI":"10.1103\/physreva.88.012313"},{"key":"ref118","doi-asserted-by":"publisher","DOI":"10.26421\/qic15.11-12-4"},{"key":"ref119","doi-asserted-by":"publisher","DOI":"10.26421\/qic15.11-12-4"},{"key":"ref120","doi-asserted-by":"publisher","DOI":"10.1063\/1.4936990"},{"key":"ref121","article-title":"A framework for approximating qubit unitaries","author":"Kliuchnikov","year":"2015","journal-title":"arXiv:1510.03888"},{"key":"ref122","doi-asserted-by":"publisher","DOI":"10.26421\/qic14.15-16-2"},{"key":"ref123","doi-asserted-by":"publisher","DOI":"10.1103\/physreva.91.052317"},{"key":"ref124","article-title":"Shorter quantum circuits","author":"Kliuchnikov","year":"2022","journal-title":"arXiv:2203.10064"},{"key":"ref125","article-title":"A framework for exact synthesis","author":"Kliuchnikov","year":"2015","journal-title":"arXiv:1504.04350"},{"key":"ref126","doi-asserted-by":"publisher","DOI":"10.22331\/q-2020-04-06-252"},{"key":"ref127","doi-asserted-by":"publisher","DOI":"10.22331\/q-2021-02-08-394"},{"key":"ref128","doi-asserted-by":"publisher","DOI":"10.5555\/2011827.2011828"},{"key":"ref129","doi-asserted-by":"publisher","DOI":"10.1007\/s11128-010-0201-2"},{"key":"ref130","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2014.2356463"},{"key":"ref131","doi-asserted-by":"publisher","DOI":"10.1145\/3436752"},{"key":"ref132","article-title":"An efficient methodology for mapping quantum circuits to the IBM QX architectures","author":"Zulehner","year":"2017","journal-title":"arXiv:1712.04722"},{"key":"ref133","article-title":"Tackling the qubit mapping problem for NISQ-era quantum devices","author":"Li","year":"2018","journal-title":"arXiv:1809.02573"},{"key":"ref134","article-title":"On the influence of initial qubit placement during NISQ circuit compilation","author":"Paler","year":"2018","journal-title":"arXiv:1811.08985"},{"key":"ref135","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2019.10.004"},{"key":"ref136","first-page":"1","article-title":"Mapping quantum circuits to IBM QX architectures using the minimal number of SWAP and H operations","volume-title":"Proc. 56th Annu. Design Autom. Conf.","author":"Wille"},{"key":"ref137","article-title":"Limiting the search space in optimal quantum circuit mapping","author":"Burgholzer","year":"2021","journal-title":"arXiv:2112.00045"},{"key":"ref138","doi-asserted-by":"publisher","DOI":"10.1145\/3400302.3415620"},{"key":"ref139","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99498-7_16"},{"key":"ref140","volume-title":"Circuit Transformations for Quantum Architectures","author":"Childs","year":"2019"},{"key":"ref141","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL49045.2020.00-34"},{"key":"ref142","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304075"},{"key":"ref143","first-page":"1","article-title":"QURE: Qubit re-allocation in noisy intermediate-scale quantum computers","volume-title":"Proc. 56th Annu. Design Autom. Conf.","author":"Ash-Saki"},{"key":"ref144","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304018"},{"key":"ref145","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378477"},{"key":"ref146","doi-asserted-by":"publisher","DOI":"10.1145\/3548778"},{"key":"ref147","doi-asserted-by":"publisher","DOI":"10.1016\/S0003-4916(02)00018-0"},{"key":"ref148","article-title":"Quantum codes on a lattice with boundary","author":"Bravyi","year":"1998","journal-title":"arXiv:quant-ph\/9811052"},{"key":"ref149","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/14\/12\/123011"},{"key":"ref150","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.71.022316"},{"key":"ref151","doi-asserted-by":"publisher","DOI":"10.26421\/qic13.11-12-3"},{"key":"ref152","doi-asserted-by":"publisher","DOI":"10.22331\/q-2019-03-05-128"},{"key":"ref153","doi-asserted-by":"publisher","DOI":"10.1103\/prxquantum.3.020342"},{"key":"ref154","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-01765-0"},{"key":"ref155","doi-asserted-by":"publisher","DOI":"10.1137\/050644756"},{"key":"ref156","article-title":"Simulation of low-depth quantum circuits as complex undirected graphical models","author":"Boixo","year":"2017","journal-title":"arXiv:1712.05384"},{"key":"ref157","doi-asserted-by":"publisher","DOI":"10.1038\/s41534-019-0196-1"},{"key":"ref158","doi-asserted-by":"publisher","DOI":"10.22331\/q-2021-10-06-559"},{"key":"ref159","volume-title":"CIRQ","year":"2022"},{"key":"ref160","article-title":"Qiskit: An open-source framework for quantum computing","author":"Aleksandrowicz","year":"2019"},{"key":"ref161","doi-asserted-by":"publisher","DOI":"10.1038\/s41598-019-47174-9"},{"key":"ref162","doi-asserted-by":"publisher","DOI":"10.21105\/joss.00819"},{"key":"ref163","doi-asserted-by":"publisher","DOI":"10.1038\/s41598-020-79777-y"},{"key":"ref164","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref165","article-title":"CUDD: CU decision diagram package (release 2.4.2)","author":"Somenzi","year":"2005"},{"key":"ref166","doi-asserted-by":"publisher","DOI":"10.1007\/978-90-481-3065-8"},{"key":"ref167","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87744-8_60"},{"key":"ref168","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2834427"},{"key":"ref169","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586191"},{"key":"ref170","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2459034"},{"key":"ref171","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL49045.2020.000-9"},{"key":"ref172","first-page":"579","article-title":"A quantum computational compiler and design tool for technology-specific targets","volume-title":"Proc. 46th Int. Symp. Comput. Archit.","author":"Smith"},{"key":"ref173","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.2977603"},{"key":"ref174","doi-asserted-by":"publisher","DOI":"10.1145\/3514355"},{"key":"ref175","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.70.052328"},{"key":"ref176","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.73.022334"},{"key":"ref177","doi-asserted-by":"publisher","DOI":"10.26421\/QIC14.7-8-9"},{"key":"ref178","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevX.6.021043"},{"key":"ref179","doi-asserted-by":"publisher","DOI":"10.22331\/q-2019-09-02-181"},{"key":"ref180","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2007.4397246"},{"key":"ref181","doi-asserted-by":"publisher","DOI":"10.1109\/NANOARCH.2010.5510932"},{"key":"ref182","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3032630"},{"key":"ref183","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530481"},{"key":"ref184","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586214"},{"key":"ref185","doi-asserted-by":"publisher","DOI":"10.1109\/QCE53715.2022.00082"},{"key":"ref186","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2021.3117506"},{"key":"ref187","article-title":"Equivalence checking of dynamic quantum circuits","author":"Hong","year":"2021","journal-title":"arXiv:2106.01658"},{"key":"ref188","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530482"},{"key":"ref189","article-title":"The Coq proof assistant","volume-title":"The Coq Development Team","year":"2022"},{"key":"ref190","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.195.6"},{"key":"ref191","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.266.8"},{"key":"ref192","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-72019-3_6"},{"key":"ref193","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_8"},{"key":"ref194","first-page":"21:1","article-title":"Proving quantum programs correct","volume-title":"Proc. 12th Int. Conf. Interact. Theorem Proving","volume":"193","author":"Hietala"},{"key":"ref195","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.2218775120"},{"key":"ref196","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129506005251"},{"key":"ref197","doi-asserted-by":"publisher","DOI":"10.1145\/800061.808758"},{"key":"ref198","doi-asserted-by":"publisher","DOI":"10.1145\/2049706.2049708"},{"key":"ref199","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314584"},{"key":"ref200","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2019.8785779"},{"key":"ref201","doi-asserted-by":"publisher","DOI":"10.1145\/3290344"},{"key":"ref202","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2021.10.025"},{"key":"ref203","doi-asserted-by":"publisher","DOI":"10.1109\/LICS52264.2021.9470673"},{"key":"ref204","doi-asserted-by":"publisher","DOI":"10.1145\/3498697"},{"key":"ref205","doi-asserted-by":"publisher","DOI":"10.1145\/3290346"},{"key":"ref206","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL: A Proof Assistant for Higher-Order Logic","author":"Nipkow","year":"2002"},{"key":"ref207","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25543-5_12"},{"key":"ref208","article-title":"Formal methods for quantum programs: A survey","author":"Chareton","year":"2021","journal-title":"arXiv:2109.06493"},{"key":"ref209","doi-asserted-by":"publisher","DOI":"10.1038\/nature06184"},{"key":"ref210","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199681181.003.0003"},{"key":"ref211","doi-asserted-by":"publisher","DOI":"10.1557\/mrs.2013.229"},{"key":"ref212","doi-asserted-by":"publisher","DOI":"10.1126\/science.1175552"},{"key":"ref213","doi-asserted-by":"publisher","DOI":"10.1126\/science.285.5430.1036"},{"key":"ref214","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.76.042319"},{"key":"ref215","article-title":"Logic gates at the surface code threshold: Superconducting qubits poised for fault-tolerant quantum computing","author":"Barends","year":"2014","journal-title":"arXiv:1402.4848"},{"key":"ref216","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.93.060302"},{"key":"ref217","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.101.012302"},{"key":"ref218","article-title":"Suppressing quantum errors by scaling a surface code logical qubit","author":"Acharya","year":"2022","journal-title":"arXiv:2207.06431"},{"key":"ref219","volume-title":"Rigetti Computing Announces Next-Generation 40 Q and 80 Q Quantum Systems","year":"2021"},{"key":"ref220","volume-title":"Quantum Computer Datasheet","year":"2021"},{"key":"ref221","volume-title":"Eagle\u2019s Quantum Performance Progress","year":"2022"},{"key":"ref222","doi-asserted-by":"publisher","DOI":"10.1038\/s41534-019-0168-5"},{"key":"ref223","doi-asserted-by":"publisher","DOI":"10.1103\/PRXQuantum.2.040326"},{"key":"ref224","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevApplied.15.034080"},{"key":"ref225","doi-asserted-by":"publisher","DOI":"10.1038\/nature08121"},{"key":"ref226","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.111.080502"},{"key":"ref227","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevApplied.6.064007"},{"key":"ref228","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevApplied.10.034050"},{"key":"ref229","doi-asserted-by":"publisher","DOI":"10.1109\/IEDM.2018.8614500"},{"key":"ref230","doi-asserted-by":"publisher","DOI":"10.1088\/1361-6668\/ab8617"},{"key":"ref231","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.109.060501"},{"key":"ref232","doi-asserted-by":"publisher","DOI":"10.1038\/ncomms7979"},{"key":"ref233","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.117.210505"},{"key":"ref234","doi-asserted-by":"publisher","DOI":"10.1038\/s41534-016-0004-0"},{"key":"ref235","doi-asserted-by":"publisher","DOI":"10.1063\/1.3585849"},{"key":"ref236","doi-asserted-by":"publisher","DOI":"10.1109\/77.80745"},{"key":"ref237","doi-asserted-by":"publisher","DOI":"10.1109\/tasc.2010.2096792"},{"key":"ref238","doi-asserted-by":"publisher","DOI":"10.1109\/tasc.2013.2240555"},{"key":"ref239","doi-asserted-by":"publisher","DOI":"10.1109\/tasc.2020.2978428"},{"key":"ref240","doi-asserted-by":"publisher","DOI":"10.1109\/tasc.2019.2892115"},{"key":"ref241","doi-asserted-by":"publisher","DOI":"10.1109\/tasc.2018.2856833"},{"key":"ref242","doi-asserted-by":"publisher","DOI":"10.1109\/iccad45719.2019.8942053"},{"key":"ref243","doi-asserted-by":"publisher","DOI":"10.1109\/tasc.2021.3070802"},{"key":"ref244","doi-asserted-by":"publisher","DOI":"10.1109\/vlsicircuits18222.2020.9162792"},{"key":"ref245","doi-asserted-by":"publisher","DOI":"10.1145\/3299874.3317980"},{"key":"ref246","doi-asserted-by":"publisher","DOI":"10.1109\/iccd46524.2019.00067"},{"key":"ref247","doi-asserted-by":"publisher","DOI":"10.1145\/3394885.3431606"},{"key":"ref248","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530661"},{"key":"ref249","first-page":"1","article-title":"First demonstration of a superconducting electronics microcontroller RTL-to-GDSII flow","volume-title":"Proc. Government Microcircuit Appl. Crit. Technol. Conf. (GOMACTech)","author":"Amar\u00fa"},{"key":"ref250","doi-asserted-by":"publisher","DOI":"10.1109\/tcad.2021.3123141"},{"key":"ref251","doi-asserted-by":"publisher","DOI":"10.1109\/TASC.2019.2903023"},{"key":"ref252","doi-asserted-by":"publisher","DOI":"10.1109\/ISEC46533.2019.8990962"},{"key":"ref253","doi-asserted-by":"publisher","DOI":"10.1109\/TASC.2022.3154348"},{"key":"ref254","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-76885-0"},{"key":"ref255","doi-asserted-by":"publisher","DOI":"10.1088\/0953-2048\/26\/3\/035010"},{"key":"ref256","doi-asserted-by":"publisher","DOI":"10.1109\/jrproc.1959.287195"},{"key":"ref257","doi-asserted-by":"publisher","DOI":"10.1063\/1.4919838"},{"key":"ref258","doi-asserted-by":"publisher","DOI":"10.1109\/tasc.2016.2642041"},{"key":"ref259","doi-asserted-by":"publisher","DOI":"10.1088\/1361-6668\/ab7ec3"},{"key":"ref260","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593158"},{"key":"ref261","doi-asserted-by":"publisher","DOI":"10.1109\/tcad.2015.2488484"},{"key":"ref262","doi-asserted-by":"publisher","DOI":"10.1109\/92.711317"},{"key":"ref263","doi-asserted-by":"publisher","DOI":"10.1016\/j.phpro.2012.06.130"},{"key":"ref264","doi-asserted-by":"publisher","DOI":"10.1109\/async.1998.666512"},{"key":"ref265","doi-asserted-by":"publisher","DOI":"10.1109\/tasc.2021.3059984"},{"key":"ref266","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab8963"}],"container-title":["IEEE Journal on Emerging and Selected Topics in Circuits and Systems"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/5503868\/9915329\/9881555-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/5503868\/9915329\/09881555.pdf?arnumber=9881555","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,2]],"date-time":"2024-03-02T06:34:44Z","timestamp":1709361284000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9881555\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9]]},"references-count":266,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/jetcas.2022.3205174","relation":{},"ISSN":["2156-3357","2156-3365"],"issn-type":[{"value":"2156-3357","type":"print"},{"value":"2156-3365","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,9]]}}}