中国人民解放军国防科技大学卢孟龙获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉中国人民解放军国防科技大学申请的专利基于指令流分析的SOC验证优化方法、装置、计算机设备、及介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119783600B 。
龙图腾网通过国家知识产权局官网在2025-09-23发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411850624.2，技术领域涉及：G06F30/33；该发明授权基于指令流分析的SOC验证优化方法、装置、计算机设备、及介质是由卢孟龙;邓林;罗莉;荀长庆;周理;王永文;宋荞;刘章文;铁俊波;潘国腾;周海亮;李东升;黄震设计研发完成，并于2024-12-16向国家知识产权局提交的专利申请。
本基于指令流分析的SOC验证优化方法、装置、计算机设备、及介质在说明书摘要公布了：本申请涉及基于指令流分析的SOC验证优化方法、装置、计算机设备、及介质，均匀采样程序的子程序，并抽取子程序中的BasicBlock序列信息；抽取每个BasicBlock的指令信息；归集指令信息和BasicBlock序列信息，得到指令序列，基于指令序列构建基于自回归语言模型的指令语义序列模型；基于指令语义序列模型、采用对比学习方式构建BasicBlock程序行为表示模型；读取若干待运行的切片子程序，通过BasicBlock程序行为表示模型，获取切片子程序的语义表示；基于切片子程序的语义表示构建子程序相似性矩阵，并基于子程序相似性矩阵进行程序挑选。
本发明授权基于指令流分析的SOC验证优化方法、装置、计算机设备、及介质在权利要求书中公布了：1.一种基于指令流分析的SOC验证优化方法，其特征在于，所述方法包括： 均匀采样程序的子程序，并抽取所述子程序中的BasicBlock序列信息； 抽取每个BasicBlock的指令信息； 归集所述指令信息和所述BasicBlock序列信息，得到指令序列，基于所述指令序列构建基于自回归语言模型的指令语义序列模型； 基于所述指令语义序列模型、采用对比学习方式构建BasicBlock程序行为表示模型； 读取若干待运行的切片子程序，通过所述BasicBlock程序行为表示模型，获取所述切片子程序的语义表示； 基于所述切片子程序的语义表示构建子程序相似性矩阵，并基于所述子程序相似性矩阵进行程序挑选。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国人民解放军国防科技大学，其通讯地址为：410005 湖南省长沙市开福区砚瓦池正街47号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励