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

点击翻译按钮获取中文摘要

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.