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

龙图腾网恭喜山东云海国创云计算装备产业创新中心有限公司申请的专利RTL仿真方法、装置、电子设备及计算机可读存储介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114564392B 。

龙图腾网通过国家知识产权局官网在2025-03-14发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210181553.6，技术领域涉及：G06F11/3668；该发明授权RTL仿真方法、装置、电子设备及计算机可读存储介质是由谷浩;邵海波设计研发完成，并于2022-02-25向国家知识产权局提交的专利申请。

本RTL仿真方法、装置、电子设备及计算机可读存储介质在说明书摘要公布了：本发明提供一种RTL仿真方法及相关装置，方法包括：获取UVM仿真测试中未覆盖的目标RTL代码，并确定目标RTL代码对应的被测器件；利用目标RTL代码中包含的目标输出信号及目标信号值为Formal平台生成Property数据；将Formal平台与被测器件的输入端和输出端建立信号连接并启动Formal验证流程，以使Formal平台按穷举方式向输入端发送输入信号值；当Formal平台利用输出端的输出信号值确定Property数据可被覆盖时，利用Property数据被覆盖时对应的目标输入信号值生成定向激励序列；将定向激励序列注入UVM环境，以使UVM环境利用定向激励序列对目标RTL代码重新进行UVM仿真测试；可利用Formal验证的方式对常规仿真未覆盖的RTL代码进行覆盖验证，进而提升对RTL代码的仿真分析效率。

本发明授权RTL仿真方法、装置、电子设备及计算机可读存储介质在权利要求书中公布了：1.一种RTL仿真方法，其特征在于，包括：获取UVM仿真测试中未覆盖的目标RTL代码，并确定所述目标RTL代码对应的被测器件；利用所述目标RTL代码中包含的目标输出信号及目标信号值为Formal平台生成Property数据；将所述Formal平台与所述被测器件的输入端和输出端建立信号连接并启动Formal验证流程，以使所述Formal平台按照穷举方式向所述输入端发送输入信号值；当所述Formal平台利用所述输出端的输出信号值确定所述Property数据可被覆盖时，利用所述Property数据被覆盖时对应的目标输入信号值生成定向激励序列；将所述定向激励序列注入UVM环境，以使所述UVM环境利用所述定向激励序列对所述目标RTL代码重新进行所述UVM仿真测试。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人山东云海国创云计算装备产业创新中心有限公司，其通讯地址为：250001 山东省济南市自由贸易试验区济南片区浪潮路1036号浪潮科技园S01楼35层；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。