摘要
本发明实施例提供一种验证方法、装置、电子设备及存储介质,基于待验证代码文件中各模块对应的模块时序要求,将待验证代码文件划分为第一代码文件以及第二代码文件;第一代码文件中包含的第一模块的模块时序要求低于第二代码文件中包含的第二模块的模块时序要求;将第一代码文件编译为可执行文件,并基于可执行文件,在软件仿真环境中进行软件仿真验证;将第二代码文件对应的目标比特文件部署至指定芯片,并基于指定芯片,在硬件仿真环境中进行硬件仿真验证;软件仿真环境与硬件仿真环境基于目标通信接口进行双向数据同步。采用软硬件联合验证的方式,在提高了验证效果的同时,兼顾了两种验证方式的验证优势,具有方便调试,验证精度较高的优点。
技术关键词
软件仿真
仿真环境
备份
通信接口
模块
时序
验证方法
数据同步
仿真工具
芯片
电子设备
处理器
验证装置
标记
存储器
可读存储介质
指令
逻辑
数值
精度