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 9108

Entwerfen, Prüfen, Testen

( 18. Feb – 22. Feb, 1991 )

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

Organisatoren
  • B. Becker
  • Ch. Meinel



Zusammenfassung

In der Woche vom 18.02. - 22.02.1991 trafen sich im IFBI Dagstuhl 31 Wissenschaftler zur Teilnahme am Seminar "Entwerfen, Prüfen, Testen". Das Seminar fand unter Leitung von B. Becker (Frankfurt/M) und Ch. Meinel (Berlin) statt.

Im Mittelpunkt des Interesses standen zunächst einmal Fragen und Methoden, die auf Probleme im Bereich des Prüfens und Testens, sei es aus theoretischer oder aus praktischer Sicht, eingingen.

Resultate, die sich mit Fragen aus folgenden Themenkreisen befassten, wurden vorgetragen und von den Teilnehmern eingehend diskutiert:

  • Testen und Struktur
  • Design for Testability
  • Testerzeugung
  • Fehlersimulation
  • Probabilistische Methoden im Testen
  • Fehlertoleranz

Die übrigen Vorträge verteilten sich auf die Gebiete der Synthese, insbesondere Logiksynthese, Layoutsynthese, Grapheinbettungen. der Verifikation und der Datenhaltung im VLSI-Bereich.


Teilnehmer
  • B. Becker
  • Ch. Meinel

Verwandte Seminare
  • 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 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)