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.
| Identifer | oai:union.ndltd.org:DRESDEN/oai:qucosa.de:swb:ch1-200700858 |
| Date | 08 June 2007 |
| Creators | Langer, Jan, Heinkel, Ulrich, Jerinic´, Vasco, Müller, Dietmar |
| Contributors | TU Chemnitz, Fakultät für Informatik |
| Publisher | Universitätsbibliothek Chemnitz |
| Source Sets | Hochschulschriftenserver (HSSS) der SLUB Dresden |
| Language | deu |
| Detected Language | German |
| Type | doc-type:conferenceObject |
| Format | application/pdf, text/plain, application/zip |
| Relation | dcterms:isPartOfhttp://nbn-resolving.de/urn:nbn:de:swb:ch1-200700815 |
Page generated in 0.0021 seconds