Advances in Quantum Computation and Quantum Technologies: A Design Automation Perspective

De Micheli, Giovanni; Jiang, Jie-Hong R.; Rand, Robert; Smith, Kaitlin; Soeken, Mathias

doi:10.1109/jetcas.2022.3205174

Advances in Quantum Computation and Quantum Technologies: A Design Automation Perspective

Journal Article · 01 September 2022 · IEEE Journal on Emerging and Selected Topics in Circuits and Systems

DOI:https://doi.org/10.1109/jetcas.2022.3205174· OSTI ID:1982865

^[1]; ^[2]; Rand, Robert ^[3]; Smith, Kaitlin ^[3]; ^[4]

Institute of Electrical Engineering and Computer Science, EPFL, Lausanne, Switzerland
Department of Electrical Engineering, Graduate Institute of Electronics Engineering, National Taiwan University, Taipei, Taiwan
Department of Computer Science, The University of Chicago, Chicago, IL, USA
Microsoft, Zü,rich, Switzerland

Not provided.

Research Organization:: US Department of Energy (USDOE), Washington, DC (United States). Office of Science, Advanced Scientific Computing Research (ASCR)

Sponsoring Organization:: USDOE

OSTI ID:: 1982865

Journal Information:: IEEE Journal on Emerging and Selected Topics in Circuits and Systems, Vol. 12, Issue 3; ISSN 2156-3357

Publisher:: IEEE

Country of Publication:: United States

Language:: English

References (203)

