Minimization of BDDs using linear transformations based on evolutionary techniques

Author

Günther, Wolfgang ; Drechsler, Rolf

Author_Institution

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

Volume

1

fYear

1999

fDate

36342

Firstpage

387

Abstract

Binary Decision Diagrams (BDDs) are frequently used in many applications in VLSI CAD. However, they are very sensitive to the variable ordering and their size often becomes infeasible. Recently, a new approach for BDD minimization based on Linear Transformations (LTs), i.e., a special type of spectral technique, has been proposed. We present an Evolutionary Algorithm (EA) to find an LT for which the BDD becomes small. The genetic operators make use of problem specific knowledge. Experimental results are given to show the efficiency of our approach

Keywords

Boolean functions; VLSI; binary decision diagrams; circuit CAD; evolutionary computation; integrated circuit design; logic CAD; minimisation; BDD minimization; VLSI CAD; binary decision diagrams; evolutionary algorithm; evolutionary techniques; genetic operators; linear transformations; logic synthesis; problem specific knowledge; spectral technique; variable ordering; Application software; Binary decision diagrams; Boolean functions; Computer science; Data structures; Evolutionary computation; Genetics; Input variables; Logic testing; Very large scale integration;

fLanguage

English

Publisher

ieee

Conference_Titel

Circuits and Systems, 1999. ISCAS '99. Proceedings of the 1999 IEEE International Symposium on

Conference_Location

Orlando, FL

Print_ISBN

0-7803-5471-0

Type

conf

DOI

10.1109/ISCAS.1999.777884

Filename

777884