CN117093432B - 一种信号激活状态的判断方法 - Google Patents

Abstract

本发明涉及芯片验证技术领域，特别是涉及一种信号激活状态的判断方法，该方法通过获取目标信号和计算模块，按照处理计算模块的相反顺序依次遍历每个计算模块的信号输出变量，得到与目标信号匹配的N个目标计算模块；根据每个目标计算模块的信号输入变量和信号输出变量，判断目标计算模块是否激活，在激活判断的过程中利用未被处理顺序晚于mod_i的计算模块处理的输出信号作为有效输出信号，通过有效输出信号屏蔽信号值中相应位置的信号干扰达到辅助判断激活状态的目的，能够使判断激活的结果更加准确，提高判断效率。

Description

一种信号激活状态的判断方法

技术领域

本发明涉及芯片验证技术领域，特别是涉及一种信号激活状态的判断方法。

背景技术

在芯片验证的过程中，芯片中的每个信号都具有相应的期望信号值；在通过测试用例进行例化时，每个信号具有一个当前信号值；当期望信号值和当前信号值不同时表示相应信号在执行过程中出错。目前根据目标信号的当前信号值进行反向溯源，获取与目标信号相关的计算模块的信号输出变量和信号输入变量，将计算模块的信号输出变量的当前信号值分别与计算模块的当前计算结果和历史计算结果进行匹配，若相同，则认为相应的计算模块处于激活状态，否则，认为计算模块未激活。

现有技术存在以下缺陷：过程块顺序执行后得到的计算结果可能是由多个不同的计算模块叠加的结果，通过上述方法会导致以下缺陷：

1.目标信号可能会受到信号输出变量中的其他不关心的信号干扰，导致判断匹配失败，被错误的判断为未激活状态。

2.当计算模块中信号输入变量和信号输出变量同时受到在后执行的计算模块的干扰时，会导致比对结果的准确性差。

发明内容

针对上述技术问题，本发明采用的技术方案为：一种信号激活状态的判断方法，所述方法包括以下步骤：

S200，获取目标信号sig₀。

S400，获取计算模块，所述计算模块包括信号输入变量和信号输出变量；其中，信号输入变量包括T1个输入信号，信号输出变量包括T2个输出信号，其中T1≥1，T2≥1。

S600，按照处理计算模块的相反顺序依次遍历每个计算模块的信号输出变量，得到与sig₀匹配的N个目标计算模块mod，其中，第i个与sig₀匹配的目标计算模块mod_i包括信号输出变量sig_i和L(i)个信号输入变量，i的取值范围为1到N，L(i)≥0；其中，sig_i中的信号包括sig₀。

S800，根据每个目标计算模块的信号输入变量和信号输出变量，判断目标计算模块是否激活，其中mod_i的激活状态的判断步骤包括：

S820，获取sig_i的当前信号值，将sig_i的当前信号值分别与mod_i的当前结果值和历史结果值进行比对，当比对结果均不一致时，mod_i未激活，执行步骤S840。

S840，将sig_i中未被处理顺序晚于mod_i的计算模块处理的输出信号作为有效输出信号，得到sig_i的U(i)个有效输出信号ssig_i，其中U(i) ＞0；根据sig_i获取ssig_i的有效当前信号值；根据ssig_i的有效当前信号值判断mod_i的激活状态。

本发明与现有技术相比具有明显的有益效果，借由上述技术方案，本发明提供的一种信号激活状态的判断方法可达到相当的技术进步性及实用性，并具有产业上的广泛利用价值，其至少具有以下有益效果：

本发明提供了一种信号激活状态的判断方法，该方法通过计算模块执行的相反顺序遍历计算模块，得到所有目标计算模块；并按照遍历顺序依次判断每个目标计算模块是否被激活，在激活判断的过程中利用有效输出信号屏蔽干扰信号的影响进行辅助判断，能够使判断激活的结果更加准确，提高判断效率。

附图说明

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

图1为本发明实施例提供的一种信号激活状态的判断方法流程图。

具体实施方式

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

请参阅图1，其示出了一种信号激活状态的判断方法流程图，该方法包括以下步骤：

S200，获取目标信号sig₀。其中目标信号sig₀为用户跟踪的信号，用户可以通过EDA工具跟踪信号。

