一种目标文件部分加载系统的制作方法

本发明涉及电子设计自动化，特别是涉及一种目标文件部分加载系统。

背景技术：

1、前端验证的目的是确保设计的逻辑功能的正确性和完备性。覆盖率驱动的验证技术是通过分析rtl代码的功能覆盖率和代码覆盖率来衡量设计完备性的一个指标。其中覆盖率包括多种类型的覆盖指标，如状态机覆盖率、行覆盖率、条件覆盖率和断言覆盖率等。无论是软件还是硬件仿真，包括形式化验证，都可以输出对应测试模块覆盖率的数据，这些交叉数据必须统一到一个最终的覆盖率数据库和访问接口中，在各工具间共享，才能制定高效的测试计划，避免重复测试。目前的覆盖率数据交换标准ucis(unified coverageinteroperability standard)提供了标准的节点名称命名格式、不同类型覆盖指标中每种节点的类型标识以及标准化接口等。在ucis标准中，数据库中的所有数据存储为一个xml格式的数据库文件。当用户查看其中某一类覆盖指标时，系统将xml格式的整个数据库文件读入内存，然后解析并建立层级关系，获取相应的覆盖指标。由于将覆盖率数据和覆盖指标的结构化数据同时存储在同一个数据库文件中，用户每次都访问整个数据库文件也可能会导致覆盖指标的结构化数据被篡改的数据安全风险。

技术实现思路

1、为了解决在根据用户指定对象访问数据库时数据加载慢的技术问题，本发明采用的技术方案为：一种目标文件部分加载系统，所述系统包括数据库、处理器和存储有计算机程序的存储器，所述数据库包括映射文件sdb、索引文件modidx和目标文件，其中：sdb包括设计模块、设计模块身份标识、实例、实例身份标识之间的映射关系；modidx包括m1个索引模块{modidx1,modidx2,…,modidxm1,…,modidxm1}，modidxm1为第m1个索引模块，m1的取值范围为1到m1；modidxm1包括设计模块身份标识ridm1和n1个覆盖指标组metridx，metridx＝{metridx1,metridx2,…,metridxn1,…,metridxn1}，metridxn1为第n1个覆盖指标组，n1的取值范围为1到n1；metridxn1包括覆盖指标类型和设计模块在目标文件中的位置信息llocn1，其中第f1个索引模块modidxf1的模块身份标识ridf1≠ridm1，f的取值范围为1到m1且f≠m；当计算机程序被处理器执行时，实现以下步骤：

2、d100，当用户选择部分加载时，加载映射文件sdb和索引文件modidx。

3、d200，获取用户指定的第一目标对象查找sdb得到模块身份标识ridm1，所述第一目标对象为模块或者实例。

4、d300，根据模块身份标识ridm1和第一目标对象查找modidx，得到第一目标对象在目标文件中的位置信息llocn1。

5、d400，将目标文件中在位置信息llocn1范围内的数据块加载至内存。

6、本发明至少具有以下有益效果：本发明提供了一种目标文件部分加载系统，该系统的数据库中包括索引文件，索引文件包括m1个按照设计模块身份标识划分的索引模块，每个索引模块包括设计模块身份标识和多个覆盖指标组，每个覆盖指标组包括覆盖指标类型和设计模块在目标文件中的位置信息；通过索引文件和覆盖指标文件之间的配合，达到部分加载的目的，大幅度减少了加载的数据量，解决了在根据用户指定对象访问数据库时数据加载慢的技术问题。

技术特征：

1.一种目标文件部分加载系统，其特征在于，所述系统包括数据库、处理器和存储有计算机程序的存储器，所述数据库包括映射文件sdb、索引文件modidx和目标文件，其中：

2.根据权利要求1所述的系统，其特征在于，d300还包括：

3.根据权利要求1所述的系统，其特征在于，d300中查找modidx的步骤还包括：调用ucis标准的查询接口函数，查询接口函数的入口参数包括模块身份标识ridm1和第一目标对象，返回查询获取的目标位置信息llocn1。

4.根据权利要求1所述的系统，其特征在于，当目标文件为覆盖指标文件时，位置信息llocn1为设计模块在覆盖指标文件中的行范围信息。

5.根据权利要求1所述的系统，其特征在于，当目标文件为覆盖指标文件和扩展信息文件时，所述设计模块索引数据块中的位置信息为相应的设计模块分别在覆盖指标文件和扩展信息文件中的行范围信息。

6.根据权利要求1所述的系统，其特征在于，当目标文件为文本格式时，llocn1包括第r个设计模块在目标文件中的起始行的行号和终止行的行号。

7.根据权利要求1所述的系统，其特征在于，当目标文件为二进制格式时，llocn1包括第r个设计模块在目标文件中的起始位置偏移量和数据长度。

8.根据权利要求1所述的系统，其特征在于，所述sdb中的映射关系包括q1个第一映射关系map1和q2个第二映射关系map2，其中：

9.根据权利要求8所述的系统，其特征在于，当第一目标对象为实例时，根据map2获取模块身份标识。

10.根据权利要求8所述的系统，其特征在于，当第一目标对象为模块时，根据map1获取模块身份标识。

技术总结
本发明涉及电子设计自动化技术领域，特别是涉及一种目标文件部分加载系统，该系统的数据库中包括索引文件，索引文件包括M1个按照设计模块身份标识划分的索引模块，每个索引模块包括设计模块身份标识和多个覆盖指标组，每个覆盖指标组包括覆盖指标类型和设计模块在目标文件中的位置信息；加载时根据该索引文件得到设计模块在覆盖指标文件中的位置信息，并根据该位置信息加载覆盖指标文件中的相应设计模块，在此过程中索引文件的访问只占用一个IO接口，并且能够使用户在指定对应的设计模块或者实例时快速从索引文件中获取相应设计模块在目标文件中的位置范围，进而加载该位置范围内的数据块，解决了访问数据库时数据加载慢的技术问题。

技术研发人员：汤杰,高波,金俏慧
受保护的技术使用者：成都融见软件科技有限公司
技术研发日：
技术公布日：2024/1/15