Tag: quantum circuit verification