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

Dagstuhl Service Team

Documents

Dagstuhl-Seminar-Report 6

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

Documentation

In the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.

 

Download overview leaflet (PDF).

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.

Publications

Furthermore, a comprehensive peer-reviewed collection of research papers can be published in the series Dagstuhl Follow-Ups.