买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：苏州异格技术有限公司

摘要：本发明涉及逻辑优化技术领域，具体涉及一种AIG冗余逻辑优化方法及装置，该方法包括：首先获取输入的目标AIG图，对该目标AIG图中的AIG子图进行替换优化处理，并获取初步优化AIG图；之后计算该初步优化AIG图中每个节点对应的模拟真值表，并基于该模拟真值表清除该初步优化AIG图中的冗余节点；在冗余节点清除完成后，对该初步优化AIG图中的每条边进行异或器随机仿真处理，基于异或器随机仿真处理结果删除该初步优化AIG图中的冗余边，最后输出逻辑优化后的最终AIG图。本发明在冗余逻辑优化上从节点与边两个维度出发，以冗余逻辑的角度进一步提升了目标AIG图的优化空间与优化效果，提升优化效果。

主权项：1.一种AIG冗余逻辑优化方法，其特征在于，所述方法包括：获取输入的目标AIG图；所述目标AIG图用于指示待优化的逻辑电路；对所述目标AIG图中的AIG子图进行替换优化处理，并获取初步优化AIG图；计算所述初步优化AIG图中每个节点对应的模拟真值表，并基于所述模拟真值表清除所述初步优化AIG图中的冗余节点；在冗余节点清除完成后，对所述初步优化AIG图中的每条边进行异或器随机仿真处理，基于异或器随机仿真处理结果删除所述初步优化AIG图中的冗余边，并输出逻辑优化后的最终AIG图以减少所述逻辑电路中的连接；所述基于所述模拟真值表清除所述初步优化AIG图中的冗余节点，包括：对所述初步优化AIG图中每个节点对应的模拟真值表进行比较，以识别出逻辑相同的节点；获取并记录逻辑相同的两个节点的最大无扇出锥；比较所述两个节点的最大无扇出锥中的节点数量，并选择节点数量较少的最大无扇出锥所对应的节点作为保留节点，选择节点数量较多的最大无扇出锥所对应的节点作为冗余节点；将所述冗余节点的所有扇出转移到所述保留节点上，并删除所述冗余节点及所述冗余节点的最大无扇出锥；所述基于异或器随机仿真处理结果删除所述初步优化AIG图中的冗余边，并输出逻辑优化后的最终AIG图，包括：如果存在异或器结果始终为0的目标边，则对所述异或器结果对应的异或器进行SAT求解器验证处理，并获取SAT求解结果；如果所述SAT求解结果指示不存在使异或器结果为1的输入，则判断所述目标边为所述初步优化AIG图中的冗余边；删除所述初步优化AIG图中的冗余边，并优化所述冗余边对应的相关节点，以输出逻辑优化后的最终AIG图。

全文数据：

权利要求：

百度查询： 苏州异格技术有限公司 一种AIG冗余逻辑优化方法及装置