arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1507.01902quant-phcs.PL
收藏

ScaffCC:量子程序的可扩展编译与分析

ScaffCC: Scalable Compilation and Analysis of Quantum Programs

Ali JavadiAbhari, Shruti Patil, Daniel Kudrow, Jeff Heckey, Alexey Lvov, Frederic T. Chong, Margaret Martonosi

摘要:

我们提出了ScaffCC,一个可扩展的编译和分析框架的基础上LLVM,它可以用于编译量子计算应用程序在逻辑级别。借鉴成熟的编译器技术,我们讨论了经典和量子程序的编译之间的异同,并调整我们的方法来优化编译时间和输出的量子情况。我们的工作还集成了一个可逆的逻辑合成工具的编译器,以方便编码的量子线路。最后,我们提出了一些有用的量子程序分析方案,并讨论了它们的影响,特别是详细讨论了关键路径估计的时序分析。我们的工作重点是弥合高级别量子算法规范和低级别物理实现之间的差距,同时为更大和更有趣的问题提供良好的可扩展性

英文摘要:

We present ScaffCC, a scalable compilation and analysis framework based on LLVM, which can be used for compiling quantum computing applications at the logical level. Drawing upon mature compiler technologies, we discuss similarities and differences between compilation of classical and quantum programs, and adapt our methods to optimizing the compilation time and output for the quantum case. Our work also integrates a reversible-logic synthesis tool in the compiler to facilitate coding of quantum circuits. Lastly, we present some useful quantum program analysis scenarios and discuss their implications, specifically with an elaborate discussion of timing analysis for critical path estimation. Our work focuses on bridging the gap between high-level quantum algorithm specifi- cations and low-level physical implementations, while providing good scalability to larger and more interesting problems

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