Abstract
This paper provides a comprehensive introduction on recent advances to reduced ordered binary decision diagrams (ROBDDs or BDDs) as a state-of-the-art data structure in computed-aided design. Key aspects concerning the use of techniques based on lower bounds in the context of BDD optimization are investigated. Three embryonic genetic algorithms for BDD optimization are presented (from which a new one) and their performance compared.
Cuvinte cheie
Circuit optimization
Genetic algorithms
Logic design
Optimization methods
Very-large-scale integration