B . Becker , R . E . Bryant , O . Coudert , Ch . Meinel ( Hrsg

s of the Talks 7 Probabilistic Analysis of Large Finite State Machines F. Somenzi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 On Improving OBDD-Based Verification in a Synthesis Environment W. Kunz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 On Computing the Maximum Power Cycle of Sequential Circuits A. Pardo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 Timed Boolean Functions and their BDD’s R. K. Brayton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 Ordered Kronecker Functional Decision Diagrams B. Becker, R. Drechsler, M. Theobald . . . . . . . . . . . . . . . . 9 Lists of Ternary Vectors – Concepts – Properties – Comparison with BDDs B. Steinbach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 On the Improvement of Variable Orderings for OBDDs B. Bollig . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 An Efficient OBDD-Rebuilding: Algorithm, Implementation, and Applications A. Slobodovà . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 Multi-Level Logic Synthesis Based on Kronecker and Boolean Ternary Decision Diagrams for Incompletely Specified Functions A. Sarabi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 Using Functions Properties for Multi-Level and Multi-Domain Logic Synthesis U. Kebschull . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 EXOR Ternary Decision Diagrams on EXOR Logic Synthesis T. Sasao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 Hybrid Fault Simulation for Synchronous Sequential Circuits Based on OBDDs R. Krieger . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 A Symbolic Method to Reduce Power Consumption of Circuits Containing False Paths R. I. Bahar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 Model Checking Commercial Designs C. Pixley . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 Efficient OBDD-based Boolean Manipulation C h. Meinel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 BDD Minimization Based on Truth Table Permutations M. Fujita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15