华为技术有限公司;清华大学王海霞获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉华为技术有限公司;清华大学申请的专利一种处理器验证方法和装置获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN117093435B 。
龙图腾网通过国家知识产权局官网在2025-11-11发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210517285.0，技术领域涉及：G06F11/26；该发明授权一种处理器验证方法和装置是由王海霞;吕勇强;忽朝俭;汪东升;徐子涵设计研发完成，并于2022-05-13向国家知识产权局提交的专利申请。
本一种处理器验证方法和装置在说明书摘要公布了：本申请实施例提供一种处理器验证方法和装置，所述方法包括：建立处理器访存模块中各个微架构组件的子模型，每个子模型以访存操作为输入，以访存结果为输出，所述访存结果为微架构组件的与访存操作对应的状态；根据多个微架构组件之间的数据流通关系，组合多个子模型，得到与访存模块对应的访存模型；将一组访存操作输入访存模型，使得访存模型输出各个微架构组件的数据存储状态，所述一组访存操作用于将第一数据存储到第一内存地址；将读取操作输入访存模型，使得访存模型基于数据存储状态输出第三数据，读取操作用于基于第二内存地址读取第二数据；验证第三数据是否包括第一数据。
本发明授权一种处理器验证方法和装置在权利要求书中公布了：1.一种处理器验证方法，其特征在于，所述方法包括： 建立处理器访存模块中多个微架构组件对应的子模型，每个所述子模型以访存操作为输入，以访存结果为输出，所述访存结果为所述微架构组件的与所述访存操作对应的状态； 根据所述多个微架构组件之间的数据流通关系，组合所述多个微架构组件对应的子模型，得到与所述访存模块对应的访存模型； 将一组访存操作输入所述访存模型，使得所述访存模型输出各个所述微架构组件的数据存储状态，所述一组访存操作用于将第一数据存储到第一内存地址； 将读取操作输入所述访存模型，使得所述访存模型基于所述数据存储状态输出第三数据，所述读取操作用于基于第二内存地址读取第二数据； 验证所述第三数据是否包括所述第一数据。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人华为技术有限公司;清华大学，其通讯地址为：518129 广东省深圳市龙岗区坂田华为总部办公楼；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励