Hardware Reference
In-Depth Information
3.5.4 Zusammenfassung und Übungsaufgaben
Ein gründlicher Test erfordert Tausende oder Millionen von Testbeispielen.
Das verlangt eine Automatisierung der Bereitstellung der Testeingaben und
eine automatische Überwachung der Ausgabesignale während des Tests. Nach
einem kurzen Überblick über die Möglichkeiten, die es dafür gibt, wurde für
die Testlösungen
• Pseudo-Zufallstest mit Mehrversionsvergleich,
• Test mit Eingaben und Soll-Ausgaben aus einer Datei und
• spezifikationsbasierte Plausibilitätstests am Beispiel der Kontrolle der An-
steuersignale für eine Ampel
gezeigt, wie sie in VHDL programmiert werden können. Weiterführende und
ergänzende Literatur siehe [12, 29].
Aufgabe 3.17
Was ist der Unterschied zwischen einer Probe und einem Plausibilitätstest?
Aufgabe 3.18
Für den Test eines digitalen Filters ist eine Prozedur zur Erzeugung eines
sinusförmigen Testeingabesignals mit der Aufrufschnittstelle
procedure
GenSin(
signal
T:std_logic;
signal
y:
out
tSigned;
A:natural; tpsin:delay_length; phi:real);
zu entwickeln. Diese soll nebenläufig aufgerufen bei jeder steigenden Taktflan-
ke den Wert des Sinusterms
2
t
now
t
Psin
to_tSigned
A sin
+ '
an das Ausgabesignal
zuweisen (A - Amplitude des zu erzeugenden Si-
nussignals; t
psin
(tpsin) - Periode; ' (phi) - Phasenverschiebung; t
now
-
aktuelle Simulationszeit). Für die Berechnung der Sinuswerte ist die Funk-
tion math_real.sin(...) und für die Konstante math_real.math_pi zu
verwenden. Wenn der übergebene Parameter für die Amplitude größer als
der größte mit dem Ausgabesignal y darstellbare Wert ist, soll eine Assert-
Anweisung die Simulation beim Aufruf der Prozedur beenden.
y
