The Community for Technology Leaders
Green Image
<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>
Logic synthesis, two-level AND/EXOR forms, FPRM, OFDD, minimization of FPRMs.

B. Becker, R. Drechsler and M. Theobald, "Fast OFDD-Based Minimization of Fixed Polarity Reed-Muller Expressions," in IEEE Transactions on Computers, vol. 45, no. , pp. 1294-1299, 1996.
81 ms
(Ver 3.3 (11022016))