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、为了解决第2个技术问题,本专利技术采用的技术方案为:一种可重用验证计划创建方法,所述方法包括以下步骤:
2、s100,将验证计划中每个验证点的层次结构信息保存在结构文件的结构数据块中,将每个验证点的非层次结构信息保存在关联文件的关联数据块中,分别得到每个验证计划的结构文件和关联文件。其中:
3、结构文件包括多个结构数据块,每个结构数据块的层次结构信息包括验证点的唯一标识id和验证点父节点的唯一标识pid。
4、关联文件包括多个关联数据块,每个关联数据块的非层次结构信息包括验证点的唯一标识id和匹配规则。
5、其中,每个结构文件中有且仅有一个根节点;所述关联文件中的关联数据块与所述结构文件中的结构数据块通过验证点的唯一标识id映射关联。
6、s200,获取用户指定的待嵌套的验证模块的名称以及在验证计划中目标嵌套验证点;所述待嵌套的验证模块的层次结构信息保存在结构文件的结构数据块中,且非层次结构信息保存在关联文件的关联数据块中。
7、s300,新建目标结构数据块,所述目标结构数据块的验证点为待嵌套的验证模块,验证点父节点的唯一标识pid绑定目标嵌套验证点,并在目标结构数据块中增加索引属性,所述索引属性用于指定待嵌套的验证模块的名称。
8、本专利技术至少具有以下有益效果:
9、本专利技术提供的一种可重用验证计划创建方法、存储介质及电子设备,其不仅能够实现将同一个验证点的层次结构信息和非层次结构信息保存在不同的数据块中,当用户仅修改验证计划的层次结构时,只需更新结构文件,无需对关联文件的内容进行修改;同样的,对于非层次结构信息的属性修改,也不会对结构文件的内容进行修改,减少了修改范围解决了卡顿的问题,同时修改范围降低也解决了容易出错的问题,同时通过嵌套的功能还同时实现了验证计划或验证特性复用的效果。
本文档来自技高网...【技术保护点】
1.一种可重用验证计划创建方法,其特征在于,所述方法包括以下步骤:
2.根据权利要求1所述的方法,其特征在于,当结构文件中数据块包括的验证点类型不唯一时,所述结构文件中的所有结构数据块中还包括验证点类型或验证点类型的唯一标识,所述验证点类型包括不同类型验证点的唯一标识及每种类型的验证点作为子节点时的唯一标识。
3.根据权利要求1所述的方法,其特征在于,所述关联文件中的数据块还可以包括覆盖指标类型。
4.根据权利要求3所述的方法,其特征在于,当验证点为验证特性时,若不包括覆盖指标类型,将收集匹配规则中所对应的覆盖指标;当验证点为验证计划时,若不包括覆盖指标类型,将收集验证计划下所有验证特性所对应的覆盖指标。
5.根据权利要求1所述的方法,其特征在于,在S100之前还包括:
6.根据权利要求5所述的方法,其特征在于,所述表格编辑区包括可扩展的多个验证点条目,每个验证点条目包括多个属性字段,其中,属性字段包括验证点的唯一标识id字段、验证点父节点的唯一标识pid字段、验证点的名称字段、验证点所统计的覆盖指标类型字段和匹配规则字
7.根据权利要求6所述的方法,其特征在于,所述配置的覆盖率指标配置信息包括对每种类型的覆盖率指标的配置条目,每个配置条目包括覆盖指标类型的名称、覆盖率指标数据类型和数据聚合方式。
8.根据权利要求1所述的方法,其特征在于,所述属性配置信息包括属性名称、属性数据类型和标识该属性值是否向下传递。
9.一种非瞬时性计算机可读存储介质,所述存储介质中存储有至少一条指令或至少一段程序,所述至少一条指令或所述至少一段程序由处理器加载并执行以实现如权利要求1-8中任意一项的所述方法。
10.一种电子设备,其特征在于,包括处理器和权利要求9中所述的非瞬时性计算机可读存储介质。
...【技术特征摘要】
1.一种可重用验证计划创建方法,其特征在于,所述方法包括以下步骤:
2.根据权利要求1所述的方法,其特征在于,当结构文件中数据块包括的验证点类型不唯一时,所述结构文件中的所有结构数据块中还包括验证点类型或验证点类型的唯一标识,所述验证点类型包括不同类型验证点的唯一标识及每种类型的验证点作为子节点时的唯一标识。
3.根据权利要求1所述的方法,其特征在于,所述关联文件中的数据块还可以包括覆盖指标类型。
4.根据权利要求3所述的方法,其特征在于,当验证点为验证特性时,若不包括覆盖指标类型,将收集匹配规则中所对应的覆盖指标;当验证点为验证计划时,若不包括覆盖指标类型,将收集验证计划下所有验证特性所对应的覆盖指标。
5.根据权利要求1所述的方法,其特征在于,在s100之前还包括:
6.根据权利要求5所述的方法,其特征在于,所述表格编辑区包括可扩展的多个验证点条目,每个验证点条目包括多个属...
【专利技术属性】
技术研发人员:汤杰,高波,金俏慧,
申请(专利权)人:北京云枢创新软件技术有限公司,
类型:发明
国别省市:
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。