[发明专利]一种基于模拟器的软硬件协同验证方法及系统有效
申请号: | 201210214895.X | 申请日: | 2012-06-26 |
公开(公告)号: | CN102841837A | 公开(公告)日: | 2012-12-26 |
发明(设计)人: | 朱浩;彭楚;王东辉;张铁军;洪缨 | 申请(专利权)人: | 中国科学院声学研究所 |
主分类号: | G06F11/26 | 分类号: | G06F11/26 |
代理公司: | 北京亿腾知识产权代理事务所 11309 | 代理人: | 陈霁 |
地址: | 100190 *** | 国省代码: | 北京;11 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明涉及一种基于模拟器的软硬件模型协同验证方法及其系统。该方法包括:硬件模型在指令流水线开始工作前调用软件模型,并将硬件模型仿真的时钟信息发送给软件模型;软件模型驱动内核模拟器进行初始化配置;当硬件模型在指令流水线执行到指令执行阶段时调用软件模型,并将硬件模型仿真的当前时间点发送给软件模型;软件模型驱动内核模拟器执行完指令,并根据硬件模型仿真的当前时间点、时钟信息计算指令在硬件模型中执行完成的时间点;当硬件模型写寄存器堆时,调用软件模型,并将指令执行完的数据信息发送给软件模型;软件模型驱动内核模拟器进行数据信息比较,如果数据信息比较不一致,则定位出错指令。本发明可高效定位出错指令。 | ||
搜索关键词: | 一种 基于 模拟器 软硬件 协同 验证 方法 系统 | ||
【主权项】:
一种基于模拟器的软硬件模型协同验证方法,其特征在于:硬件模型在指令流水线开始工作前调用软件模型,并将所述硬件模型仿真的时钟信息发送给所述软件模型;所述软件模型驱动内核模拟器进行初始化配置;当所述硬件模型在指令流水线执行到指令执行阶段时调用所述软件模型,并将所述硬件模型仿真的当前时间点发送给所述软件模型;所述软件模型驱动所述内核模拟器执行完指令,并根据所述硬件模型仿真的当前时间点、所述时钟信息计算所述指令在硬件模型中执行完成的时间点;当所述硬件模型写寄存器堆时,调用所述软件模型,并将指令执行完成时的数据信息发送给所述软件模型;所述软件模型驱动所述内核模拟器进行数据信息比较,如果数据信息比较不一致,则定位出错指令。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于中国科学院声学研究所,未经中国科学院声学研究所许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201210214895.X/,转载请声明来源钻瓜专利网。