BINARY DECISION DIAGRAMS AND OTHER DIAGRAMS
- PROFESSOR: Marek A. Perkowski
- Shannon Expansion. Binary Decision Diagrams.
MIT lectures
- Lattice Diagrams using Shannon and Davio expansions.
Please read the respective materials in
papers about layout-driven logic synthesis for sub-micron technologies
-
Gueesang Lee, Logic Synthesis for Cellular Architecture FPGA using BDD
- FPGAs and synthesis for FPGAs.
-
report of Ben Drucker, Craig Files, and Peter Siracusa on Symmetry in Layout
- B. Becker, R. Drechsler, "How many Decomposition Types do we need?".
-
B. Becker, R. Drechsler, M. Theobald,
"Minimization of 2-level AND/XOR Expressions
using Ordered Kronecker Functional Decision Diagrams
-
R. Drechsler, B. Becker, A. Jahnke,
"On Variable Ordering and Decomposition Type Choice in OKFDDs,"
-
- Decision Diagrams for Kleenean Strong Ternary Logic OTDD
-
- Binary Decision Diagrams
-
- BDD corner - Decision Diagrams on the Web
-
- Binary Decision Diagrams (BDD)
-
- Manipulating Binary Decision Diagrams on Network of Workstations
-
- Postscript of Bernd Becker's slides.
-
- Parallel Genetic Programming Induction of Binary Decision Diagrams
-
- Contents of Chapter 1
---- Summary of recent U.C. Berkeley research.
-
- {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.