Digital gesteuerte formale Analog-Verifikation asynchroner r ückgekoppelter Schaltungsstrukturen

Abstract:
In dieser Veröffentlichung wird eine neue Herangehensweise vorgeschlagen, um die Struktur eines asynchronen Schaltkreises sukzessive in Unterstrukturen aufzuteilen. Weiterhin werden verschiedene intuitive sowie formale Ansätze vorgestellt, um Gesamt-Schaltungsverhalten wieder aus Unterstrukturen zu gewinnen. Die jeweilige Verfeinerungs- und Vergröberungstiefe liefert dabei spezifische Informationen über Sicherheit, Stabilität und Zuverl ässigkeit der jeweiligen Strukturen während des Betriebes. Das Verhaltensmodell und die Stabilitätskriterien werden anhand einer Fallstudie klassifiziert und die Ergebnisse formal ermittelter Strukturschwachstellen diskutiert. Sicherheitsaspekte werden unter Einbeziehung analoger Struktureigenschaften wie etwa mehrwertiger Informationsfluss und Fortpflanzungsdauer hergeleitet, und es werden U¨ berlagerung von Signalen aufgezeigt, welche zur sogenannten Informationskorruptheit führen können.