针对流水冲突的微处理器功能验证程序的自动生成

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

阅读量：31

流水冲突

RISC处理器

功能验证

期刊名称：

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

摘要：

功能验证是处理器设计中的关键问题 ,而基于激励向量仿真的方法是功能验证的主流技术 ,其难点在于如何产生高效的测试程序 .研究了针对流水冲突的测试程序的自动生成方法 .与常规技术相比 ,该方法适用于深度流水、指令系统复杂的处理器 ,具有自动化程度高、针对性强等优点 .本文方法已应用于 32位 RISC处理器的验证中 ,取得了良好的效果