一种处理器加载存储单元功能验证方法、装置及电子设备、存储介质

本发明涉及功能验证技术领域，尤其是涉及一种处理器加载存储单元功能验证方法、装置及电子设备、存储介质，该方法包括：通过形式化验证工具对处理器加载存储单元进行形式化验证，提取未覆盖关键路径的特征数据；其中，特征数据至少包括时序特征、地址特征及数据依赖特征；将特征数据转换为动态仿真平台可用的约束规则，生成测试激励；基于测试激励执行动态仿真验证，得到覆盖率结果。本申请提供的处理器加载存储单元功能验证方法，通过形式化验证与动态仿真闭环协同，通过提取关键路径特征生成定向约束，大幅缩短验证周期，覆盖率收敛效率提升。