S400，获取计算模块，所述计算模块包括信号输入变量和信号输出变量；其中，其中，信号输入变量包括T1个输入信号，信号输出变量包括T2个输出信号，其中T1≥1，T2≥1。例如，当信号输入变量为data[1]时，则信号输入变量中只包含一个输入信号。当信号输入变量为data[3:0]时，则信号输入变量中包括data[3]、data[2]、data[1]和data[0]这4个输入信号。同理，信号输出变量包括T2个输出信号，其中T2≥1，不再赘述。

其中，计算模块将由多个信号输入变量通过操作符构成的表达式的计算结果赋值给信号输出变量。作为一个示例，计算模块执行的计算为“data[3:0]=data[1]+a”，其中，data[3:0]为信号输出变量，data[1]和a分别为信号输入变量。

可选的，计算模块包含于过程块，一个过程块可以包括多个计算模块。过程块在执行的过程中按照计算模块的执行顺序依次执行处理。优选的，计算模块为过程块中的赋值语句。

S600，按照处理计算模块的相反顺序依次遍历每个计算模块的信号输出变量，得到与sig₀匹配的N个目标计算模块mod，其中，第i个与sig₀匹配的目标计算模块mod_i包括信号输出变量sig_i和L(i)个信号输入变量，i的取值范围为1到N，L(i)≥0；其中，sig_i中的信号包括sig₀。

其中，信号输出变量sig_i包括T2(i)个输出信号，T2(i)≥1。每个信号输入变量包括T1个输入信号，在S400中已经详细说明，不再赘述。

作为一个优选实施例，S600还包括第i个与sig₀匹配的目标计算模块mod_i的获取步骤：

S610，获取计算模块dmod_j的信号输出变量dsig_j。

S620，获取dsig_j的M(j)个输出信号，M(j)≥1。

S630，将sig₀的信号名称分别与M(j)个输出信号的信号名称进行比对，当存在一组信号名称一致时，判断dmod_j与sig₀匹配，将dmod_j作为第i个与sig₀匹配的目标计算模块mod_i。可选的，将sig₀的信号名称分别与M(j)个输出信号的信号名称进行比对的方法采用字符串比对，现有技术中其他能够实现信号名称比对的目的也落入本发明的保护范围。

S800，根据每个目标计算模块的信号输入变量和信号输出变量，判断目标计算模块是否激活。需要说明的是，根据赋值语句的左右表达式的结果值是否相等来判断赋值语句的激活状态，左右表达式的信号值相等时，说明赋值语句被激活，否则未被激活。

进一步，mod_i的激活状态的判断步骤包括：

S820，获取sig_i的当前信号值，将sig_i的当前信号值分别与mod_i的当前结果值和历史结果值进行比对，当比对结果均不一致时，mod_i未激活，执行步骤S840。

其中，sig_i的当前信号值为数据库中存储的当前时刻sig_i的信号值。

其中，mod_i的当前结果值为根据数据库中记载的信号输入变量在当前时刻的当前信号值对计算模块进行计算得到当前结果值。

其中，mod_i的历史结果值为根据数据库中记载的信号输入变量在过程块执行时的历史信号值对计算模块进行计算得到历史结果值。

需要说明的是，在执行本发明所提供的判断方法时，过程块中的所有计算模块已经顺序执行完毕。此时，计算模块中同一个信号输入变量可能会对应两个信号值，一个是过程块执行完毕之后，信号输入变量的当前信号值；另一个是过程块在上次执行过程中的历史信号值，当前信号值和历史信号值均记载在数据库中。

优选的，S820中将sig_i的当前信号值分别与mod_i的当前结果值和历史结果值进行比对的步骤还包括：将sig_i的当前信号值与mod_i的当前结果值进行比对，当比对结果一致时，mod_i为激活状态，结束mod_i的判断步骤；否则，将sig_i的当前信号值与mod_i的历史结果值进行比对，当比对结果一致时，mod_i为激活状态，结束mod_i的判断步骤；否则，mod_i未激活，执行步骤S840。需要说明的是，结束mod_i的判断步骤之后，还需要根据遍历的顺序再依次判断下一个计算模块是否被激活。sig_i的当前信号值和历史信号值均能够从数据库中获取。在数据库中保存了在执行过程中每个变量的所有信号值以及变量的信号值发生变化的时刻。因此能够得到每个变量的当前信号值和历史信号值。

