标题： 量子计算机的设计自动化与设计空间探索 显示英文标题

标题： Design Automation and Design Space Exploration for Quantum Computers

摘要： 量子线性系统算法以及近期量子模拟算法在实际部署时面临的一个主要障碍，在于使用现有的手工编码方法难以找到廉价的可逆电路。 受可逆逻辑综合领域最新进展的启发，我们利用经典的数字设计自动化流程和工具来合成算术电路。 经典逻辑与可逆逻辑综合技术的结合，使得从诸如Verilog等熟知的硬件描述语言出发，能够自动设计出可逆逻辑中的大型组件。 作为我们方法的一个原型示例，我们自动生成了用于量子线性系统算法所必需的倒数运算$1/x$的高质量网络。 显示英文摘要

摘要： A major hurdle to the deployment of quantum linear systems algorithms and recent quantum simulation algorithms lies in the difficulty to find inexpensive reversible circuits for arithmetic using existing hand coded methods. Motivated by recent advances in reversible logic synthesis, we synthesize arithmetic circuits using classical design automation flows and tools. The combination of classical and reversible logic synthesis enables the automatic design of large components in reversible logic starting from well-known hardware description languages such as Verilog. As a prototype example for our approach we automatically generate high quality networks for the reciprocal $1/x$, which is necessary for quantum linear systems algorithms.