Quantum Computing: From Weakest Preconditions to Voltage Pulses
摘要
We report on ongoing work for providing software support for quantum computing, ranging from a high-level quantum programming language and its formal semantics down to the level of the actual quantum hardware based on semiconductor spin qubits and electron shuttling. Here, modularity is achieved by introducing quantum circuits as intermediate representations of quantum programs, thus splitting the compilation process into a frontend and a backend part. We describe both the results that have been achieved so far and the next steps that we are planning to take. Moreover, we identify critical problems in both the frontend and the backend components such as the implementation of mid-circuit measurements and scalability issues arising from qubit mapping and routing, respectively.