首页 专利交易 科技果 科技人才 科技服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

一种可重用验证计划创建方法、存储介质及电子设备 

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

申请/专利权人:北京云枢创新软件技术有限公司;上海合见工业软件集团有限公司;成都融见软件科技有限公司

摘要:本发明涉芯片验证领域,特别是涉及一种可重用验证计划创建方法、存储介质及电子设备,其通过将验证计划中每个验证点的层次结构信息保存在结构文件的结构数据块中,将每个验证点的非层次结构信息保存在关联文件的关联数据块中,分别得到每个验证计划的结构文件和关联文件;将用户指定的待嵌套的验证模块作为子节点添加到目标嵌套验证点下,并通过索引属性用于指定待嵌套的验证模块的名称,从而实现嵌套功能,其减少了修改范围解决了卡顿的问题,同时修改范围降低也解决了容易出错的问题。

主权项:1.一种可重用验证计划创建方法,其特征在于,所述方法包括以下步骤:S100,将验证计划中每个验证点的层次结构信息保存在结构文件的结构数据块中,将每个验证点的非层次结构信息保存在关联文件的关联数据块中,分别得到每个验证计划的结构文件和关联文件;其中:结构文件包括多个结构数据块,每个结构数据块的层次结构信息包括验证点的唯一标识id和验证点父节点的唯一标识pid;关联文件包括多个关联数据块,每个关联数据块的非层次结构信息包括验证点的唯一标识id和匹配规则;其中,每个结构文件中有且仅有一个根节点;所述关联文件中的关联数据块与所述结构文件中的结构数据块通过验证点的唯一标识id映射关联;S200,获取用户指定的待嵌套的验证模块的名称以及在验证计划中目标嵌套验证点;所述待嵌套的验证模块的层次结构信息保存在结构文件的结构数据块中,且非层次结构信息保存在关联文件的关联数据块中;S300,新建目标结构数据块,所述目标结构数据块的验证点为待嵌套的验证模块,验证点父节点的唯一标识pid绑定目标嵌套验证点,并在目标结构数据块中增加索引属性,所述索引属性用于指定待嵌套的验证模块的名称;在S100之前还包括:S10,根据用户指定在表格编辑区创建原始验证计划,得到原始验证计划表格文件;S20,在覆盖率指标编辑区中配置覆盖率指标,得到覆盖率指标配置文件,所述覆盖率指标文件独立于原始验证计划表格文件;S30,在属性编辑区中配置属性,得到属性配置文件,所述属性配置文件为独立于原始验证计划表格文件和覆盖率指标配置文件;S40,根据指定关键字提取原始验证计划表格文件中的数据,得到验证计划数据文件,其中验证计划数据文件包括层级结构信息和非层次结构信息。

全文数据:

权利要求:

百度查询: 北京云枢创新软件技术有限公司 上海合见工业软件集团有限公司 成都融见软件科技有限公司 一种可重用验证计划创建方法、存储介质及电子设备

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