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
Kontakt
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.
- 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)