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

龙图腾网获悉上海壁仞智能科技有限公司申请的专利用于处理器的验证方法、验证装置、设备以及存储介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115185752B 。

龙图腾网通过国家知识产权局官网在2026-04-21发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210799351.8，技术领域涉及：G06F11/22；该发明授权用于处理器的验证方法、验证装置、设备以及存储介质是由请求不公布姓名;请求不公布姓名设计研发完成，并于2022-07-06向国家知识产权局提交的专利申请。

本用于处理器的验证方法、验证装置、设备以及存储介质在说明书摘要公布了：本公开提供一种用于处理器的验证方法、验证装置、设备以及存储介质。该方法包括：在用于处理器的回归验证过程中，获取当前对应于处理器的目标指令集的待验证的第一激励，其中，第一激励包括一个或多个待验证指令；基于第一激励的一个或多个待验证指令，通过操作第一数据库获取当前包括第一激励的功能覆盖率，其中，第一数据库存储有用于核查功能覆盖率的比对数据集合。本公开通过使用数据库，实现验证处理器的回归验证中收集的指令所对应的功能覆盖率收集，从而实现面向指令集的更全面和清晰的功能覆盖率分析，适用于对应复杂程度高的指令集的处理器验证，利用有限成本实现了快速收敛和更加完备的验证工作。

本发明授权用于处理器的验证方法、验证装置、设备以及存储介质在权利要求书中公布了：1.一种用于处理器的验证方法，包括： 在用于所述处理器的回归验证过程中，获取当前对应于所述处理器的目标指令集的待验证的第一激励，其中，所述处理器包括通用图形处理器，所述第一激励包括一个或多个待验证指令； 基于所述第一激励的一个或多个待验证指令，通过操作第一数据库获取当前包括所述第一激励的功能覆盖率，其中，所述第一数据库存储有用于核查所述功能覆盖率的比对数据集合，所述第一数据库中存储的所述比对数据集合为预设的所述处理器的回归验证所需覆盖的待验指令的数据集合； 所述验证方法还包括：响应于获取的第一激励的一个或多个待验证指令中的每个待验证指令为机器码，通过汇编器接收所述机器码并处理形成文本格式的反汇编指令，得到所述第一激励对应的反汇编指令集合；其中，所述当前包括所述第一激励的功能覆盖率等于当前的已覆盖数据集合对应的反汇编指令的数量与所述比对数据集合对应的待验指令的数量的比值； 其中，基于所述第一激励的一个或多个待验证指令，通过操作第一数据库获取当前包括所述第一激励的功能覆盖率，包括：基于所述第一激励对应的反汇编指令集合，通过操作第一数据库获取所述当前包括所述第一激励的功能覆盖率； 其中，基于所述第一激励对应的反汇编指令集合，通过操作第一数据库获取当前包括所述第一激励的功能覆盖率，包括： 基于所述第一激励对应的反汇编指令集合，获取所述第一激励对应的反汇编指令集合中的每个反汇编指令经过预处理而得到的待验证的中间数据； 收录所述第一激励对应的反汇编指令集合对应的待验证的中间数据，得到已覆盖数据集合； 操作所述第一数据库，将所述已覆盖数据集合和所述比对数据集合进行比对，获取当前包括所述第一激励的功能覆盖率； 所述方法还包括：通过哈希索引的方式，对录入所述第一数据库的第一激励对应的反汇编指令集合中的每个反汇编指令对应的中间数据进行去重。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人上海壁仞智能科技有限公司，其通讯地址为：201100 上海市闵行区陈行公路2388号16幢13层1302室；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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