基于对偶逻辑的混合极性RM电路极性转换和优化方法  

Dual Logic Based Polarity Conversion and Optimization of Mixed Polarity RM Circuits

作　　者：卜登立[1,2] 江建慧[1] 

机构地区：[1]同济大学软件学院,上海201804 [2]井冈山大学电子与信息工程学院,江西吉安343009

出　　处：《电子学报》2015年第1期79-85,共7页Acta Electronica Sinica

基　　金：国家自然科学基金(No.60903033;No.61432017);国家973重点基础研究计划(No.2005CB321604)

摘　　要：针对混合极性RM(Reed-Muller)电路逻辑综合中的极性转换和极性优化问题,提出了基于对偶逻辑的极性转换和极性优化方法.从理论上证明了所提出方法的正确性,并用实验验证了其有效性和可行性.所提出方法有助于将较成熟的MPRM(Mixed-Polarity RM)极性转换和极性优化方法应用于MPDRM(Mixed-Polarity Dual form of RM).对15个基于XOR的MCNC电路进行逻辑综合然后映射到FPGA(Field Programmable Gate Array)的实验结果表明,从平均结果来看,与逻辑综合工具Espresso以及ABC的结果相比,混合极性RM电路能够获得面积和延时的优势,并且MPDRM电路极性优化结果能够得到最为优化的FPGA实现.Dual logic based polarity conversion and polarity optimization method is proposed for logic synthesis of mixed polarity RM（ Reed-M uller） circuits. The correctness of the proposed method is proved in theory,and the validity and feasibility is verified by experiments. The proposed method can contribute to applying the methods for polarity conversion and optimization of M PRM（ M ixed-Polarity RM） to M PDRM（ M ixed-Polarity Dual form of RM）. The results of mapping to FPGA（ Field Programmable Gate Array） after logic synthesis for fifteen XOR-based logic circuits from MCNC show that on average,compared to the FPGA implementations of optimized designs obtained by logic synthesis tools such as Espresso and ABC,mixed polarity RM circuits have superiority in area and speed,and MPDRM circuits can achieve optimal FPGA implementations.

关 键 词：RM电路 混合极性 逻辑综合 对偶逻辑 极性转换 极性优化 

分 类 号：TP391.72[自动化与计算机技术—计算机应用技术]