首页 | 本学科首页   官方微博 | 高级检索  
     

面向专用指令集处理器设计的软硬件协同验证
引用本文:严迎建,杨志峰,任方.面向专用指令集处理器设计的软硬件协同验证[J].计算机工程,2010,36(6):241-243.
作者姓名:严迎建  杨志峰  任方
作者单位:解放军信息工程大学电子技术学院,郑州,450004
基金项目:国家“863”计划基金资助项目(2008AA01Z0103)
摘    要:为提高专用指令集处理器设计中的验证效率和覆盖率,将专用指令集处理器的寄存器传输级设计验证与汇编器、指令集模拟器等软件开发工具的测试相结合,提出一种软硬件协同验证方法。该方法按照覆盖率要求由软件自动产生测试程序和数据,将利用汇编器产生的机器指令输入到指令集模拟器和硬件仿真工具分别进行软硬件仿真,通过软硬件仿真结果自动比对得出联合验证结果。实践证明,该方法能够有效提高验证效率和覆盖率,缩短验证周期。

关 键 词:专用指令集处理器  硬件仿真  指令集模拟器  软硬件协同验证
修稿时间: 

Software-Hardware Co-verification for ASIP Design
YAN Ying-jian,YANG Zhi-feng,REN Fang.Software-Hardware Co-verification for ASIP Design[J].Computer Engineering,2010,36(6):241-243.
Authors:YAN Ying-jian  YANG Zhi-feng  REN Fang
Affiliation:(Institute of Electronic Technology, PLA Information Engineering University, Zhengzhou 450004)
Abstract:
Keywords:Application Specific Instruction Set Processor(ASIP)  hardware simulation  Instruction Set Simulator(ISS)  software-hardware co-verification
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机工程》浏览原始摘要信息
点击此处可从《计算机工程》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号