需要说明的是，本发明提供的判断方法是按照计算模块的相反处理顺序依次遍历每个计算模块的信号输出变量，然后按照遍历的顺序依次判断每个目标计算模块是否激活，按照由在后执行向在前执行的顺序遍历能够更快更准确的找到与目标信号相关的信号输出变量，判断是否激活的效率更高。

S840，将sig_i中未被处理顺序晚于mod_i的计算模块处理的输出信号作为有效输出信号，得到sig_i的U(i)个有效输出信号ssig_i，其中U(i)＞0；根据sig_i获取ssig_i的有效当前信号值；根据ssig_i的有效当前信号值判断mod_i的激活状态。

作为一个示例，在先执行的计算模块sm_k的信号输出变量为data[3:0]，在后执行的计算模块sm_k+1的输出变量为data[1]，此时，sm_k+1中的data[1]的值会覆盖掉sm_k的data[3:0]中的data[1]的值，也即sm_k的data[1]已经被处理顺序晚于sm_k的sm_k+1处理，data[1]为无效输出信号，未被过程块中晚于sm_k的计算模块sm_k+1处理的data[3]、data[2]和data[0]为有效输出信号。

通过过滤处理顺序晚于mod_i的计算模块处理的输出信号的方式，能够屏蔽在后计算模块覆盖的无效输出信号的干扰，使判断是否激活的溯源结果更加准确。

由于本发明在遍历目标信号时是从最后一个执行的计算模块向前依次遍历，且在遍历之后按照遍历的顺序再依次判断每个计算模块是否激活，激活则结束当前计算模块的判断步骤，能够快速的筛选出已经被激活的所有计算模块；同时判断激活的步骤，能够将干扰信号进行屏蔽处理，得到准确的判断结果，解决了当目标信号受到信号输出变量中其他不关心信号干扰导致的错误判断的问题，以及当计算模块中信号输入变量和信号输出变量同时受到在后执行的计算模块的干扰时导致准确性差的问题。在得到已被激活的所有计算模块之后，通过对已被激活的所有计算模块的基础上进行筛选判断即可快速定位到目标信号发生改变的源头。

作为一个优选实施例，S840还包括ssig_i的获取步骤：

S8411，遍历执行顺序晚于mod_i的计算模块，获取计算模块的信号输出变量。

S8412，获取信号输出变量中的输出信号与mod_i的输出信号的交集，交集中的输出信号为无效输出信号，得到执行顺序晚于mod_i的所有计算模块的无效输出信号集。

S8413，过滤sig_i中属于无效输出信号集中的所有输出信号，得到mod_i的有效输出信号。通过将目标计算模块的信号输出变量与在后执行的计算模块的信号输出变量的筛选能够快速准确的过滤掉无效输出信号。

可选的，过滤sig_i中属于无效输出信号集中的所有输出信号的方式可以是直接删除相应位置上的输出信号，还可以是属于无效输出信号集中的所有输出信号指定为相同的标识符。

优选的，过滤sig_i中属于无效输出信号集中的所有输出信号的方式为将属于无效输出信号集中的所有输出信号指定为相同的标识符。通过指定相同标识符的方式不仅能够消除被无效输出信号的干扰，而且同时能够保证信号输出变量的长度以及输出信号的排序不变，保证信号比对的过程中不会发生比对错位等错误。

可选的，标识符为“_”或“*”等，或者为字母等。

作为一个优选实施例，S840中根据ssig_i的有效当前信号值判断mod_i的激活状态的步骤还包括：

S842，根据mod_i中L(i)个信号输入变量的当前信号值计算mod_i的当前结果值。需要说明的是，mod_i的当前结果值是通过将每个信号输入变量的当前信号值都带入计算模块的表达式计算得到的结果，并不是程序块的执行结果。

S844，根据ssig_i提取mod_i的当前结果值得到mod_i的有效当前结果值。

可选的，S844还包括：检测ssig_i中每位是否符合指定编码规则，若不符合，将不符合编码规则的位置作为无效位置，将当前结果值中与所述无效位置相同的位置上的信号值修改为指定标识符，得到mod_i的有效当前结果值。其中，指定编码规则可以根据实际情况设置，例如，信号有效时为高电平，无效时为低电平，则指定的编码规则即为高电平编码为1，低电平编码为0。

