An approach to minimization of decision diagrams

Proceedings - Euromicro Symposium on Digital Systems Design: Architectures, Methods and Tools, DSD 2001

Volumn , Issue , 2001, Pages 79-86

  Kerntopf, P ^a  

^a WARSAW UNIVERSITY OF TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY DECISION DIAGRAMS; BOOLEAN FUNCTIONS; GRAPHIC METHODS; INVERSE PROBLEMS; MATHEMATICAL TRANSFORMATIONS; SYSTEMS ANALYSIS;

DECISION DIAGRAM; INVERSE TRANSFORMATIONS; KRONECKER; MULTIPLE-VALUED FUNCTIONS;

DECISION THEORY;

EID: 3142669426     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSD.2001.952121     Document Type: Conference Paper

References (27)

1. B. Becker, R. Drechsler R., "How many decomposition types do we need?", Proc. European Design and Test Conf., 1995, pp. 438-443.
2. B. Becker, R. Drechsler R., M. Theobald, "On the expressive power of OKFDDs", Formal Methods in System Design, vol. 11, No. 1, 1997, pp. 5-21.
3. J. Bern, C. Meinel, A. Slobodova, "Efficient OBDD-based Boolean manipulation in CAD beyond current limits", Proc. Design Automation Conf., 1995, pp. 408-413.
4. B. Bollig, M. Loebbing, M. Sauerhoff, I. Wegener, "On the complexity of the Hidden Weighted Bit function for various BDD models", Theoretical Informatics and Applications, vol. 33, 1999, pp. 103-115.
5. R.E. Bryant, "Graph-based algorithms for Boolean function manipulation", IEEE Trans. on Computers, vol. 35, 1986, pp. 677-691.
6. R. Drechsler, B. Becker, Ordered Binary Decision Diagrams - Theory and Implementation, Kluwer Academic, Dordrecht 1998.
7. M. Fujita M., Y. Kukimoto, R.K. Brayton, "BDD minimization by truth table permutations", Proc. IEEE Int. Workshop on Logic Synthesis, 1995.
8. E. Goldberg, Y. Kukimoto, R.K. Brayton, "Canonical TBDD's and their application to combinational verification", Proc. IEEE Int. Workshop on Logic Synthesis, 1997.
9. E. Goldberg, Y. Kukimoto, R.K. Brayton, "Combinational verification based on high-level functional specifications", Proc. DATE Conf., 1998, pp.803-808.
10. W. Guenther, R. Drechsler, "BDD minimization by linear transformations", Proc. Int. Conf. on Advanced Computer Systems, 1998, pp. 525-532.
11. W. Guenther, R. Drechsler, "Linear transformations and exact minimization of BDDs", Proc. IEEE Great Lakes Symposium on VLSI, 1998, pp. 325-330.
12. W. Guenther, R. Drechsler, "Efficient manipulation algorithms for linearly transformed BDDs", Proc. Int. Workshop on Applications of Reed-Muller Expansion to Circuit Design, 1999, pp. 225-232.
13. W. Guenther, R. Drechsler, "On the computational power of linearly transformed BDDs", Information Processing Letters, vol. 75, 2000, pp. 119-125.
14. A. Hett, W. Guenther, B. Becker, "Application of linearly transformed BDDs in sequential verification", Proc. Asia and South Pacific Design Automation Conf., 2001, pp. 91-96.
15. T. Kam, T. Villa, R.K. Brayton, A. Sangiovanni-Vincentelli, "Multi-valued decision diagrams: Theory and applications", Multiple Valued Logic Journal, vol. 3, 1998, pp. 9-62.
16. P. Kerntopf, "A comparison of logical efficiency of reversible and conventional gates", Proc. IEEE Int. Workshop on Logic Synthesis, 2000, pp. 261-269.
17. P. Kerntopf, "On efficiency of reversible logic (3,3)-gates", Proc. Int. Conf. on Mixed Design of Integrated Circuits and Systems, 2000, pp. 185-190.
18. C. Meinel, F. Somenzi, T. Theobald, "Linear sifting of decision diagrams and its application in synthesis", IEEE Trans. on Computer-Aided Design, vol. 19, 2000, pp. 521-533.
19. C. Meinel, A. Slobodova, "A unifying theoretical background for some BDD-based data structures", Formal Methods in System Design, vol. 11, 1997, pp. 223-237.
20. C. Meinel, T. Theobald, "Local encoding transformations for optimizing OBBD-representations of finite state machines", Proc. Conf. on Formal Methods in Computer-Aided Design, 1996, pp. 404-418.
21. C. Meinel, T. Theobald, Algorithms and Data Structures in VLSI Design: OBDD - Foundations and Applications, Springer Verlag, Berlin, 1998.
22. M.A. Perkowski, B.J. Falkowski, M. Chrzanowska-Jeske, R. Drechsler, "Efficient algorithms for creation of linearly-independent decision diagrams and their mapping to regular layouts", VLSI Design, 2001 (in print).
23. D. Sieling, "Lower bounds for linear transformed OBDDs and FBDDs", Proc. Conf. on the Foundations of Software Technology and Theoretical Computer Science, 1999, pp. 356-368.
24. D. Sieling, I. Wegener, "Graph driven BDDs - a new data structure for Boolean functions", Theoretical Computer Science, Vol. 141, 1995, pp. 283-310.
25. R.S. Stankovic, "Functional decision diagrams for multiple-valued functions", Proc. Int. Symposium on Multiple-Valued Logic, 1995, pp. 284-289.
26. R.S. Stankovic, T. Sasao, "Decision diagrams for discrete functions: Classification and unified interpretation", Proc. Asia and South Pacific Design Automation Conf., 1998.
27. I. Wegener, Branching Programs and Binary Decision Diagrams, SIAM Monographs on Discrete Mathematics and Applications, Philadelphia, 2000.