Abstract：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的Reed-Muller逻辑混合极性转换算法[J]. 电子与信息学报, 2011, 33(4): 932-937.
Wang Peng-Jun, Li Hui. An Algorithm of Reed-muller Logic Mixed-polarity Conversions Based on OKFDDs. , 2011, 33(4): 932-937.
2011, Vol. 33 
