Dieser Artikel erläutert verschiedene Aspekte von Wiederverwendung und Verifikation. Dazu wird zunächst der Begriff Verifikation diskutiert. Danach werden besondere Herausforderungen bei der Verifikation von wiederverwendbaren Modulen sowie von Systemen, die aus wiederverwendbaren Modulen zusammengesetzt sind, vorgestellt. Anschließend wird im Abschnitt Verifikations-IP ein Ansatz zur Wiederverwendung in der Verifikation beschrieben, der in verschiedenen Ausprägungen bereits industriell eingesetzt wird. Abschließend wird auf den Einfluss von innerhalb der integrierten Schaltung ablaufender Software eingegangen.
This article comprises several aspects of re-use and verification. First, the term verification is discussed. Afterwards, specific challenges in verification of reusable modules and systems, which are themselfs composed of reusable modules, were presented. Next, an industrial proven approach for re-use in verification is described. Finally, the influence of embedded software is covered.
© 2015 Oldenbourg Wissenschaftsverlag GmbH, Rosenheimer Str. 145, 81671 München
