Heuristic Minimization of BDDs Using Don't Cares

  title={Heuristic Minimization of BDDs Using Don't Cares},
  author={Thomas R. Shiple and Ramin Hojati and Alberto L. Sangiovanni-Vincentelli and Robert K. Brayton},
  journal={31st Design Automation Conference},
We present heuristic algorithms for finding a minimum BDD size cover of an incompletely specified function, assuming the variable ordering is fixed. In some algorithms based on BDDs, incompletely specified functions arise forwhich any cover of the functionwill suffice. Choosing a cover that has a small BDD representation may yield significant performance gains. We present a systematic study of this problem, establishing a unified framework for heuristic algorithms, proving optimality in some… CONTINUE READING
Highly Influential
This paper has highly influenced a number of papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 118 citations. REVIEW CITATIONS

6 Figures & Tables



Citations per Year

118 Citations

Semantic Scholar estimates that this publication has 118 citations based on the available data.

See our FAQ for additional information.