Rotational abstractions for verification of quantum Fourier transform circuits.
Arun GovindankuttySudarshan K. SrinivasanNimish MathurePublished in: IET Quantum Commun. (2023)
Keyphrases
- fourier transform
- quantum computing
- logic circuits
- frequency domain
- asynchronous circuits
- logic synthesis
- signal processing
- model checking
- fourier domain
- polar coordinates
- frequency spectrum
- discrete fourier transform
- fourier analysis
- radon transform
- phase difference
- correlation function
- fourier coefficients
- space variant
- power spectral density
- low power
- spatial domain
- fast fourier transform