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
