Fast OFDD-based minimization of fixed polarity Reed-Muller expressions

Author

Drechsler, Rolf ; Theobald, Michael ; Becker, Bernd

Author_Institution

Inst. of Comput. Sci., Albert-Ludwigs-Univ., Freiburg, Germany

Volume

45

Issue

11

fYear

1996

fDate

11/1/1996 12:00:00 AM

Firstpage

1294

Lastpage

1299

Abstract

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

Keywords

Boolean functions; Reed-Muller codes; logic CAD; minimisation of switching nets; AND/EXOR canonical representations; Boolean functions; OFDD-based minimization; fixed polarity Reed-Muller expressions; heuristic minimization; large benchmarks; ordered functional decision diagrams; Arithmetic; Boolean functions; Circuit synthesis; Circuit testing; Computer science; Data structures; Field programmable gate arrays; Logic testing; Minimization methods; Very large scale integration;

fLanguage

English

Journal_Title

Computers, IEEE Transactions on

Publisher

ieee

ISSN

0018-9340

Type

jour

DOI

10.1109/12.544485

Filename

544485