Rotational Abstractions for Verification of Quantum Fourier Transform Circuits.
Arun GovindankuttySudarshan K. SrinivasanNimish MathurePublished in: CoRR (2023)
Keyphrases
- fourier transform
- quantum computing
- logic circuits
- frequency domain
- asynchronous circuits
- signal processing
- logic synthesis
- fourier domain
- model checking
- fast fourier transform
- fourier analysis
- power spectral density
- radon transform
- quantum mechanics
- correlation function
- fourier coefficients
- discrete fourier transform
- polar coordinates
- low power
- machine learning
- log polar
- fourier descriptors
- similarity measure
- computer vision