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

第 1期 电 子 学 报 Vo1．43 No．1 加15年 1月 ACIA ELECn )NICASINICA Jan． 20I5 基于对偶逻辑的混合极性 RM电路 极性转换和优化方法 卜登立 ，一，江建慧 (1．同济大学软件学院，上海 201804；2．井冈山大学电子与信息工程学院，江西吉安 343009) 摘 要：针对混合极性 RM(Reed-Muller)电路逻辑综合中的极性转换和极性优化问题，提出了基于对偶逻辑的 极性转换和极性优化方法．从理论上证明了所提出方法的正确性，并用实验验证了其有效性和可行性 ．所提出方法有 助于将较成熟的MraM(Mixed-PolarityRM)极性转换和极性优化方法应用于MPDRM(Mixed-PolarityDualformofRM)．对 15个基于XOR的MCNC电路进行逻辑综合然后映射到FPGA(FieldProgrammableGateArray)的实验结果表明，从平均结 果来看 ，与逻辑综合工具 Espresso以及ABC的结果相比，混合极性RM电路能够获得面积和延时的优势，并且 MPDRM 电路极性优化结果能够得到最为优化的FPGA实现． 关键词： RM电路；混合极性；逻辑综合 ；对偶逻辑 ；极性转换；极性优化 中图分类号： TP391．72 文献标识码： A 文章编号： 0372—2112(2015)01．O079—07 电子学报 URL：http：／／www．ejou~ 1．org．an DOI：10．3969／j．issn．0372—2112．0215．01．013 DualLogicBasedPolarityConversionandOptimizationof MixedPolariytRM Circuits BUDeng．1i，一．JIANGJian．hui (1．SchoolofSoftwareE,~ineering，Ton~iUni~rshy，Shanghai201840 ，China； 2．SchoolofElectronicsandInformationEngineering，JinggangshanUniversity， ’∞，脚 343009，China) AI36ttact： Duallogicbasedpolarityconversionandpolarityopfmizationmethodis q)osedforlogicsynthesisofmixedPO— larityRM (Reed-Muller)circuits．耵lecorrectnessoftheproposedmehtodisprovedinhteory，andhtevalidityandfeasibilityisVfff— ifiedbyexperiments． proposedmehtodCna contributetoapplyinghtemehtodsforpolarityconversionandoptimizationof MPRM (Mixed-PolarityRM)otMPDRM (Mixed-PolarityDualform ofRIM)． eresultsofmappingtoFPGA (FieldPro． grammableGateArray)afterlogicsynthesisforflfto．~nXOR-basedlogiccircuitsfromMCNCshowthatOnaverage，comparedot hteFPGAimplementationsofoptimizeddesign