| 专利名称 | 一种基于模拟器的软硬件协同验证方法及系统 | 申请号 | CN201210214895.X | 专利类型 | 发明专利 | 公开（公告）号 | CN102841837A | 公开（授权）日 | 2012.12.26 | 申请（专利权）人 | 中国科学院声学研究所 | 发明（设计）人 | 朱浩;彭楚;王东辉;张铁军;洪缨 | 主分类号 | G06F11/26(2006.01)I | IPC主分类号 | G06F11/26(2006.01)I | 专利有效期 | 一种基于模拟器的软硬件协同验证方法及系统 至一种基于模拟器的软硬件协同验证方法及系统 | 法律状态 | 实质审查的生效 | 说明书摘要 | 本发明涉及一种基于模拟器的软硬件模型协同验证方法及其系统。该方法包括：硬件模型在指令流水线开始工作前调用软件模型，并将硬件模型仿真的时钟信息发送给软件模型；软件模型驱动内核模拟器进行初始化配置；当硬件模型在指令流水线执行到指令执行阶段时调用软件模型，并将硬件模型仿真的当前时间点发送给软件模型；软件模型驱动内核模拟器执行完指令，并根据硬件模型仿真的当前时间点、时钟信息计算指令在硬件模型中执行完成的时间点；当硬件模型写寄存器堆时，调用软件模型，并将指令执行完的数据信息发送给软件模型；软件模型驱动内核模拟器进行数据信息比较，如果数据信息比较不一致，则定位出错指令。本发明可高效定位出错指令。 |
1、源头对接，价格透明
2、平台验证，实名审核
3、合同监控，代办手续
4、专员跟进，交易保障