定点数字滤波器中幅度与相位响应的验证
计算机科学中的逻辑
2017-06-19 v1 系统与控制
摘要
在数字信号处理（DSP）领域，最重要的任务之一是数字滤波器设计。目前，这一过程是在计算工具的辅助下完成的，这些工具通常假设滤波器系数以浮点算术表示。然而，在实现阶段（通常在数字信号处理器或现场可编程门阵列中完成），所获系数的表示可以通过整数或定点算术来进行，这往往会导致意外行为甚至不稳定的滤波器。本研究针对这一问题，提出了一种基于数字系统验证器（DSVerifier）的验证方法，旨在检查定点数字滤波器在实现方面的问题。具体而言，DSVerifier 检查系数表示中使用的比特数是否会产生在设计阶段指定的具有相同特征的滤波器。实验结果表明，关于频率响应和溢出的错误很可能通过所提方法被识别出来，从而提高了整体系统的可靠性。
引用
@article{arxiv.1706.05088,
title = {Verification of Magnitude and Phase Responses in Fixed-Point Digital Filters},
author = {Daniel P. M. de Mello and Mauro L. de Freitas and Lucas C. Cordeiro and Waldir S. S. Junior and Iury V. de Bessa and Eddie B. L. Filho and Laurent Clavier},
journal= {arXiv preprint arXiv:1706.05088},
year = {2017}
}