|
|
|
| An Algorithm of Reed-muller Logic Mixed-polarity Conversions Based on OKFDDs |
| Wang Peng-jun Li Hui |
| Institute of Circuits and Systems, Ningbo University, Ningbo 315211, China |
|
|
|
|
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.
|
|
Received: 20 July 2010
|
|
|
|
Corresponding Authors:
Wang Peng-jun
E-mail: wangpengjun@nbu.edu.cn
|
|
|
|
|
|
|
2011, Vol. 33 