优选的，S844中根据ssig_i提取mod_i的当前结果值得到mod_i的有效当前结果值的步骤还包括：检测ssig_i中指定标识符的位置，将当前结果值中与ssig_i中指定标识符的位置相同的位置上信号值修改为所述指定标识符，得到mod_i的有效当前结果值。直接检测指定标识符能够快速定位，快速将当前结果中与ssig_i中相同位置的信号值修改为所述指定标识符。

作为一个示例，指定标识符为“_”，当data[3:0]的无效位置为data[1]，当data[3:0]的当前结果值为0111时，在经过S844的处理之后，有效当前结果值为01_1。

S846，将ssig_i的有效当前信号值与mod_i的有效当前结果值进行比对，比对结果一致时确定mod_i被激活；否则，执行S848。可选的，比对的方式采用字符串比对，现有技术中其他能够实现比对的方式也落入本发明的保护范围之内。

通过将被后续计算模块覆盖的位置上的信号的干扰屏蔽之后再次进行比对，能够使最终得到的比对结果更加准确。

S848，根据mod_i的L(i)个信号输入变量的历史信号值计算mod_i的历史结果值。需要说明的是，输入信号的历史信号值记录在数据库中，通过数据库能够查找到每个信号输入变量的在过程块执行时的历史信号值。历史结果值与执行块在执行过程中mod_i的历史结果值相同。

S850，根据ssig_i提取mod_i的历史结果值得到mod_i的有效历史结果值。其中有效历史结果值的获取步骤与有效当前结果值的获取步骤相同。

可选的，S850还包括：将历史结果值中与ssig_i中的所述无效位置相同的位置上的信号值修改为指定标识符，得到mod_i的有效历史结果值。

优选的，S850中根据ssig_i提取mod_i的历史结果值得到mod_i的有效历史结果值的步骤还包括：将历史结果值中与ssig_i中指定标识符的位置相同的位置上信号值修改为所述指定标识符，得到mod_i的有效历史结果值。

S852，将ssig_i的有效当前信号值与mod_i的有效历史结果值进行比对，比对结果一致时确定mod_i被激活；否则，确定mod_i未激活。可选的，比对的方式与S846相同，采用字符串比对，现有技术中其他能够实现比对的方式也落入本发明的保护范围之内。

需要说明的是，本发明在判断目标计算模块是否激活时也是按照判断条件的顺序依次判断，依次以计算模块计算得到的当前信号值和历史信号值为基础来判断，并依次结合有效当前信号值和有效历史信号值来进一步判断，能够使判断得到的结果更加准确，同样能够提高判断是否激活的效率。

作为一个优选实施例，S820还包括mod_i的当前结果值的获取步骤：

S821，分别获取mod_i中L(i)个信号输入变量的当前信号值。需要说明的是，当前信号值为数据库中保存的每个输入信号在当前时刻的信号值。

S822，根据mod_i中L(i)个信号输入变量的当前信号值，计算mod_i的当前结果值。通过将每个输入信号的带入计算模块的表达式中得到当前结果值。

作为一个优选实施例，S820还包括mod_i的历史结果值的获取步骤：

S823，分别获取mod_i中L(i)个信号输入变量的历史信号值。

S822，根据mod_i中L(i)个信号输入变量的历史信号值，计算mod_i的历史结果值。

虽然已经通过示例对本发明的一些特定实施例进行了详细说明，但是本领域的技术人员应该理解，以上示例仅是为了进行说明，而不是为了限制本发明的范围。本领域的技术人员还应理解，可以对实施例进行多种修改而不脱离本发明的范围和精神。本发明公开的范围由所附权利要求来限定。

Claims (9)

1.一种信号激活状态的判断方法，其特征在于，所述方法包括以下步骤：

S200，获取目标信号sig₀；

S400，获取计算模块，所述计算模块包括信号输入变量和信号输出变量；其中，信号输入变量包括T1个输入信号，信号输出变量包括T2个输出信号，其中T1≥1，T2≥1；

S600，按照处理计算模块的相反顺序依次遍历每个计算模块的信号输出变量，得到与sig₀匹配的N个目标计算模块mod，其中，第i个与sig₀匹配的目标计算模块mod_i包括信号输出变量sig_i和L(i)个信号输入变量，i的取值范围为1到N，L(i)≥0；其中，sig_i中的信号包括sig₀；

S800，根据每个目标计算模块的信号输入变量和信号输出变量，判断目标计算模块是否激活，其中mod_i的激活状态的判断步骤包括：

