Design Automation and Test in Europe (DATE '98) Dynamic Minimization of Word-Level Decision Diagrams Paris, France February 23-February 26 ISBN: 0-8186-8359-7
Word-Level Decision Diagrams (WLDDs), like *BMDs and K*BMDs, have recently been introduced as a data structure for verification. The size of WLDDs largely depends on the chosen variable ordering, i.e. the ordering in which variables are encountered, and on the decompositions carried out in each node. In this paper we present a framework for dynamic minimization of WLDDs. We discuss the difficulties with previous techniques if applied to WLDDs and present a new approach that efficiently adapts both variable ordering and decomposition type choice. Experimental results demonstrate that this method outperforms ``classical'' reordering with respect to run-time and representation size during dynamic minimization of word-level functions.
Index Terms:
decision diagrams, word-level, variable exchange, reordering, sifting, hybrid graph manipulation, K*BMDs
Citation:
Stefan Horeth, Rolf Drechsler, "Dynamic Minimization of Word-Level Decision Diagrams," date, pp.612, Design Automation and Test in Europe (DATE '98), 1998 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||