Abstract
Reduced Ordered Binary Decision Diagrams are one of the most powerful data structure for boolean manipulation on switching functions as top process in digital circuits design. The size of ROBDDs is very sensitive to the ordering choices of input variables. A new genetic algorithm is described for optimizing the variable order. It uses adaptive operators and includes a mechanism based on information energy for controlling the variability of the population. Experimental investigations of the performance of this genetic algorithm are described.
Cuvinte cheie
BDD
OBDD Optimisation
GA