AXIG及其基于双逻辑的面积优化

作者：赵思思; 夏银水; 张骏立; 厉琼莹与异或非图分解面积优化

摘要：针对逻辑函数基于单一的传统布尔逻辑(TB逻辑)进行逻辑优化的局限性,提出基于TB逻辑和Reed-Muller逻辑(RM逻辑)的双逻辑图形表示的面积优化方法.首先将逻辑函数表示成以“与”、“异或”、“非”为运算集的AXIG(AND/XOR/INVgraph),得到逻辑函数的双逻辑图形表示;然后将所得到的AXIG划分成适合TB逻辑和适合RM逻辑的2部分分别进行逻辑优化;最终实现逻辑函数的面积优化.实验结果表明,该方法优于已有的逻辑综合方法.

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社