对于量子软件,一大堆软件工程是必不可少的,以释放量子计算的全部功能。迄今为止,正在出现量子计算语言,操作系统,编译器和应用程序。量子软件工程需要在不同的抽象水平上进行域知识。特别是将量子算法或应用程序编译为量子处理器上可执行的格式,需要将高级编程语言代码转换为低级量子组装代码,该代码由表示为量子电路的一系列单一操作组成。汇编需要高级,逻辑级别和设计自动化技术的物理水平合成。此外,还必须验证量子算法和电路的设计以确保正确性。正式验证,模拟和仿真至关重要,尤其是因为量子计算机本质上是概率和嘈杂的。集成电路的许多常规电子设计自动化(EDA)技术
主要关键词