System.ArgumentOutOfRangeException: 索引和长度必须引用该字符串内的位置。 参数名: length 在 System.String.Substring(Int32 startIndex, Int32 length) 在 zhuanliShow.Bind()
【技术实现步骤摘要】
本专利技术涉芯片验证领域,特别是涉及一种验证计划中覆盖对象的匹配方法、存储介质及电子设备。
技术介绍
1、用户设计为层次化设计结构,每层具有不同的模块,每个模块下还包括多个不同的子模块,例如soc模块中还包括多个不同的block模块等。
2、用户设计的覆盖率类型包括行覆盖率、条件覆盖率、有限状态机覆盖率等,每种类型的覆盖率在计算覆盖率时首先会计算每个覆盖项的覆盖状态,然后再统计覆盖域的覆盖率。例如,行覆盖率在测试时会收集每行的覆盖率情况,再根据每行代码的覆盖与否计算出每个模块的行覆盖率,逐层计算,最后可以根据每行的覆盖率计算整个用户设计的行覆盖率。
3、由于在验证的过程中,用户只关心用户设计中某些覆盖对象的覆盖率,不关心其他覆盖对象。其中覆盖对象包括覆盖域和覆盖项,其中覆盖域包含模块,实例以及各种覆盖指标特定的域等。此时需要验证计划系统。验证计划系统包括规范文档spec,覆盖率数据库和多个验证计划,每个验证计划用于统计用户设计中部分覆盖对象的覆盖率数据。其中,规范文档为层次化结构,例如存储器的io数量、存储容量、交互方式等规范指标。根据规范文档spec生成验证计划,将规范文档spec每个层次进行细化,细化为每个验证点。为了提取验证计划对应用户设计的覆盖率数据,需要对覆盖率统计做一个针对性的提取。
4、在创建上述验证计划的现有技术中,各大厂商往往会根据自身产品的特点,定义并设计特有的验证计划语法和配套的验证计划编辑工具。由于各大厂商的定义语法和工具的差异,使得用户很难定义个能适合不同平台的通用验
5、1.专门定义一套语法和编辑器,用户需要学习复杂的语法,撰写验证计划的难度大。
6、2.当层次结构需要修改时,会造成大量数据的变动,容易出错且容易造成卡顿。
7、3.如何根据用户指定的区域表达式在覆盖率数据库中快速找到覆盖对象。
技术实现思路
1、为了解决第3个技术问题,本专利技术采用的技术方案为:本专利技术提供了一种验证计划中覆盖对象的匹配方法,所述方法包括如下步骤:
2、p100,根据用户设计获取索引数据库,所述用户设计包括不同层次的覆盖对象,所述索引数据库包括用户设计中不同层次的覆盖对象的索引文件,每个层次的覆盖对象对应一个索引文件;每个层次的索引文件中包括覆盖对象的名称、覆盖对象的类型和覆盖对象的唯一标识id。
3、p200,获取用户设计的验证计划,抽取验证计划中所有的区域表达式;根据区域表达式生成数据匹配模式,所述数据匹配模式包括覆盖对象的基本信息和不同层次的匹配条件,其中匹配条件包括覆盖对象类型、匹配方式和匹配规则,所述基本信息包括动作指令。
4、p300,根据覆盖对象的名称和覆盖对象类型在索引数据库中查找满足匹配条件的所有覆盖对象的唯一标识id,通过覆盖对象的唯一标识id获取覆盖率数据。
5、本专利技术至少具有以下有益效果:
6、本专利技术提供的验证计划中覆盖对象的匹配方法、存储介质及电子设备,其通过对用户设计的不同层次创建索引数据库,并抽取验证计划中所有的区域表达式;根据区域表达式生成数据匹配模式,所述匹配模式包括覆盖对象的基本信息和不同层次的匹配条件;根据覆盖对象的名称和覆盖对象类型在索引数据库中查找满足匹配条件的所有覆盖对象的唯一标识id,通过覆盖对象的唯一标识id获取覆盖率数据。比传统的通过遍历整个原始的用户设计结构,再通过正则表达式逐一匹配每一条区域表达式的性能大幅度的提高,能够根据用户指定的区域表达式在用户设计中快速找到覆盖对象。并且数据匹配模式具有通用性,能够适用于不同平台创建的验证计划的语法和区域表达式格式,通用性强。
本文档来自技高网...【技术保护点】
1.一种验证计划中覆盖对象的匹配方法,其特征在于,所述方法包括如下步骤:
2.根据权利要求1所述的方法,其特征在于,P100中不同层次的覆盖对象包括:第一层覆盖域、第二层覆盖域和第三层覆盖项。
3.根据权利要求2所述的方法,其特征在于,P200中:
4.根据权利要求3所述的方法,其特征在于,在P100之前还包括以下任意一种创建方式为第一层覆盖域建立索引表:
5.根据权利要求4所述的方法,其特征在于,在P100之前还包括以下任意一种创建方式为第二层覆盖域建立索引表:
6.根据权利要求5所述的方法,其特征在于,在P100之前还包括以下任意一种创建方式为第三层覆盖项建立索引表:
7.根据权利要求6所述的方法,其特征在于,P300还包括:当创建一张第一层索引文件和一张第二层索引文件时,创建线程池,用多线程按顺序查询每条数据匹配模式,每个数据匹配模式的查询步骤包括:
8.根据权利要求6所述的方法,其特征在于,当创建多张第一层索引文件和多张第二层索引文件时,按照第一层覆盖域的覆盖对象类型对所有的数据匹配模式进
9.一种非瞬时性计算机可读存储介质,所述存储介质中存储有至少一条指令或至少一段程序,所述至少一条指令或所述至少一段程序由处理器加载并执行以实现如权利要求1-8中任意一项的所述方法。
10.一种电子设备,其特征在于,包括处理器和权利要求9中所述的非瞬时性计算机可读存储介质。
...【技术特征摘要】
1.一种验证计划中覆盖对象的匹配方法,其特征在于,所述方法包括如下步骤:
2.根据权利要求1所述的方法,其特征在于,p100中不同层次的覆盖对象包括:第一层覆盖域、第二层覆盖域和第三层覆盖项。
3.根据权利要求2所述的方法,其特征在于,p200中:
4.根据权利要求3所述的方法,其特征在于,在p100之前还包括以下任意一种创建方式为第一层覆盖域建立索引表:
5.根据权利要求4所述的方法,其特征在于,在p100之前还包括以下任意一种创建方式为第二层覆盖域建立索引表:
6.根据权利要求5所述的方法,其特征在于,在p100之前还包括以下任意一种创建方式为第三层覆盖项建立索引表:
7.根据权利要求6所述的方法,其特征在于...
【专利技术属性】
技术研发人员:汤杰,高波,金俏慧,
申请(专利权)人:北京云枢创新软件技术有限公司,
类型:发明
国别省市:
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。