数字逻辑电路的分析方法、计算机设备及存储介质技术

本申请提供了一种数字逻辑电路的分析方法、计算机设备及存储介质。该方法包括：获取待分析的数字逻辑电路；以数字逻辑电路的触发器为节点进行电路分级，选取任一相邻两级之间的数字逻辑电路为目标电路；其中，目标电路包括至少一条路径，至少一条路径包括至少一个组合逻辑单元；确定目标电路的变量序，以变量序为基础，根据布尔函数确定至少一个组合逻辑单元的第一结果；其中，第一结果与至少一个组合逻辑单元的输出对输入的布尔差分对应；确定至少一条路径中的目标路径，根据目标路径所对应的第一结果进行ITE操作；根据操作结果确定目标路径的识别结果。

【技术实现步骤摘要】

本申请涉及数字逻辑电路，尤其涉及一种数字逻辑电路的分析方法、计算机设备及存储介质。

技术介绍

1、随着现代数字逻辑电路的规模越来越大，功能越来越复杂，如何高效地对电路进行分析和优化成为了现代eda（electronic design automation，电子设计自动化）工具不可或缺的重要组成部分。

2、在数字逻辑电路设计过程中，假路径（false path）可能占据数字逻辑电路全部路径的80%甚至更高，以此识别false path可减少工具修违例路径的工作量。但在数字电路中，逻辑门达到百万甚至千万级，在可接受资源范围内识别false path是一种挑战。

技术实现思路

1、有鉴于此，本申请提出一种数字逻辑电路的分析方法、计算机设备及存储介质，以解决或部分解决上述问题。

2、基于上述目的，第一方面，本申请提供了一种数字逻辑电路的分析方法，包括：

3、获取待分析的数字逻辑电路；

4、以所述数字逻辑电路的触发器为节点进行电路分级，选取任一相邻两级之间的数字逻辑电路为本文档来自技高网...

【技术保护点】

1.一种数字逻辑电路的分析方法，其特征在于，包括：

2.根据权利要求1所述的方法，其特征在于，所述确定所述目标电路的变量序，包括：

3.根据权利要求2所述的方法，其特征在于，所述根据所述至少一个起点的等级对所述至少一个起点排序，包括：

4.根据权利要求1所述的方法，其特征在于，所述第一结果为根据所述布尔函数确定的所述至少一个组合逻辑单元的ROBDD的布尔差分结果，或根据所述布尔函数确定的所述至少一个组合逻辑单元的ROBDD的布尔差分对应的逻辑表达式。

5.根据权利要求4所述的方法，其特征在于，所述根据所述目标路径所对应的第一结果进行ITE操...

【技术特征摘要】

1.一种数字逻辑电路的分析方法，其特征在于，包括：

2.根据权利要求1所述的方法，其特征在于，所述确定所述目标电路的变量序，包括：

3.根据权利要求2所述的方法，其特征在于，所述根据所述至少一个起点的等级对所述至少一个起点排序，包括：

4.根据权利要求1所述的方法，其特征在于，所述第一结果为根据所述布尔函数确定的所述至少一个组合逻辑单元的robdd的布尔差分结果，或根据所述布尔函数确定的所述至少一个组合逻辑单元的robdd的布尔差分对应的逻辑表达式。

5.根据权利要求4所述的方法，其特征在于，所述根据所述目标路径所对应的第一结果进行ite操作，包括：

6.根据权利要求5所述的方法，其特征在于，当所述第一结果为所述逻辑表达式时，对所述逻辑表达式进行算式化简，以此进行所述第一结果的存储；

<...

【专利技术属性】
技术研发人员：谢一凡，
申请(专利权)人：芯行纪科技有限公司，
类型：发明
国别省市：