14 citations · 39 across the 4 of their papers we have counts for
Showing quant-phShow all
2 papers · 1 filter
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…
quant-ph2023★ 14 cited
Rotational Abstractions for Verification of Quantum Fourier Transform Circuits
Arun Govindankutty, Sudarshan K. Srinivasan, Nimish Mathure
With the race to build large-scale quantum computers and efforts to exploit quantum algorithms for efficient problem solving in science and engineering disciplines, the requirement…