{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,26]],"date-time":"2026-03-26T18:45:08Z","timestamp":1774550708202,"version":"3.50.1"},"reference-count":43,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.23919\/date.2017.7927196","type":"proceedings-article","created":{"date-parts":[[2017,5,15]],"date-time":"2017-05-15T20:34:41Z","timestamp":1494880481000},"page":"1312-1317","source":"Crossref","is-referenced-by-count":3,"title":["Design automation for quantum architectures"],"prefix":"10.23919","author":[{"given":"Martin","family":"Roetteler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krysta M.","family":"Svore","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dave","family":"Wecker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nathan","family":"Wiebe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.90.062320"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1002\/9781118648919"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2747921"},{"key":"ref32","doi-asserted-by":"crossref","first-page":"962","DOI":"10.26421\/QIC15.11-12-6","article-title":"Reduced space-time and time costs using dislocation codes and arbitrary ancillas","volume":"15","author":"hastings","year":"2015","journal-title":"Quantum Information and Computation"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.86.032324"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/14\/12\/123011"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2006.19"},{"key":"ref36","author":"metodi","year":"2011","journal-title":"Quantum Computing for Computer Architects"},{"key":"ref35","article-title":"Quantum circuit optimization by topological compaction in the surface code","author":"paetznick","year":"2013"},{"key":"ref34","article-title":"Hierarchical surface code for network quantum computing with modules of arbitrary size 2015","author":"ying li","year":"0"},{"key":"ref10","article-title":"Reversible circuit compilation with space constraints","volume":"1510","author":"parent","year":"2015"},{"key":"ref40","author":"nielsen","year":"2000","journal-title":"Quantum Computation and Quantum Information"},{"key":"ref11","article-title":"Factoring using 2n+2 qubits with toffoli based modular multiplication","volume":"1611","author":"h\u00e4ner","year":"2016"},{"key":"ref12","first-page":"69","article-title":"Checking equivalence of quantum circuits and states","author":"george","year":"2007","journal-title":"Proc of ICCAD '07"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927035"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63390-9_1"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837655"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"134","DOI":"10.26421\/QIC16.1-2-9","article-title":"Quantum arithmetic and numerical analysis using repeat-until-success circuits","volume":"16","author":"wiebe","year":"2016","journal-title":"Quantum Information and Communication"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10773-005-7071-x"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1140\/epjd\/e2003-00242-2"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694357"},{"key":"ref28","author":"perumalla","year":"2014","journal-title":"Introduction to Reversible Computing"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.94.022308"},{"key":"ref27","first-page":"135","article-title":"A functional language for describing reversible logic","author":"thomsen","year":"2012","journal-title":"Proc Forum on Specification and Design Languages (FDL‘12) IEEE"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevX.6.031007"},{"key":"ref6","article-title":"Exponentially more precise quantum simulation of fermions II: Quantum chemistry in the CI matrix representation","author":"babbush","year":"2015"},{"key":"ref29","first-page":"55","article-title":"RevKit: A toolkit for reversible circuit design","volume":"18","author":"soeken","year":"2012","journal-title":"Multiple-Valued Logic and Soft Computing"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.103.150502"},{"key":"ref8","article-title":"Quantum algorithms and circuits for scientific computing","author":"bhaskar","year":"2015"},{"key":"ref7","article-title":"Bounding the costs of quantum simulation of many-body physics in real space","author":"kivlichan","year":"2016"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.92.012327"},{"key":"ref9","article-title":"LIQuil|>: a software design architecture and domain-specific language for quantum computing","author":"wecker","year":"0"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1038\/nature13171"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/j.parco.2014.12.001","article-title":"ScaffCC: Scalable compilation and analysis of quantum programs","volume":"45","author":"javadiabhari","year":"2015","journal-title":"Parallel Computing"},{"key":"ref22","article-title":"Quipper: a scalable quantum programming language","year":"2013","journal-title":"Proc ACM Conf Programming Language Design and Implementation"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38986-3_10"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1038\/ncomms10138"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2505351.2505357"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2244643"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139193313.006"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1244381.1244404"},{"key":"ref43","doi-asserted-by":"crossref","first-page":"541","DOI":"10.26421\/QIC16.7-8-1","article-title":"Quantum deep learning","volume":"16","author":"wiebe","year":"2016","journal-title":"Quantum Information and Computation"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2505351.2505358"}],"event":{"name":"Design, Automation & Test in Europe Conference & Exhibition (DATE 2017)","location":"Lausanne","start":{"date-parts":[[2017,3,27]]},"end":{"date-parts":[[2017,3,31]]}},"container-title":["Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7919927\/7926947\/07927196.pdf?arnumber=7927196","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:28:04Z","timestamp":1750264084000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7927196\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3]]},"references-count":43,"URL":"https:\/\/doi.org\/10.23919\/date.2017.7927196","relation":{},"subject":[],"published":{"date-parts":[[2017,3]]}}}