CN117150995B - 驱动源码追踪方法、电子设备和介质 - Google Patents

Abstract

本发明涉及芯片验证技术领域，尤其涉及一种驱动源码追踪方法、电子设备和介质，方法包括步骤C1、在RTL仿真阶段，生成信号值变化记录，将所述信号值变化记录存储至预设数据库中；步骤C2、从设计源代码中获取目标信号标识和目标时刻对应的候选驱动源码{S₁,S₂,…,S_n,…,S_N}；步骤C3、基于所述预设数据库确定S_n对应的每一关联表达式中的每一信号在目标时刻对应的目标值，将每一信号在目标时刻对应的目标值代入对应的关联表达式进行验证，将所有关联表达式均成立的S_n确定为目标驱动源码。本发明能够快速准确地定位目标驱动源码。

Description

驱动源码追踪方法、电子设备和介质

技术领域

本发明涉及芯片验证技术领域，尤其涉及一种驱动源码追踪方法、电子设备和介质。

背景技术

在芯片验证过程中，通常需要分析波形和源码之间的关系，例如分析某一个波形变化是由哪部分源码导致的，进而调试设计存在的问题点、或者确定设计的逻辑原理。然而，对于一些逻辑比较复杂的源码，例如包含关联表达式、条件分支，并且其中涉及到的信号又同时存在信号值变化等场景。现有的驱动源码追踪技术难以分析出准确的结果，无法准确定位出目标驱动源码。由此可知，如何提供一种准确快速的驱动源码追踪技术成为亟待解决的技术问题。

发明内容

本发明目的在于，提供一种驱动源码追踪方法、电子设备和介质，能够快速准确地定位目标驱动源码。

根据本发明第一方面，提供了一种驱动源码追踪方法，包括：

步骤C1、在RTL仿真阶段，生成信号值变化记录，将所述信号值变化记录存储至预设数据库中，所述信号值变化记录包括信号标识字段、当前时刻字段、当前时刻信号值字段和信号值变化时序字段；

步骤C2、从设计源代码中获取目标信号标识和目标时刻对应的候选驱动源码{S₁,S₂,…,S_n,…,S_N}，其中，S_n为目标信号标识对应的第n个候选驱动源码，候选驱动源码为可能导致目标信号标识在目标时刻发生变化的源码，n的取值范围为1到N，N为目标信号标识对应的候选驱动源码总数；

步骤C3、基于所述预设数据库确定S_n对应的每一关联表达式中的每一信号在目标时刻对应的目标值，将每一信号在目标时刻对应的目标值代入对应的关联表达式进行验证，将所有关联表达式均成立的S_n确定为目标驱动源码，S_n对应的关联表达式为执行至S_n需要成立的表达式。

根据本发明第二方面，提供一种电子设备，包括：至少一个处理器；以及，与所述至少一个处理器通信连接的存储器；其中，所述存储器存储有可被所述至少一个处理器执行的指令，所述指令被设置为用于执行本发明第一方面所述的方法。

根据本发明第三方面，提供一种计算机可读存储介质，存储有计算机可执行指令，所述计算机指令用于执行本发明第一方面所述的方法。

本发明与现有技术相比具有明显的优点和有益效果。借由上述技术方案，本发明提供的一种驱动源码追踪方法、电子设备和介质可达到相当的技术进步性及实用性，并具有产业上的广泛利用价值，其至少具有以下有益效果：

本发明在RTL仿真阶段构建预设数据库，明确了每一信号值变化的时序，从设计源代码中获取候选源码，基于预设数据库结合信号值变化的时序确定每一候选驱动源码对应的每一关联表达式中的每一信号在目标时刻对应的目标值，将所有关联表达式均成立的候选源码确定为目标驱动源码，实现了快速准确地定位目标驱动源码。

附图说明

为了更清楚地说明本发明实施例中的技术方案，下面将对实施例描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本发明的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据这些附图获得其他的附图。

图1为本发明实施例提供的驱动源码追踪流程图；

图2为本发明实施例提供的部分源代码示意图。

具体实施方式

下面将结合本发明实施例中的附图，对本发明实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例仅仅是本发明一部分实施例，而不是全部的实施例。基于本发明中的实施例，本领域技术人员在没有作出创造性劳动前提下所获得的所有其他实施例，都属于本发明保护的范围。

本发明实施例提供了一种驱动源码追踪方法，如图1所示，包括：

步骤C1、在寄存器传输级（Register Transfer Level，简称RTL）仿真阶段，生成信号值变化记录，将所述信号值变化记录存储至预设数据库中，所述信号值变化记录包括信号标识字段、当前时刻字段、当前时刻信号值字段和信号值变化时序字段。

