中国人民解放军国防科技大学李暾获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉中国人民解放军国防科技大学申请的专利一种基于代理模型的面向断言覆盖率的模拟矢量自动生成方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115544924B 。
龙图腾网通过国家知识产权局官网在2026-01-02发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211219750.9，技术领域涉及：G06F30/3308；该发明授权一种基于代理模型的面向断言覆盖率的模拟矢量自动生成方法是由李暾;史明川;邹鸿基;秦立国;毛晓光设计研发完成，并于2022-09-30向国家知识产权局提交的专利申请。
本一种基于代理模型的面向断言覆盖率的模拟矢量自动生成方法在说明书摘要公布了：本发明公开了一种基于代理模型的面向断言覆盖率的模拟矢量自动生成方法，其包括：轻量级模拟矢量自动生成，针对SystemVerilog文件中前置条件只涉及到模块输入的断言语句；代理模型生成，针对SystemVerilog文件中前置条件复杂的断言生成代理模型；多断言模拟矢量自动生成，生成同时激活多条断言的模拟矢量。本发明具有原理简单、操作简便、能够提高效率等优点。
本发明授权一种基于代理模型的面向断言覆盖率的模拟矢量自动生成方法在权利要求书中公布了：1.一种基于代理模型的面向断言覆盖率的模拟矢量自动生成方法，其特征在于，包括： 轻量级模拟矢量自动生成，针对SystemVerilog文件中前置条件只涉及到模块输入的断言语句； 代理模型生成，针对SystemVerilog文件中前置条件复杂的断言生成代理模型； 多断言模拟矢量自动生成，生成同时激活多条断言的模拟矢量； 针对SystemVerilog文件中涉及的断言包括： 前置条件只包含模块输入信号的断言； 前置条件除模块输入信号外还包含中间信号和输出信号的断言； 所述代理模型的生成包括在不完全展开电路分析的基础上，将涉及到中间信号的断言转化为只涉及到输入信号的断言； 通过机器学习工具来完成所述代理模型的生成，包括：给定SystemVerilog文件，自动快速生成断言；即利用机器学习工具得到的输入信号与中间信号的映射关系。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国人民解放军国防科技大学，其通讯地址为：410073 湖南省长沙市开福区砚瓦池正街47号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励