中国人民解放军军事科学院国防科技创新研究院方健获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉中国人民解放军军事科学院国防科技创新研究院申请的专利面向处理器原型验证的程序流跟踪方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120179487B 。
龙图腾网通过国家知识产权局官网在2025-08-08发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510663333.0，技术领域涉及：G06F11/263；该发明授权面向处理器原型验证的程序流跟踪方法及系统是由方健;王璐;杜东阳;张天博;戴华东;张光达;王会权;何益百设计研发完成，并于2025-05-22向国家知识产权局提交的专利申请。
本面向处理器原型验证的程序流跟踪方法及系统在说明书摘要公布了：本发明提供了一种面向处理器原型验证的程序流跟踪方法及系统，属于计算机技术领域，该方法包括：根据从待测处理器核获取的上拍程序计数器、上拍指令类型信号值、当前程序计数器以及计数器，判断当前程序计数器与上拍程序计数器是否连续；计数器用于记录连续指令流的指令长度；当连续时，根据上拍指令类型信号值的不同使计数器累加不同的值；当不连续时，根据当前连续指令流的程序计数器值、上一个连续指令流的程序计数器值、计数器的值生成一项元组数据，同时更新计数器使其重新开始计数；元组数据用于还原程序指令流。本发明仅通过对程序计数器值的分析就可以完成对程序流的跟踪和异常非连续指令流的识别。
本发明授权面向处理器原型验证的程序流跟踪方法及系统在权利要求书中公布了：1.一种面向处理器原型验证的程序流跟踪方法，其特征在于，所述方法包括： 根据从待测处理器核获取的上拍程序计数器、上拍指令类型信号值、当前程序计数器以及计数器，判断当前程序计数器与上拍程序计数器是否连续；所述计数器用于记录连续指令流的指令长度； 当连续时，根据上拍指令类型信号值的不同使所述计数器累加不同的值； 当不连续时，根据当前连续指令流的程序计数器值、上一个连续指令流的程序计数器值、所述计数器的值生成一项元组数据，同时更新所述计数器使其重新开始计数；所述元组数据用于还原程序指令流。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国人民解放军军事科学院国防科技创新研究院，其通讯地址为：100071 北京市丰台区东大街53号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号