欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
混合极性转换是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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：