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

• 作者: 宋国新 张欢欢
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 重写 形式化 描述 验证 归纳 快速傅里叶变换处理机
• 年，卷（期）: 2007,（2）
• 所属期刊栏目: 博士论坛
• 页码范围: 10-14
• 页数: 5页
• 分类号: TP332
• 字数: 6277字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2007.02.003

摘要

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

作者信息

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