Formally Verifying Quantum Phase Estimation Circuits with 1,000+ Qubits
Cet article présente une méthode de vérification formelle évolutive pour les circuits d'estimation de phase quantique, capable de vérifier des circuits comportant jusqu'à 1 024 qubits de phase en utilisant une abstraction symbolique basée sur la logique des vecteurs de bits.