Showing quant-phShow all
2 papers · 1 filter
quant-ph2026
Bit-Vector Abstractions to Formally Verify Quantum Error Detection & Entanglement
Arun Govindankutty
As the number of qubits increases, quantum circuits become more complex and their state space grows rapidly. This makes functional verification challenging for conventional techniq…
quant-ph2026★ 1 cited
Formally Verifying Quantum Phase Estimation Circuits with 1,000+ Qubits
Arun Govindankutty, Sudarshan K. Srinivasan
We present a scalable formal verification methodology for Quantum Phase Estimation (QPE) circuits. Our approach uses a symbolic qubit abstraction based on quantifier-free bit-vecto…