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

Software-Hardware Co-verification for ASIP Design

作　　者：严迎建[1] 杨志峰[1] 任方[1] 

机构地区：[1]解放军信息工程大学电子技术学院,郑州450004

出　　处：《计算机工程》2010年第6期241-243,共3页Computer Engineering

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

摘　　要：为提高专用指令集处理器设计中的验证效率和覆盖率,将专用指令集处理器的寄存器传输级设计验证与汇编器、指令集模拟器等软件开发工具的测试相结合,提出一种软硬件协同验证方法。该方法按照覆盖率要求由软件自动产生测试程序和数据,将利用汇编器产生的机器指令输入到指令集模拟器和硬件仿真工具分别进行软硬件仿真,通过软硬件仿真结果自动比对得出联合验证结果。实践证明,该方法能够有效提高验证效率和覆盖率,缩短验证周期。To increase the efficiency of verification in design of Application Specific Instruction Set Processor（ASIP）, a software-hardware co-verification method which combines the verification of ASIP Register Transport Level（RTL） description with the test of ASIP software development tools（assembler, software simulator） is proposed. Test assemble instructions and data are generated according to the test requirement, and the binary codes are produced by the assembler subsequently. The binary codes are input to the hardware simulator and instruction set simulator at same time, and the results of software and hardware simulation are compared automatically. This method can discover errors in ASIP RTL description, the assembler and the instruction set simulator efficiently, increase the coverage of verification, and shorten the verification cycle of ASIP.

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

分 类 号：TP302[自动化与计算机技术—计算机系统结构]