10.3969/j.issn.1006-3080.2007.02.018
基2的流水式快速傅里叶变换处理机的形式化模型
快速傅里叶变换(FFT)的应用领域非常广泛,其硬件实现方法多种多样.传统的电路正确性验证的方法是模拟,这种方法的主要缺点是不能穷尽模拟全部输入情况,而形式化方法使用纯数学手段证明电路具有某些属性,从而证明其正确性.所以用形式化方法验证FFT电路的正确性具有极强的实用价值.形式化验证的第一步工作是对要验证的电路进行建模,因此本文首先介绍了国内外FFT形式化建模的主要方法和优缺点,然后用重写系统给出了任意N=2M点的基2的流水式快速傅里叶变换处理机的形式化模型,显示了重写系统用于复杂硬件电路建模的优越性,为进一步的电路正确性验证奠定基础.
重写、形式化、描述、验证、归纳、快速傅里叶变换处理机
33
TP332(计算技术、计算机技术)
国家自然科学基金60373075
2007-05-28(万方平台首次上网日期,不代表论文的发表时间)
共6页
227-232