Specification format and a verification method of fault-tolerant quantum circuits
Specification format and a verification method of fault-tolerant quantum circuits
Quantum computations are expressed in general as quantum circuits, which are specified by ordered lists of quantum gates. The resulting specifications are used during the optimization and execution of the expressed computations. However, the specification format makes it difficult to verify that optimized or executed computations still conform to the …