【技术实现步骤摘要】
本专利技术涉及逻辑优化，具体涉及一种aig冗余逻辑优化方法及装置。
技术介绍
1、aig（and inverter graph）是一种用于表示布尔函数的图结构，由and门（与门）和inverter（非门）组成，常用于逻辑优化领域。aig提供了一种直观的方式来分析和转换布尔表达式，在aig中，每个节点代表一个布尔表达式，而边表示这些表达式之间的关系。
2、当前，许多aig逻辑优化方法依赖于子图替换技术，这种方法通过识别aig中的子图（即一组连接的节点），然后在预定义的aig库中查找是否有更高效（例如，节点数更少或关键路径更短）的等价子图来替换它们，从而实现对aig的优化。然而，这种方法主要关注于aig的结构层面，即节点和边的连接方式，而没有深入考虑这些结构所代表的逻辑功能。
3、因此，即使通过子图替换实现了结构上的优化，aig在逻辑功能上可能仍然存在冗余或低效的部分。例如，在aig中的位置不同的两个或多个节点执行相同或相似的逻辑运算，这些冗余可能无法通过简单的结构替换来消除。
技术实现思路
1、有鉴于此，本专利技术提供了一种aig冗余逻辑优化方法及装置，以解决现有的aig逻辑优化方法在逻辑功能上可能仍然存在冗余或低效的部分的问题。
2、第一方面，本专利技术提供了一种aig冗余逻辑优化方法，所述方法包括：
3、获取输入的目标aig图；
4、对所述目标aig图中的aig子图进行替换优化处理，并获取初步优化aig图；
6、在冗余节点清除完成后，对所述初步优化aig图中的每条边进行异或器随机仿真处理，基于异或器随机仿真处理结果删除所述初步优化aig图中的冗余边，并输出逻辑优化后的最终aig图。
7、上述方案在进行冗余逻辑优化前首先进行了经典的aig优化方法，从而减小了aig的大小，在实践过程中可一定程度上减少后续冗余逻辑优化环节的耗时；之后，在冗余逻辑优化上从节点与边两个维度出发，配合后续的节点与边的清理操作，从冗余逻辑的角度进一步提升了aig的优化空间与优化效果，更加充分的覆盖了优化空间，提升优化效果。
8、在一种可选的实施方式中，在所述对所述目标aig图中的子图进行替换优化处理之前，所述方法还包括：
9、获取所述目标aig图的约束条件；所述约束条件包括输入信号个数以及输入节点个数；
10、基于所述约束条件对所述目标aig图进行检查，并在所述目标aig图满足所述约束条件时，执行所述目标aig图的后续逻辑优化程序。
11、在一种可选的实施方式中，所述对所述目标aig图中的aig子图进行替换优化处理，并获取初步优化aig图，包括：
12、遍历所述目标aig图中的aig子图；
13、在预定义的aig库中获取所述aig子图的等价优化子图；
14、基于所述等价优化子图，对所述aig子图进行替换优化处理，并获取初步优化aig图。
15、在一种可选的实施方式中，所述计算所述初步优化aig图中每个节点对应的模拟真值表，包括：
16、基于所述初步优化aig图中的输入个数，生成所述初步优化aig图的仿真输入序列；
17、基于所述仿真输入序列，计算所述初步优化aig图中每个节点对应的模拟真值表。
18、在一种可选的实施方式中，所述基于所述模拟真值表清除所述初步优化aig图中的冗余节点，包括：
19、对所述初步优化aig图中每个节点对应的模拟真值表进行比较，以识别出逻辑相同的节点；
20、获取并记录逻辑相同的两个节点的最大无扇出锥；
21、比较所述两个节点的最大无扇出锥中的节点数量，并选择节点数量较少的最大无扇出锥所对应的节点作为保留节点，选择节点数量较多的最大无扇出锥所对应的节点作为冗余节点；
22、将所述冗余节点的所有扇出转移到所述保留节点上，并删除所述冗余节点及所述冗余节点的最大无扇出锥。
23、在一种可选的实施方式中，所述对所述初步优化aig图中的每条边进行异或器随机仿真处理，包括：
24、遍历所述初步优化aig图中的每条边；
25、对所述初步优化aig图中的每条边构建异或器，并进行随机仿真处理，获取每条边的异或器结果。
26、在一种可选的实施方式中，所述基于异或器随机仿真处理结果删除所述初步优化aig图中的冗余边，并输出逻辑优化后的最终aig图，包括：
27、如果存在异或器结果始终为0的目标边，则对所述异或器结果对应的异或器进行sat求解器验证处理，并获取sat求解结果；
28、如果所述sat求解结果指示不存在使异或器结果为1的输入，则判断所述目标边为所述初步优化aig图中的冗余边；
29、删除所述初步优化aig图中的冗余边，并优化所述冗余边对应的相关节点，以输出逻辑优化后的最终aig图。
30、第二方面，本专利技术提供了一种aig冗余逻辑优化装置，所述装置包括：
31、aig图获取模块，用于获取输入的目标aig图；
32、初步优化获取模块，用于对所述目标aig图中的aig子图进行替换优化处理，并获取初步优化aig图；
33、冗余节点清除模块，用于计算所述初步优化aig图中每个节点对应的模拟真值表，并基于所述模拟真值表清除所述初步优化aig图中的冗余节点；
34、冗余边删除模块，用于在冗余节点清除完成后，对所述初步优化aig图中的每条边进行异或器随机仿真处理，基于异或器随机仿真处理结果删除所述初步优化aig图中的冗余边，并输出逻辑优化后的最终aig图。
35、第三方面，本专利技术提供了一种计算机设备，包括：存储器和处理器，存储器和处理器之间互相通信连接，存储器中存储有计算机指令，处理器通过执行计算机指令，从而执行上述第一方面或其对应的任一实施方式的一种aig冗余逻辑优化方法。
36、第四方面，本专利技术提供了一种计算机可读存储介质，该计算机可读存储介质上存储有计算机指令，计算机指令用于使计算机执行上述第一方面或其对应的任一实施方式的一种aig冗余逻辑优化方法。
37、第五方面，本专利技术提供了一种计算机程序产品，包括计算机指令，计算机指令用于使计算机执行上述第一方面或其对应的任一实施方式的一种aig冗余逻辑优化方法。
38、本专利技术提供的技术方案可以包括以下有益效果：
39、本专利技术在进行冗余逻辑优化前首先进行了经典的aig优化方法，从而减小了aig的大小，在实践过程中可一定程度上减少后续冗余逻辑优化环节的耗时；之后，在冗余逻辑优化上从节点与边两个维度出发，配合后续的节点与边的清理操作，从冗余逻辑的角度进一步提升了aig的优化空间与优化效果，更加充分的覆盖了优化空间，提升优化效本文档来自技高网...
【技术保护点】
1.一种AIG冗余逻辑优化方法，其特征在于，所述方法包括：
2.根据权利要求1所述的方法，其特征在于，在所述对所述目标AIG图中的子图进行替换优化处理之前，所述方法还包括：
3.根据权利要求1所述的方法，其特征在于，所述对所述目标AIG图中的AIG子图进行替换优化处理，并获取初步优化AIG图，包括：
4.根据权利要求1所述的方法，其特征在于，所述计算所述初步优化AIG图中每个节点对应的模拟真值表，包括：
5.根据权利要求1所述的方法，其特征在于，所述基于所述模拟真值表清除所述初步优化AIG图中的冗余节点，包括：
6.根据权利要求1所述的方法，其特征在于，所述对所述初步优化AIG图中的每条边进行异或器随机仿真处理，包括：
7.根据权利要求6所述的方法，其特征在于，所述基于异或器随机仿真处理结果删除所述初步优化AIG图中的冗余边，并输出逻辑优化后的最终AIG图，包括：
8.一种AIG冗余逻辑优化装置，其特征在于，所述装置包括：
9.一种计算机设备，其特征在于，包括：
10.一种
...【技术特征摘要】
1.一种aig冗余逻辑优化方法，其特征在于，所述方法包括：
2.根据权利要求1所述的方法，其特征在于，在所述对所述目标aig图中的子图进行替换优化处理之前，所述方法还包括：
3.根据权利要求1所述的方法，其特征在于，所述对所述目标aig图中的aig子图进行替换优化处理，并获取初步优化aig图，包括：
4.根据权利要求1所述的方法，其特征在于，所述计算所述初步优化aig图中每个节点对应的模拟真值表，包括：
5.根据权利要求1所述的方法，其特征在于，所述基于所述模拟真值表清除所述初步优化aig图中的冗余节点，包括：
...
【专利技术属性】
技术研发人员：请求不公布姓名，
申请(专利权)人：苏州异格技术有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。