Design and Test

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