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

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

背景技术：

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

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

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

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

技术实现思路

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

2、s200，获取目标信号sig0。

3、s400，获取计算模块，所述计算模块包括信号输入变量和信号输出变量；其中，信号输入变量包括t1个输入信号，信号输出变量包括t2个输出信号，其中t1≥1，t2≥1。

4、s600，按照处理计算模块的相反顺序依次遍历每个计算模块的信号输出变量，得到与sig0匹配的n个目标计算模块mod，其中，第i个与sig0匹配的目标计算模块modi包括信号输出变量sigi和l(i)个信号输入变量，i的取值范围为1到n，l(i)≥0；其中，sigi中的信号包括sig0。

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

6、s820，获取sigi的当前信号值，将sigi的当前信号值分别与modi的当前结果值和历史结果值进行比对，当比对结果均不一致时，modi未激活，执行步骤s840。

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

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

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

技术特征：

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

2.根据权利要求1所述的方法，其特征在于，s840中还包括ssigi的获取步骤：

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

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

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

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

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

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

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

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

技术总结
本发明涉及芯片验证技术领域，特别是涉及一种信号激活状态的判断方法，该方法通过获取目标信号和计算模块，按照处理计算模块的相反顺序依次遍历每个计算模块的信号输出变量，得到与目标信号匹配的N个目标计算模块；根据每个目标计算模块的信号输入变量和信号输出变量，判断目标计算模块是否激活，在激活判断的过程中利用未被处理顺序晚于mod
技术研发人员：李琛,张邦全
受保护的技术使用者：成都融见软件科技有限公司
技术研发日：
技术公布日：2024/1/16