Dagstuhl Seminar 9705
Computer Aided Design and Test Decision Diagrams – Concepts and Applications
( Jan 27 – Jan 31, 1997 )
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/9705
Organizers
- B. Becker (Frankfurt am Main)
- Ch. Meinel (Trier)
- M. Fujita (San Jose)
- R. Bryant (CMU Pittsburgh)
Contact
External Homepage
The fourth workshop Decision Diagrams – Concepts and Applications in the series Computer Aided Design and Test at the IBFI SchloßDagstuhl was organized by Bernd Becker (Univ. Freiburg), Randy Bryant (Carnegie Mellon Univ.), Masahiro Fujita (Fujitsu Labs. San José) and Christoph Meinel (Univ. Trier). It was attended by 39 scientists.
Binary Decision Diagrams (BDDs) have found widespread use in computer-aided design for digital circuits. They form the heart of many tools for formal verification and are also commonly used in logic synthesis, circuit testing and in the verification of communication protocols.
The organizers took the opportunity to bring together researchers from different areas in computer science, electrical engineering and industry. The common aim of all researchers is to deepen the knowledge of the – widely accepted – BDD data structures, to improve existing techniques and to explore new fields of application.
Twenty-eight lectures were presented at the workshop covering the following theoretical and practical topics:
- Formal verification of combinational and sequential circuits
- Minimization of BDDs
- Lower bounds techniques
- New BDD-concepts
- Improvements of BDD-algorithms
- Applications using BDD-based data-structures
In addition there was an open discussion on the future directions of BDD research whose aim was to exchange the most recent problems, needs and challenges about industries and universities.
Schloß Dagstuhl and its staff provided a very convenient and stimulating enviroment for the workshop. The organizers wish to thank all those who helped in establishing this excellent research experience.
Creative Commons BY 3.0 DE
- B. Becker (Frankfurt am Main)
- Ch. Meinel (Trier)
- M. Fujita (San Jose)
- R. Bryant (CMU Pittsburgh)
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 9507: Computer Aided Design and Test (1995-02-13 - 1995-02-17) (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)
