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

AXIG and Area Optimization Based on Dual-Logic

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

To overcome the limitation based on single traditional Boolean(TB)logic optimization of logicfunction,the area optimization method based on TB logic and Reed-Muller(RM)logic called dual logic withgraph representation is proposed.Firstly,logic function is represented in called AXIG(AND/XOR/INVGraph)based on the operator set of AND,XOR,INV and dual logic graph representation of logic function isobtained.Then,the obtained AXIG is partitioned into two parts with suitable for TB logic and RM logic implementation,respectively.Finally,the area optimization of logic function is implemented.Experimentalresults show that the proposed method is more efficient than published logic synthesis method.