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 9307

Computer Aided Design and Test

( 15. Feb – 19. Feb, 1993 )

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

Organisatoren
  • B. Becker
  • Ch. Meinel
  • R. Bryant



Summary

The second workshop on "Computer Aided Design and Test" at the IFBI was organized by Bernd Becker (Frankfurt), Randal E. Bryant (Carnegie Mellon) and Christoph Meinel (Trier). There were 36 participants from 5 countries. The organizers took the chance to bring together research groups from different areas in computer science, electrical engineering and industry. The common interest of all participants were problems related to the field of electronic design automation with special emphasis on research done in the area of (high level and logic) synthesis, verification and testing.

Twenty-three lectures were presented at the workshop covering the following topics:

  • High level synthesis and timing
  • Verification and timing
  • OBDDs and OBDD-based algorithms
  • generalizations of OBDDs
  • Delay fault testing and synthesis
  • Testable (fault tolerant) design
  • Random testability
  • Fault simulation and test generation

The participants are very grateful for this opportunity to meet in such an excellent atmosphere that provided ample time for fruitful discussions, be it on new ideas and future developments, or on the differing viewpoints of e.g. a practitioner and a theoretical computer scientist.

Copyright

Teilnehmer
  • B. Becker
  • Ch. Meinel
  • R. Bryant

Verwandte Seminare
  • Dagstuhl-Seminar 9108: Entwerfen, Prüfen, Testen (1991-02-18 - 1991-02-22) (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 99041: Computer Aided Design and Test Decision Diagrams - Concepts and Applications (1999-01-24 - 1999-01-29) (Details)
  • Dagstuhl-Seminar 01051: Computer Aided Design and Test - BDDs versus SAT (2001-01-28 - 2001-02-02) (Details)