27. – 31. Januar 1997, Dagstuhl-Seminar 9705

Computer Aided Design and Test Decision Diagrams - Concepts and Applications


B. Becker (Frankfurt am Main), R. Bryant (CMU Pittsburgh), M. Fujita (San Jose), Ch. Meinel (Trier)

Auskunft zu diesem Dagstuhl-Seminar erteilt

Dagstuhl Service Team


Externe Homepage
Dagstuhl-Seminar-Report 166


The fourth workshop Decision Diagrams – Concepts and Applications in the series Computer Aided Design and Test at the IBFI SchloßDagstuhl was organized by Bernd Becker (Univ. Freiburg), Randy Bryant (Carnegie Mellon Univ.), Masahiro Fujita (Fujitsu Labs. San José) and Christoph Meinel (Univ. Trier). It was attended by 39 scientists.

Binary Decision Diagrams (BDDs) have found widespread use in computer-aided design for digital circuits. They form the heart of many tools for formal verification and are also commonly used in logic synthesis, circuit testing and in the verification of communication protocols.

The organizers took the opportunity to bring together researchers from different areas in computer science, electrical engineering and industry. The common aim of all researchers is to deepen the knowledge of the – widely accepted – BDD data structures, to improve existing techniques and to explore new fields of application.

Twenty-eight lectures were presented at the workshop covering the following theoretical and practical topics:

  • Formal verification of combinational and sequential circuits
  • Minimization of BDDs
  • Lower bounds techniques
  • New BDD-concepts
  • Improvements of BDD-algorithms
  • Applications using BDD-based data-structures

In addition there was an open discussion on the future directions of BDD research whose aim was to exchange the most recent problems, needs and challenges about industries and universities.

Schloß Dagstuhl and its staff provided a very convenient and stimulating enviroment for the workshop. The organizers wish to thank all those who helped in establishing this excellent research experience.

Dagstuhl-Seminar Series


In der Reihe Dagstuhl Reports werden alle Dagstuhl-Seminare und Dagstuhl-Perspektiven-Workshops dokumentiert. Die Organisatoren stellen zusammen mit dem Collector des Seminars einen Bericht zusammen, der die Beiträge der Autoren zusammenfasst und um eine Zusammenfassung ergänzt.


Download Übersichtsflyer (PDF).

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact separat aufgelistet  und im Erdgeschoss der Bibliothek präsentiert.


Es besteht weiterhin die Möglichkeit, eine umfassende Kollektion begutachteter Arbeiten in der Reihe Dagstuhl Follow-Ups zu publizieren.