需要说明的是，信号值变化时序用于标识同一仿真时间点，信号值发生变化的相对先后关系，每一时刻在物理实现上为一段时间，例如1ns,因此在同一时刻，信号值的变化存在先后关系，每一信号值变化均存在对应的信号变化时序值，且由于源代码是逐行执行的，因此，每一信号变化的时序值是唯一的，且在同一时刻每一时序值仅出现一次。现有的数据库中，仅仅记录信号值的变化，并未记录信号变化时序。具体可以设置为：时序值越小，表示发生的顺序越靠前；时序值越大，表示发生的顺序越靠后。此外，信号值变化时序值可以直接通过仿真器获取，在此不再赘述。基于预设的数据库可以生成对应的信号波形进行展示。

以代码：#10;a=1;b=1;c=1为例，对应的时序如表1所示：

因为a的时序值最小，b次之，c最大。所以表1的时序信息可能描述成：在t=10的仿真时刻，先发生了a=1，再发生b=1，最后发生c=1。

步骤C2、从设计源代码中获取目标信号标识和目标时刻对应的候选驱动源码{S₁,S₂,…,S_n,…,S_N}，其中，S_n为目标信号标识对应的第n个候选驱动源码，候选驱动源码为可能导致目标信号标识在目标时刻发生变化的源码，n的取值范围为1到N，N为目标信号标识对应的候选驱动源码总数。

其中，设计具体可以为芯片设计，通过对设计源码分析可以直接获取到候选驱动源码，在此不再赘述。

步骤C3、基于所述预设数据库确定S_n对应的每一关联表达式中的每一信号在目标时刻对应的目标值，将每一信号在目标时刻对应的目标值代入对应的关联表达式进行验证，将所有关联表达式均成立的S_n确定为目标驱动源码，S_n对应的关联表达式为执行至S_n需要成立的表达式。

需要说明的是，时刻在物理概念中对应一个时间段，现有技术中，在某一时刻，信号值发生变化，是难以确定关联表达式中对应的是上一时刻信号值还是当前时刻信号值，因此，无法准确快速追溯到目标驱动源码。本发明实施例将信号值变化时序也加入预设数据库，基于信号值变化时序能够准确快速确定每一信号在目标时刻对应的目标值，从而能够快速准确地确定目标驱动源码。

正常情况下，通过步骤C3能够追踪到一个目标驱动源码，若不存在所有关联表达式均成立的S_n或者存在两个及两个以上的所有关联表达式均成立的S_n，则说明追踪异常，或者源代码存在问题，因此可生成追踪失败提示信息。

作为一种实施例，所述步骤C3包括：

步骤C31、基于目标信号标识和目标时刻从所述预设数据库中获取对应的目标当前时刻信号值X₀以及目标信号值变化时序R₀。

需要说明的是，目标信号标识为需要追踪的信号标识，目标时刻为需要追踪的目标信号发生信号值变化对应的时刻。

步骤C32、获取每一S_n对应的关联表达式集合{E₁ ⁿ,E₂ ⁿ,…,E_x ⁿ,…,E_f(n) ⁿ}，E_x ⁿ为S_n对应的第x个关联表达式，x的取值范围为1到f(n)，f(n)为S_n对应的关联表达式总数。

可以理解的是，n值不同，f(n)也可能不同。

步骤C33、获取每一E_x ⁿ对应的信号标识集合{G₁ ^nx,G₂ ^nx,…,G_y ^nx,…,G_z(y) ^nx}，G_y ^nx为E_x ⁿ对应的第y个信号标识，y的取值范围为1到z(y)，z(y)为E_x ⁿ对应的信号标识总数。

可以理解的是，y值不同，z(y)也可能不同。

步骤C34、从所述预设数据库中获取每一G_y ^nx在目标时刻对应的上一时刻信号值GP_y ^nx、当前时刻信号值GQ_y ^nx和信号值变化时序GR_y ^nx。

需要说明的是，因为预设数据库中存储有时间信息（对应当前时刻字段）、信号值信息（对应当前时刻信号值字段）以及时序信息（信号值变化时序字段），因此可以直接通过所述预设数据库获取到目标时刻对应的上一时刻信号值。步骤C35、若GR_y ^nx>R₀，则将G_y ^nx在目标时刻对应的目标值确定为GP_y ^nx，若GR_y ^nx<R₀，则将G_y ^nx在目标时刻对应的目标值确定为GQ_y ^nx，时序值小越先发生。

需要说明的是，通过步骤S35的精确判断，可以准确地确定在验证S_n对应的关联表达式时，每一信号的准确取值。

步骤C36、将X₀以及每一G_y ^nx在目标时刻对应的目标值代入S_n对应的关联表达式集合中，将关联表达式集合中关联表达式全部成立的S_n确定为目标驱动源码。

