面向专用指令集处理器设计的软硬件协同验证

摘要：

为提高专用指令集处理器设计中的验证效率和覆盖率,将专用指令集处理器的寄存器传输级设计验证与汇编器、指令集模拟器等软件开发工具的测试相结合,提出一种软硬件协同验证方法.该方法按照覆盖率要求由软件自动产生测试程序和数据,将利用汇编器产生的机器指令输入到指令集模拟器和硬件仿真工具分别进行软硬件仿真,通过软硬件仿真结果自动比对得出联合验证结果.实践证明,该方法能够有效提高验证效率和覆盖率,缩短验证周期.

关键词：专用指令集处理器、硬件仿真、指令集模拟器、软硬件协同验证

所属期刊栏目：36

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

资助基金：国家"863"计划基金资助项目2008AA01Z0103

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

页数：共3页

页码：241-243