【技术实现步骤摘要】
本申请涉及数字逻辑电路，尤其涉及一种数字逻辑电路的分析方法、计算机设备及存储介质。
技术介绍
1、随着现代数字逻辑电路的规模越来越大，功能越来越复杂，如何高效地对电路进行分析和优化成为了现代eda（electronic design automation，电子设计自动化）工具不可或缺的重要组成部分。
2、在数字逻辑电路设计过程中，假路径（false path）可能占据数字逻辑电路全部路径的80%甚至更高，以此识别false path可减少工具修违例路径的工作量。但在数字电路中，逻辑门达到百万甚至千万级，在可接受资源范围内识别false path是一种挑战。
技术实现思路
1、有鉴于此，本申请提出一种数字逻辑电路的分析方法、计算机设备及存储介质，以解决或部分解决上述问题。
2、基于上述目的，第一方面，本申请提供了一种数字逻辑电路的分析方法，包括：
3、获取待分析的数字逻辑电路；
4、以所述数字逻辑电路的触发器为节点进行电路分级，选取任一相邻两级之间的数字逻辑电路为目标电路；其中，所述目标电路包括至少一条路径，所述至少一条路径包括至少一个组合逻辑单元；
5、确定所述目标电路的变量序，以所述变量序为基础，根据布尔函数确定所述至少一个组合逻辑单元的第一结果；其中，所述第一结果与所述至少一个组合逻辑单元的输出对输入的布尔差分对应；
6、确定所述至少一条路径中的目标路径，根据所述目标路径所对应的第一结果进行ite操作；p>
7、根据操作结果确定所述目标路径的识别结果。
8、本申请第二方面，提供了一种计算机设备，包括一个或者多个处理器、存储器；和一个或多个程序，其中所述一个或多个程序被存储在所述存储器中，并且被所述一个或多个处理器执行，所述程序包括用于执行根据第一方面所述的方法的指令。
9、本申请第三方面，提供了一种包含计算机程序的非易失性计算机可读存储介质，当所述计算机程序被一个或多个处理器执行时，使得所述处理器执行第一方面所述的方法。
10、从上面所述可以看出，本申请提供了一种数字逻辑电路的分析方法、计算机设备及存储介质。本申请通过确定目标电路的变量序，以此再通过布尔函数进行robdd的表示，以此确定出目标电路中组合逻辑单元的第一结果，最后根据第一结果进行ite操作，如果操作结果恒为0，则说明目标电路属于假路径，以此方式可以在进行目标电路分析时，通过归约有序的二元决策图减少节点数目，并且通过以上方式可以在一定程度上减少空间复杂度及计算时间，提升分析效率，加快假路径识别过程。
本文档来自技高网...【技术保护点】
1.一种数字逻辑电路的分析方法，其特征在于，包括：
2.根据权利要求1所述的方法，其特征在于，所述确定所述目标电路的变量序，包括：
3.根据权利要求2所述的方法，其特征在于，所述根据所述至少一个起点的等级对所述至少一个起点排序，包括：
4.根据权利要求1所述的方法，其特征在于，所述第一结果为根据所述布尔函数确定的所述至少一个组合逻辑单元的ROBDD的布尔差分结果，或根据所述布尔函数确定的所述至少一个组合逻辑单元的ROBDD的布尔差分对应的逻辑表达式。
5.根据权利要求4所述的方法，其特征在于，所述根据所述目标路径所对应的第一结果进行ITE操作，包括：
6.根据权利要求5所述的方法，其特征在于，当所述第一结果为所述逻辑表达式时，对所述逻辑表达式进行算式化简，以此进行所述第一结果的存储；
7.根据权利要求6所述的方法，其特征在于，所述根据所述必要的逻辑表达式进行ROBDD的布尔差分计算，包括：
8.根据权利要求5所述的方法，其特征在于，所述根据所述必要的逻辑表达式进行ROBDD的布尔差分计算，包括：<...
【技术特征摘要】
1.一种数字逻辑电路的分析方法，其特征在于，包括：
2.根据权利要求1所述的方法，其特征在于，所述确定所述目标电路的变量序，包括：
3.根据权利要求2所述的方法，其特征在于，所述根据所述至少一个起点的等级对所述至少一个起点排序，包括：
4.根据权利要求1所述的方法，其特征在于，所述第一结果为根据所述布尔函数确定的所述至少一个组合逻辑单元的robdd的布尔差分结果，或根据所述布尔函数确定的所述至少一个组合逻辑单元的robdd的布尔差分对应的逻辑表达式。
5.根据权利要求4所述的方法，其特征在于，所述根据所述目标路径所对应的第一结果进行ite操作，包括：
6.根据权利要求5所述的方法，其特征在于，当所述第一结果为所述逻辑表达式时，对所述逻辑表达式进行算式化简，以此进行所述第一结果的存储；
<...
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。