上海壁仞科技股份有限公司请求不公布姓名获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉上海壁仞科技股份有限公司申请的专利一种加速功能覆盖率收敛的验证方法、装置、介质及设备获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN121070720B 。
龙图腾网通过国家知识产权局官网在2026-03-03发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202511605365.1，技术领域涉及：G06F11/26；该发明授权一种加速功能覆盖率收敛的验证方法、装置、介质及设备是由请求不公布姓名设计研发完成，并于2025-11-05向国家知识产权局提交的专利申请。
本一种加速功能覆盖率收敛的验证方法、装置、介质及设备在说明书摘要公布了：本发明公开了一种加速功能覆盖率收敛的验证方法、装置、介质及设备，所述方法应用于验证平台，验证平台中包括定向激励生成器、功能覆盖率模型和待测设计，且设有仿真开关，包括：利用预设的交叉用例脚本文件对功能覆盖率模型的代码文件进行解析，以提取交叉功能覆盖点对应的覆盖仓信息，根据覆盖仓信息对仿真开关进行配置，生成边界用例文件；利用定向激励生成器读取边界用例文件中的开关配置信息，根据开关配置信息生成基于定向指令序列的定向激励流，并将定向激励流发送至待测设计以执行验证工作。采用本发明的技术方案能够自动化生成交叉功能覆盖点的边界用例，从而有效减少功能覆盖率的收敛耗时，提升功能覆盖率的收敛速率。
本发明授权一种加速功能覆盖率收敛的验证方法、装置、介质及设备在权利要求书中公布了：1.一种加速功能覆盖率收敛的验证方法，其特征在于，应用于验证平台，所述验证平台中包括定向激励生成器、功能覆盖率模型和待测设计，且设有仿真开关，所述方法包括： 利用预设的交叉用例脚本文件对所述功能覆盖率模型的代码文件进行解析，以提取交叉功能覆盖点对应的覆盖仓信息，根据所述覆盖仓信息对所述仿真开关进行配置，生成边界用例文件；其中，通过配置所述仿真开关的值以改变约束的随机范围； 利用所述定向激励生成器读取所述边界用例文件中的开关配置信息，根据所述开关配置信息生成基于定向指令序列的定向激励流，并将所述定向激励流发送至所述待测设计以执行验证工作。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人上海壁仞科技股份有限公司，其通讯地址为：201114 上海市闵行区陈行公路2388号16幢13层1302室；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励