loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
Stefan Horeth, Darmstadt University of Technology
Rolf Drechsler, Albert-Ludwigs-University
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.