作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

›› 2003, Vol. 29 ›› Issue (06): 21-23.

• 论文 • 上一篇    下一篇

基于模块的运算部件模拟验证研究与实现

周旭   

  1. 中国科学院计算技术研究所 北京 100080
  • 发布日期:2003-03-25

Simulating and Verifying Technology of Arithmetic Component Based on Module

ZHOU Xu   

  1. (Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100080)
  • Published:2003-03-25

摘要: 提出一种基于模块的运算部件模拟验证方法,其基本思想是:针对运算部件模块,从通用的C测试程序中提取出模拟和仿真的输入向量;并对运行结果进行分析。利用该方法针对浮点乘法部件的验证过程说明,该方法可减少系统仿真时间,加速功能部件的逻辑验证,从而提高对处理器调试的速度。

关键词: 浮点乘法部件, 模拟, 仿真, 处理器

Abstract: Based on module, a new method to simulate and verify arithmetic component is proposed in this article. The method is used in arithmetic component of processor design, and shows steady performance and convenience. This method can be described as follows: setting up execution environment according to real-world applications, extracting simulation and input vector from C testing programs which is used in simulation and emulation; analyzing the execution results. The design and implementation of floating point multiplier indicates that this method can increase verification efficiency and accelerate the speed of processing, design and implementation.

中图分类号: