基于OKFDDs的Reed-Muller逻辑混合极性转换算法.pdfVIP

第33卷第4期 电 子 与 信 息 学 报 V0l1．33NO．4 2011年 4月 JournalofElectronics InformationTechnology Apr．2011 基于 OKFDDs的Reed．Muller逻辑混合极性转换算法 汪鹏君 李 辉 f宁波大学电路与系统研究所 宁波 315211) 摘 要：混合极性转换是RM (Reed—Muller)电路逻辑综合过程的一个重要环节，能够实现从Boolean逻辑最小项 表达式到RM逻辑MPRMfMixed-PolarityReed—Muller)表达式的转换。该文通过对OKFDDs(OrderedKronecker FunctionalDecisi0nDiagrams)展开规律的研究，建立MPRM表达式与OKFDDs数据结构的对应关系。在此基础 上，根据最小项系数与MPRM 系数的下标包含关系，结合多输出函数描述方式，提出一种直接从最小项表达式展 开到MPRM表达式的新型混合极性转换算法。最后通过对多个 Benchmark测试的实验结果表明其转换效率相比 其它混合极性转换算法有明显提高。 关键词：电路设计；电路逻辑综合；OKFDDs：MPRM表达式；极性转换 中图分类号：TP391．72 文献标识码：A 文章编号：1009—5896(2011)一04—0932—06 DOI：10．3724／SP．J．1146．2010．00776 AnAlgorithm ofReed-mullerLogicM ixed-·polarity ConversionsBasedOilOKFDDs WangPeng-jun LiHui (Institute CircuitsandSystems，NingboUniversity，Ningbo315211，China) Abstract：Mixed—PolarityconversionisoneofimportantphasesinlogicsynthesisofReed—Muller(RM)circuits， which implements the conversions from Boolean logic Minterm expressions tO RM logic Mixed—Polarity Reed-Muller(MPRM)expressions．Inthispaper)basedontheresearchofdecomposedrulesofOrderedKronecker FunctionalDecisionDiagrams(OKFDDs)therelationsbetweenMPRMexpressionsandOKFDDsdatabaseare established．Onthisbasis．accordingtothesubscriptsincludedrelationsbetweenM interm coefficientsandMPRM coefficientsand combining the description ofmulti—output logic functions，anovelMixed—Polarity conversion algorithm directly rfom Minterm expressionsto MPRM expressions is proposed．Finally．through several Benchmarktests，theresultsshow theefficiencyofthemethods，whichissignificantlyimprovedcomparedtoother conversionalgorithms． Keywords：Circuitdesign；