Dynamic Minimization of Word-Level Decision Diagrams

Abstract

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… (More)

Topics

6 Figures and Tables

Cite this paper

@inproceedings{Hreth1998DynamicMO, title={Dynamic Minimization of Word-Level Decision Diagrams}, author={Stefan H{\"o}reth and Rolf Drechsler}, booktitle={DATE}, year={1998} }