Minimization of memory size for heterogeneous MDDs
Proceedings of the 2004 Asia and South Pacific Design Automation Conference
Lower bounds for dynamic BDD reordering
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Distributed dynamic BDD reordering
Proceedings of the 43rd annual Design Automation Conference
An efficient estimation of the ROBDD's complexity
Integration, the VLSI Journal
Weighted A∗ search -- unifying view and application
Artificial Intelligence
An efficient estimation of the ROBDD's complexity
Integration, the VLSI Journal
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Hi-index | 0.03 |
Ordered binary decision diagrams (BDDs) are a data structure for the representation and manipulation of Boolean functions, often applied in very large scale integration (VLSI) computer-aided design (CAD). The choice of variable ordering largely influences the size of the BDD; its size may vary from linear to exponential. The most successful methods to find good orderings are based on dynamic variable reordering, i.e., exchanging neighboring variables. This basic operation has been used in various variants, like sifting and window permutation. In this paper, we show that lower bounds computed during the minimization process can speed up the computation significantly. First, lower bounds are studied from a theoretical point of view. Then these techniques are incorporated in dynamic minimization algorithms. By the computation of good lower bounds, large parts of the search space can be pruned, resulting in very fast computations. Experimental results are given to demonstrate the efficiency of the approach