[发明专利]一种基于模拟器的软硬件协同验证方法及系统有效

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

该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于中国科学院声学研究所,未经中国科学院声学研究所许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服

本文链接:http://www.vipzhuanli.com/patent/201210214895.X/,转载请声明来源钻瓜专利网。

×

专利文献下载

说明:

1、专利原文基于中国国家知识产权局专利说明书;

2、支持发明专利 、实用新型专利、外观设计专利(升级中);

3、专利数据每周两次同步更新,支持Adobe PDF格式;

4、内容包括专利技术的结构示意图流程工艺图技术构造图

5、已全新升级为极速版,下载速度显著提升!欢迎使用!

请您登陆后,进行下载,点击【登陆】 【注册】

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top