恭喜沐曦科技(北京)有限公司刘宏伟获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网恭喜沐曦科技(北京)有限公司申请的专利一种多层级覆盖率收集系统获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN119718809B 。
龙图腾网通过国家知识产权局官网在2025-05-30发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202510224543.X,技术领域涉及:G06F11/22;该发明授权一种多层级覆盖率收集系统是由刘宏伟;李劲松设计研发完成,并于2025-02-27向国家知识产权局提交的专利申请。
本一种多层级覆盖率收集系统在说明书摘要公布了:本申请涉及芯片验证技术领域,特别是涉及一种多层级覆盖率收集系统,该系统通过预设验证时长来确定是否需要针对未收集满覆盖率的模块使用其他验证方式来更新覆盖率,避免了深层模块的覆盖率收集耗时过长而导致整体芯片验证的效率下降,且通过当前模块的模块复杂度和预设验证环境的验证环境复杂度,选择合适的验证方式对当前模块进行覆盖率更新,从而提高了深层模块覆盖率收集的灵活性和可靠性,也有效提高了深层模块覆盖率收集的效率,使得能够快速收集深层模块的覆盖率,从而提高了芯片验证的效率。
本发明授权一种多层级覆盖率收集系统在权利要求书中公布了:1.一种多层级覆盖率收集系统,其特征在于,所述系统包括:待验证设计、处理器和存储有计算机程序的存储器,其中,所述待验证设计包括M个模块{a1,a2,…,am,…,aM},am为所述待验证设计中的第m个模块,m为[1,M]范围内的整数,am对应有am在所述待验证设计中所属的层级bm,am包含有若干个端口,当所述计算机程序被处理器执行时,实现以下步骤:S101,在预设验证环境下对所述待验证设计进行验证,记录预设验证时长下各个模块对应的覆盖率;S102,当存在至少一个模块对应的覆盖率小于预设的覆盖率阈值时,针对任一覆盖率小于所述覆盖率阈值的模块,若当前模块所属的层级大于预设的层级阈值,且所述预设验证时长满足预设第一条件,则获取当前模块对应的模块复杂度;S103,若当前模块对应的模块复杂度小于预设的第一复杂度阈值,则使用第一验证方式更新当前模块的覆盖率,其中,所述使用第一验证方式更新当前模块的覆盖率,包括:针对当前模块中的任一端口,将当前端口对应的参考信号通过强制指定的方式配置给当前端口,以更新当前模块的覆盖率;S104,若当前模块对应的模块复杂度大于或者等于所述第一复杂度阈值,且所述预设验证环境对应的验证环境复杂度小于预设的第二复杂度阈值,则使用第二验证方式更新当前模块的覆盖率,其中,所述使用第二验证方式更新当前模块的覆盖率,包括:在所述预设验证环境中构建模块验证序列器,并定义接口组件;通过所述模块验证序列器,在所述预设验证环境中将当前模块中各个端口对应的参考信号赋值给所述接口组件;使用所述接口组件,将当前模块中各个端口对应的参考信号通过强制指定的方式配置给对应端口,以更新当前模块的覆盖率;S105,若当前模块对应的模块复杂度大于或者等于所述第一复杂度阈值,且所述预设验证环境对应的验证环境复杂度大于或者等于所述第二复杂度阈值,则使用第三验证方式更新当前模块的覆盖率,其中,所述预设验证环境对应有检查器;所述使用第三验证方式更新当前模块的覆盖率,包括:构建当前模块对应的参考验证环境,所述参考验证环境包含所述检查器;在所述参考验证环境下对当前模块进行验证,以更新当前模块的覆盖率。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人沐曦科技(北京)有限公司,其通讯地址为:100094 北京市海淀区丰豪东路9号院2号楼9层3单元901;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。