作为一种实施例，所述步骤C32包括：

步骤C321、获取设计源码对应的语法树。

需要说明的是，现有的生成语法树的方式全部落入本发明保护范围之内，在此不再赘述。语法树能够直观体现代码层次结构。

步骤C321、从S_n为起点向上遍历所述设计源码对应的语法树，将所有预设类型表达式确定为S_n对应的关联表达式。

其中，所述预设类型表达式包括：if/else条件类型表达式、case分支条件类型表达式、事件触发等待类型表达式、wait等待条件等待类型表达式、always_comb块类型表达式等。

步骤C323、当达到预设结束遍历条件时，结束遍历，生成S_n对应的关联表达式集合。

其中，所述预设的结束遍历条件包括：遍历到达设计源码对应的语法树顶部、遍历至initial或always或module或function或task的定义节点。需要说明的是，遍历到达设计源码对应的语法树顶部可以设置为默认结遍历结束条件，当遇到initial或always或module或function或task的定义节点时，可以不用遍历到语法树顶部，可以提前终止遍历，但不会对遍历结果造性影响，优化了系统性能。

以下通过一个具体示例对本发明进行进一步说明，如图2所示的部分源代码，用户指定目标信号为dbt，时刻为87，通过预设数据库可获取到目标信号对应的目标当前时刻信号值为0，对应的目标上一时刻信号值为66，目标信号值变化时序为5。从设计源代码中获取目标信号为dbt，时刻为87对应的候选源码：S1和S2。其中，S1具体为dbt=(pkg[7:0]^Pkgg[0][7:0])；S2具体为dbt=(Pkgg[1][7:0]^pkg[7:0])。对于S1和S2获取设计代码所在的语法树结构，并语法树中提取出其需要满足的关联表达式集合，其中，dbt=(pkg[7:0]^Pkgg[0][7:0])对应的关联表达式集合为{dbt=(pkg[7:0]^Pkgg[0][7:0])，vldg[0]，@(clk)}。dbt=(Pkgg[1][7:0]^pkg[7:0])对应的关联表达式集合为{dbt=(Pkgg[1][7:0]^pkg[7:0])，~vldg[0]，@(clk)}，获取关联表达式集合所包含的信号集合，并从预设数据库中获取其对应时间的信号值及其时序信息，如表2所示：

需要说明的是，表2中，当前时刻信号值变化中，“前值->后值”表示从信后从前值变化为后值，前值指的是87时刻的上一时刻信号值，后值指的是87时刻的信号值。例如，1->0代表vldg[0]87时刻的信号值变为了0，上一时刻信号值为1。

本示例中，对应的目标信号值变化时序为5，筛选表2中的信号值，得到每一信号的目标值，如表3所示：

将目标值代入关联表达式进行验证可知，S1对应的dbt=(pkg[7:0]^Pkgg[0][7:0])，vldg[0]，@(clk)均成立，S2对应的dbt=(Pkgg[1][7:0]^pkg[7:0])，~vldg[0]，@(clk)中，(Pkgg[1][7:0]^pkg[7:0])和@(clk)成立，~vldg[0]不成立。S1中的所有表达式都满足。所以S1为目标驱动源码，S2中的~vldg[0]不满足，因为vldg[0]的值为1。所以S2不是目标驱动源码。

由此可知，对于带有复杂值变化的表达式分析时，根据时序信息能预先滤除大多数信号的值变化，拿到其确定的目标值，减少后续分析的复杂度，提高分析性能。此外，基于目标值，能够追踪到更为准确的目标源码。

需要说明的是，一些示例性实施例被描述成作为流程图描绘的处理或方法。虽然流程图将各步骤描述成顺序的处理，但是其中的许多步骤可以被并行地、并发地或者同时实施。此外，各步骤的顺序可以被重新安排。当其操作完成时处理可以被终止，但是还可以具有未包括在附图中的附加步骤。处理可以对应于方法、函数、规程、子例程、子程序等等。

本发明实施例还提供一种电子设备，包括：至少一个处理器；以及，与所述至少一个处理器通信连接的存储器；其中，所述存储器存储有可被所述至少一个处理器执行的指令，所述指令被设置为用于执行本发明实施例所述的方法。

本发明实施例还提供一种计算机可读存储介质，存储有计算机可执行指令，所述计算机指令用于执行本发明实施例所述的方法。

本发明实施例在RTL仿真阶段构建预设数据库，明确了每一信号值变化的时序，从设计源代码中获取候选源码，基于预设数据库结合信号值变化的时序确定每一候选驱动源码对应的每一关联表达式中的每一信号在目标时刻对应的目标值，将所有关联表达式均成立的候选源码确定为目标驱动源码，实现了快速准确地定位目标驱动源码。

