唐 衡，张 晶，赵 欢

(北京轩宇信息技术有限公司,北京 100089)

0 引言

数字滤波器是通过改变或者修正时域或频域中数字信号的属性，从输入的数字信号中提取有效的信号成分，来滤除不需要的信号成分或者干扰成分。数字滤波器在数字通信中使用非常频繁。在通信信号处理系统中，考虑计算量和存储空间要求，就需要不同的采样率间的相互转换，即多速率数字信号处理，包括使采样率升高的内插和使采样率降低的抽取两种方式[1]。而随着数字滤波器理论的成熟与半导体芯片产业的高速发展，FPGA 的大量使用使得数字滤波器的设计变得更加准确便利。

基于FPGA 的数字滤波器的大量应用，使得相应数字滤波器的验证技术也飞速发展。为了确认数字滤波器是否准确地实现了设计功能，就需要对数字滤波器进行验证。验证通常被认为是一种从根本上有别于设计的行为[2]。目前已存在的形式化验证工具需要专门化的知识，很难掌握，但是仿真验证是一种远比形式化验证更常采用的验证技术[3]。本文介绍常用的采样率转换滤波器CIC 滤波器和Farrow 滤波器的基本原理、FPGA 实现以及具体的验证方法，最后给出验证结果。

1 数字采样率转换滤波器概述

采样率转换 (SRC) 在通信中应用非常普遍，在通信系统中，输入采样率和输出采样率常为整数倍或分数倍的转换。目前，常用任意数字采样率转换结构，在整数倍时级联积分梳状滤波器（Cascaded integrator-comb，CIC）运用较多，而在分数倍时Farrow 结构滤波器[4]则更具优势。……