高级检索

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

AXIG and Area Optimization Based on Dual-Logic

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

     

    Abstract: To overcome the limitation based on single traditional Boolean(TB) logic optimization of logic function, the area optimization method based on TB logic and Reed-Muller(RM) logic called dual logic with graph representation is proposed. Firstly, logic function is represented in called AXIG(AND/XOR/INV Graph) based on the operator set of AND, XOR, INV and dual logic graph representation of logic function is obtained. 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. Experimental results show that the proposed method is more efficient than published logic synthesis method.

     

/

返回文章
返回