Dagstuhl Seminar "CA Design and Test"
This is the WWW page related to the Dagstuhl Seminary "Computer Aided Design and Test" (February 13th - 17th 1995; IBFI Schloß Dagstuhl Germany), organized by Bernd Becker, Randy E. Bryant, Oliver Coudert and Christoph Meinel.
- Introduction
- Iris Bahar
A Symbolic Method to Reduce Power Consumption of Circuits Containing False Paths - Bernd Becker , Rolf Drechsler , Michael Theobald
Ordered Kronecker Functional Decision Diagrams) - Beate Bollig
On the Improvement of Variable Orderings for OBDDs) - Robert K. Brayton
Timed Boolean Functions and Their BDD's - Randy Bryant
Arithmetic Circuit Verification with Binary Moment Diagrams - Olivier Coudert
Two Questions - Hans Eveking
Programmschemata and OBDD's - Masahiro Fujita
BDD Minimization Based on Truth Table Permutations - Arti Gupta
Inductive Boolean Function Manipulation - Jawahar Jain
On Generation for Free BDDs - Udo Kebschull
Using Functions Properties for Multi-Level and Multi-Domain Logic Synthesis - Rolf Krieger
Hybrid Fault Simulation for Syncronus Sequential Circuits Based on OBDDs - Stefan Krischer
Algebraic Methods of Finite-State Machine Verification - Andreas Kühlmann
Verification of Large Scale Microprocessors - Wolfgang Kunz
On Improving OBDD-Based Verification in a Synthesis Environment - Kenneth McMillan
BDD Trees - Christoph Meinel
Efficient OBDD-based Boolean Manipulation
- Dirk Möller
Symmetry Based Variable Reordering for ROBDDs - Shipra Panda
Symmetry Detection and Dynamic Variable Ordering - Abelardo Pardo
On Computing the Maximum Power Cycle of Sequential Circuits - Carl Pixley
Model Checking Commercial Designs - Andisheh Sarabi
Multi-Level Logic Synthesis Based on Kronecker and Boolean Ternary Decision Diagrams for Incompletely Specified Functions - Tsutomu Sasao
EXOR Ternary Decision Diagrams on EXOR Logic Synthesis - Christoph Scholl
Efficient ROBDD Computation of Common Decomposition Function of Multi-Output Boolean Functions - Anna Slobodová
An Efficient OBDD-Rebuilding: Algorithm, Implementation, and Applications - Fabio Somenzi
Probabilistic Analysis of Large Finite State Machines - Bernd Steinbach
Lists of Ternary Vectors Concepts Properties Comparison with BDDs - Sarma Vrudhula
Edge-Valued Binary Decision Diagrams and their Applications - Ingo Wegener
Comparing kOBDDs and kIBDDs The Theory of Zero-Suppressed BDDs and the Number of Knights Tours
- Participants
- Design and Test Workshop 97
The Material listed from here is related to computer aided design and test, but was not covered by the above mentioned Dagstuhl Seminary.
Dagstuhl Seminar "CA Design and Test" Page - Jan Roßann - 8-May-1995 
