一种基于模拟器的软硬件协同验证方法及系统技术方案

本发明专利技术涉及一种基于模拟器的软硬件模型协同验证方法及其系统。该方法包括：硬件模型在指令流水线开始工作前调用软件模型，并将硬件模型仿真的时钟信息发送给软件模型；软件模型驱动内核模拟器进行初始化配置；当硬件模型在指令流水线执行到指令执行阶段时调用软件模型，并将硬件模型仿真的当前时间点发送给软件模型；软件模型驱动内核模拟器执行完指令，并根据硬件模型仿真的当前时间点、时钟信息计算指令在硬件模型中执行完成的时间点；当硬件模型写寄存器堆时，调用软件模型，并将指令执行完的数据信息发送给软件模型；软件模型驱动内核模拟器进行数据信息比较，如果数据信息比较不一致，则定位出错指令。本发明专利技术可高效定位出错指令。

【技术实现步骤摘要】

本专利技术涉及处理器验证技木，特别涉及ー种基于模拟器的软硬件协同验证方法及系统。
技术介绍
伴随着DSP(Digital Signal Processing,数字信号处理)处理器设计复杂度的增カロ，验证的代价也在稳步提升。作为DSP处理器设计不可或缺的ー个环节，验证逐渐成为了DSP处理器设计中的瓶颈，因此，寻找更加丰富的验证手段或方法十分重要。传统DSP处理器验证中，软件描述语言模型(以下简称“软件模型”)和硬件描述语言模型(以下简称“硬件模型”)分开验证各自的功能是否正确，这种验证方法的缺点在干，首先，软件模型和硬件模型必须按照各自对系统资源的要求，以及目标，配置独立的验证环境，这导致无法有效利用相互间的资源；其次，通过软件模型模拟硬件模型有别于实际的DSP处理器结构，容易产生 不可预期的错误，导致DSP处理器设计周期的延长。软硬件模型协同验证的方法，在很大程度上解决了软件模型和硬件模型分开验证的缺点，使软件模型和硬件模型能在同一时间进行，能够及时发现软件和硬件中存在的错误。目前基于模拟器验证的方法已经在越来越多的处理器设计难验证中得到了应用，在开发ー款新型号的处理器之前，首先通本文档来自技高网...

【技术保护点】
一种基于模拟器的软硬件模型协同验证方法，其特征在于：硬件模型在指令流水线开始工作前调用软件模型，并将所述硬件模型仿真的时钟信息发送给所述软件模型；所述软件模型驱动内核模拟器进行初始化配置；当所述硬件模型在指令流水线执行到指令执行阶段时调用所述软件模型，并将所述硬件模型仿真的当前时间点发送给所述软件模型；所述软件模型驱动所述内核模拟器执行完指令，并根据所述硬件模型仿真的当前时间点、所述时钟信息计算所述指令在硬件模型中执行完成的时间点；当所述硬件模型写寄存器堆时，调用所述软件模型，并将指令执行完成时的数据信息发送给所述软件模型；所述软件模型驱动所述内核模拟器进行数据信息比较，如果数据信息比较不一致...

【技术特征摘要】

【专利技术属性】
技术研发人员：朱浩，彭楚，王东辉，张铁军，洪缨，
申请(专利权)人：中国科学院声学研究所，
类型：发明
国别省市：