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

龙图腾网恭喜无锡江南计算技术研究所申请的专利基于数据路径约束求解的随机指令测试程序生成方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114564396B 。

龙图腾网通过国家知识产权局官网在2025-05-27发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210185468.7，技术领域涉及：G06F11/3668；该发明授权基于数据路径约束求解的随机指令测试程序生成方法是由谭坚;刘鑫;陈德训;王丽一;陈磊;吴臻;曹陈炜设计研发完成，并于2022-02-28向国家知识产权局提交的专利申请。

本基于数据路径约束求解的随机指令测试程序生成方法在说明书摘要公布了：本发明公开一种基于数据路径约束求解的随机指令测试程序生成方法，包括以下步骤：S1、循环读取基于约束求解的随机指令序列文件，每次读取一行，若为空则跳转至S7；S2、根据S1中读取的内容，解析指令格式，获取指令名称以及指令格式中每一个操作数的类型；S3、随机读取与S2中解析的指令对应的数据路径约束求解结果文件，获取一组基于数据路径约束的验证元组数据；S4、将S3中获取的验证元组数据按照对界要求预先存储到局存空间中；S5、根据S1中自随机指令序列文件读取的当前随机指令；S6、跳转至S1继续读取指令序列进行解析；S7、生成结果校验代码。本发明可以提升随机指令测试的有效性。

本发明授权基于数据路径约束求解的随机指令测试程序生成方法在权利要求书中公布了：1.一种基于数据路径约束求解的随机指令测试程序生成方法，其特征在于，包括以下步骤：S1、循环读取基于约束求解的随机指令序列文件，每次读取一行，若为空则跳转至S7；S2、根据S1中读取的内容，解析指令格式，获取指令名称以及指令格式中每一个操作数存放方式，如果操作数存放在寄存器中，则需要进一步解析出寄存器的类型是标量寄存器还是向量寄存器；S3、随机读取与步骤S2解析的指令对应的数据路径约束求解结果文件，获取一组基于数据路径约束的验证元组数据；S4、将S3中获取的验证元组数据按照对界要求预先存储到局存空间中，即在前一次局存地址的基础上，如果当前处理的指令包含向量寄存器，则将局存地址向后偏移，确保局存首地址64B对界，具体为：如果该指令格式中正在处理的输入操作数来自向量寄存器，则将数据存储到局存空间中，然后将局存地址偏移64B；如果该指令格式中正在处理的输入操作数来自标量寄存器，则将数据存储到局存空间中，然后将局存地址偏移8B；如果该指令格式中正在处理的输入操作数为立即数，则不存储到局存中；处理结果操作数，将结果操作数存储在专门用于存储结果操作数的局存地址addr_check中；S5、根据S1中从随机指令序列文件读取的当前随机指令，结合指令格式中操作数的类型方式进行区分处理，流程如下：S51、如果当前处理的输入操作数来自向量寄存器，则采用向量加载指令将数据加载到当前指令使用到的寄存器中；如果当前处理的输入操作数来自标量寄存器，则采用标量加载指令将数据加载到相应的寄存器中；S52、采用S51中的处理原则，处理生成访存加载指令，再将当前指令的结果操作数存储到指定的局存空间中；S6、跳转至S1继续读取指令序列进行解析；S7、生成结果校验代码：根据S4、S5的处理过程，将处理器指令计算结果以及指令验证元组数据的结果数据，分别存储在局存空间中的不同位置，互不交叠；再采用计算结果与验证数据对应局存空间数据直接比较的方式，校验是否一致：一致则结果正确，不一致则报错。

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