FAST OFDD-BASED MINIMIZATION OF FIXED POLARITY REED-MULLER EXPRESSIONS

Authors
DRECHSLER R THEOBALD M BECKER B
Citation
R. Drechsler et al., FAST OFDD-BASED MINIMIZATION OF FIXED POLARITY REED-MULLER EXPRESSIONS, I.E.E.E. transactions on computers, 45(11), 1996, pp. 1294-1299
Citations number
26
Categorie Soggetti
Computer Sciences","Engineering, Eletrical & Electronic","Computer Science Hardware & Architecture
Journal title
I.E.E.E. transactions on computers → ACNP
ISSN journal
00189340
Volume
45
Issue
11
Year of publication
1996
Pages
1294 - 1299
Database
ISI
SICI code
0018-9340(1996)45:11<1294:FOMOFP>2.0.ZU;2-K
Abstract
We present methods to minimize fixed polarity Reed-Muller expressions (FPRMs), i.e., two-level fixed polarity AND/EXOR canonical representat ions of Boolean functions, using ordered functional decision diagrams (OFDDs). We investigate the close relation between both representation s and use efficient algorithms on OFDDs for exact and heuristic minimi zation of FPRMs. In contrast to previously published methods, our algo rithm can also handle circuits with several outputs. Experimental resu lts on large benchmarks are given to show the efficiency of our approa ch.