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

• Antragsteller: Professor Dr. Christoph Meinel
• Fachliche Zuordnung: Informatik
• Förderung: Förderung von 1996 bis 2000
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 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-Verfahren: Schwerpunktprogramme
• Teilprojekt zu: SPP 731: Effiziente Algorithmen für diskrete Probleme und ihre Anwendungen