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

An Algorithm of Reed-muller Logic Mixed-polarity Conversions Based on OKFDDs

作　　者：汪鹏君[1] 李辉[1] 

机构地区：[1]宁波大学电路与系统研究所,宁波315211

出　　处：《电子与信息学报》2011年第4期932-937,共6页Journal of Electronics & Information Technology

基　　金：国家自然科学基金(61076032;60776022);中国博士后科学基金(20090461355);浙江省博士后科研项目;浙江省自然科学基金(Y1101078);浙江省公益性技术应用研究计划项目(2010C31012);浙江省大学生科技创新活动计划(新苗人才计划)资助课题

摘　　要：混合极性转换是RM(Reed-Muller)电路逻辑综合过程的一个重要环节,能够实现从Boolean逻辑最小项表达式到RM逻辑MPRM(Mixed-Polarity Reed-Muller)表达式的转换。该文通过对OKFDDs(Ordered Kronecker Functional Decision Diagrams)展开规律的研究,建立MPRM表达式与OKFDDs数据结构的对应关系。在此基础上,根据最小项系数与MPRM系数的下标包含关系,结合多输出函数描述方式,提出一种直接从最小项表达式展开到MPRM表达式的新型混合极性转换算法。最后通过对多个Benchmark测试的实验结果表明其转换效率相比其它混合极性转换算法有明显提高。Mixed-Polarity conversion is one of important phases in logic synthesis of Reed-Muller（RM） circuits,which implements the conversions from Boolean logic Minterm expressions to RM logic Mixed-Polarity Reed-Muller（MPRM） expressions.In this paper,based on the research of decomposed rules of Ordered Kronecker Functional Decision Diagrams（OKFDDs） the relations between MPRM expressions and OKFDDs database are established.On this basis,according to the subscripts included relations between Minterm coefficients and MPRM coefficients and combining the description of multi-output logic functions,a novel Mixed-Polarity conversion algorithm directly from Minterm expressions to MPRM expressions is proposed.Finally,through several Benchmark tests,the results show the efficiency of the methods,which is significantly improved compared to other conversion algorithms.

关 键 词：电路设计 电路逻辑综合 OKFDDs MPRM表达式 极性转换 

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