FFT处理机的形式化模型及正确性验证

摘要：

快速傅立叶变换的应用领域非常广泛,其硬件实现方法多种多样,验证这些电路的正确性具有很强的实用价值.传统的电路正确性验证的方法是模拟,这种方法的主要缺点是随着参与运算的点数的增加,穷尽模拟全部输入情况所耗费的时间越来越长,甚至难以实现.而形式化方法使用纯数学手段证明电路的正确性,克服了传统方法的缺点.首先用重写系统给出了任意N=2M点的基2的流水式快速傅里叶变换处理机的形式化模型,然后给出它的正确性验证,探索了验证处理复数的复杂电路正确性的方法.

关键词：重写、形式化、描述、验证、归纳、快速傅里叶变换处理机

所属期刊栏目：43

分类号：TP332(计算技术、计算机技术)

资助基金：国家自然科学基金60373075

在线出版日期：2007-03-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：10-14