摘要
提出一种基于模块的运算部件模拟验证方法，其基本思想是：针对运算部件模块，从通用的C测试程序中提取出模拟和仿真的输入向量；并对运行结果进行分析。利用该方法针对浮点乘法部件的验证过程说明，该方法可减少系统仿真时间，加速功能部件的逻辑验证，从而提高对处理器调试的速度。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
2003年第6期21-23,共3页
Computer Engineering
基金
国家自然科学基金资助项目(69973046
69896250-1和 600730189)
