Hardwarebeschreibungssprachen und Verifikation

Warum wird bei Tests mit Zufallseingaben der Seed (Startwert) des Zufallszahlengenerators aufgezeichnet?

  1. AWeil sich mit demselben Seed dieselbe Eingabefolge reproduzieren lässt und gefundene Fehler beliebig oft erneut untersucht werden können
  2. BWeil Zufallszahlen schneller erzeugt werden, wenn der Seed aufgezeichnet wird
  3. CWeil die Simulation ohne Aufzeichnung des Seeds nicht startet
Antwort und Erläuterung anzeigen

Antwort: A. Weil sich mit demselben Seed dieselbe Eingabefolge reproduzieren lässt und gefundene Fehler beliebig oft erneut untersucht werden können

Zufallszahlen der Simulation sind Pseudozufallszahlen, die nach einem festen Verfahren aus dem Seed erzeugt werden, sodass derselbe Seed dieselbe Folge liefert. Wird bei einem Zufallstest ein Fehler gefunden, der Seed ist aber unbekannt, lässt sich dieselbe Situation nicht erneut herstellen, und weder die Ursachenuntersuchung noch die Prüfung nach der Korrektur ist möglich. Grundsätzlich lässt man viele Tests mit jeweils anderem Seed laufen und zeichnet den Seed bei Fehlschlägen auf.

Dieses Thema üben Zur Themenseite

Weitere Fragen zu Hardwarebeschreibungssprachen und Verifikation

  1. Welche Aussage zur Constrained-Random-Verifikation in SystemVerilog ist korrekt?
  2. Welche Aussage zum beim Schaltungsentwurf durchgeführten Regressionstest ist korrekt?
  3. Welchen Vorteil hat der Typ logic in SystemVerilog?
  4. Welchen Vorteil hat die Verwendung von always_ff und always_comb aus SystemVerilog anstelle von always in Verilog?
  5. Welchen Vorteil hat es, ein module wie oben mit parameter zu schreiben?

Vergleiche zu diesem Thema