19. Mai 15.00 bis 16.00 Uhr
Die funktionale Abdeckung wird oft zusammen mit der Verifikation nach dem Zufallsprinzip erwähnt, und das ist eine großartige Kombination. Die funktionale Abdeckung ist jedoch auch dann sehr nützlich, wenn Sie überhaupt keine Randomisierung haben. Dies ist eine großartige Methode, um sicherzustellen, dass Sie tatsächlich die richtigen Dinge in Ihrem Testbench überprüfen. Leider wenden nicht viele Entwickler die Funktionsabdeckung an, was vielleicht auch an der Komplexität der bisherigen Lösungen für diese Funktion liegt. Dieser Vortrag zeigt Ihnen, wie es funktioniert und wie einfach es ist, mit dieser neuen Funktionalität in UVVM zu beginnen.
In der Präsentation wird auch die Verwendung von Specification Coverage, auch bekannt als Requirement Coverage, erklärt und gezeigt, eine Funktion, mit der Sie verfolgen können, ob alle Ihre Spezifikationsanforderungen abgedeckt sind.
Viele von uns sind bereits mit Code Coverage vertraut, da es sehr einfach zu benutzen ist, aber es werden auch einige wichtige Punkte vorgestellt.
Agenda
- Code Coverage kurz erklärt und diskutiert
- Warum und wann brauchen wir Functional Coverage?
- Wie wenden wir Functional Coverage an und nutzen sie?
- Varianten der funktionalen Abdeckung
- Was ist Specification Coverage und warum brauchen wir sie?
- Wie wenden wir Specification Coverage an und nutzen sie?
Die fehleranfälligsten Corner Cases von FPGAs
Zyklusbezogene Corner Cases sind wahrscheinlich der schwerwiegendste und wichtigste Grund für unentdeckte Fehler auf vielen FPGAs. Um dies auf einfache Weise zu erklären, – ein zyklusbezogener Eckfall ist zum Beispiel, wenn Sie einen Ereigniszähler haben, bei dem die Anzahl der gezählten Ereignisse kritisch ist und Sie diesen Zähler in regelmäßigen Abständen lesen und zurücksetzen.
UVM für FPGAs Seminar – Teil 4 – IEEE 1800.2 UVM-Aktualisierungen
Wie viele beliebte nützliche Standards hat auch UVM 2017 die begehrte IEEE-Standardisierung erhalten. Interessanterweise ist UVM die erste Verifikationsmethodik, die standardisiert wurde, und die aktuelle Version ist IEEE 1800.2-2020.