S820，获取sig_i的当前信号值，将sig_i的当前信号值分别与mod_i的当前结果值和历史结果值进行比对，当比对结果均不一致时，mod_i未激活，执行步骤S840；

S840，将sig_i中未被处理顺序晚于mod_i的计算模块处理的输出信号作为有效输出信号，得到sig_i的U(i)个有效输出信号ssig_i，其中U(i)＞0；根据sig_i获取ssig_i的有效当前信号值；根据ssig_i的有效当前信号值判断mod_i的激活状态；

其中，S840中还包括ssig_i的获取步骤：

S8411，遍历执行顺序晚于mod_i的计算模块，获取计算模块的信号输出变量；

S8412，获取信号输出变量中的输出信号与mod_i的输出信号的交集，交集中的输出信号为无效输出信号，得到执行顺序晚于mod_i的所有计算模块的无效输出信号集；

S8413，过滤sig_i中属于无效输出信号集中的所有输出信号，得到mod_i的有效输出信号。

2.根据权利要求1所述的方法，其特征在于，S8413中过滤sig_i中属于无效输出信号集中的所有输出信号的方式为将属于无效输出信号集中的所有输出信号指定为相同的标识符。

3.根据权利要求1所述的方法，其特征在于，S840中根据ssig_i的有效当前信号值判断mod_i的激活状态的步骤还包括：

S842，根据mod_i中L(i)个输入信号的当前信号值计算mod_i的当前结果值；

S844，根据ssig_i提取mod_i的当前结果值得到mod_i的有效当前结果值；

S846，将ssig_i的有效当前信号值与mod_i的有效当前结果值进行比对，比对结果一致时确定mod_i被激活；否则，执行S848；

S848，根据mod_i的L(i)个输入信号的历史信号值计算mod_i的历史结果值；

S850，根据ssig_i提取mod_i的历史结果值得到mod_i的有效历史结果值；

S852，将ssig_i的有效当前信号值与mod_i的有效历史结果值进行比对，比对结果一致时确定mod_i被激活；否则，确定mod_i未激活。

4.根据权利要求3所述的方法，其特征在于，S844中根据ssig_i提取mod_i的当前结果值得到mod_i的有效当前结果值的步骤还包括：检测ssig_i中指定标识符的位置，将当前结果值中与ssig_i中指定标识符的位置相同的位置上信号值修改为所述指定标识符，得到mod_i的有效当前结果值。

5.根据权利要求4所述的方法，其特征在于，S850中根据ssig_i提取mod_i的历史结果值得到mod_i的有效历史结果值的步骤还包括：将历史结果值中与ssig_i中指定标识符的位置相同的位置上信号值修改为所述指定标识符，得到mod_i的有效历史结果值。

6.根据权利要求1所述的方法，其特征在于，S820还包括mod_i的当前结果值的获取步骤：

S821，分别获取mod_i中L(i)个信号输入变量的当前信号值；

S822，根据mod_i中L(i)个信号输入变量的当前信号值，计算mod_i的当前结果值。

7.根据权利要求1所述的方法，其特征在于，S820还包括mod_i的历史结果值的获取步骤：

S823，分别获取mod_i中L(i)个信号输入变量的历史信号值；

S822，根据mod_i中L(i)个信号输入变量的历史信号值，计算mod_i的历史结果值。

8.根据权利要求1所述的方法，其特征在于，S600还包括第i个与sig₀匹配的目标计算模块mod_i的获取步骤：

S610，获取计算模块dmod_j的信号输出变量dsig_j；

S620，获取dsig_j的M(j)个输出信号，M(j)≥1；

S630，将sig₀的信号名称分别与M(j)个输出信号的信号名称进行比对，当存在一组信号名称一致时，判断dmod_j与sig₀匹配，将dmod_j作为第i个与sig₀匹配的目标计算模块mod_i。

9.根据权利要求1所述的方法，其特征在于，S820中将sig_i的当前信号值分别与mod_i的当前结果值和历史结果值进行比对的步骤还包括：将sig_i的当前信号值与mod_i的当前结果值进行比对，当比对结果一致时，mod_i为激活状态，结束mod_i的判断步骤；否则，将sig_i的当前信号值与mod_i的历史结果值进行比对，当比对结果一致时，mod_i为激活状态，结束mod_i的判断步骤；否则，mod_i未激活，执行步骤S840。