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

基于 BDD 的数据结构分析设计，用于时序电路和系统的表示和自动处理

• 批准号: 5264103
• 负责人: Professor Dr. Christoph Meinel
• 金额: --
• 依托单位: Hasso-Plattner-Institut für Digital Engineering
• 依托单位国家: 德国
• 项目类别: Priority Programmes
• 财政年份: 1996
• 资助国家: 德国
• 起止时间: 1995-12-31 至 1999-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5264103?language=en
• 关键词: Entwurf; von; Analyse; BDD; basierten

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.

该项目最好是通过理论和实验来研究基于图形的数据结构，从而有效地提高验证效率，并在此基础上提出了一种基于形式验证序列的Schaltkreise和系统韦尔登方法。In Fortsetzung der im Zwischenbericht beschriebenen Ergebnisse sollen u.a.最小化奇偶性OBDDs的最小化，新的重排序方法，在合成中使用不规则的变量，因此，可以使用顺序验证和非常好的方法来验证韦尔登。