Title :
OFDD based minimization of fixed polarity Reed-Muller expressions using hybrid genetic algorithms
Author :
Becker, Bernd ; Drechsler, Rolf
Author_Institution :
Dept. Comput. Sci., J.W. Goethe-Univ., Frankfurt, Germany
Abstract :
We present an ordered functional decision diagram (OFDD) based method to minimize fixed polarity Reed-Muller expressions (FPRMs) for very large functions using genetic algorithms (GAs). R. Dreschsler et al. (1994) presented fast heuristic methods for FPRM minimization and compared them to several other approaches. We show that better results for large functions can be obtained if these heuristics are combined with GAs, i.e. we use hybrid GAs (HGAs). Experimental results are given to show the efficiency of the approach
Keywords :
decision theory; genetic algorithms; heuristic programming; logic CAD; minimisation of switching nets; FPRM minimization; HGAs; OFDD based minimization; fast heuristic methods; fixed polarity Reed-Muller expressions; genetic algorithms; hybrid GAs; hybrid genetic algorithms; ordered functional decision diagram; very large functions; Arithmetic; Circuits; Genetic algorithms; Minimization methods; Modems; NP-complete problem; Packaging; Very large scale integration;
Conference_Titel :
Computer Design: VLSI in Computers and Processors, 1994. ICCD '94. Proceedings., IEEE International Conference on
Conference_Location :
Cambridge, MA
Print_ISBN :
0-8186-6565-3
DOI :
10.1109/ICCD.1994.331866
