Entwurf von Analyse von BDD-basierten Datenstrukturen zur Repräsentation und automatischen Bearbeitung sequentieller Schaltkreise und Systeme

• Applicant: Professor Dr. Christoph Meinel
• Subject Area: Computer Science
• Term: from 1996 to 2000
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5264103

Das Ziel des beantragten Projektes besteht in der theoretischen und experimentellen Untersuchung von graphbasierten Datenstrukturen mit dem Ziel, besonders geeignete Datenstrukturen zur effizienten Lösung der verschiedenen, in diesem Gebiet zu bearbeitenden Probleme bereitzustellen, wobei der formalen Verifikation sequentieller Schaltkreise und Systeme eine besondere Beachtung geschenkt werden soll. In Fortsetzung der im Zwischenbericht beschriebenen Ergebnisse sollen u.a. heuristische Minimierungskonzepte für Parity OBDDs weiterentwickelt werden, neue verbesserte Reordering Strategien entworfen und untersucht werden, das Arbeiten mit unterschiedlichen Variablenordnungen in der Synthese, sowie der sequentiellen Verifikation untersucht werden und verbesserte Methoden der Verifikation von Kommunikationsprotokollen entwickelt werden.

• DFG Programme: Priority Programmes
• Subproject of: SPP 731: Effiziente Algorithmen für diskrete Probleme und ihre Anwendungen