TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Dagstuhl Seminar 9507

Computer Aided Design and Test

( Feb 13 – Feb 17, 1995 )

Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/9507

Organizers
  • B. Becker
  • Ch. Meinel
  • O. Coudert
  • R. Bryant




Motivation

The third workshop on “Computer Aided Design and Test” at the IBFI Schloß Dagstuhl was organized by Bernd Becker (Univ. Frankfurt), Randy Bryant (Carnegie Mellon Univ.), Oliver Courdert (Synopsis) and Christoph Meinel (Univ. Trier). It was attended by 40 scientists. The organizers took the opportunity to bring together researchers from different areas in computer science, electrical engineering and industry.

The workshop focussed on Binary Decision Diagrams (BDDs) and related data structures in practical applications as well as in theoretical research. The success of BDDs in the CAD area has spawned research efforts on a number of fronts, including:

  • Theoretical work on BDD-based data structures and algorithms;
  • Applications in domains such as protocol verification, artificial intelligence, logic programming, and automated theorem proving;
  • Extensions beyond Boolean functions to represent matrices, Markov systems, integer programming problems, multi-variate polynomials, and word-level circuit functions.

The workshop fostered deep and creative interactions among researchers in the CAD field, researchers from other domains making use of BDDs in their applications and theoreticians contributing to the core technology. Besides the common interest in BDD-based techniques which united all the participants the excellent atmosphere of the Dagstuhl-center provided the framework for an exceptional workshop.

Copyright

Participants
  • B. Becker
  • Ch. Meinel
  • O. Coudert
  • R. Bryant

Related Seminars
  • Dagstuhl Seminar 9108: Entwerfen, Prüfen, Testen (1991-02-18 - 1991-02-22) (Details)
  • Dagstuhl Seminar 9307: Computer Aided Design and Test (1993-02-15 - 1993-02-19) (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)