The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.11 - November (1996 vol.45)
pp: 1294-1299
ABSTRACT
<p><b>Abstract</b>—We present methods to minimize fixed polarity Reed-Muller expressions (FPRMs), i.e., two-level fixed polarity AND/EXOR canonical representations of Boolean functions, using ordered functional decision diagrams (OFDDs). We investigate the close relation between both representations and use efficient algorithms on OFDDs for exact and heuristic minimization of FPRMs. In contrast to previously published methods, our algorithm can also handle circuits with several outputs. Experimental results on large benchmarks are given to show the efficiency of our approach.</p>
INDEX TERMS
Logic synthesis, two-level AND/EXOR forms, FPRM, OFDD, minimization of FPRMs.
CITATION
Michael Theobald, Bernd Becker, "Fast OFDD-Based Minimization of Fixed Polarity Reed-Muller Expressions", IEEE Transactions on Computers, vol.45, no. 11, pp. 1294-1299, November 1996, doi:10.1109/12.544485
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool