Abstract
Binary Decision Diagrams (BDDs) are the state-of-the-art data structure in VLSI CAD. Since their size largely depends on the chosen variable ordering, dynamic variable reordering methods, like sifting, often have to be applied while the BDD for a given circuit is constructed. Usually sifting is called each time a given node limit is reached and it is therefore called frequently during the construction of large BDDs. Often most of the runtime is spent for sifting while the BDD is built.
In this paper we propose an approach to reduce runtime (and space requirement) during BDD construction by using history-based decision procedures. Dependent on the history of the construction process different types of sifting are called. We propose two methods that consider the quality of the hash table and the size reduction of previous sifting runs, respectively. Experimental results show that both approaches reduce the runtime significantly, i.e. by more than 40% on average.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-0-387-35498-9_57
Chapter PDF
Similar content being viewed by others
References
Bollig, B. and Wegener, I. (1996). Improving the variable ordering of OBDDs is NP-complete. IEEE Trans. on Comp, 45 (9): 993–1002.
Brace, K., Rudell, R., and Bryant, R. (1990). Efficient implementation of a BDD package. In Design Automation Conf, pages 40–45.
Drechsler and Becker, 1998] Drechsler, R. and Becker, B. (1998). Binary Decision Diagrams — Theory and Implementation Kluwer Academic Publishers.
Drechsler, R., Drechsler, N., and Günther, W. (1998). Fast exact minimization of BDDs. In Design Automation Conf, pages 200–205.
Drechsler, R. and Günther, W. (1999). Using lower bounds during dynamic BDD minimization. In Design Automation Conf, pages 29–32.
Friedman, S. and Supowit, K. (1987). Finding the optimal variable ordering for binary decision diagrams. In Design Automation Conf, pages 348–356.
Fujii, H., Ootomo, G., and Hori, C. (1993). Interleaving based variable ordering methods for ordered binary decision diagrams. In Int’l Conf on CAD, pages 38–41.
Fujita, M., Matsunaga, Y., and Kakuda, T. (1991). On variable ordering of binary decision diagrams for the application of multilevel synthesis. In European Conf. on Design Automation, pages 50–54.
Harlow, J. and Brglez, F. (1998). Design of experiments in BDD variable ordering: Lessons learned. In Int’l Conf. on CAD, pages 646–652.
Jain, J., Adams, W., and Fujita, M. (1998). Sampling schemes for computing OBDD variable orderings. In Intl Conf. on CAD, pages 631–638.
Meinel, C. and Slobodovâ, A. (1997). Speeding up variable reordering of OBDD. In Int’l Conf. on Comp. Design, pages 338–343.
Panda, S. and Somenzi, F. (1995). Who are the variables in your neighborhood. In Int’l Conf. on CAD, pages 74–77.
Ranjan, R. and Sanghavi, J. (1997). CAL-1.2: Breadth-first manipulation based BDD library University of California at Berkeley.
Rudell, R. (1993). Dynamic variable ordering for ordered binary decision diagrams. In Intl Conf. on CAD, pages 42–47.
Slobodovâ, A. and Meinel, C. (1998). Sample method for minimization of OBDD. In Intl Workshop on Logic Synth, pages 311–316.
Somenzi, F. (1998). CUDD: CU Decision Diagram Package Release 2.3.0 University of Colorado at Boulder.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Drechsler, R., Günther, W. (2000). History-Based Dynamic Minimization During BDD Construction. In: Silveira, L.M., Devadas, S., Reis, R. (eds) VLSI: Systems on a Chip. IFIP — The International Federation for Information Processing, vol 34. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35498-9_30
Download citation
DOI: https://doi.org/10.1007/978-0-387-35498-9_30
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-1014-4
Online ISBN: 978-0-387-35498-9
eBook Packages: Springer Book Archive