Research Topic: Free BDDs

Development and evaluation of BDD-based data structures w.r.t. suitability for an efficient solution of the problems occuring in the field of logic synthesis and optimization. Heuristical methods for the work with free decision programs have been developed and a probablistic method for the equivalence test of Parity OBDDs has been evaluated.

Technical Reports:

• Ch. Meinel, A. Slobodová:
  A Unifying Theoretical Background for Some BDD-based Data Structures
• J. Bern, Ch. Meinel, A. Slobodová:
  Efficient OBDD-Based Boolean Manipulation in CAD Beyond Current Limits
• Ch. Meinel, A. Slobodová:
  On the Complexity of Constructing Optimal OBDD's
• J. Bern, Ch. Meinel, A. Slobodová:
  Some Heuristics for Generating Tree-like FBDD Types
• J. Bern, J. Gergov, Ch. Meinel, A. Slobodová:
  Boolean Manipulation with Free BDD's - First Experimental Results
• J. Gergov, Ch. Meinel:
  Efficient Boolean Manipulation with OBDD's can be Extended to FBDD's
• A. Slobodová, Ch. Meinel:
  Efficient Manipulation of FBDDs by Means of a Modified OBDD-Package
• J. Gergov, Ch. Meinel:
  Combinational Logic Verification with FBDDs
• J. Gergov, Ch. Meinel:
  Analysis and Manipulation of Boolean Functions in Terms of Decision Graphs

Publications:

• J. Bern, Ch. Meinel, A. Slobodová
  Efficient OBDD-Based Boolean Manipulation in CAD Beyond Current Limits
  Proc. 32nd IEEE/ACM DAC, San Francisco (USA), IEEE Computer Society Press 1995, 408-413.
• J. Gergov, Ch. Meinel
  Boolean Manipulation with Free BDDs. An Application in Combinational Logic Verification
  Proc. 13th IFIP World Computer Congress'94, Hamburg (Germany), IFIP Transactions A-51
  Technology and Foundations, Vol. 1, North-Holland 1994, 309-314.
• J. Bern, J. Gergov, CH. Meinel, A. Slobodová
  Boolean Manipulation with Free BDDs. First Experimental Results
  Proc. EDAC'94, Paris (France), IEEE Computer Society Press 1994, 200-207.
• J. Gergov, Ch. Meinel
  Frontiers of Feasible and Probabilistic Feasible Boolean Manipulation with Branching Programs
  Proc. STACS'93, Würzburg (Germany), LNCS 665, Springer-Verlag 1993, 576-585.
• J. Gergov, Ch. Meinel
  Analysis and Manipulation of Boolean Functions in Terms of Decision Graphs
  Proc. WG'92, Frankfurt a. M. (Germany), LNCS 657, Springer-Verlag 1993, 310-320.

People:

• Dipl. math Jochen Bern
• Dipl. Inform Jordan Gergov
• Prof. Dr. Christoph Meinel
• Dr. Anna Slobodova