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

摘要：

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

关键词：RISC、功能验证、流水线模型、流水线冲突、伪随机、代码覆盖率

所属期刊栏目：25

分类号：TP302(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划20023AA1Z1120

在线出版日期：2004-05-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：752-756