Hardwarebeschreibungssprachen und Verifikation
Was ist der Zweck eines in C o. Ä. geschriebenen Referenzmodells (Golden Model) bei der Verifikation?
- AEs wird unverändert als Bauplan zur Herstellung der Schaltung an die Fabrik übergeben
- BEs berechnet die Funktion der Schaltung auf andere Weise, und das Ergebnis dient als erwarteter Wert zum Vergleich mit dem Ausgang der Schaltung
- CEs verlangsamt das Verhalten der Schaltung, um es übersichtlicher zu machen
Antwort und Erläuterung anzeigen
Antwort: B. Es berechnet die Funktion der Schaltung auf andere Weise, und das Ergebnis dient als erwarteter Wert zum Vergleich mit dem Ausgang der Schaltung
Ein Referenzmodell ist die Funktion, die die Schaltung realisieren soll, ohne Rücksicht auf das Timing unkompliziert in Software geschrieben. Gibt man dieselbe Eingabe an Schaltung und Referenzmodell und vergleicht die Ergebnisse, lassen sich auch für große Mengen zufälliger Eingaben automatisch erwartete Werte erzeugen. Wird es vom Entwerfer auf Grundlage derselben Missverständnisse erstellt, werden Fehler übersehen; daher ist wichtig, es unabhängig von der Spezifikation zu erstellen.