Wang Peng-Jun, Li Hui. An Algorithm of Reed-muller Logic Mixed-polarity Conversions Based on OKFDDs[J]. Journal of Electronics & Information Technology, 2011, 33(4): 932-937. doi: 10.3724/SP.J.1146.2010.00776
Citation:
Wang Peng-Jun, Li Hui. An Algorithm of Reed-muller Logic Mixed-polarity Conversions Based on OKFDDs[J]. Journal of Electronics & Information Technology, 2011, 33(4): 932-937. doi: 10.3724/SP.J.1146.2010.00776
Wang Peng-Jun, Li Hui. An Algorithm of Reed-muller Logic Mixed-polarity Conversions Based on OKFDDs[J]. Journal of Electronics & Information Technology, 2011, 33(4): 932-937. doi: 10.3724/SP.J.1146.2010.00776
Citation:
Wang Peng-Jun, Li Hui. An Algorithm of Reed-muller Logic Mixed-polarity Conversions Based on OKFDDs[J]. Journal of Electronics & Information Technology, 2011, 33(4): 932-937. doi: 10.3724/SP.J.1146.2010.00776
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.
Rahaman H, Das D K, and Bhattacharya B B. Testable design of AND-EXOR logic networks with universal test sets[J].Computers and Electrical Engineering.2009, 35(5):644-658[4]Chaudhury S and Chattopadhyay S. Fixed polarity Reed- Muller network synthesis and its application in AND-OR /XOR-based circuit realization with area-power trade-off[J].IETE Journal of Research.2008, 54(5):353-364[5]Cheng J, Chen X, and Faraj K M, et al.. Expansion of logical function in the or-coincidence system and the transform between it and maxterm expansion[J].Computers and Digital Techniques.2003, 150(6):397-402[6]Al Jassani B A, Urquhart N, and Almaini A E A. Manipulation and optimization techniques for Boolean logic[J].IET Computers and Digital Techniques.2010, 4(3):227-239[7]Wang P and Chen X. Tabular techniques for or-coincidence logic[J].Journal of Electronics (China.2006, 23(2):269-273[9]Becker B, Drechsler R, and Theobald M. On the expressive power of OKFDDs[J].Formal Methods in System Design.1997, 11(1):5-17
DownLoad: