基于覆盖率数据确定目标驱动源码的系统的制作方法

本发明涉及芯片验证，尤其涉及一种基于覆盖率数据确定目标驱动源码的系统。

背景技术：

1、在芯片验证过程中，往往需要分析波形和源码之间的关系，比如分析目标信号在目标时刻的变化是由哪部分源码导致的，进而调试设计存在的问题点、或者理解设计的逻辑原理。但是，仅通过源码可能预测出多个可能驱动目标信号在目标时刻的变化的驱动源码，且每一条驱动源码会对应一条路径，需要逐条分析，确定该路径是否为目标驱动源码。对每条路径分析过程中，需要确定每条路径中的每一表达式是否成立，而每一表达式可能涉及多个参数，有些参数可以在内存中直接获取，但有些参数需要通过读取磁盘的方式到波形数据库中去获取信号值，损耗了系统性能。此外，多个可能的路径中可能会存在重复的表达式，对每一条路径进行遍历会造成很多重复运算，降低了确定目标驱动源码的效率。由此可知，如何提高确定目标驱动源码的效率，降低确定目标驱动源码过程对系统性能损耗成为亟待解决的技术问题。

技术实现思路

1、本发明目的在于，提供一种基于覆盖率数据确定目标驱动源码的系统，提高了确定目标驱动源码的效率，降低了对系统性能损耗。

2、根据本发明一方面，提供了一种基于覆盖率数据确定目标驱动源码的系统，包括运行待处理源码生成的覆盖率数据库、存储有计算机程序的存储器和处理器，所述覆盖率数据库中存储有每一表达式的命中次数，当所述处理器执行所述计算机程序时，实现以下步骤：

3、步骤s1、从所述待处理源码中获取所有候选路径{p1,p2,…,pm,…,pm}，pm为第m个候选路径，候选路径为可能驱动目标信号在目标时间变为目标值的驱动路径，m的取值范围为1到m，m为候选路径总数，pm=(e1m,e2m,…,eim,…,ef(i)m) ，eim为pm的第i个表达式，i的取值范围为1到f(i)，f(i)为pm的表达式总数，pm按照e1m,e2m,…,eim,…,ef(i)m的顺序执行；

4、步骤s2、从所述覆盖率数据库中获取每一ef(i)m的命中次数；

5、步骤s3、将每一eim作为一个树节点，设置根节点，建立根节点指向每一e1m的有向边，建立ei-1m指向eim的有向边，生成一棵完整的树形结构；

6、步骤s4、基于当前树形结构的所有叶子节点对应的命中次数确定当前树形结构的叶子节点的命中概率；

7、步骤s5、基于所述当前树形结构的叶子节点的命中概率确定分裂节点，所述分裂节点为与当前树形结构的根节点直接相连的节点中信息增益最大的节点；

8、步骤s6、基于所述分裂节点将当前树形结构分裂为第一子树结构和第二子树结构，所述第一子树结构的根节点为所述分裂节点，所述第二子树结构的根节点为分裂前树形结构的根节点；

9、步骤s7、判断分裂节点的表达式是否成立，若成立，则执行步骤s8，否则，执行步骤s9；

10、步骤s8、判断第一子树结构的信息熵是否为0，若为0，则执行步骤s9，否则，将所述第一子树结构作为当前树形结构，返回执行步骤s4；

11、步骤s9、将第一子树结构的叶子节点对应的表达式确定为目标驱动源码，若当前确定的目标驱动源码数量等于预设的目标驱动源码数量，则结束流程，否则，执行步骤s10；

12、步骤s10、将所述第二子树结构作为当前树形结构，返回执行步骤s4。

13、本发明与现有技术相比具有明显的优点和有益效果。借由上述技术方案，本发明提供的一种基于覆盖率数据确定目标驱动源码的系统可达到相当的技术进步性及实用性，并具有产业上的广泛利用价值，其至少具有以下有益效果：

14、本发明基于覆盖率数据确定判断表达式是否成立的判断顺序，避免对相同表达式的重复判断，减少了程序的计算量和读磁盘的次数，提高了确定目标驱动源码的效率，降低了对系统性能损耗，提高了系统性能。

技术特征：

1.一种基于覆盖率数据确定目标驱动源码的系统，其特征在于，

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

3.其中，dj为当前树形结构中第j个叶子节点对应的命中概率。

4.根据权利要求1所述的系统，其特征在于，

5.根据权利要求3所述的系统，其特征在于，

6.其中，dj为当前树形结构中第j个叶子节点对应的命中概率，j的取值范围为1到g(x)，g(x)为当前树形结构中叶子节点总数。

7.根据权利要求4所述的系统，其特征在于，

8.根据权利要求1所述的系统，其特征在于，

9.根据权利要求1所述的系统，其特征在于，

10.根据权利要求7所述的系统，其特征在于，

技术总结
本发明涉及芯片验证技术领域，尤其涉及一种基于覆盖率数据确定目标驱动源码的系统，实现S1、获取候选路径。S2、获取每一E<subgt;f(i)</subgt;<supgt;m</supgt;的命中次数；S3、生成树形结构；S4、确定叶子节点的命中概率。S5、确定分裂节点；S6、分裂生成第一子树结构和第二子树结构。S7、若分裂节点的表达式成立，执行S8，否则，执行S9。S8、若第一子树结构的信息熵为0，执行步骤S9，否则，将第一子树结构作为当前树形结构，返回S4。S9、确定目标驱动源码，若符合结束条件，则结束流程，否则，执行S10。S10、将第二子树结构作为当前树形结构，返回S4。本发明提高了确定目标驱动源码的效率，降低了对系统性能损耗。

技术研发人员：王志峰
受保护的技术使用者：上海合见工业软件集团有限公司
技术研发日：
技术公布日：2024/1/12