Released features include mainly compilers, simulators, model detection tools, and theorem proving devices. It is expected to provide more related software to China’s proprietary quantum computer. The platform includes a compiler that first converts a quantum program written in a high-level language into a command language, and then processes it with another tool.  A simulator simulates the operation of the quantum program on a conventional computer and checks the operation results. It plays an important role in the design and testing of quantum programs at this stage. Model detection tools can be used to verify various properties of quantum systems. The theorem prover has realized the quantum Hoare logic developed by the team. It can verify the accuracy of quantum programs, overcome computational time and storage capacity limitations in conventional computers, and provide important support for the design of large-scale quantum programs.

Japan JST China news, December 20, 2019