申请/专利权人：北京开源芯片研究院

申请日：2023-10-12

公开（公告）日：2024-02-02

公开（公告）号：CN117076330B

主分类号：G06F11/36

分类号：G06F11/36

优先权：

专利状态码：有效-授权

法律状态：2024.02.02#授权;2023.12.05#实质审查的生效;2023.11.17#公开

摘要：本发明实施例提供一种访存验证方法、系统、电子设备及可读存储介质，涉及计算机技术领域，该方法包括：获取待验证的访存模块的功能行为信息，功能行为信息用于描述访存模块运行所需的操作行为；基于功能行为信息构建测试程序，测试程序至少包括第一子程序；第一子程序用于生成访存指令，并设置指令发送顺序，指令发送顺序用于表征访存指令中的加载指令以及存储指令发送至访存模块的顺序；基于第一子程序对访存模块进行验证。通过构建包含第一子程序的测试程序，可以通过第一子程序生成访存指令以及设置指令发送顺序，可以根据指令发送顺序满足不同的访存验证需求，覆盖较多的测试点，增加了访存验证的覆盖率，提高验证效果。

主权项：1.一种访存验证方法，其特征在于，所述方法包括：获取待验证的访存模块的功能行为信息，所述功能行为信息用于描述所述访存模块运行所需的操作行为；基于所述功能行为信息构建测试程序，所述测试程序至少包括第一子程序；所述第一子程序用于生成访存指令，并设置指令发送顺序，所述指令发送顺序用于表征所述访存指令中的加载指令以及存储指令发送至所述访存模块的顺序；基于所述第一子程序，按照所述指令发送顺序向所述访存模块以及参考模块发送目标测试指令；所述目标测试指令是从所述第一子程序所生成的访存指令中确定的；获取所述访存模块响应于所述目标测试指令的输出数据，作为第一输出，以及获取所述参考模块响应于所述目标测试指令的输出数据，作为第二输出；在所述第一输出与所述第二输出一致的情况下，确定所述访存模块的验证结果满足要求。

全文数据：

权利要求：

百度查询： 北京开源芯片研究院 一种访存验证方法、系统、电子设备及可读存储介质

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD