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

龙图腾网获悉海光信息技术股份有限公司申请的专利设计的功能验证方法、系统、验证用电子设备及存储介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114239452B 。

龙图腾网通过国家知识产权局官网在2025-11-28发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202111470566.7，技术领域涉及：G06F30/331；该发明授权设计的功能验证方法、系统、验证用电子设备及存储介质是由邬德志设计研发完成，并于2021-12-03向国家知识产权局提交的专利申请。

本设计的功能验证方法、系统、验证用电子设备及存储介质在说明书摘要公布了：本申请实施例提供一种设计的功能验证方法、系统、验证用电子设备及存储介质，其中方法包括：判断待测设计在当前时钟周期是否发生中断；若是，确定待测设计执行中断的中断触发信息，以及执行中断所更新的寄存器信息；基于中断触发信息以及寄存器信息，生成待测设计的中断退休信息，将中断退休信息保存到退休信息队列中；基于退休信息队列中保存的信息，控制参考模型的模拟执行，并获取参考模型基于模拟执行所更新的寄存器信息；基于待测设计更新的寄存器信息和参考模型更新的寄存器信息，确定验证结果。进一步的，退休信息队列还可以保存微码退休休息，本申请实施例对于具有复杂指令集类型的设计，可以提供功能验证支持。

本发明授权设计的功能验证方法、系统、验证用电子设备及存储介质在权利要求书中公布了：1.一种设计的功能验证方法，其特征在于，应用于验证系统中的通用验证组件，包括： 判断待测设计在当前时钟周期是否发生中断； 若待测设计在当前时钟周期发生中断，确定待测设计执行中断的中断触发信息，以及获取待测设计执行中断所更新的寄存器信息； 基于所述中断触发信息以及所述寄存器信息，生成待测设计的中断退休信息，将待测设计的中断退休信息保存到预设的退休信息队列中； 基于所述退休信息队列中保存的信息，控制参考模型的模拟执行，并获取参考模型基于模拟执行所更新的寄存器信息，所述参考模型为与待测设计进行协同仿真的模型； 基于待测设计更新的寄存器信息和参考模型更新的寄存器信息，确定验证结果； 若待测设计在当前时钟周期未发生中断，获取待测设计在当前时钟周期退休的多条微码信息，以及待测设计执行微码对应的指令所更新的寄存器信息； 从所述多条微码信息中确定对应指令边界的边界微码信息，其中，一组多条微码信息具有先后执行顺序，最后一条执行的微码信息为边界微码信息； 基于所述边界微码信息以及所述待测设计执行所述指令所更新的寄存器信息，生成待测设计的微码退休信息，将待测设计的微码退休信息保存到所述退休信息队列中。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人海光信息技术股份有限公司，其通讯地址为：300384 天津市滨海新区天津华苑产业区海泰西路18号北2-204工业孵化-3-8；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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