Return to search

Analyse von Corner Cases und funktionaler Abdeckung auf Basis von Entscheidungsdiagrammen

Ein stetig wachsender Anteil des Aufwands
zum Entwurf digitaler Schaltungen entfällt auf die
funktionale Verifikation. Der Verifikationsraum als Menge aller
möglichen Kombinationen von Attributen einer Komponente,
d. h. der Parameter und Eingangsdaten, ist oftmals sehr groß,
wodurch die Verifikation aller Kombinationen unpraktikabel
wird. Deshalb verwenden moderne Methoden der funktionalen
Verifikation die zufallsgesteuerte Erzeugung von Stimuli in
Verbindung mit manuell definierten Spezialfällen, sog. Corner
Cases, um eine möglichst hohe funktionale Abdeckung in der
angestrebten Verteilung zu erzielen. Als großer Nachteil diese
Ansätze führen steigende Abdeckungsanforderungen zu exponentiell
ansteigenden Laufzeiten. Um diesen Nachteil auszugleichen,
wurden Generatoren propagiert, die nur solche Kombinationen
erzeugen, die nicht bereits abgedeckt worden sind. Leider
können die dabei verwendeten Verfahren das Problem nicht
zufriedenstellend lösen, da auch sie im Allgemeinen zufällige
Kombinationen erzeugen, um in einem zweiten Schritt zu prüfen,
ob diese bereits abgedeckt sind. Im vorliegenden Beitrag werden
Entscheidungsdiagramme zur Repräsentation aller zulässigen
Kombinationen innerhalb des Verifikationsraums verwendet. Mit
Hilfe dieses analytischen Modells kann jede beliebige Anzahl
von Kombinationen in linearer Zeit erzeugt werden. Wird die
vorgestellte Methode auf die Zufallserzeugung zur funktionalen
Verifikation angewendet, kann diese um Größenordnungen beschleunigt
werden.

Identiferoai:union.ndltd.org:DRESDEN/oai:qucosa.de:swb:ch1-200700858
Date08 June 2007
CreatorsLanger, Jan, Heinkel, Ulrich, Jerinic´, Vasco, Müller, Dietmar
ContributorsTU Chemnitz, Fakultät für Informatik
PublisherUniversitätsbibliothek Chemnitz
Source SetsHochschulschriftenserver (HSSS) der SLUB Dresden
Languagedeu
Detected LanguageGerman
Typedoc-type:conferenceObject
Formatapplication/pdf, text/plain, application/zip
Relationdcterms:isPartOfhttp://nbn-resolving.de/urn:nbn:de:swb:ch1-200700815

Page generated in 0.0021 seconds