基于仿真的32位RISC微处理器的功能验证方法

顾震宇虞志益沈泊章倩苓 · 2004

阅读量：30

RISC

期刊名称：

小型微型计算机系统 2004 年 04 期

摘要：

提出了一种基于仿真 (simulation- based)的 32位 RISC微处理器的功能验证方法 .以伪随机生成和针对流水线模型生成激励向量方式相结合为主的验证环境的建立 ,提高了功能验证的自动化程度和效率 ;同时采用代码覆盖率来分析和指出功能验证中的遗漏之处 ,从而提高了整个验证环境的完备性 .另外 ,通过 FPGA硬件验证的结果以及 32位RISC微处理器流片的测试结果 ,可以证明本文所提出的功能验证方法的有效性和完备性