北京微核芯科技有限公司郇丹丹获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉北京微核芯科技有限公司申请的专利处理器页表修改引起缺页异常的验证方法及装置获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119127546B 。
龙图腾网通过国家知识产权局官网在2025-06-20发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411175369.6，技术领域涉及：G06F11/07；该发明授权处理器页表修改引起缺页异常的验证方法及装置是由郇丹丹;李祖松设计研发完成，并于2024-08-26向国家知识产权局提交的专利申请。
本处理器页表修改引起缺页异常的验证方法及装置在说明书摘要公布了：本申请提出一种处理器页表修改引起缺页异常的验证方法及装置，涉及处理器技术领域，其中，方法包括：获取待验证处理器的存数指令，其中，存数指令用于修改待验证处理器的页表；对存数指令进行写跟踪，以确定页表的修改结果；基于存数指令，对页表的修改结果进行模拟，得到模拟结果；将修改结果和模拟结果进行对比，得到验证结果。解决了仿真验证中模拟器由于缺乏处理器微结构信息，无法依靠模拟器直接验证处理器行为的瓶颈，能够跟踪处理器对页表更新的同步情况，通过模拟器实现对处理器的同步验证。
本发明授权处理器页表修改引起缺页异常的验证方法及装置在权利要求书中公布了：1.一种处理器页表修改引起缺页异常的验证方法，所述验证方法实现模拟器对待验证处理器行为的验证，其特征在于，包括以下步骤：获取待验证处理器的存数指令，其中，所述存数指令用于修改所述待验证处理器的页表，所述存数指令存储在存数指令队列和或提交存数指令写缓冲区中；对所述存数指令进行写跟踪，以确定所述待验证处理器对页表的修改结果；基于所述存数指令，对所述待验证处理器对页表的修改结果进行模拟，得到模拟结果；将所述修改结果和所述模拟结果进行对比，得到验证结果；所述对所述存数指令进行写跟踪，以确定所述待验证处理器对页表的修改结果，包括：对所述页表执行所述存数指令，以确定所述页表对应的脏位；追踪所述脏位，确定所述待验证处理器对页表的修改结果；或者，接收所述待验证处理器的微结构状态，所述微结构状态用于指示所述模拟器进行状态调整；基于所述微结构状态，确定所述待验证处理器对页表的修改结果。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京微核芯科技有限公司，其通讯地址为：100190 北京市海淀区中关村东路66号1号楼10层1105-2；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号