{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T20:13:22Z","timestamp":1779394402713,"version":"3.53.1"},"reference-count":45,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Innovation Program for Quantum Science and Technology","award":["2024ZD0300500"],"award-info":[{"award-number":["2024ZD0300500"]}]},{"DOI":"10.13039\/501100004739","name":"Youth Innovation Promotion Association, Chinese Academy of Sciences","doi-asserted-by":"crossref","award":["2023116"],"award-info":[{"award-number":["2023116"]}],"id":[{"id":"10.13039\/501100004739","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["62402485"],"award-info":[{"award-number":["62402485"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001809","name":"Young Elite Scientists Sponsorship Program, China Association for Science and Technology","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2026,6]]},"DOI":"10.1109\/tcad.2025.3623498","type":"journal-article","created":{"date-parts":[[2025,10,20]],"date-time":"2025-10-20T17:49:48Z","timestamp":1760982588000},"page":"2679-2692","source":"Crossref","is-referenced-by-count":0,"title":["Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits"],"prefix":"10.1109","volume":"45","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-3219-1380","authenticated-orcid":false,"given":"Mingyu","family":"Huang","sequence":"first","affiliation":[{"name":"Key Laboratory of System Software and the State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3490-0029","authenticated-orcid":false,"given":"Ji","family":"Guan","sequence":"additional","affiliation":[{"name":"Key Laboratory of System Software and the State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7628-1185","authenticated-orcid":false,"given":"Wang","family":"Fang","sequence":"additional","affiliation":[{"name":"School of Informatics, University of Edinburgh, Edinburgh, U.K."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4847-702X","authenticated-orcid":false,"given":"Mingsheng","family":"Ying","sequence":"additional","affiliation":[{"name":"Centre for Quantum Software and Information, University of Technology Sydney, Ultimo, NSW, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-019-1666-5"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-024-08449-y"},{"key":"ref3","volume-title":"IBM Unveils 400 Qubit-Plus Quantum Processor and Next Generation IBM Quantum System Two","year":"2022"},{"key":"ref4","article-title":"The hardware and software for the era of quantum utility is here","author":"Gambetta","year":"2023"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-08-06-79"},{"issue":"3","key":"ref6","doi-asserted-by":"crossref","first-page":"332","DOI":"10.1038\/s41567-020-01105-y","article-title":"Quantum approximate optimization of non-planar graph problems on a planar superconducting processor","volume":"17","author":"Harrigan","year":"2021","journal-title":"Nature Phys."},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1126\/science.abb9811"},{"issue":"6","key":"ref8","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1038\/s41567-018-0124-x","article-title":"Characterizing quantum supremacy in near-term devices","volume":"14","author":"Boixo","year":"2018","journal-title":"Nature Phys."},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/b978-0-12-370597-6.x5000-8"},{"key":"ref10","article-title":"TensorNetwork: A library for physics and machine learning","author":"Roberts","year":"2019","journal-title":"arXiv:1905.01330"},{"key":"ref11","article-title":"Simulations of quantum circuits with approximate noise using qsim and cirq","author":"Isakov","year":"2021","journal-title":"arXiv:2111.02396"},{"key":"ref12","first-page":"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":"ref13","article-title":"Classical simulation of quantum supremacy circuits","author":"Huang","year":"2020","journal-title":"arXiv:2005.06787"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2019.2947511"},{"key":"ref15","article-title":"Pareto-efficient quantum circuit simulation using tensor contraction deferral","author":"Pednault","year":"2017","journal-title":"arXiv:1710.05867"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1038\/s41534-019-0196-1"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1103\/physrevlett.128.030501"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/dac18074.2021.9586191"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2834427"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.23919\/DATE51398.2021.9474034"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2022.3182628"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevX.10.041038"},{"key":"ref23","article-title":"Matrix product operator simulations of quantum algorithms","author":"Woolfe","year":"2015"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.22331\/q-2020-09-11-318"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevResearch.3.023005"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08494-7_16"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3032630"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ASP-DAC47756.2020.9045153"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586214"},{"key":"ref30","first-page":"1","article-title":"Equivalence checking of dynamic quantum circuits","volume-title":"Proc. 41st IEEE\/ACM Int. Conf. Comput.-Aided Design","author":"Hong"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.23919\/DATE58400.2024.10546657"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1017\/cbo9780511976667"},{"key":"ref33","article-title":"Fault models in superconducting quantum circuits","author":"Huang","year":"2022","journal-title":"arXiv:2212.00337"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1103\/RevModPhys.88.021002"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.22331\/q-2020-09-11-321"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3689333"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1017\/9781316848142"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/BF02288367"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.71.062310"},{"key":"ref40","article-title":"VeriQBench: A benchmark for multiple types of quantum circuits","author":"Chen","year":"2022","journal-title":"arXiv:2206.10880"},{"key":"ref41","volume-title":"Recirq","year":"2020"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/3514355"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2008.4630787"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2012.6164942"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2017.2717783"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/43\/11527413\/11207691.pdf?arnumber=11207691","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T19:43:29Z","timestamp":1779392609000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11207691\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6]]},"references-count":45,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2025.3623498","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,6]]}}}