专利详情

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