组合逻辑电路的分析方法、装置、计算机设备和存储介质与流程

本技术涉及集成电路，具体涉及一种组合逻辑电路的分析方法、装置、计算机设备和存储介质。

背景技术：

1、在集成电路设计与验证领域，组合逻辑电路的功能分析是理解电路行为、验证设计正确性以及进行架构迭代的基础环节。随着芯片设计规模不断扩大，组合逻辑电路具有多输入、多输出、多级嵌套和逻辑耦合等特点，对其功能进行准确、完整的分析变得日益困难。

2、目前，针对组合逻辑电路功能的分析普遍采用人工逻辑梳理、真值表枚举、局部逻辑仿真等传统方式。人工逻辑梳理高度依赖工程师经验，工作量大、周期长、成本高，且容易因人为因素出现逻辑关系遗漏或规则误判。真值表枚举在输入信号数量较多时，输入组合呈指数级增长，难以实际执行，无法适用于大规模复杂电路。局部逻辑仿真只能覆盖有限的输入场景，难以全面反映电路的完整逻辑映射关系。上述传统方式自动化程度较低，面对多输入、多输出、多级嵌套、逻辑耦合的复杂组合逻辑电路，难以全面覆盖逻辑映射关系并精准还原电路的逻辑功能，导致核心功能还原的准确度与完整性难以保障，整体通用性与实用性较差。

技术实现思路

1、本技术提供一种组合逻辑电路的分析方法、装置、计算机设备和存储介质，旨在提供一种可实现对任意规模的复杂组合逻辑电路的分析处理流程，以至少部分的解决上述技术问题。

2、第一方面，本技术提供一种组合逻辑电路的分析方法，包括：

3、获取组合逻辑电路的与或逻辑阵列，并确定所述与或逻辑阵列的目标参数，所述目标参数包括输出信号的数量和输入值不相同的输入信号的数量中的至少一项；

4、在所述目标参数不满足第一预设条件的情况下，根据输出信号的输入依赖数量，对所述与或逻辑阵列中输入依赖数量满足第二预设条件的输出信号进行分析，得到第一输入输出映射关系；所述输入依赖数量表示输出信号在逻辑上实际依赖的输入信号的数量；

5、对所述与或逻辑阵列中输入依赖数量不满足所述第二预设条件的输出信号进行处理，得到第二输入输出映射关系；

6、对得到的输入输出映射关系进行形式验证，以得到所述组合逻辑电路的分析结果，所述输入输出映射关系包括所述第一输入输出映射关系和所述第二输入输出映射关系。

7、在本技术的一个实施例中，所述目标参数包括输出信号的数量和输入值不相同的输入信号的数量；

8、所述在所述目标参数不满足第一预设条件的情况下，根据输出信号的输入依赖数量，对所述与或逻辑阵列中输入依赖数量满足第二预设条件的输出信号进行分析，得到第一输入输出映射关系，包括：

9、在所述输出信号的数量和输入值不相同的输入信号的数量均不满足第一预设条件的情况下，根据输出信号的输入依赖数量，对所述与或逻辑阵列中输入依赖数量满足第二预设条件的输出信号进行分析，得到第一输入输出映射关系；

10、所述方法还包括：

11、在所述输出信号的数量和输入值不相同的输入信号的数量中的至少一者满足第一预设条件的情况下，根据信号数量满足第一预设条件所对应的信号，对所述与或逻辑阵列中的映射关系进行分组，以对分组后的映射关系进行分析，得到第三输入输出映射关系。

12、在本技术的一个实施例中，所述方法还包括：

13、在所述输出信号的数量和输入值不相同的输入信号的数量均满足第一预设条件的情况下，根据所述输出信号的数量和所述输入值不相同的输入信号的数量确定信号的处理优先级；

14、其中，所述信号的处理优先级用于确定按照所述输入信号的不同取值对所述与或逻辑阵列中的映射关系进行分组，或者，按照所述输出信号的不同取值对所述与或逻辑阵列中的映射关系进行分组。

