VLSI - Design and Verification

Brief description:

Within the research field of BDD-based data structures for Boolean functions data structures, for the representation and computation of Boolean (i.e., 0-1-valued) functions have been designed and analyzed . The various practical applications of such data structures, e.g., in CAD systems for circuit design or in tools for the formal verification of communication protocols, sequential systems or electronic circuits made optimization and compactification of such structures a very worthwhile aim of research.

Research Topics

People

• Director:
  • Prof. Dr. Christoph Meinel
• Staff members:
  • Dipl.-Inform. Volker Klotz
  • Dipl. Inform. Mohammad Ghasemzadeh
• Former members:
  • Dr. Rustam Mubarakzjanov (now with Kazan University)
  • Dipl. Inform. Christian Stangier(now with Fujitsu, USA)
  • Dr. Harald Sack (now with Uni Jena)
  • Dipl.-Math.Jochen Bern (now with IT-Services, Luxembourg)
  • Dipl. Inform. Jordan Gergov (now with MPI Saarbrücken)
  • Dipl. Inform. Klaus Schwettmann
  • Dr. Anna Slobodova (now with Compaq, Boston)
  • Dr. Thorsten Theobald (now with TU München)
  • Dipl. Inform. Arno Wagner (now with ETH Zürich)

List of our technical reports

PhD-Theses

• "High-level Methods for OBDD-based Sequential Verification"
  by Christian Stangier, 2002
• "Improving the Power of Ordered Binary Decision Diagrams by Integrating Parity Nodes"
  by Harald Sack, 2002
• "Transformation Techniques for Decision Diagrams in Computer-Aided Design"
  by Thorsten Theobald, 1997

Further Activities

• www.bdd-portal.org

• Dagstuhl Seminar Design and Test: 1995 1997 1999 2001

Projects and Cooperation

• Institute of Telematics, Trier
• Politecnico Torino
• University of Colorado at Boulder
• DFG-Research Cluster  EFFICIENT ALGORITHMS FOR DISCRETE PROBLEMS AND THEIR APPLICATIONS
• DFG Graduiertenkolleg Mathematische Optimierung
• DIGITAL
• IBM
• SIEMENS
• SYNOPSYS