{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,5]],"date-time":"2026-08-05T18:03:49Z","timestamp":1785953029169,"version":"3.56.0"},"reference-count":55,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2021,9,1]],"date-time":"2021-09-01T00:00:00Z","timestamp":1630454400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,9,1]],"date-time":"2021-09-01T00:00:00Z","timestamp":1630454400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,9,1]],"date-time":"2021-09-01T00:00:00Z","timestamp":1630454400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"LIT Secure and Correct Systems Lab"},{"name":"State of Upper Austria, as well as by the BMK, BMDW"},{"name":"State of Upper Austria in the Frame of the COMET Program"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2021,9]]},"DOI":"10.1109\/tcad.2020.3032630","type":"journal-article","created":{"date-parts":[[2020,10,21]],"date-time":"2020-10-21T17:35:55Z","timestamp":1603301755000},"page":"1810-1824","source":"Crossref","is-referenced-by-count":98,"title":["Advanced Equivalence Checking for Quantum Circuits"],"prefix":"10.1109","volume":"40","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4699-1316","authenticated-orcid":false,"given":"Lukas","family":"Burgholzer","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4993-7860","authenticated-orcid":false,"given":"Robert","family":"Wille","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","first-page":"253","author":"yuan","year":"2006","journal-title":"Constraint-Based Verification"},{"key":"ref38","first-page":"1","article-title":"The power of simulation for equivalence checking in quantum computing","author":"burgholzer","year":"2020","journal-title":"Proc Design Autom Conf"},{"key":"ref33","doi-asserted-by":"crossref","first-page":"584","DOI":"10.1093\/ietfec\/e91-a.2.584","article-title":"An XQDDbased verification method for quantum circuits","author":"wang","year":"2008","journal-title":"Proc IEICE Trans Fundam"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/AFRCON.2013.6757630"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/NANOARCH.2010.5510932"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1997.628891"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ASP-DAC47756.2020.9045153"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08494-7_16"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2007.4397246"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2459034"},{"key":"ref28","author":"molitor","year":"2010","journal-title":"Equivalence Checking of Digital Circuits Fundamentals Principles Methods"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1993.580110"},{"key":"ref29","first-page":"145","article-title":"Combinational equivalence checking using satisfiability and recursive learning","author":"marques-silva","year":"1999","journal-title":"Proc Design Autom Test Europe"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.87.032332"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511976667"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1038\/s41534-018-0072-4"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1216396.1216399"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2007.911334"},{"key":"ref24","author":"duncan","year":"2002","journal-title":"Graph-theoretic simplification of quantum circuits with the ZX calculus"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2002.1012662"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304075"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD45719.2019.8942132"},{"key":"ref50","article-title":"Random stimuli generation for the verification of quantum circuits","author":"burgholzer","year":"2021","journal-title":"Proc Asia South Pacific Design Automat Conf"},{"key":"ref51","first-page":"1","article-title":"JKQ: JKU tools for quantum computing","author":"wille","year":"2020","journal-title":"Proc Int Conf CAD"},{"key":"ref55","first-page":"579","article-title":"Verifying results of the IBM Qiskit quantum circuit compilation flow","author":"burgholzer","year":"2020","journal-title":"Proc Int Conf Quant Comput Eng"},{"key":"ref54","author":"tange","year":"2018","journal-title":"GNU Parallel 2018"},{"key":"ref53","author":"aleksandrowicz","year":"2019","journal-title":"Qiskit An open-source framework for quantum computing"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2008.43"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3307650.3322262"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3316781.3317859"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-31275-7"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-21500-2_10"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab9359"},{"key":"ref14","first-page":"5:1","article-title":"On the qubit routing problem","volume":"135","author":"cowtan","year":"2019","journal-title":"Theory of Quantum Computation Communication and Cryptography (Leibniz International Proceedings in Informatics)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-08-06-79"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99498-7_16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36315-3_9"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.69.010301"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3287624.3287701"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2013.6509587"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2244643"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.93.022311"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2011.54"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2846658"},{"key":"ref7","first-page":"113","article-title":"Qubit allocation","author":"siraichi","year":"2018","journal-title":"Proc Int Symp Code Generation Optim"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1142\/S0219749905001067"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3287624.3287704"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2834427"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2006.35"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/237814.237866"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD45719.2019.8942057"},{"key":"ref42","first-page":"1","article-title":"SMT-based stimuli generation in the SystemC verification library","author":"wille","year":"2009","journal-title":"Proc Forum Specification Design Lang"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2007.4397275"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8714927"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/3240765.3240842"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/9518291\/09233418.pdf?arnumber=9233418","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T14:49:31Z","timestamp":1652194171000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9233418\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9]]},"references-count":55,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2020.3032630","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,9]]}}}