https://www.dagstuhl.de/9108
February 18 – 22 , 1991, Dagstuhl Seminar 9108
Entwerfen, Prüfen, Testen
Organizer
B. Becker, Ch. Meinel
For support, please contact
Documents
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.
Dagstuhl Seminar Series
- 01051: "Computer Aided Design and Test - BDDs versus SAT" (2001)
- 99041: "Computer Aided Design and Test Decision Diagrams - Concepts and Applications" (1999)
- 9705: "Computer Aided Design and Test Decision Diagrams - Concepts and Applications" (1997)
- 9507: "Computer Aided Design and Test" (1995)
- 9307: "Computer Aided Design and Test" (1993)