15、在本技术的一个实施例中，所述对所述与或逻辑阵列中输入依赖数量不满足所述第二预设条件的输出信号进行处理，得到第二输入输出映射关系，包括：

16、将所述不满足所述第二预设条件的输出信号组成更新后的与或逻辑阵列，并获取更新后的与或逻辑阵列的目标参数，以根据更新后的目标参数处理得到所述第二输入输出映射关系。

17、在本技术的一个实施例中，所述获取组合逻辑电路的与或逻辑阵列，包括：

18、接收用户指定的输入空间，所述输入空间包括所述组合逻辑电路的部分合法的输入值组合；

19、从所述组合逻辑电路的原始与或逻辑阵列中提取所述输入空间对应的子阵列，并将所述子阵列作为所述与或逻辑阵列。

20、在本技术的一个实施例中，所述方法还包括：

21、在所述目标参数不满足第一预设条件，且所述与或逻辑阵列中不存在输入依赖数量满足第二预设条件的输出信号的情况下，对所述与或逻辑阵列中的各输出信号分别进行独立分析，得到所述组合逻辑电路的输入输出映射关系。

22、在本技术的一个实施例中，所述第一预设条件包括信号的数量低于预设数量阈值，所述第二预设条件包括：输出信号的输入依赖数量小于预设依赖阈值；

23、其中，所述预设数量阈值和/或所述预设依赖阈值通过以下至少一项确定：

24、根据允许的最大展开次数确定；

25、根据所述与或逻辑阵列的总行数确定；

26、根据可用计算资源确定；

27、根据用户配置信息确定。

28、第二方面，本技术提供一种组合逻辑电路的分析装置，包括：

29、获取模块，用于获取组合逻辑电路的与或逻辑阵列，并确定所述与或逻辑阵列的目标参数，所述目标参数包括输出信号的数量和输入值不相同的输入信号的数量中的至少一项；

30、分析模块，用于在所述目标参数不满足第一预设条件的情况下，根据输出信号的输入依赖数量，对所述与或逻辑阵列中输入依赖数量满足第二预设条件的输出信号进行分析，得到第一输入输出映射关系；所述输入依赖数量表示输出信号在逻辑上实际依赖的输入信号的数量；

31、处理模块，用于对所述与或逻辑阵列中输入依赖数量不满足所述第二预设条件的输出信号进行处理，得到第二输入输出映射关系；

32、验证模块，用于对得到的输入输出映射关系进行形式验证，以得到所述组合逻辑电路的分析结果，所述输入输出映射关系包括所述第一输入输出映射关系和所述第二输入输出映射关系。

33、第三方面，本技术提供一种计算机设备，所述计算机设备包括：

34、一个或多个处理器；

35、存储器；以及

36、一个或多个应用程序，其中所述一个或多个应用程序被存储于所述存储器中，并配置为由所述处理器执行以实现如上述任一项所述的组合逻辑电路的分析方法。

37、第四方面，本技术提供一种计算机可读存储介质，其上存储有计算机程序，所述计算机程序被处理器进行加载，以执行如上述任一项所述的组合逻辑电路的分析方法。

38、本技术提供的组合逻辑电路的分析方法，通过确定与或逻辑阵列的目标参数，在所述目标参数不满足第一预设条件时，根据输出信号的输入依赖数量，将输入依赖数量满足第二预设条件的输出信号先进行分析得到第一输入输出映射关系，并对不满足所述第二预设条件的输出信号进行处理得到第二输入输出映射关系，最后对得到的输入输出映射关系进行形式验证，可以先将逻辑关联简单的输出信号分离出来单独分析，再对剩余复杂输出信号进行迭代处理，解决了传统组合逻辑分析方式面对多输入、多输出复杂电路时难以在保证分析完整性的同时兼顾结果可读性的问题，提高了分析结果的可读性和分析效率。