TOP
Suche auf der Schloss Dagstuhl Webseite
Sie suchen nach Informationen auf den Webseiten der einzelnen Seminare? - Dann:
Nicht fündig geworden? - Einige unserer Dienste laufen auf separaten Webseiten mit jeweils eigener Suche. Bitte beachten Sie folgende Liste:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminare
Innerhalb dieser Seite:
Externe Seiten:
  • DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
  • DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)
Publishing
Innerhalb dieser Seite:
Externe Seiten:
dblp
Innerhalb dieser Seite:
Externe Seiten:
  • die Informatik-Bibliographiedatenbank dblp


Dagstuhl-Seminar 99041

Computer Aided Design and Test Decision Diagrams – Concepts and Applications

( 24. Jan – 29. Jan, 1999 )

(zum Vergrößern in der Bildmitte klicken)

Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite: https://www.dagstuhl.de/99041

Organisatoren
  • B. Becker (Freiburg)
  • C. Meinel (Trier)
  • F. Somenzi (Univ. of Colorado)
  • S.-I. Minato (NTT Optical Network, Japan)



Summary

The fifth seminar Decision Diagrams -- Concepts and Applications in the series Computer Aided Design and Test at the IBFI Schloss Dagstuhl was organized by Bernd Becker (Univ. Freiburg), Christoph Meinel (Univ. Trier), Shin-Ichi Minato (NTT Optical Network, Japan), and Fabio Somenzi (Univ. of Colorado). It was attended by 31 scientists.

Decision Diagrams (DDs) have found widespread use in computer-aided design of 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. With increasing number of applications, also in non--CAD areas, classical methods to handle DDs are being improved and new questions and problems evolve and have to be solved.

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 understanding of DDs as a data structure, to improve existing techniques and to explore new fields of application. At the workshop, 23 lectures were presented covering different topics of DD research among them being:

  • Potential and limitations of DDs, complexity of algorithms for (Boolean) function manipulation
  • Minimization and approximation of Binary DDs (BDDs)
  • Formal verification of sequential circuits with BDD based methods
  • Extensions beyond Boolean functions to represent and manipulate word-level circuit functions
  • Applications in synthesis, design and test of real-time systems, state/event systems

There were many discussions concerning challenging open questions --- at universities and in industry as well --- and future directions of research in the DD area.

As always, Schloss Dagstuhl and its staff provided a very convenient and stimulating environment for the workshop. The organizers wish to thank all those who helped in establishing this excellent research atmosphere.

More detailed information including some full papers can be found on the WWW-pages with the URL: http://ira.informatik.uni-freiburg.de/events/design_and_test_99/


Teilnehmer
  • B. Becker (Freiburg)
  • C. Meinel (Trier)
  • F. Somenzi (Univ. of Colorado)
  • S.-I. Minato (NTT Optical Network, Japan)

Verwandte Seminare
  • Dagstuhl-Seminar 9108: Entwerfen, Prüfen, Testen (1991-02-18 - 1991-02-22) (Details)
  • Dagstuhl-Seminar 9307: Computer Aided Design and Test (1993-02-15 - 1993-02-19) (Details)
  • Dagstuhl-Seminar 9507: Computer Aided Design and Test (1995-02-13 - 1995-02-17) (Details)
  • Dagstuhl-Seminar 9705: Computer Aided Design and Test Decision Diagrams - Concepts and Applications (1997-01-27 - 1997-01-31) (Details)
  • Dagstuhl-Seminar 01051: Computer Aided Design and Test - BDDs versus SAT (2001-01-28 - 2001-02-02) (Details)