The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing
2024 IEEE International Conference on Quantum Software (QSW)(2024)
摘要
Quantum computers are becoming a reality and numerous quantum computingapplications with a near-term perspective (e.g., for finance, chemistry,machine learning, and optimization) and with a long-term perspective (e.g., forcryptography or unstructured search) are currently being investigated. However,designing and realizing potential applications for these devices in a scalablefashion requires automated, efficient, and user-friendly software tools thatcater to the needs of end users, engineers, and physicists at every level ofthe entire quantum software stack. Many of the problems to be tackled in thatregard are similar to design problems from the classical realm for whichsophisticated design automation tools have been developed in the previousdecades. The Munich Quantum Toolkit (MQT) is a collection of software tools forquantum computing developed by the Chair for Design Automation at the TechnicalUniversity of Munich which explicitly utilizes this design automationexpertise. Our overarching objective is to provide solutions for design tasksacross the entire quantum software stack. This entails high-level support forend users in realizing their applications, efficient methods for the classicalsimulation, compilation, and verification of quantum circuits, tools forquantum error correction, support for physical design, and more. These methodsare supported by corresponding data structures (such as decision diagrams) andcore methods (such as SAT encodings/solvers). All of the developed tools areavailable as open-source implementations and are hosted onhttps://github.com/cda-tum.
更多查看译文
关键词
Quantum Computing,Design Automation Tools,Machine Learning,Software Tools,End-users,Circuit Simulation,Design Support,Open-source Implementation,Task Solution,Quantum Circuit,Core Method,Quantum Error Correction,Entire Stack,Influence Diagram,Class Of Systems,Automatic Method,Level Of Abstraction,Quantum State,Classical Computer,Classical Circuit,Electronic Design Automation,Quantum Algorithms,Quantum Gates
AI 理解论文
溯源树
样例
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要