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

龙图腾网获悉龙芯中科技术股份有限公司申请的专利生成随机指令验证程序的方法、装置及电子设备获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115328545B 。

龙图腾网通过国家知识产权局官网在2026-03-27发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210831477.9，技术领域涉及：G06F9/30；该发明授权生成随机指令验证程序的方法、装置及电子设备是由韩静盟;姚婉宁;杜方舟设计研发完成，并于2022-07-15向国家知识产权局提交的专利申请。

本生成随机指令验证程序的方法、装置及电子设备在说明书摘要公布了：本发明实施例提供一种生成随机指令验证程序的方法、装置及电子设备，该方法包括：在确定满足定向指令序列的生成约束条件时，获取待生成的定向指令序列的指令模板，所述指令模板包含所述定向指令序列的操作码约束信息；根据所述操作码约束信息判断所述定向指令序列中是否包含跳转指令；若所述定向指令序列中包含跳转指令，则根据所述指令模板和所述跳转指令确定所述定向指令序列对应的存储空间；若所述定向指令序列中不包含跳转指令，则根据所述定向指令序列包含的指令数量为所述定向指令序列分配存储空间；根据所述指令模板在所述存储空间中生成所述定向指令序列。本发明实施例有利于提升随机验证程序的生成效率。

本发明授权生成随机指令验证程序的方法、装置及电子设备在权利要求书中公布了：1.一种生成随机指令验证程序的方法，其特征在于，所述随机指令验证程序用于对微处理器进行功能验证，所述随机指令验证程序包括定向指令序列，所述方法包括： 在确定满足定向指令序列的生成约束条件时，获取待生成的定向指令序列的指令模板，其中，所述指令模板包含所述定向指令序列的操作码约束信息； 根据所述操作码约束信息判断所述定向指令序列中是否包含跳转指令； 若所述定向指令序列中包含跳转指令，则根据所述跳转指令将所述定向指令序列拆分为至少两个顺序执行的指令子序列，其中，所述指令子序列包括第一指令子序列和第二指令子序列，所述第一指令子序列的末位指令为跳转指令，所述第二指令子序列中不包含跳转指令；在指令执行过程中，所述第一指令子序列早于其对应的第二指令子序列执行完毕； 根据所述第一指令子序列包含的指令数量，为所述第一指令子序列分配第一存储空间； 根据所述指令模板针对所述定向指令序列的操作数的约束情况，进行预留空间分配以为所述第二指令子序列分配第二存储空间，或根据所述第二指令子序列包含的指令数量为所述第二指令子序列分配第二存储空间；其中，所述预留空间不允许除所述第二指令子序列之外的其他指令写入； 将所述第一指令子序列对应的第一存储空间和所述第二指令子序列对应的第二存储空间，确定为所述定向指令序列的存储空间； 根据所述指令模板在所述存储空间中生成所述定向指令序列。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人龙芯中科技术股份有限公司，其通讯地址为：100095 北京市海淀区地锦路7号院4号楼1层101；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。