Automatic Verification of Combinatorial and Pipelined FFT
No abstract available.
Related papers
- Automatic verification of Pipelined Microprocessor Control CAV 1994
- An effective fusion and tile size model for optimizing image processing pipelines PPoPP 2018
- Bind the gap: compiling real software to hardware FFT accelerators PLDI 2022
- FlashFFTStencil: Bridging Fast Fourier Transforms to Memory-Efficient Stencil Computations on Tensor Core Units PPoPP 2025
- An Effective Fusion and Tile Size Model for PolyMage TOPLAS 2020
- Generic functional parallel algorithms: scan and FFT ICFP 2017
- Verifying Array Properties in Pure Data-Parallel Programs PLDI 2026
- FFT Compiler Techniques CC 2004