JKQ: JKU Tools for Quantum Computing
JKQ: JKU Tools for Quantum Computing
复制标题
JKQ：JKU 量子计算工具
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Lukas Burgholzer
中科院分区：
文献类型：
--
作者：
R. Wille;S. Hillmich;Lukas Burgholzer
随着量子计算机即将实用化，有一个活跃的社区开发用于设计相应量子电路的工具包。这里要解决的许多问题与经典领域的设计问题相似，在过去的几十年里已经开发了复杂的设计自动化工具。在本文中，我们提出了JKQ-一套工具的量子计算开发的约翰内斯开普勒大学（JKU）林茨，利用这种设计自动化的专业知识。通过这一点，我们为量子计算中的许多设计问题提供了补充方法，例如模拟，编译或验证。在下文中，我们为希望使用这些工具的潜在用户以及希望扩展这些工具的潜在开发人员提供了这些工具的介绍。
With quantum computers on the brink of practical applicability, there is a lively community that develops toolkits for the design of corresponding quantum circuits. Many of the problems to be tackled here are similar to design problems from the classical realm for which sophisticated design automation tools have been developed in the previous decades. In this paper, we present JKQ-a set of tools for quantum computing developed at the Johannes Kepler University (JKU) Linz which utilizes this design automation expertise. By this, we offer complementary approaches for many design problems in quantum computing such as simulation, compilation, or verification. In the following, we provide an introduction of the tools for potential users who would like to work with them as well as potential developers aiming to extend them.