以上所述，仅是本发明的较佳实施例而已，并非对本发明作任何形式上的限制，虽然本发明已以较佳实施例揭露如上，然而并非用以限定本发明,任何熟悉本专业的技术人员，在不脱离本发明技术方案范围内,当可利用上述揭示的技术内容作出些许更动或修饰为等同变化的等效实施例,但凡是未脱离本发明技术方案的内容，依据本发明的技术实质对以上实施例所作的任何简单修改、等同变化与修饰，均仍属于本发明技术方案的范围内。

Claims (7)

1.一种驱动源码追踪方法，其特征在于，包括：

步骤C1、在RTL仿真阶段，生成信号值变化记录，将所述信号值变化记录存储至预设数据库中，所述信号值变化记录包括信号标识字段、当前时刻字段、当前时刻信号值字段和信号值变化时序字段；

步骤C2、从设计源代码中获取目标信号标识和目标时刻对应的候选驱动源码{S₁,S₂,…,S_n,…,S_N}，其中，S_n为目标信号标识对应的第n个候选驱动源码，候选驱动源码为可能导致目标信号标识在目标时刻发生变化的源码，n的取值范围为1到N，N为目标信号标识对应的候选驱动源码总数；

步骤C3、基于所述预设数据库确定S_n对应的每一关联表达式中的每一信号在目标时刻对应的目标值，将每一信号在目标时刻对应的目标值代入对应的关联表达式进行验证，将所有关联表达式均成立的S_n确定为目标驱动源码，S_n对应的关联表达式为执行至S_n需要成立的表达式；

所述步骤C3包括：

步骤C31、基于目标信号标识和目标时刻从所述预设数据库中获取对应的目标当前时刻信号值X₀以及目标信号值变化时序R₀；

步骤C32、获取每一S_n对应的关联表达式集合{E₁ ⁿ,E₂ ⁿ,…,E_x ⁿ,…,E_f(n) ⁿ}，E_x ⁿ为S_n对应的第x个关联表达式，x的取值范围为1到f(n)，f(n)为S_n对应的关联表达式总数；

步骤C33、获取每一E_x ⁿ对应的信号标识集合{G₁ ^nx,G₂ ^nx,…,G_y ^nx,…,G_z(y) ^nx}，G_y ^nx为E_x ⁿ对应的第y个信号标识，y的取值范围为1到z(y)，z(y)为E_x ⁿ对应的信号标识总数；

步骤C34、从所述预设数据库中获取每一G_y ^nx在目标时刻对应的上一时刻信号值GP_y ^nx、当前时刻信号值GQ_y ^nx和信号值变化时序GR_y ^nx；

步骤C35、若GR_y ^nx>R₀，则将G_y ^nx在目标时刻对应的目标值确定为GP_y ^nx，若GR_y ^nx<R₀，则将G_y ^nx在目标时刻对应的目标值确定为GQ_y ^nx，时序值小越先发生；

步骤C36、将X₀以及每一G_y ^nx在目标时刻对应的目标值代入S_n对应的关联表达式集合中，将关联表达式集合中关联表达式全部成立的S_n确定为目标驱动源码。

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

所述步骤C32包括：

步骤C321、获取设计源码对应的语法树；

步骤C322、从S_n为起点向上遍历所述设计源码对应的语法树，将所有预设类型表达式确定为S_n对应的关联表达式；

步骤C323、当达到预设结束遍历条件时，结束遍历，生成S_n对应的关联表达式集合。

3.根据权利要求2所述的方法，其特征在于，

所述预设类型表达式包括：if/else条件类型表达式、case分支条件类型表达式、事件触发等待类型表达式、wait等待条件等待类型表达式、always_comb块类型表达式。

4.根据权利要求2所述的方法，其特征在于，

所述预设的结束遍历条件包括：遍历到达设计源码对应的语法树顶部、遍历至initial或always或module或function或task的定义节点。

5.根据权利要求1所述的方法，其特征在于，

所述步骤C3中，若不存在所有关联表达式均成立的S_n或者存在两个及两个以上的所有关联表达式均成立的S_n，则生成追踪失败提示信息。

6.一种电子设备，其特征在于，包括：

至少一个处理器；

以及，与所述至少一个处理器通信连接的存储器；

其中，所述存储器存储有可被所述至少一个处理器执行的指令，所述指令被设置为用于执行前述权利要求1-5任一项所述的方法。

7.一种计算机可读存储介质，其特征在于，存储有计算机可执行指令，所述计算机可执行指令用于执行前述权利要求1-5中任一项所述的方法。