Advertisement

Exact BDD Minimization for Path-Related Objective Functions

  • Rüdiger Ebendt
  • Rolf Drechsler
Conference paper
Part of the IFIP International Federation for Information Proc book series (IFIPAICT, volume 240)

In this paper we investigate the exact optimization of BDDs with respect to path-related objective functions. We aim at a deeper understanding of the computational effort of exact methods targeting the new objective functions. This is achieved by an approach based on Dynamic Programming which generalizes the framework of Friedman and Supowit. A prime reason for the computational complexity can be identified using this framework. For the first time, experimental results give the minimal expected path length of BDDs for benchmark functions. They have been obtained by an exact Branch&Bound method which can be derived from the general framework. The exact solutions are used to evaluate a heuristic approach. Apart from a few exceptions, the results prove the high quality of the heuristic solutions.

Keywords

Cost Function Boolean Function Output Node Terminal Node Benchmark Function 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
    R. Bellman. Dynamic Programming. Princeton University Press, Princeton, New Jersey, 1957.Google Scholar
  2. 2.
    R. Bellmann. Combinatorial processes and dynamic programming. In Proc. of Symp. in Applied Mathematics of the American Mathematical Society, 1960.Google Scholar
  3. 3.
    R. Bellmann. Dynamic programming treatment of the traveling salesman problem. J. Assoc. Comput. Mach., (9):61-63, 1962.Google Scholar
  4. 4.
    B. Bollig and I. Wegener. Improving the variable ordering of OBDDs in NP-complete. IEEE Trans. on Comp., 45(9):993-1002, 1996.MATHCrossRefGoogle Scholar
  5. 5.
    K. Brace, R. Rudell, and R. Bryant. Efficient implementation of a BDD package. In Design Automation Conf., pages 40-45, 1990.Google Scholar
  6. 6.
    R. E. Bryant. Graph-based algorithms for Boolean function manipulation. IEEE Trans. on Comp., 35(8):677-691, 1986.MATHCrossRefGoogle Scholar
  7. 7.
    J. Butler, T. Sasao, and M. Matsuura. Average path length of binary decision diagrams. IEEE Trans. on Comp., 54(9), September 2005.Google Scholar
  8. 8.
    Collaborative Benchmarking Laboratory. 1993 LGSynth Benchmarks. North Car-olina State University, Department of Computer Science, 1993.Google Scholar
  9. 9.
    R. Drechsler, N. Drechsler, and W. Günther. Fast exact minimization of BDDs. IEEE Trans. on CAD, 19(3):384-389, 2000.Google Scholar
  10. 10.
    R. Drechsler, J. Shi, and G. Fey. Synthesis of fully testable circuits from BDDs. IEEE Trans. on CAD, 23(3):440-443, 2004.Google Scholar
  11. 11.
    R. Ebendt, W. Günther, and R. Drechsler. An improved branch and bound algorithm for exact BDD minimization. IEEE Trans. on CAD, 22(12):1657-1663, 2003.Google Scholar
  12. 12.
    R. Ebendt, W. Günther, and R. Drechsler. Minimization of the expected path length in BDDs based on local changes. In Asian and South Pacific Design Automation Conf., pages 866-871, 2004.Google Scholar
  13. 13.
    R. Ebendt, W. Günther, and R. Drechsler. Combining ordered-best first search with branch and bound for exact BDD minimization. IEEE Trans. on CAD 2005, 24(10):1515-1529, 2005.Google Scholar
  14. 14.
    G. Fey and R. Drechsler. Minimizing the number of paths in BDDs -theory and algorithm. IEEE Trans. on CAD, 25(1):4-11, 2006.Google Scholar
  15. 15.
    S. Friedman and K. Supowit. Finding the optimal variable ordering for binary decision diagrams. IEEE Trans. on Comp., 39(5):710-713, 1990.CrossRefMathSciNetGoogle Scholar
  16. 16.
    M. Held and R. Karp. A dynamic programming approach to sequencing problems. J. Soc. Indust. Appl. Math., 10(1), 1962.Google Scholar
  17. 17.
    Y. Iguchi, T. Sasao, and M. Matsuura. Evaluation of multiple-output logic functions using decision diagrams. In Asian South Pacific Design Automation Conf., pages 312-315, 2003.Google Scholar
  18. 18.
    Y. Jiang, S. Matic, and R. Brayton. Generalized cofactoring for logic function evaluation. In Design Automation Conf., pages 155-158, 2003.Google Scholar
  19. 19.
    P. McGeer, K. McMillan, A. Saldanha, A. Sangiovanni-Vincentelli, and P. Scaglia. Fast discrete function evaluation using decision diagrams. In Int'l Conf. on CAD, pages 402-407, 1995.Google Scholar
  20. 20.
    S. Nagayama, A. Mishchenko, T. Sasao, and J. Butler. Minimization of average path length in BDDs by variable reordering. In Proc. of International Workshop on Logic and Synthesis, 2003.Google Scholar
  21. 21.
    S. Nagayama and T. Sasao. On the minimization of longest path length for decision diagrams. Proc. of International Workshop on Logic and Synthesis, 2004.Google Scholar
  22. 22.
    S. Reda, R. Drechsler, and A. Orailoglu. On the relation between SAT and BDDs for equivalence checking. In Int'l Symp. on Quality of Electronic Design, pages 394-399, 2002.Google Scholar
  23. 23.
    R. Rudell. Dynamic variable ordering for ordered binary decision diagrams. In Int'l Conf. on CAD, pages 42-47, 1993.Google Scholar
  24. 24.
    F. Somenzi. CU Decision Diagram Package Release 2.4.0. University of Colorado at Boulder, 2004.Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2007

Authors and Affiliations

  • Rüdiger Ebendt
    • 1
  • Rolf Drechsler
    • 1
  1. 1.Institute of Computer ScienceUniversity of BremenGermany

Personalised recommendations