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

龙图腾网获悉广东赛昉科技有限公司申请的专利一种处理器中内存消歧的验证方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114237955B 。

龙图腾网通过国家知识产权局官网在2026-02-24发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202111541836.9，技术领域涉及：G06F11/07；该发明授权一种处理器中内存消歧的验证方法及系统是由沈秀红设计研发完成，并于2021-12-16向国家知识产权局提交的专利申请。

本一种处理器中内存消歧的验证方法及系统在说明书摘要公布了：本发明涉及处理器技术领域，具体涉及一种处理器中内存消歧的验证方法及系统，本发明通过监测DUT中load指令和store指令的执行信息，对单核、多核及非对齐访问引起的内存消歧逻辑进行验证，通过比较DUT的内存消歧结果和检查器的内存消歧结果，判断是否需要重刷流水线以及从哪条指令开始重刷。本发明针对内存消歧的逻辑进行验证，同时支持单核和多核的内存消歧。内存消歧的最终结果是是否需要重刷流水线，以及从哪条指令开始重刷，本验证方法对于这两点能做到精确验证，若重刷流水线信息与DUT不一致，会立即报错误信息，能帮助验证人员快速有效地调试代码。

本发明授权一种处理器中内存消歧的验证方法及系统在权利要求书中公布了：1.一种处理器中内存消歧的验证方法，其特征在于，所述方法通过监测DUT中load指令和store指令的执行信息，对单核、多核及非对齐访问引起的内存消歧逻辑进行验证，通过比较DUT的内存消歧结果和检查器的内存消歧结果，判断是否需要重刷流水线以及从哪条指令开始重刷，其中，若重刷流水线信息与DUT不一致，则立即报错误信息； 所述方法中，单核内存消歧包括由store指令引起的内存消歧验和由缓存踢出行引起的内存消歧验证； 所述方法中，单核中由store指令引起的内存消歧验证流程如下： 监测DUT中的store指令，在store指令获得物理地址后，单核内存消歧判断器开始查找本核中是否存在满足条件的load指令； 若存在满足以上条件的load指令，单核内存消歧判断器执行以下操作：比较这些load指令的年龄信息，找出其中最年老的一条；将选出的load指令信息存入store指令的commit信息中，load指令信息包括它在指令流中的标记或者programcounter信息； 若不存在满足以上条件的load指令，则单核内存消歧判断器将该store指令commit信息中的重刷流水线信息置无效； 监测DUT中store指令的commit信息，当store指令commit时，比较器将DUTcommit信息中的重刷流水线信息与验证的单核内存消歧结果进行比较，若不一致，则报错，报错信息包括是否需要重刷流水线，若需要重刷流水线，从哪条load指令开始重刷。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人广东赛昉科技有限公司，其通讯地址为：528300 广东省佛山市顺德区大良街道云路社区昊阳路2号A区S201室；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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