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
