https://www.dagstuhl.de/9307

15. – 19. Februar 1993, Dagstuhl-Seminar 9307

Computer Aided Design and Test

Organisator

B. Becker, R. Bryant, Ch. Meinel

Auskunft zu diesem Dagstuhl-Seminar erteilt

Dagstuhl Service Team

Dokumente

Dagstuhl-Seminar-Report 56

Summary

The second workshop on "Computer Aided Design and Test" at the IFBI was organized by Bernd Becker (Frankfurt), Randal E. Bryant (Carnegie Mellon) and Christoph Meinel (Trier). There were 36 participants from 5 countries. The organizers took the chance to bring together research groups from different areas in computer science, electrical engineering and industry. The common interest of all participants were problems related to the field of electronic design automation with special emphasis on research done in the area of (high level and logic) synthesis, verification and testing.

Twenty-three lectures were presented at the workshop covering the following topics:

  • High level synthesis and timing
  • Verification and timing
  • OBDDs and OBDD-based algorithms
  • generalizations of OBDDs
  • Delay fault testing and synthesis
  • Testable (fault tolerant) design
  • Random testability
  • Fault simulation and test generation

The participants are very grateful for this opportunity to meet in such an excellent atmosphere that provided ample time for fruitful discussions, be it on new ideas and future developments, or on the differing viewpoints of e.g. a practitioner and a theoretical computer scientist.

Dagstuhl-Seminar Series

Dokumentation

In der Reihe Dagstuhl Reports werden alle Dagstuhl-Seminare und Dagstuhl-Perspektiven-Workshops dokumentiert. Die Organisatoren stellen zusammen mit dem Collector des Seminars einen Bericht zusammen, der die Beiträge der Autoren zusammenfasst und um eine Zusammenfassung ergänzt.

 

Download Übersichtsflyer (PDF).

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact separat aufgelistet  und im Erdgeschoss der Bibliothek präsentiert.

Publikationen

Es besteht weiterhin die Möglichkeit, eine umfassende Kollektion begutachteter Arbeiten in der Reihe Dagstuhl Follow-Ups zu publizieren.