Formaler Robustheitsnachweis im computergestützten Schaltkreisentwurf

计算机辅助电路设计稳健性的形式证明

• 批准号: 61273444
• 负责人: Professor Dr. Rolf Drechsler
• 金额: --
• 依托单位: Institut für Eingebettete Systeme E-13
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2008
• 资助国家: 德国
• 起止时间: 2007-12-31 至 2011-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/61273444?language=en
• 关键词: Formaler; Robustheitsnachweis; im; computergest; tzten

Es wird zunehmend wichtiger, dass integrierte Schaltkreise selbst beim Auftreten interner Fehlfunktionen noch ein korrektes Ein- /Ausgabeverhalten zeigen. Doch der Nachweis dieser Robustheit gegenüber Fehlern wird bisher für den industriellen Schaltkreisentwurf nicht ausreichend unterstützt. Üblicherweise werden derzeit simulationsbasierte Methoden für den Nachweis der Robustheit eingesetzt. Dabei wird aber keine ausreichende Überdeckung des Zustandsraumes eines Schaltkreises erreicht. Formale Methoden können dagegen Robustheit unter allen Zuständen garantieren. Im beantragten Projekt sollen Ansätze zum Robustheitsnachweis von Schaltkreisen unter Verwendung formaler Methoden erarbeitet werden. Erste viel versprechende Vorarbeiten hierzu wurden bereits durchgeführt. Hierbei wurden erste Lösungsansätze implementiert, deren Effizienz jedoch noch nicht für die praktische Anwendung ausreicht. Außerdem wurden weiterführende Fragestellungen bezüglich der Behandlung unterschiedlicher Fehlertypen identifiziert. Deshalb sollen die vorhandenen Ansätze im beantragten Projekt weiterentwickelt und anhand praktischer Beispiele evaluiert werden. Das Projektziel ist die Entwicklung eines vollautomatischen Werkzeuges zur Klassifikation der Robustheit eines Schaltkreises. Die zugrunde liegenden Beweismethoden sollen für den Nutzer transparent sein, so dass das Werkzeug einfach zu bedienen ist.Gleichzeitig soll es möglich sein auch große Schaltkreise mit den erarbeiteten Werkzeugenbearbeiten zu können.

这将是一个更大的进步，因为完整的Schaltkreise本身就是一个内部的Fehlfunktionen，一个错误的/Ausgabeverhalten zeigen。Doch der Nachweis dieser Robustheit gegenüber Fehlern wird bisher für den industriellen Schaltkreisentwurf nicht ausreichend unterstützt.Üblicherweise韦尔登derzeit simulationsbasierte Methoden für den Nachweis der Robustheit eingesetzt.大北不会再被隔离在一个小城堡里了。Formal Methoden können dagegen Robustheit unter艾伦Zuständen garantieren. Im beantragten Projekt sollen Ansätze zum Robustheitsnachweis von Schaltkreisen unter Verwendung formaler Methoden erarbeitet韦尔登.第一次见到你的时候，你会感到很害怕。这是第一次实施Lösungsansätze，而不是为了实践Anwendung。Außerdem wurden weiterfüchten de Fragestellungen bezüglich der Behandlung unterscheedlicher Fehlertypen identifiziert.因此，我们必须对项目中的最后答复进行适当的修改，并对韦尔登的实际评价进行修改。该项目是一种对机器人进行分类的volautomatischen工具包。Die zugenden Beweismethoden sollen für den Nutzer transparent sein，so dass das Werkzeug einfach zu bedienen ist.Gleichzeitig soll es möglich sein auch greße Schaltkreise mit den erarbeiteten Werkzeugenbearbeiten zu können.