Computer-Aided Design for Quantum Computation
暂无分享,去创建一个
[1] Todd A. Brun,et al. A simple model of quantum trajectories , 2002 .
[2] Xiang Fu,et al. QX: A high-performance quantum computer simulation platform , 2017, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.
[3] J. Smolin,et al. Trading Classical and Quantum Computational Resources , 2015, 1506.01396.
[4] Robert Wille,et al. Equivalence Checking of Reversible Circuits , 2009, 2009 39th International Symposium on Multiple-Valued Logic.
[5] Michael Gschwind,et al. IBM POWER8 processor core microarchitecture , 2015, IBM J. Res. Dev..
[6] Robert Wille,et al. Look-ahead schemes for nearest neighbor optimization of 1D and 2D quantum circuits , 2016, 2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC).
[7] John P. Hayes,et al. Improving Gate-Level Simulation of Quantum Circuits , 2003, Quantum Inf. Process..
[8] Peter Selinger,et al. Exact synthesis of multi-qubit Clifford+T circuits , 2012, ArXiv.
[9] Robert Wille,et al. Exact Reordering of Circuit Lines for Nearest Neighbor Quantum Architectures , 2014, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[10] Benoît Valiron,et al. Quipper: a scalable quantum programming language , 2013, PLDI.
[11] Thierry Paul,et al. Quantum computation and quantum information , 2007, Mathematical Structures in Computer Science.
[12] Matthias Troyer,et al. ProjectQ: An Open Source Software Framework for Quantum Computing , 2016, ArXiv.
[13] Yehuda Naveh,et al. Constraint-Based Random Stimuli Generation for Hardware Verification , 2006, AI Mag..
[14] John A. Gunnels,et al. Breaking the 49-Qubit Barrier in the Simulation of Quantum Circuits , 2017, 1710.05867.
[15] Robert Wille,et al. An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures , 2017, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[16] Robert Wille,et al. One-Pass Design of Reversible Circuits: Combining Embedding and Synthesis for Reversible Logic , 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[17] Roman Orus,et al. A Practical Introduction to Tensor Networks: Matrix Product States and Projected Entangled Pair States , 2013, 1306.2164.
[18] Austin G. Fowler,et al. Surface code quantum computing by lattice surgery , 2011, 1111.4022.
[19] Andrew W. Cross,et al. Open Quantum Assembly Language , 2017, 1707.03429.
[20] E. Farhi,et al. A Quantum Approximate Optimization Algorithm , 2014, 1411.4028.
[21] Masaki Nakanishi,et al. An efficient conversion of quantum circuits to a linear nearest neighbor architecture , 2011, Quantum Inf. Comput..
[22] Sy-Yen Kuo,et al. An XQDD-Based Verification Method for Quantum Circuits , 2008, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..
[23] Austin G. Fowler,et al. Leakage and Paralysis in Ancilla-assisted Qubit Measurement: Consequences for Topological Error Correction in Superconducting Architectures , 2013 .
[24] John Preskill,et al. Quantum Computing in the NISQ era and beyond , 2018, Quantum.
[25] Robert Wille,et al. Equivalence Checking in Multi-level Quantum Systems , 2014, RC.
[26] Robert Wille,et al. Synthesis of quantum circuits for linear nearest neighbor architectures , 2011, Quantum Inf. Process..
[27] Robert Wille,et al. Improved synthesis of Clifford+T quantum functionality , 2018, 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).
[28] Chen-Fu Chiang,et al. Scaffold: Quantum Programming Language , 2012 .
[29] Robert Wille,et al. Compiling SU(4) quantum circuits to IBM QX architectures , 2018, ASP-DAC.
[30] J. Gambetta,et al. Hardware-efficient variational quantum eigensolver for small molecules and quantum magnets , 2017, Nature.
[31] Elham Kashefi,et al. Theoretical and practical aspects of verification of quantum computers , 2018, 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).
[32] Robert Wille,et al. Advanced Simulation of Quantum Computations , 2017, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[33] B. J. Metcalf,et al. Boson Sampling on a Photonic Chip , 2012, Science.
[34] Joseph Emerson,et al. Scalable and robust randomized benchmarking of quantum processes. , 2010, Physical review letters.
[35] Austin G. Fowler,et al. Leakage-resilient approach to fault-tolerant quantum computing with superconducting elements , 2014, 1406.2404.
[36] Peter W. Shor,et al. Algorithms for quantum computation: discrete logarithms and factoring , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.
[37] Robert Wille,et al. QMDDs: Efficient Quantum Function Representation and Manipulation , 2016, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[38] Alireza Shafaei,et al. Optimization of quantum circuits for interaction distance in linear nearest neighbor architectures , 2013, 2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC).
[39] Robert Wille,et al. Efficient synthesis of quantum circuits implementing clifford group operations , 2014, 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC).