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.

我们将为您提供更多的服务，帮助您更好地了解自己的工作。Nachweis dieser Robustheit gegenüber Fehlern wird Bisher für den Industriellen Schaltkreisentwurf nurf nachweis dieser Robustheit gegenüber Fehlern wird nachweis dieser Robustheit gegenüber Fehlern wird Bisher für den Industriellen Schaltkreisentwurf nith nachweis dieser Robustheit gegenüber Fehlern Wird Bisher für den Industriellen Schaltkreisentwurf nurf nh h e e t.这是一种以科学方法为基础的模拟。大北风吹得更大，更别提了。在艾伦·祖斯特恩登·加尔蒂耶伦的带领下，他成为了一名卫理公会会员。我是在凡尔文东的正式的卫理公会下的一名男子和一名男子。他说：“这是一件非常重要的事情。在此之前，我不知道该怎么做才能实现这一点。Au？Erdem Wurden Wurden witerführende Frasterellungen Bezüglich der Behadular Unterschiedlicher Fehlertyen身份.这是一项重大的工程和手工业的评估工作。这是一项新的工程，它的目的是为了更好地解决问题。这是一种透明的方法，所以不能像以前那样使用透明的材料。