波束形成是阵列信号处理过程的一个重要步骤，通过对接收的阵列数据进行线性组合处理得到指向某个方向的最大波束输出。波束形成器的性能对声纳、雷达等系统定位精度、处理能力和抗干扰能力等具有关键作用。本论文针对成像声纳系统中波束形成器的关键部件——FFT处理器的功能特性，深入分析了FFT算法流程，引入CORDIC算法简化复数乘法操作，基于FPGA平台设计实现了FFT处理器。经过时序仿真和硬件测试，运行速度达到90MHz，处理速度快，运算精度高，满足了成像声纳系统的需求。论文分析了CORDIC算法及基2、基4时域FFT算法的基本原理和流程。将CORDIC算法和基4时域FFT算法结合起来，采用流水线技术，设计并实现了基于CORDIC的FFT处理器。该FFT处理器使用5级蝶形算法，各级蝶形算法之间构成流水线结构，能够完成1024点的FFT运算。为了满足成像声纳系统可靠性需求，应用基于VMM的功能验证技术，搭建分层次、可重用、自动化的功能验证平台。对所设计的FFT处理器进行了较为完备的功能验证，完成了FFT处理器的系统级验证工作，代码行覆盖率达到100%，条件覆盖率达到96.34%，状态机覆盖率达到100%，综合评分达到97.67%，提高了FFT处理器的可靠性。