摘要: 为提高专用指令集处理器设计中的验证效率和覆盖率,将专用指令集处理器的寄存器传输级设计验证与汇编器、指令集模拟器等软件开发工具的测试相结合,提出一种软硬件协同验证方法。该方法按照覆盖率要求由软件自动产生测试程序和数据,将利用汇编器产生的机器指令输入到指令集模拟器和硬件仿真工具分别进行软硬件仿真,通过软硬件仿真结果自动比对得出联合验证结果。实践证明,该方法能够有效提高验证效率和覆盖率,缩短验证周期。
中图分类号:
严迎建;杨志峰;任 方. 面向专用指令集处理器设计的软硬件协同验证[J]. 计算机工程, 2010, 36(06): 241-243.
YAN Ying-jian; YANG Zhi-feng; REN Fang. Software-Hardware Co-verification for ASIP Design[J]. Computer Engineering, 2010, 36(06): 241-243.