高级检索

  • ISSN 1006-3080
  • CN 31-1691/TQ

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

张欢欢 宋国新 邵志清

张欢欢, 宋国新, 邵志清. 基2的流水式快速傅里叶变换处理机的形式化模型[J]. 华东理工大学学报(自然科学版), 2007, (2): 227-232.
引用本文: 张欢欢, 宋国新, 邵志清. 基2的流水式快速傅里叶变换处理机的形式化模型[J]. 华东理工大学学报(自然科学版), 2007, (2): 227-232.
ZHANG Huan-huan, SONG Guo-xing, SHAO Zhi-qing. A Formal Model of Radix-2 Fast Fourier Transform Processor[J]. Journal of East China University of Science and Technology, 2007, (2): 227-232.
Citation: ZHANG Huan-huan, SONG Guo-xing, SHAO Zhi-qing. A Formal Model of Radix-2 Fast Fourier Transform Processor[J]. Journal of East China University of Science and Technology, 2007, (2): 227-232.

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

基金项目: 

国家自然科学基金

A Formal Model of Radix-2 Fast Fourier Transform Processor

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

     

  • 加载中
计量
  • 文章访问数:  1096
  • HTML全文浏览量:  66
  • PDF下载量:  73
  • 被引次数: 0
出版历程
  • 收稿日期:  2006-05-08

目录

    /

    返回文章
    返回