基2的流水式快速傅里叶变换处理机的形式化模型

• 作者: 宋国新 张欢欢 邵志清
• 来源期刊: 华东理工大学学报（自然科学版）
• 学科: 工学
• 关键词: 重写 形式化 描述 验证 归纳 快速傅里叶变换处理机
• 年，卷（期）: 2007,（2）
• 页码范围: 227-232
• 页数: 6页
• 分类号: TP332
• 字数: 3368字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-3080.2007.02.018

摘要

快速傅里叶变换(FFT)的应用领域非常广泛,其硬件实现方法多种多样.传统的电路正确性验证的方法是模拟,这种方法的主要缺点是不能穷尽模拟全部输入情况,而形式化方法使用纯数学手段证明电路具有某些属性,从而证明其正确性.所以用形式化方法验证FFT电路的正确性具有极强的实用价值.形式化验证的第一步工作是对要验证的电路进行建模,因此本文首先介绍了国内外FFT形式化建模的主要方法和优缺点,然后用重写系统给出了任意N=2M点的基2的流水式快速傅里叶变换处理机的形式化模型,显示了重写系统用于复杂硬件电路建模的优越性,为进一步的电路正确性验证奠定基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张欢欢	华东理工大学计算机科学与工程系	18	69	5.0	7.0
2	宋国新	华东理工大学计算机科学与工程系	62	256	9.0	12.0
3	邵志清	华东理工大学计算机科学与工程系	90	761	14.0	24.0