Formal Methods in Quantum Circuit Design