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

• 作 者: 虞志益 顾震宇 沈泊 章倩苓
• 机 构: 复旦大学
• 出 处: 小型微型计算机系统
• 发表日期: 2004年7期
• 关键词: 流水冲突 RISC处理器 功能验证 pipeline hazard RISC processor functional verification
• 基金项目: 国家高技术研究发展计划(863计划)

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