BINARY DECISION DIAGRAMS AND OTHER DIAGRAMS

  1. PROFESSOR: Marek A. Perkowski
  2. Shannon Expansion. Binary Decision Diagrams. MIT lectures
  3. Lattice Diagrams using Shannon and Davio expansions.
    Please read the respective materials in papers about layout-driven logic synthesis for sub-micron technologies
  4. Gueesang Lee, Logic Synthesis for Cellular Architecture FPGA using BDD
  5. FPGAs and synthesis for FPGAs.
  6. report of Ben Drucker, Craig Files, and Peter Siracusa on Symmetry in Layout
  7. B. Becker, R. Drechsler, "How many Decomposition Types do we need?".
  8. B. Becker, R. Drechsler, M. Theobald, "Minimization of 2-level AND/XOR Expressions using Ordered Kronecker Functional Decision Diagrams

  9. R. Drechsler, B. Becker, A. Jahnke, "On Variable Ordering and Decomposition Type Choice in OKFDDs,"
  10. Decision Diagrams for Kleenean Strong Ternary Logic OTDD
  11. Binary Decision Diagrams
  12. BDD corner - Decision Diagrams on the Web
  13. Binary Decision Diagrams (BDD)
  14. Manipulating Binary Decision Diagrams on Network of Workstations
  15. Postscript of Bernd Becker's slides.
  16. Parallel Genetic Programming Induction of Binary Decision Diagrams
  17. Contents of Chapter 1 ---- Summary of recent U.C. Berkeley research.
  18. {A-Z}DD Applications --- This is a link to publications of Professor Fabio Somenzi from the University of Colorado. Material on Algebraic Diagrams was discussed in class.