【技术实现步骤摘要】
本专利技术涉及电子设计自动化，特别是涉及一种基于覆盖率的索引数据库的管理方法、设备及存储介质。
技术介绍
1、在芯片功能验证过程中，代码覆盖率是衡量验证完备性的重要指标。覆盖率数据库通常采用层次化结构进行组织与管理，该结构由多个层级构成，主要包括模块（module）、覆盖域（scope）以及覆盖项（coveritem）。各层节点由根节点到叶子节点依次包括模块、覆盖域和覆盖项，其中，模块为根节点，覆盖项为叶子节点，覆盖域为中间节点。覆盖项为衡量覆盖率的最小基本单位，所有覆盖项的覆盖状态构成相应父节点覆盖域的覆盖率，以此类推，所有所有根节点的直接子覆盖域和子覆盖项的覆盖率构成一个根节点的覆盖率。这种层级结构能够有效组织海量覆盖率数据，便于从系统级到模块级进行分层统计与分析。
2、在实际验证调试过程中，验证工程师常需根据测试用例或断言触发信息，快速定位至特定的覆盖项以分析其未覆盖原因。传统的覆盖率查询方法依赖于对上述层级结构进行逐层遍历，即从顶层模块开始，依次遍历下级覆盖域，再深入至具体覆盖项，直至匹配目标标识符或属性。该方法在面...
【技术保护点】
1.基于覆盖率的索引数据库的管理方法，其特征在于，所述方法包括如下步骤：
2.根据权利要求1所述的方法，其特征在于，S400中，所述查询条件为定位条件，所述定位条件为以下条件中的任意一种：模块的全名，以及设计模块的类型；设计模块的全局唯一标识和覆盖域的名称；覆盖域的名称和覆盖域的类型；
3.根据权利要求2所述的方法，其特征在于，在排除模式下，所述S430还包括：
4.根据权利要求1所述的方法，其特征在于，S400中，所述查询条件为覆盖项查找条件，所述覆盖项查找条件为同时包括覆盖域部分和覆盖项部分的全名；
5.根据权利要求...
【技术特征摘要】
1.基于覆盖率的索引数据库的管理方法，其特征在于，所述方法包括如下步骤：
2.根据权利要求1所述的方法，其特征在于，s400中，所述查询条件为定位条件，所述定位条件为以下条件中的任意一种：模块的全名，以及设计模块的类型；设计模块的全局唯一标识和覆盖域的名称；覆盖域的名称和覆盖域的类型；
3.根据权利要求2所述的方法，其特征在于，在排除模式下，所述s430还包括：
4.根据权利要求1所述的方法，其特征在于，s400中，所述查询条件为覆盖项查找条件，所述覆盖项查找条件为同时包括覆盖域部分和覆盖项部分的全名；
5.根据权利要求1所述的方法，其特征在于，s400中还包括行覆盖率查找步骤：
6.根据权利要求1所述的方法，其特征在于，s400还包括...
【专利技术属性】
技术研发人员：汤杰，汪东博，高波，金俏慧，
申请(专利权)人：成都融见软件科技有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。