Dagstuhl Seminar 9108
Entwerfen, Prüfen, Testen
( Feb 18 – Feb 22, 1991 )
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/9108
Organizers
- B. Becker
- Ch. Meinel
Contact
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
Related Seminars
- 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)
