买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网恭喜无锡江南计算技术研究所申请的专利基于控制约束的访存测试程序生成方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114564397B 。

龙图腾网通过国家知识产权局官网在2025-05-09发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210185716.8，技术领域涉及：G06F11/3668；该发明授权基于控制约束的访存测试程序生成方法是由谭坚;刘鑫;陈德训;胡夏晖;武颖颖;相陈伟;陈明津设计研发完成，并于2022-02-28向国家知识产权局提交的专利申请。

本基于控制约束的访存测试程序生成方法在说明书摘要公布了：本发明公开一种基于控制约束的访存测试程序生成方法，包括以下步骤：步骤1、生成控制核心运行的程序，在其中声明可操作的地址空间大小以及首地址，并生成计算核心的代码段；步骤2、生成计算核心访存测试程序，将计算核心的访存首地址设置成控制程序申请的可操作首地址；步骤3、在计算核心访存地址遍历生成时，进行地址访存序列的控制生成；步骤4、根据步骤3中获得的参数，形成对应的测试程序。本发明面向国产向众核异构处理器实现满足约束条件的随机访存测试，另外能够根据访存策略进行定制，对处理器的存储一致性实现有针对性的验证测试，实现了合法且随机的访存测试程序生成。

本发明授权基于控制约束的访存测试程序生成方法在权利要求书中公布了：1.一种基于控制约束的访存测试程序生成方法，其特征在于：包括以下步骤：步骤1、生成控制核心运行的程序，在其中声明可操作的地址空间大小以及首地址，并生成计算核心的代码段；步骤2、生成计算核心访存测试程序，将计算核心的访存首地址设置成控制程序申请的可操作首地址；步骤3、在计算核心访存地址遍历生成时，进行地址访存序列的控制生成，具体如下：步骤31、针对对界访存与不对界访存指令测试程序生成过程如下：对于对界访存指令，在控制生成时借助求解器加入地址边界检查控制约束，生成随机合法的地址偏移值；对于非对界访存地址，在地址边界检查控制约束，并增加地址低位非全零检查，生成非对界随机合法地址偏移值，再结合随机有效偏移值，加上基址地址，形成最终的有效访存地址；基址地址同样通过约束求解的方式，按照跨步量进行偏移，得到新的合法基址地址；步骤32、针对DMA访存指令测试程序生成过程如下：对主存地址进行约束求解；对DMA操作的合法模式，采用求解器对指定字段进行约束随机求解；确定合法的局存地址；综合以上约束得到满足条件的求解结果，作为DMA的参数；步骤33、针对局存到局存通信访存测试程序生成过程如下：对局存到局存通信访存操作的合法模式，采用求解器对指定字段进行约束随机求解；确定合法的局存地址；综合以上约束得到满足条件的求解结果，作为局存到局存通信访存的参数；步骤4、根据步骤3中获得的参数，形成对应的测试程序。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人无锡江南计算技术研究所，其通讯地址为：214038 江苏省无锡市滨湖区山水东路699号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。