Document
拖动滑块完成拼图
个人中心

预订订单
商城订单
发布专利 发布成果 人才入驻 发布商标 发布需求

请提出您的宝贵建议,有机会获取IP积分或其他奖励

投诉建议

在线咨询

联系我们

龙图腾公众号
首页 专利交易 IP管家助手 科技果 科技人才 积分商城 国际服务 商标交易 会员权益 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索
当前位置 : 首页 > 专利喜报 > 成都融见软件科技有限公司;上海合见工业软件集团有限公司汤杰获国家专利权

成都融见软件科技有限公司;上海合见工业软件集团有限公司汤杰获国家专利权

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

龙图腾网获悉成都融见软件科技有限公司;上海合见工业软件集团有限公司申请的专利基于覆盖率的索引数据库的管理方法、设备及存储介质获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN120743914B

龙图腾网通过国家知识产权局官网在2026-01-30发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202511273257.9,技术领域涉及:G06F16/22;该发明授权基于覆盖率的索引数据库的管理方法、设备及存储介质是由汤杰;汪东博;高波;金俏慧设计研发完成,并于2025-09-08向国家知识产权局提交的专利申请。

基于覆盖率的索引数据库的管理方法、设备及存储介质在说明书摘要公布了:本发明涉及电子设计自动化技术领域,特别是涉及一种基于覆盖率的索引数据库的管理方法、设备及存储介质,其通过将覆盖率数据库中的原始覆盖率数据加载到内存中并构建覆盖率数据结构,并且同时提取覆盖率数据库中的设计层次信息建立由多张索引表构成的索引数据库;当所述可视化查询窗口发起查询请求时,所述索引数据库根据查询请求查询得到目标对象的标识,在所述覆盖率数据结构中根据所述标识进行处理并更新所述覆盖率可视化系统的目标窗口,其大幅度的提高查找效率,达到实时查找的目的。

本发明授权基于覆盖率的索引数据库的管理方法、设备及存储介质在权利要求书中公布了:1.基于覆盖率的索引数据库的管理方法,其特征在于,所述方法包括如下步骤: S100,获取覆盖率数据库,所述覆盖率数据库存储由仿真工具生成的原始覆盖率数据; S200,将所述覆盖率数据库中的原始覆盖率数据加载至覆盖率可视化系统的运行内存中,并在所述运行内存中构建覆盖率数据结构; 其中,在构建覆盖率数据结构时,根据所述原始覆盖率数据对模块的覆盖率,以及各个覆盖域的覆盖率进行聚合并存储; S300,提取所述覆盖率数据库中的设计层次信息,并根据提取的所述设计层次信息建立索引数据库,所述索引数据库包括设计模块索引表和N个不同种覆盖指标的覆盖域索引表;其中,所述设计层次信息包括模块和实例的索引信息、不同种覆盖指标的覆盖域的索引信息;其中,建立的每种覆盖指标的覆盖域索引表不包括覆盖项的标识; 其中,设计模块索引表包括模块的全名、设计模块的类型标识、设计模块的全局唯一标识; 其中,N个不同种覆盖指标的覆盖域索引表包括行覆盖域索引表、条件覆盖域索引表、有限状态机覆盖域索引表、翻转覆盖域索引表和断言覆盖域索引表; 所述行覆盖域索引表包括设计模块的全局唯一标识、原始设计文件的全局唯一标识、行覆盖域在原始设计文件中所在的行号以及行覆盖域的标识; 所述条件覆盖域索引表、有限状态机覆盖域索引表、翻转覆盖域索引表的结构相同,均包括设计模块的全局唯一标识、覆盖域名称以及覆盖域的标识; 所述断言覆盖域索引表包括断言覆盖域名称、断言类型以及断言覆盖域的标识; S400,所述覆盖率可视化系统包括可视化查询窗口,当所述可视化查询窗口发起查询请求时,所述索引数据库根据查询请求查询得到目标对象的标识,在所述覆盖率数据结构中根据所述标识进行处理并更新所述覆盖率可视化系统的目标窗口;其中,目标对象为目标对象为模块或覆盖域; 其中,所述查询请求是根据用户在可视化查询窗口中输入的查询条件而生成,所述查询条件为实例名称;或者,设计模块的全局唯一标识和覆盖域的名称; S400中在所述覆盖率数据结构中根据所述标识进行处理并更新所述覆盖率可视化系统的目标窗口的步骤还包括:所述覆盖率数据结构将所述目标窗口绑定的高亮属性更新为目标对象的标识,并触发更新所述目标窗口中高亮显示所述目标对象的覆盖率;其中,在排除模式下,所述覆盖率数据结构将所述目标窗口绑定的排除属性更新为目标对象的标识,使其在触发更新所述目标窗口中在所述目标对象上显示排除选项。

如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人成都融见软件科技有限公司;上海合见工业软件集团有限公司,其通讯地址为:610095 四川省成都市高新区吉泰二路266号18栋1单元6楼602号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。