QMDDs: Efficient Quantum Function Representation and Manipulation Niemann, Philipp; Wille, Robert; Miller, David Michael IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 35, Issue 1 https://doi.org/10.1109/TCAD.2015.2459034	journal	January 2016
A quantum computational compiler and design tool for technology-specific targets Smith, Kaitlin N.; Thornton, Mitchell A. Proceedings of the 46th International Symposium on Computer Architecture https://doi.org/10.1145/3307650.3322262	conference	June 2019
Arrays vs. Decision Diagrams: A Case Study on Quantum Circuit Simulators Grurl, Thomas; Fus, Jurgen; Hillmich, Stefan 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL) https://doi.org/10.1109/ISMVL49045.2020.000-9	conference	November 2020
A Tensor Network based Decision Diagram for Representation of Quantum Circuits Hong, Xin; Zhou, Xiangzhen; Li, Sanjiang ACM Transactions on Design Automation of Electronic Systems, Vol. 27, Issue 6 https://doi.org/10.1145/3514355	journal	June 2022
Overcoming the Tradeoff Between Accuracy and Compactness in Decision Diagrams for Quantum Computation Niemann, Philipp; Zulehner, Alwin; Drechsler, Rolf IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 39, Issue 12 https://doi.org/10.1109/TCAD.2020.2977603	journal	December 2020
Fast simulation of stabilizer circuits using a graph-state representation Anders, Simon; Briegel, Hans J. Physical Review A, Vol. 73, Issue 2 https://doi.org/10.1103/PhysRevA.73.022334	journal	February 2006
Improved simulation of stabilizer circuits Aaronson, Scott; Gottesman, Daniel Physical Review A, Vol. 70, Issue 5 https://doi.org/10.1103/PhysRevA.70.052328	journal	November 2004
Trading Classical and Quantum Computational Resources Bravyi, Sergey; Smith, Graeme; Smolin, John A. Physical Review X, Vol. 6, Issue 2 https://doi.org/10.1103/PhysRevX.6.021043	journal	June 2016
On the geometry of stabilizer states Garcia, Hector J.; Markov, Igor L.; Cross, Andrew W. Quantum Information and Computation, Vol. 14, Issue 7&8 https://doi.org/10.26421/QIC14.7-8-9	journal	May 2014
Advanced Simulation of Quantum Computations Zulehner, Alwin; Wille, Robert IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 38, Issue 5 https://doi.org/10.1109/TCAD.2018.2834427	journal	May 2019
Bit-Slicing the Hilbert Space: Scaling Up Accurate Quantum Circuit Simulation Tsai, Yuan-Hung; Jiang, Jie-Hong R.; Jhang, Chiao-Shan 2021 58th ACM/IEEE Design Automation Conference (DAC) https://doi.org/10.1109/DAC18074.2021.9586191	conference	December 2021
Physics-Inspired Optimization for Quadratic Unconstrained Problems Using a Digital Annealer Aramon, Maliheh; Rosenberg, Gili; Valiante, Elisabetta Frontiers in Physics, Vol. 7 https://doi.org/10.3389/fphy.2019.00048	journal	April 2019
0.5 petabyte simulation of a 45-qubit quantum circuit Häner, Thomas; Steiger, Damian S. Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis on - SC '17 https://doi.org/10.1145/3126908.3126947	conference	January 2017
Towards Large-scale Functional Verification of Universal Quantum Circuits Amy, Matthew Electronic Proceedings in Theoretical Computer Science, Vol. 287 https://doi.org/10.4204/EPTCS.287.1	journal	January 2019
OpenFermion: the electronic structure package for quantum computers McClean, Jarrod R.; Rubin, Nicholas C.; Sung, Kevin J. Quantum Science and Technology, Vol. 5, Issue 3 https://doi.org/10.1088/2058-9565/ab8ebc	journal	June 2020
A verified optimizer for Quantum circuits Hietala, Kesha; Rand, Robert; Hung, Shih-Han Proceedings of the ACM on Programming Languages, Vol. 5, Issue POPL https://doi.org/10.1145/3434318	journal	January 2021
Digital Annealer for High-Speed Solving of Combinatorial optimization Problems and Its Applications Matsubara, Satoshi; Takatsu, Motomu; Miyazawa, Toshiyuki 2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC) https://doi.org/10.1109/ASP-DAC47756.2020.9045100	conference	January 2020
LUT-Based Hierarchical Reversible Logic Synthesis Soeken, Mathias; Roetteler, Martin; Wiebe, Nathan IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 38, Issue 9 https://doi.org/10.1109/TCAD.2018.2859251	journal	September 2019
Programming quantum computers using design automation Soeken, Mathias; Haener, Thomas; Roetteler, Martin 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) https://doi.org/10.23919/DATE.2018.8341993	conference	March 2018
Fast equivalence-checking for quantum circuits Yamashita, Shigeru; Markov, Igor L. 2010 IEEE/ACM International Symposium on Nanoscale Architectures https://doi.org/10.1109/NANOARCH.2010.5510932	conference	June 2010
Checking equivalence of quantum circuits and states Viamontes, George F.; Markov, Igor L.; Hayes, John P. 2007 IEEE/ACM International Conference on Computer-Aided Design https://doi.org/10.1109/ICCAD.2007.4397246	conference	November 2007
Approximate Equivalence Checking of Noisy Quantum Circuits Hong, Xin; Ying, Mingsheng; Feng, Yuan 2021 58th ACM/IEEE Design Automation Conference (DAC) https://doi.org/10.1109/DAC18074.2021.9586214	conference	December 2021
Accurate BDD-based unitary operator manipulation for scalable and robust quantum circuit verification Wei, Chun-Yu; Tsai, Yuan-Hung; Jhang, Chiao-Shan Proceedings of the 59th ACM/IEEE Design Automation Conference https://doi.org/10.1145/3489517.3530481	conference	July 2022
Advanced Equivalence Checking for Quantum Circuits Burgholzer, Lukas; Wille, Robert IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 40, Issue 9 https://doi.org/10.1109/TCAD.2020.3032630	journal	September 2021
Handling non-unitaries in quantum circuit equivalence checking Burgholzer, Lukas; Wille, Robert Proceedings of the 59th ACM/IEEE Design Automation Conference https://doi.org/10.1145/3489517.3530482	conference	July 2022
Equivalence Checking of Sequential Quantum Circuits Wang, Qisheng; Li, Riling; Ying, Mingsheng IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 41, Issue 9 https://doi.org/10.1109/TCAD.2021.3117506	journal	September 2022
`staq`—A full-stack quantum processing toolkit Amy, Matthew; Gheorghiu, Vlad Quantum Science and Technology, Vol. 5, Issue 3 https://doi.org/10.1088/2058-9565/ab9359	journal	June 2020
ScaffCC: a framework for compilation and analysis of quantum computing programs JavadiAbhari, Ali; Patil, Shruti; Kudrow, Daniel Proceedings of the 11th ACM Conference on Computing Frontiers - CF '14 https://doi.org/10.1145/2597917.2597939	conference	January 2014
Simulation of quantum circuits by low-rank stabilizer decompositions Bravyi, Sergey; Browne, Dan; Calpin, Padraic Quantum, Vol. 3 https://doi.org/10.22331/q-2019-09-02-181	journal	September 2019
t\|ket⟩: a retargetable compiler for NISQ devices Sivarajah, Seyon; Dilkes, Silas; Cowtan, Alexander Quantum Science and Technology, Vol. 6, Issue 1 https://doi.org/10.1088/2058-9565/ab8e92	journal	November 2020
Compact Ion-Trap Quantum Computing Demonstrator Pogorelov, I.; Feldker, T.; Marciniak, Ch. D. PRX Quantum, Vol. 2, Issue 2 https://doi.org/10.1103/PRXQuantum.2.020343	journal	June 2021
Design and Characterization of a 28-nm Bulk-CMOS Cryogenic Quantum Controller Dissipating Less Than 2 mW at 3 K Bardin, Joseph C.; White, Ted; Giustina, Marissa IEEE Journal of Solid-State Circuits, Vol. 54, Issue 11 https://doi.org/10.1109/JSSC.2019.2937234	journal	November 2019
Quantum walks on a programmable two-dimensional 62-qubit superconducting processor Gong, Ming; Wang, Shiyu; Zha, Chen Science, Vol. 372, Issue 6545 https://doi.org/10.1126/science.abg7812	journal	May 2021
Quantum programming languages Heim, Bettina; Soeken, Mathias; Marshall, Sarah Nature Reviews Physics, Vol. 2, Issue 12 https://doi.org/10.1038/s42254-020-00245-7	journal	November 2020
A Review on Quantum Computing: From Qubits to Front-end Electronics and Cryogenic MOSFET Physics Jazaeri, Farzan; Beckers, Arnout; Tajalli, Armin 2019 MIXDES - 26th International Conference "Mixed Design of Integrated Circuits and Systems" https://doi.org/10.23919/MIXDES.2019.8787164	conference	June 2019
Quipper: a scalable quantum programming language Green, Alexander S.; Lumsdaine, Peter LeFanu; Ross, Neil J. Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13 https://doi.org/10.1145/2491956.2462177	conference	January 2013
Quantum Operating Systems Corrigan-Gibbs, Henry; Wu, David J.; Boneh, Dan Proceedings of the 16th Workshop on Hot Topics in Operating Systems https://doi.org/10.1145/3102980.3102993	conference	May 2017
The Physical Implementation of Quantum Computation DiVincenzo, David P. Fortschritte der Physik, Vol. 48, Issue 9-11 https://doi.org/10.1002/1521-3978(200009)48:9/11<771::AID-PROP771>3.0.CO;2-E	journal	September 2000
A variational eigenvalue solver on a photonic quantum processor Peruzzo, Alberto; McClean, Jarrod; Shadbolt, Peter Nature Communications, Vol. 5, Issue 1 https://doi.org/10.1038/ncomms5213	journal	July 2014
Surface Code Compilation via Edge-Disjoint Paths Beverland, Michael; Kliuchnikov, Vadym; Schoute, Eddie PRX Quantum, Vol. 3, Issue 2 https://doi.org/10.1103/PRXQuantum.3.020342	journal	May 2022
Simulating Quantum Computation by Contracting Tensor Networks Markov, Igor L.; Shi, Yaoyun SIAM Journal on Computing, Vol. 38, Issue 3 https://doi.org/10.1137/050644756	journal	January 2008
Universal quantum computation with ideal Clifford gates and noisy ancillas Bravyi, Sergey; Kitaev, Alexei Physical Review A, Vol. 71, Issue 2 https://doi.org/10.1103/PhysRevA.71.022316	journal	February 2005
A Game of Surface Codes: Large-Scale Quantum Computing with Lattice Surgery Litinski, Daniel Quantum, Vol. 3 https://doi.org/10.22331/q-2019-03-05-128	journal	March 2019
TimeStitch: Exploiting Slack to Mitigate Decoherence in Quantum Circuits Smith, Kaitlin N.; Ravi, Gokul Subramanian; Murali, Prakash ACM Transactions on Quantum Computing, Vol. 4, Issue 1 https://doi.org/10.1145/3548778	journal	October 2022
Fault-tolerant quantum computation by anyons Kitaev, A. Yu. Annals of Physics, Vol. 303, Issue 1 https://doi.org/10.1016/S0003-4916(02)00018-0	journal	January 2003
Surface code quantum computing by lattice surgery Horsman, Clare; Fowler, Austin G.; Devitt, Simon New Journal of Physics, Vol. 14, Issue 12 https://doi.org/10.1088/1367-2630/14/12/123011	journal	December 2012
OpenQASM 3: A Broader and Deeper Quantum Assembly Language Cross, Andrew; Javadi-Abhari, Ali; Alexander, Thomas ACM Transactions on Quantum Computing, Vol. 3, Issue 3 https://doi.org/10.1145/3505636	journal	September 2022
Not All Qubits Are Created Equal: A Case for Variability-Aware Policies for NISQ-Era Quantum Computers Tannu, Swamit S.; Qureshi, Moinuddin K. ASPLOS '19: Architectural Support for Programming Languages and Operating Systems, Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems https://doi.org/10.1145/3297858.3304007	conference	April 2019
Detecting crosstalk errors in quantum information processors Sarovar, Mohan; Proctor, Timothy; Rudinger, Kenneth Quantum, Vol. 4 https://doi.org/10.22331/q-2020-09-11-321	journal	September 2020
Manufacturing low dissipation superconducting quantum processors Nersisyan, Ani; Sete, Eyob A.; Stanwyck, Sam 2019 IEEE International Electron Devices Meeting (IEDM) https://doi.org/10.1109/IEDM19573.2019.8993458	conference	December 2019
Laser-annealing Josephson junctions for yielding scaled-up superconducting quantum processors Hertzberg, Jared B.; Zhang, Eric J.; Rosenblatt, Sami npj Quantum Information, Vol. 7, Issue 1 https://doi.org/10.1038/s41534-021-00464-5	journal	August 2021
Noise tailoring for scalable quantum computation via randomized compiling Wallman, Joel J.; Emerson, Joseph Physical Review A, Vol. 94, Issue 5 https://doi.org/10.1103/PhysRevA.94.052325	journal	November 2016
Quantum optimization using variational algorithms on near-term quantum devices Moll, Nikolaj; Barkoutsos, Panagiotis; Bishop, Lev S. Quantum Science and Technology, Vol. 3, Issue 3 https://doi.org/10.1088/2058-9565/aab822	journal	June 2018
Supervised learning with quantum-enhanced feature spaces Havlíček, Vojtěch; Córcoles, Antonio D.; Temme, Kristan Nature, Vol. 567, Issue 7747 https://doi.org/10.1038/s41586-019-0980-2	journal	March 2019
Improved BDD Algorithms for the Simulation of Quantum Circuits Samoladas, Vasilis Algorithms - ESA 2008 https://doi.org/10.1007/978-3-540-87744-8_60	book	January 2008
Graph-Based Algorithms for Boolean Function Manipulation No authors listed IEEE Transactions on Computers, Vol. C-35, Issue 8 https://doi.org/10.1109/TC.1986.1676819	journal	August 1986
A quantum circuit simulator and its applications on Sunway TaihuLight supercomputer Wang, Zhimin; Chen, Zhaoyun; Wang, Shengbin Scientific Reports, Vol. 11, Issue 1 https://doi.org/10.1038/s41598-020-79777-y	journal	January 2021
quimb: A python package for quantum information and many-body calculations Gray, Johnnie Journal of Open Source Software, Vol. 3, Issue 29 https://doi.org/10.21105/joss.00819	journal	September 2018
QuEST and High Performance Simulation of Quantum Computers Jones, Tyson; Brown, Anna; Bush, Ian Scientific Reports, Vol. 9, Issue 1 https://doi.org/10.1038/s41598-019-47174-9	journal	July 2019
Quantum annealing in the transverse Ising model Kadowaki, Tadashi; Nishimori, Hidetoshi Physical Review E, Vol. 58, Issue 5 https://doi.org/10.1103/PhysRevE.58.5355	journal	November 1998
Universal Quantum Simulators Lloyd, S. Science, Vol. 273, Issue 5278 https://doi.org/10.1126/science.273.5278.1073	journal	August 1996
High-order quantum algorithm for solving linear differential equations Berry, Dominic W. Journal of Physics A: Mathematical and Theoretical, Vol. 47, Issue 10 https://doi.org/10.1088/1751-8113/47/10/105301	journal	February 2014
Quantum Algorithm for Linear Systems of Equations Harrow, Aram W.; Hassidim, Avinatan; Lloyd, Seth Physical Review Letters, Vol. 103, Issue 15 https://doi.org/10.1103/PhysRevLett.103.150502	journal	October 2009
Quantum supremacy using a programmable superconducting processor Arute, Frank; Arya, Kunal; Babbush, Ryan Nature, Vol. 574, Issue 7779 https://doi.org/10.1038/s41586-019-1666-5	journal	October 2019
Layered Architecture for Quantum Computing Jones, N. Cody; Van Meter, Rodney; Fowler, Austin G. Physical Review X, Vol. 2, Issue 3 https://doi.org/10.1103/PhysRevX.2.031007	journal	July 2012
A single quantum cannot be cloned Wootters, W. K.; Zurek, W. H. Nature, Vol. 299, Issue 5886 https://doi.org/10.1038/299802a0	journal	October 1982
A flexible high-performance simulator for verifying and benchmarking quantum circuits implemented on real hardware Villalonga, Benjamin; Boixo, Sergio; Nelson, Bron npj Quantum Information, Vol. 5, Issue 1 https://doi.org/10.1038/s41534-019-0196-1	journal	October 2019
Quantum annealing with manufactured spins Johnson, M. W.; Amin, M. H. S.; Gildert, S. Nature, Vol. 473, Issue 7346 https://doi.org/10.1038/nature10012	journal	May 2011
Qulacs: a fast and versatile quantum circuit simulator for research purpose Suzuki, Yasunari; Kawase, Yoshiaki; Masumura, Yuya Quantum, Vol. 5 https://doi.org/10.22331/q-2021-10-06-559	journal	October 2021
Probing many-body dynamics on a 51-atom quantum simulator Bernien, Hannes; Schwartz, Sylvain; Keesling, Alexander Nature, Vol. 551, Issue 7682 https://doi.org/10.1038/nature24622	journal	November 2017
Parallel Implementation of High-Fidelity Multiqubit Gates with Neutral Atoms Levine, Harry; Keesling, Alexander; Semeghini, Giulia Physical Review Letters, Vol. 123, Issue 17 https://doi.org/10.1103/PhysRevLett.123.170503	journal	October 2019
A scheme for efficient quantum computation with linear optics Knill, E.; Laflamme, R.; Milburn, G. J. Nature, Vol. 409, Issue 6816 https://doi.org/10.1038/35051009	journal	January 2001
Photonic quantum technologies O'Brien, Jeremy L.; Furusawa, Akira; Vučković, Jelena Nature Photonics, Vol. 3, Issue 12 https://doi.org/10.1038/nphoton.2009.229	journal	December 2009
Ground-state energy estimation of the water molecule on a trapped-ion quantum computer Nam, Yunseong; Chen, Jwo-Sy; Pisenti, Neal C. npj Quantum Information, Vol. 6, Issue 1 https://doi.org/10.1038/s41534-020-0259-3	journal	April 2020
Demonstration of quantum volume 64 on a superconducting quantum computing system Jurcevic, Petar; Javadi-Abhari, Ali; Bishop, Lev S. Quantum Science and Technology, Vol. 6, Issue 2 https://doi.org/10.1088/2058-9565/abe519	journal	March 2021
Observation of a many-body dynamical phase transition with a 53-qubit quantum simulator Zhang, J.; Pagano, G.; Hess, P. W. Nature, Vol. 551, Issue 7682 https://doi.org/10.1038/nature24654	journal	November 2017
Benchmarking an 11-qubit quantum computer Wright, K.; Beck, K. M.; Debnath, S. Nature Communications, Vol. 10, Issue 1 https://doi.org/10.1038/s41467-019-13534-2	journal	November 2019
Twist: sound reasoning for purity and entanglement in Quantum programs Yuan, Charles; McNally, Christopher; Carbin, Michael Proceedings of the ACM on Programming Languages, Vol. 6, Issue POPL https://doi.org/10.1145/3498691	journal	January 2022
Unqomp: synthesizing uncomputation in Quantum circuits Paradis, Anouk; Bichsel, Benjamin; Steffen, Samuel Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation https://doi.org/10.1145/3453483.3454040	conference	June 2021
Hierarchical Reversible Logic Synthesis Using LUTs Soeken, Mathias; Roetteler, Martin; Wiebe, Nathan Proceedings of the 54th Annual Design Automation Conference 2017 https://doi.org/10.1145/3061639.3062261	conference	June 2017
ESOP-based Toffoli Gate Cascade Generation Fazel, K.; Thornton, M. A.; Rice, J. E. 2007 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing https://doi.org/10.1109/PACRIM.2007.4313212	conference	August 2007
Application of Functional Decomposition in Synthesis of Reversible Circuits Rawski, Mariusz Reversible Computation https://doi.org/10.1007/978-3-319-20860-2_20	book	January 2015
Improved Cube List Based Cube Pairing Approach for Synthesis of ESOP Based Reversible Logic Bandyopadhyay, Chandan; Rahaman, Hafizur; Drechsler, Rolf Transactions on Computational Science XXIV https://doi.org/10.1007/978-3-662-45711-5_8	book	January 2014
Enumerating Optimal Quantum Circuits using Spectral Classification Meuli, Giulia; Soeken, Mathias; Roetteler, Martin 2020 IEEE International Symposium on Circuits and Systems (ISCAS) https://doi.org/10.1109/ISCAS45731.2020.9180792	conference	October 2020
Q#: Enabling Scalable Quantum Computing and Development with a High-level DSL Svore, Krysta; Roetteler, Martin; Geller, Alan Proceedings of the Real World Domain Specific Languages Workshop 2018 on - RWDSL2018 https://doi.org/10.1145/3183895.3183901	conference	January 2018
ScaffCC: Scalable compilation and analysis of quantum programs JavadiAbhari, Ali; Patil, Shruti; Kudrow, Daniel Parallel Computing, Vol. 45 https://doi.org/10.1016/j.parco.2014.12.001	journal	June 2015
Towards a quantum programming language Selinger, Peter Mathematical Structures in Computer Science, Vol. 14, Issue 4 https://doi.org/10.1017/S0960129504004256	journal	August 2004
A lambda calculus for quantum computation with classical control Selinger, Peter; Valiron, Benoit Mathematical Structures in Computer Science, Vol. 16, Issue 3 https://doi.org/10.1017/S0960129506005238	journal	June 2006
QWIRE: a core language for quantum circuits Paykin, Jennifer; Rand, Robert; Zdancewic, Steve Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages https://doi.org/10.1145/3009837.3009894	conference	January 2017
Linear Dependent Type Theory for Quantum Programming Languages Fu, Peng; Kishida, Kohei; Selinger, Peter Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science https://doi.org/10.1145/3373718.3394765	conference	July 2020
Silq: a high-level quantum language with safe uncomputation and intuitive semantics Bichsel, Benjamin; Baader, Maximilian; Gehr, Timon Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation https://doi.org/10.1145/3385412.3386007	conference	June 2020
A probabilistic PDL Kozen, Dexter Proceedings of the fifteenth annual ACM symposium on Theory of computing - STOC '83 https://doi.org/10.1145/800061.808758	conference	January 1983
Floyd--hoare logic for quantum programs Ying, Mingsheng ACM Transactions on Programming Languages and Systems, Vol. 33, Issue 6 https://doi.org/10.1145/2049706.2049708	journal	December 2011
An applied quantum Hoare logic Zhou, Li; Yu, Nengkun; Ying, Mingsheng PLDI '19: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation https://doi.org/10.1145/3314221.3314584	conference	June 2019
Why3 — Where Programs Meet Provers Filliâtre, Jean-Christophe; Paskevich, Andrei Programming Languages and Systems https://doi.org/10.1007/978-3-642-37036-6_8	book	January 2013
Quantum weakest preconditions D'Hondt, Ellie; Panangaden, Prakash Mathematical Structures in Computer Science, Vol. 16, Issue 3 https://doi.org/10.1017/S0960129506005251	journal	June 2006
SAT-based {CNOT, T} Quantum Circuit Synthesis Meuli, Giulia; Soeken, Mathias; De Micheli, Giovanni Reversible Computation https://doi.org/10.1007/978-3-319-99498-7_12	book	January 2018
Formalization of Quantum Protocols using Coq Boender, Jaap; Kammüller, Florian; Nagarajan, Rajagopal Electronic Proceedings in Theoretical Computer Science, Vol. 195 https://doi.org/10.4204/EPTCS.195.6	journal	November 2015
QWIRE Practice: Formal Verification of Quantum Circuits in Coq Rand, Robert; Paykin, Jennifer; Zdancewic, Steve Electronic Proceedings in Theoretical Computer Science, Vol. 266 https://doi.org/10.4204/EPTCS.266.8	journal	February 2018
An Automated Deductive Verification Framework for Circuit-building Quantum Programs Chareton, Christophe; Bardin, Sébastien; Bobot, François Programming Languages and Systems https://doi.org/10.1007/978-3-030-72019-3_6	book	March 2021
Polynomial-Time T-Depth Optimization of Clifford+T Circuits Via Matroid Partitioning Amy, Matthew; Maslov, Dmitri; Mosca, Michele IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 33, Issue 10 https://doi.org/10.1109/TCAD.2014.2341953	journal	October 2014
Reversible Pebble Game on Trees Komarath, Balagopal; Sarma, Jayalal; Sawlani, Saurabh Lecture Notes in Computer Science https://doi.org/10.1007/978-3-319-21398-9_7	book	January 2015
Quantum circuits and low-degree polynomials over ${{\mathbb{F}}_\mathsf{2}}$ Montanaro, Ashley Journal of Physics A: Mathematical and Theoretical, Vol. 50, Issue 8 https://doi.org/10.1088/1751-8121/aa565f	journal	January 2017
Logic Minimization Techniques with Applications to Cryptology Boyar, Joan; Matthews, Philip; Peralta, René Journal of Cryptology, Vol. 26, Issue 2 https://doi.org/10.1007/s00145-012-9124-7	journal	May 2012
The multiplicative complexity of quadratic Boolean functions Mirwald, R.; Schnorr, C. P. 28th Annual Symposium on Foundations of Computer Science (sfcs 1987) https://doi.org/10.1109/SFCS.1987.57	conference	October 1987
Reducing the Multiplicative Complexity in Logic Networks for Cryptography and Security Applications Testa, Eleonora; Soeken, Mathias; Amarù, Luca Proceedings of the 56th Annual Design Automation Conference 2019 https://doi.org/10.1145/3316781.3317893	conference	June 2019
The Role of Multiplicative Complexity in Compiling Low $T$-count Oracle Circuits Meuli, Giulia; Soeken, Mathias; Campbell, Earl 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) https://doi.org/10.1109/ICCAD45719.2019.8942093	conference	November 2019
Just a Pebble Game Chan, Siu Man 2013 IEEE Conference on Computational Complexity https://doi.org/10.1109/CCC.2013.22	conference	June 2013
Time/Space Trade-Offs for Reversible Computation Bennett, Charles H. SIAM Journal on Computing, Vol. 18, Issue 4 https://doi.org/10.1137/0218053	journal	August 1989
Reversible Pebbling Game for Quantum Memory Management Meuli, Giulia; Soeken, Mathias; Roetteler, Martin 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) https://doi.org/10.23919/DATE.2019.8715092	conference	March 2019
Quantum Hoare Logic with Ghost Variables Unruh, Dominique 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) https://doi.org/10.1109/LICS.2019.8785779	conference	June 2019
Low-overhead constructions for the fault-tolerant Toffoli gate Jones, Cody Physical Review A, Vol. 87, Issue 2 https://doi.org/10.1103/PhysRevA.87.022328	journal	February 2013
Advantages of using relative-phase Toffoli gates with an application to multiple control Toffoli optimization Maslov, Dmitri Physical Review A, Vol. 93, Issue 2 https://doi.org/10.1103/PhysRevA.93.022311	journal	February 2016
Coupling superconducting qubits via a cavity bus Majer, J.; Chow, J. M.; Gambetta, J. M. Nature, Vol. 449, Issue 7161 https://doi.org/10.1038/nature06184	journal	September 2007
A Quantum Interpretation of Bunched Logic & Quantum Separation Logic Zhou, Li; Barthe, Gilles; Hsu, Justin 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) https://doi.org/10.1109/LICS52264.2021.9470673	conference	June 2021
A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic Le, Xuan-Bach; Lin, Shang-Wei; Sun, Jun Proceedings of the ACM on Programming Languages, Vol. 6, Issue POPL https://doi.org/10.1145/3498697	journal	January 2022
Quantitative robustness analysis of quantum programs Hung, Shih-Han; Hietala, Kesha; Zhu, Shaopeng Proceedings of the ACM on Programming Languages, Vol. 3, Issue POPL https://doi.org/10.1145/3290344	journal	January 2019
A proof system for disjoint parallel quantum programs Ying, Mingsheng; Zhou, Li; Li, Yangjia Theoretical Computer Science, Vol. 897 https://doi.org/10.1016/j.tcs.2021.10.025	journal	January 2022
Quantum relational Hoare logic Unruh, Dominique Proceedings of the ACM on Programming Languages, Vol. 3, Issue POPL https://doi.org/10.1145/3290346	journal	January 2019
Materials in superconducting quantum bits Oliver, William D.; Welander, Paul B. MRS Bulletin, Vol. 38, Issue 10 https://doi.org/10.1557/mrs.2013.229	journal	October 2013
Fluxonium: Single Cooper-Pair Circuit Free of Charge Offsets Manucharyan, V. E.; Koch, J.; Glazman, L. I. Science, Vol. 326, Issue 5949 https://doi.org/10.1126/science.1175552	journal	October 2009
Josephson Persistent-Current Qubit Mooij, J. E. Science, Vol. 285, Issue 5430 https://doi.org/10.1126/science.285.5430.1036	journal	August 1999
Charge-insensitive qubit design derived from the Cooper pair box Koch, Jens; Yu, Terri M.; Gambetta, Jay Physical Review A, Vol. 76, Issue 4 https://doi.org/10.1103/PhysRevA.76.042319	journal	October 2007
Procedure for systematically tuning up cross-talk in the cross-resonance gate Sheldon, Sarah; Magesan, Easwar; Chow, Jerry M. Physical Review A, Vol. 93, Issue 6 https://doi.org/10.1103/PhysRevA.93.060302	journal	June 2016
Demonstration of a parametrically activated entangling gate protected from flux noise Hong, Sabrina S.; Papageorge, Alexander T.; Sivarajah, Prasahnt Physical Review A, Vol. 101, Issue 1 https://doi.org/10.1103/PhysRevA.101.012302	journal	January 2020
Decoherence benchmarking of superconducting qubits Burnett, Jonathan J.; Bengtsson, Andreas; Scigliuzzo, Marco npj Quantum Information, Vol. 5, Issue 1 https://doi.org/10.1038/s41534-019-0168-5	journal	June 2019
Device challenges for near term superconducting quantum processors: frequency collisions Brink, Markus; Chow, Jerry M.; Hertzberg, Jared 2018 IEEE International Electron Devices Meeting (IEDM) https://doi.org/10.1109/IEDM.2018.8614500	conference	December 2018
Coherent Josephson Qubit Suitable for Scalable Quantum Integrated Circuits Barends, R.; Kelly, J.; Megrant, A. Physical Review Letters, Vol. 111, Issue 8 https://doi.org/10.1103/PhysRevLett.111.080502	journal	August 2013
Demonstration of two-qubit algorithms with a superconducting quantum processor DiCarlo, L.; Chow, J. M.; Gambetta, J. M. Nature, Vol. 460, Issue 7252 https://doi.org/10.1038/nature08121	journal	June 2009
Scalable Mitigation of Measurement Errors on Quantum Computers Nation, Paul D.; Kang, Hwajung; Sundaresan, Neereja PRX Quantum, Vol. 2, Issue 4 https://doi.org/10.1103/PRXQuantum.2.040326	journal	November 2021
Exact and approximate continuous-variable gate decompositions Kalajdzievski, Timjan; Quesada, Nicolás Quantum, Vol. 5 https://doi.org/10.22331/q-2021-02-08-394	journal	February 2021
Number-Theoretic Characterizations of Some Restricted Clifford+T Circuits Amy, Matthew; Glaudell, Andrew N.; Ross, Neil J. Quantum, Vol. 4 https://doi.org/10.22331/q-2020-04-06-252	journal	April 2020
Synthesis of quantum circuits for linear nearest neighbor architectures Saeedi, Mehdi; Wille, Robert; Drechsler, Rolf Quantum Information Processing, Vol. 10, Issue 3 https://doi.org/10.1007/s11128-010-0201-2	journal	October 2010
Exact Reordering of Circuit Lines for Nearest Neighbor Quantum Architectures Wille, Robert; Lye, Aaron; Drechsler, Rolf IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 33, Issue 12 https://doi.org/10.1109/TCAD.2014.2356463	journal	December 2014
Using Spectral Graph Theory to Map Qubits onto Connectivity-limited Devices Lin, Joseph X.; Anschuetz, Eric R.; Harrow, Aram W. ACM Transactions on Quantum Computing, Vol. 2, Issue 1 https://doi.org/10.1145/3436752	journal	February 2021
Demonstration of a quantum error detection code using a square lattice of four superconducting qubits Córcoles, A. D.; Magesan, Easwar; Srinivasan, Srikanth J. Nature Communications, Vol. 6, Issue 1 https://doi.org/10.1038/ncomms7979	journal	April 2015
Demonstration of Weight-Four Parity Measurements in the Surface Code Architecture Takita, Maika; Córcoles, A. D.; Magesan, Easwar Physical Review Letters, Vol. 117, Issue 21 https://doi.org/10.1103/PhysRevLett.117.210505	journal	November 2016
Improving wafer-scale Josephson junction resistance variation in superconducting quantum coherent circuits Kreikebaum, J. M.; O’Brien, K. P.; Morvan, A. Superconductor Science and Technology, Vol. 33, Issue 6 https://doi.org/10.1088/1361-6668/ab8617	journal	May 2020
Universal Quantum Gate Set Approaching Fault-Tolerant Thresholds with Superconducting Qubits Chow, Jerry M.; Gambetta, Jay M.; Córcoles, A. D. Physical Review Letters, Vol. 109, Issue 6 https://doi.org/10.1103/PhysRevLett.109.060501	journal	August 2012
Asynchronous Dynamic Single-Flux Quantum Majority Gates Krylov, Gleb; Friedman, Eby G. IEEE Transactions on Applied Superconductivity, Vol. 30, Issue 5 https://doi.org/10.1109/TASC.2020.2978428	journal	August 2020
Low-Energy Consumption RSFQ Circuits Driven by Low Voltages Tanaka, M.; Kitayama, A.; Koketsu, T. IEEE Transactions on Applied Superconductivity, Vol. 23, Issue 3 https://doi.org/10.1109/TASC.2013.2240555	journal	June 2013
Ultra-low-power superconductor logic Herr, Quentin P.; Herr, Anna Y.; Oberg, Oliver T. Journal of Applied Physics, Vol. 109, Issue 10, Article No. 103903 https://doi.org/10.1063/1.3585849	journal	May 2011
Building logical qubits in a superconducting quantum computing system Gambetta, Jay M.; Chow, Jerry M.; Steffen, Matthias npj Quantum Information, Vol. 3, Issue 1 https://doi.org/10.1038/s41534-016-0004-0	journal	January 2017
Energy-Efficient Single Flux Quantum Technology Mukhanov, Oleg A. IEEE Transactions on Applied Superconductivity, Vol. 21, Issue 3 https://doi.org/10.1109/TASC.2010.2096792	journal	June 2011
RSFQ logic/memory family: a new Josephson-junction technology for sub-terahertz-clock-frequency digital systems Likharev, K. K.; Semenov, V. K. IEEE Transactions on Appiled Superconductivity, Vol. 1, Issue 1 https://doi.org/10.1109/77.80745	journal	March 1991
Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations Wille, Robert; Burgholzer, Lukas; Zulehner, Alwin DAC '19: The 56th Annual Design Automation Conference 2019, Proceedings of the 56th Annual Design Automation Conference 2019 https://doi.org/10.1145/3316781.3317859	conference	June 2019
Optimization of quantum circuit mapping using gate transformation and commutation Itoko, Toshinari; Raymond, Rudy; Imamichi, Takashi Integration, Vol. 70 https://doi.org/10.1016/j.vlsi.2019.10.004	journal	January 2020
Optimal layout synthesis for quantum computing Tan, Bochen; Cong, Jason Proceedings of the 39th International Conference on Computer-Aided Design https://doi.org/10.1145/3400302.3415620	conference	November 2020
Symbolic Algorithms for Token Swapping Schmitt, Bruno; Soeken, Mathias; Micheli, Giovanni De 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL) https://doi.org/10.1109/ISMVL49045.2020.00-34	conference	November 2020
Noise-Adaptive Compiler Mappings for Noisy Intermediate-Scale Quantum Computers Murali, Prakash; Baker, Jonathan M.; Javadi-Abhari, Ali ASPLOS '19: Architectural Support for Programming Languages and Operating Systems, Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems https://doi.org/10.1145/3297858.3304075	conference	April 2019
Qure Ash-Saki, Abdullah; Alam, Mahabubul; Ghosh, Swaroop Proceedings of the 56th Annual Design Automation Conference 2019 https://doi.org/10.1145/3316781.3317888	conference	June 2019
A fast quantum mechanical algorithm for database search Grover, Lov K. Proceedings of the twenty-eighth annual ACM symposium on Theory of computing - STOC '96 https://doi.org/10.1145/237814.237866	conference	January 1996
Optimized Compilation of Aggregated Instructions for Realistic Quantum Computers Shi, Yunong; Leung, Nelson; Gokhale, Pranav ASPLOS '19: Architectural Support for Programming Languages and Operating Systems, Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems https://doi.org/10.1145/3297858.3304018	conference	April 2019
Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer Shor, Peter W. SIAM Journal on Computing, Vol. 26, Issue 5 https://doi.org/10.1137/S0097539795293172	journal	October 1997
Software Mitigation of Crosstalk on Noisy Intermediate-Scale Quantum Computers Murali, Prakash; Mckay, David C.; Martonosi, Margaret ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems https://doi.org/10.1145/3373376.3378477	conference	March 2020
Logic Optimization, Complex Cell Design, and Retiming of Single Flux Quantum Circuits Katam, Naveen Kumar; Pedram, Massoud IEEE Transactions on Applied Superconductivity, Vol. 28, Issue 7 https://doi.org/10.1109/TASC.2018.2856833	journal	October 2018
A Dynamic Programming-Based, Path Balancing Technology Mapping Algorithm Targeting Area Minimization Pasandi, Ghasem; Pedram, Massoud 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) https://doi.org/10.1109/ICCAD45719.2019.8942053	conference	November 2019
Splitter Trees in Single Flux Quantum Circuits Jabbari, Tahereh; Krylov, Gleb; Kawa, Jamil IEEE Transactions on Applied Superconductivity, Vol. 31, Issue 5 https://doi.org/10.1109/TASC.2021.3070802	journal	August 2021
MANA: A Monolithic Adiabatic iNtegration Architecture Microprocessor using 1.4zJ/op Superconductor Josephson Junction Devices Ayala, Christopher L.; Tanaka, Tomoyuki; Saito, Ro 2020 IEEE Symposium on VLSI Circuits https://doi.org/10.1109/VLSICircuits18222.2020.9162792	conference	June 2020
ColdFlux Superconducting EDA and TCAD Tools Project: Overview and Progress Fourie, Coenrad Johann; Jackman, Kyle; Botha, Matthys M. IEEE Transactions on Applied Superconductivity, Vol. 29, Issue 5 https://doi.org/10.1109/TASC.2019.2892115	journal	August 2019
Beyond local optimality of buffer and splitter insertion for AQFP circuits Lee, Siang-Yun; Riener, Heinz; De Micheli, Giovanni Proceedings of the 59th ACM/IEEE Design Automation Conference https://doi.org/10.1145/3489517.3530661	conference	July 2022
Algebraic and Boolean Optimization Methods for AQFP Superconducting Circuits Testa, Eleonora; Lee, Siang-Yun; Riener, Heinz Proceedings of the 26th Asia and South Pacific Design Automation Conference https://doi.org/10.1145/3394885.3431606	conference	January 2021
A Buffer and Splitter Insertion Framework for Adiabatic Quantum-Flux-Parametron Superconducting Circuits Cai, Ruizhe; Chen, Olivia; Ren, Ao 2019 IEEE 37th International Conference on Computer Design (ICCD) https://doi.org/10.1109/ICCD46524.2019.00067	conference	November 2019
A Majority Logic Synthesis Framework for Adiabatic Quantum-Flux-Parametron Superconducting Circuits Cai, Ruizhe; Chen, Olivia; Ren, Ao Proceedings of the 2019 on Great Lakes Symposium on VLSI https://doi.org/10.1145/3299874.3317980	conference	May 2019
Quantum Circuits for General Multiqubit Gates Möttönen, Mikko; Vartiainen, Juha J.; Bergholm, Ville Physical Review Letters, Vol. 93, Issue 13 https://doi.org/10.1103/PhysRevLett.93.130502	journal	September 2004
Phase-state duality in reversible circuit design Amy, Matthew; Ross, Neil J. Physical Review A, Vol. 104, Issue 5 https://doi.org/10.1103/PhysRevA.104.052602	journal	November 2021
Optimization of Quantum Boolean Circuits by Relative-Phase Toffoli Gates Kuroda, Shohei; Yamashita, Shigeru Reversible Computation https://doi.org/10.1007/978-3-031-09005-9_2	book	January 2022
Efficient Construction of a Control Modular Adder on a Carry-Lookahead Adder Using Relative-Phase Toffoli Gates Oonishi, Kento; Tanaka, Tomoki; Uno, Shumpei IEEE Transactions on Quantum Engineering, Vol. 3 https://doi.org/10.1109/TQE.2021.3136195	journal	January 2022
Halving the cost of quantum addition Gidney, Craig Quantum, Vol. 2 https://doi.org/10.22331/q-2018-06-18-74	journal	June 2018
Reducing T-count When Decomposing Many MPMCT Gates Simultaneously Esaki, Soma; Yamashita, Shigeru 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL) https://doi.org/10.1109/ISMVL49045.2020.00-35	conference	November 2020
Quantum circuits for isometries Iten, Raban; Colbeck, Roger; Kukuljan, Ivan Physical Review A, Vol. 93, Issue 3 https://doi.org/10.1103/PhysRevA.93.032318	journal	March 2016
A Meet-in-the-Middle Algorithm for Fast Synthesis of Depth-Optimal Quantum Circuits Amy, M.; Maslov, D.; Mosca, M. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 32, Issue 6 https://doi.org/10.1109/TCAD.2013.2244643	journal	June 2013
Synthesis of quantum-logic circuits Shende, V. V.; Bullock, S. S.; Markov, I. L. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 25, Issue 6 https://doi.org/10.1109/TCAD.2005.855930	journal	June 2006
QuCTS—Single-Flux Quantum Clock Tree Synthesis Bairamkulov, Rassul; Jabbari, Tahereh; Friedman, Eby G. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 41, Issue 10 https://doi.org/10.1109/TCAD.2021.3123141	journal	October 2022
Interconnect Routing for Large-Scale RSFQ Circuits Jabbari, Tahereh; Krylov, Gleb; Whiteley, Stephen IEEE Transactions on Applied Superconductivity, Vol. 29, Issue 5 https://doi.org/10.1109/TASC.2019.2903023	journal	August 2019
An adiabatic quantum flux parametron as an ultra-low-power logic device Takeuchi, Naoki; Ozawa, Dan; Yamanashi, Yuki Superconductor Science and Technology, Vol. 26, Issue 3 https://doi.org/10.1088/0953-2048/26/3/035010	journal	January 2013
Standard Cell Layout Synthesis for Row-Based Placement and Routing of RSFQ and AQFP Logic Families Schindler, Lieze; van Staden, Ruben; Fourie, Coenrad J. 2019 IEEE International Superconductive Electronics Conference (ISEC) https://doi.org/10.1109/ISEC46533.2019.8990962	conference	July 2019
Flux Mitigation in Wide Superconductive Striplines Jabbari, Tahereh; Friedman, Eby G. IEEE Transactions on Applied Superconductivity, Vol. 32, Issue 5 https://doi.org/10.1109/TASC.2022.3154348	journal	August 2022
Adiabatic quantum-flux-parametron cell library adopting minimalist design Takeuchi, Naoki; Yamanashi, Yuki; Yoshikawa, Nobuyuki Journal of Applied Physics, Vol. 117, Issue 17 https://doi.org/10.1063/1.4919838	journal	May 2015
The Parametron, a Digital Computing Element Which Utilizes Parametric Oscillation Goto, Eiichi Proceedings of the IRE, Vol. 47, Issue 8 https://doi.org/10.1109/JRPROC.1959.287195	journal	August 1959
A semi-custom design methodology and environment for implementing superconductor adiabatic quantum-flux-parametron microprocessors Ayala, Christopher L.; Saito, Ro; Tanaka, Tomoyuki Superconductor Science and Technology, Vol. 33, Issue 5 https://doi.org/10.1088/1361-6668/ab7ec3	journal	March 2020
Elementary gates for quantum computation Barenco, Adriano; Bennett, Charles H.; Cleve, Richard Physical Review A, Vol. 52, Issue 5 https://doi.org/10.1103/PhysRevA.52.3457	journal	November 1995
Majority-Logic-Optimized Parallel Prefix Carry Look-Ahead Adder Families Using Adiabatic Quantum-Flux-Parametron Logic Ayala, Christopher L.; Takeuchi, Naoki; Yamanashi, Yuki IEEE Transactions on Applied Superconductivity, Vol. 27, Issue 4 https://doi.org/10.1109/TASC.2016.2642041	journal	June 2017
Roads towards fault-tolerant universal quantum computation Campbell, Earl T.; Terhal, Barbara M.; Vuillot, Christophe Nature, Vol. 549, Issue 7671 https://doi.org/10.1038/nature23460	journal	September 2017
Quantum Computing in the NISQ era and beyond Preskill, John Quantum, Vol. 2 https://doi.org/10.22331/q-2018-08-06-79	journal	August 2018
Challenges and Opportunities of Near-Term Quantum Computing Systems Corcoles, Antonio D.; Kandala, Abhinav; Javadi-Abhari, Ali Proceedings of the IEEE, Vol. 108, Issue 8 https://doi.org/10.1109/JPROC.2019.2954005	journal	August 2020
Hardware-efficient variational quantum eigensolver for small molecules and quantum magnets Kandala, Abhinav; Mezzacapo, Antonio; Temme, Kristan Nature, Vol. 549, Issue 7671 https://doi.org/10.1038/nature23879	journal	September 2017
Quantum simulations of materials on near-term quantum computers Ma, He; Govoni, Marco; Galli, Giulia npj Computational Materials, Vol. 6, Issue 1 https://doi.org/10.1038/s41524-020-00353-z	journal	July 2020
Potential of quantum computing for drug discovery Cao, Y.; Romero, J.; Aspuru-Guzik, A. IBM Journal of Research and Development, Vol. 62, Issue 6 https://doi.org/10.1147/JRD.2018.2888987	journal	November 2018
A quantum engineer's guide to superconducting qubits Krantz, P.; Kjaergaard, M.; Yan, F. Applied Physics Reviews, Vol. 6, Issue 2 https://doi.org/10.1063/1.5089550	journal	June 2019
Efficient decomposition of single-qubit gates intoVbasis circuits Bocharov, Alex; Gurevich, Yuri; Svore, Krysta M. Physical Review A, Vol. 88, Issue 1 https://doi.org/10.1103/PhysRevA.88.012313	journal	July 2013
Superconducting Qubits: Current State of Play Kjaergaard, Morten; Schwartz, Mollie E.; Braumüller, Jochen Annual Review of Condensed Matter Physics, Vol. 11, Issue 1 https://doi.org/10.1146/annurev-conmatphys-031119-050605	journal	March 2020
Parallelizing quantum circuit synthesis Matteo, Olivia Di; Mosca, Michele Quantum Science and Technology, Vol. 1, Issue 1 https://doi.org/10.1088/2058-9565/1/1/015003	journal	March 2016
Efficient Clifford+T approximation of single-qubit operators Selinger, Peter Quantum Information and Computation, Vol. 15, Issue 1&2 https://doi.org/10.26421/QIC15.1-2-10	journal	January 2015
Asymptotically Optimal Approximation of Single Qubit Unitaries by Clifford and T Circuits Using a Constant Number of Ancillary Qubits Kliuchnikov, Vadym; Maslov, Dmitri; Mosca, Michele Physical Review Letters, Vol. 110, Issue 19 https://doi.org/10.1103/PhysRevLett.110.190502	journal	May 2013
Optimal ancilla-free Pauli+V circuits for axial rotations Blass, Andreas; Bocharov, Alex; Gurevich, Yuri Journal of Mathematical Physics, Vol. 56, Issue 12 https://doi.org/10.1063/1.4936990	journal	December 2015
Efficient synthesis of probabilistic quantum circuits with fallback Bocharov, Alex; Roetteler, Martin; Svore, Krysta M. Physical Review A, Vol. 91, Issue 5 https://doi.org/10.1103/PhysRevA.91.052317	journal	May 2015
Majority-Inverter Graph Amarú, Luca; Gaillardon, Pierre-Emmanuel; De Micheli, Giovanni Proceedings of the 51st Annual Design Automation Conference https://doi.org/10.1145/2593069.2593158	conference	June 2014
Majority-Inverter Graph: A New Paradigm for Logic Optimization Amaru, Luca; Gaillardon, Pierre-Emmanuel; De Micheli, Giovanni IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 35, Issue 5 https://doi.org/10.1109/TCAD.2015.2488484	journal	May 2016
Wave-pipelining: a tutorial and research survey Burleson, W. P.; Ciesielski, M.; Klass, F. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, Vol. 6, Issue 3 https://doi.org/10.1109/92.711317	journal	September 1998
20GHz Operation of an Asynchronous Wave-Pipelined RSFQ Arithmetic-Logic Unit Filippov, Timur V.; Sahu, Anubhav; Kirichenko, Alex F. Physics Procedia, Vol. 36 https://doi.org/10.1016/j.phpro.2012.06.130	journal	January 2012
Demonstration of a 47.8 GHz High-Speed FFT Processor Using Single-Flux-Quantum Technology Ke, Fei; Chen, Olivia; Wang, Yanzhi IEEE Transactions on Applied Superconductivity, Vol. 31, Issue 5 https://doi.org/10.1109/TASC.2021.3059984	journal	August 2021
Lower bounds on the non-Clifford resources for quantum computations Beverland, Michael; Campbell, Earl; Howard, Mark Quantum Science and Technology, Vol. 5, Issue 3 https://doi.org/10.1088/2058-9565/ab8963	journal	June 2020

Similar Records

Advances in Quantum Computation and Quantum Technologies: A Design Automation Perspective

Journal Article · 2022 · IEEE Journal on Emerging and Selected Topics in Circuits and Systems · OSTI ID:1891561

De Micheli, Giovanni; Jiang, Jie-Hong R.; Rand, Robert; +2 more

Survey of Low-Power Electric Vehicles: A Design Automation Perspective

Journal Article · 2018 · IEEE Design & Test · OSTI ID:1612826

Chang, Naehyuck; Faruque, Mohammad Al; Shao, Zili; +3 more

Related Subjects

Engineering

Advances in Quantum Computation and Quantum Technologies: A Design Automation Perspective

Citation Formats

References (203)

Similar Records

Related Subjects