Hardware Reference
In-Depth Information
Vergleicher mit Protokollierung der Vergleichsfehler
Der Vergleicher soll synchron zum Takt arbeiten. Er soll bei jeder aktiven
Taktflanke kontrollieren, dass das überwachte Ausgabesignal des Testobjekts
während der Vorhaltezeit t
s
stabil war. Wenn der Ausgabewert des Referenz-
objekts gültig ist, soll er zusätzlich kontrollieren, dass der Ausgabewert des
Referenzobjekts mit dem des Testobjekts übereinstimmt. Verletzte Vorhalte-
bedingungen und Vergleichsfehler sind zu protokollieren. Für die Prozedur zur
Nachbildung dieses Verhaltens sind der Takt, das gemeinsame Eingabesignal
und die getrennten Ausgabesignale des Test- und des Referenzobjekts alles
Eingabesignale. Die zu kontrollierende Vorhaltezeit ist ein normaler Eingabe-
parameter:
procedure
Vergleicher(
signal
T:std_logic;
signal
x, y_ist,
y_soll:std_logic_vector; ts:delay_length)
is
variable
TNr:positive;
begin
write("Verletzte Vorhaltebedingungen und Vergleichsfehler:");
loop
wait until
rising_edge(T);
if
y_ist'last_event<ts
then
write(
"Schritt: "
& str(TNr) &
" x="
& str(x)
&
" y_ist'last_event="
& str(y_ist'last_event));
end if
;
if not
is_x(y_soll)
and
y_ist/=y_soll
then
write(
"Schritt: "
& str(TNr) &
" x="
& str(x) &
" y_ist="
& str(y_ist)
&
" y_soll="
& str(y_soll));
end if
;
TNr := TNr+
1
;
end loop
;
end procedure
;
x
Vergleichund
Protokollierung
y
ist
y
soll
derVergleichs-
fehler
T
⇒
Web-Projekt:P3.5/MVTestpack.vhdl
Eine interne Variable zählt die Testschritte mit. Zum Simulationsbeginn, wenn
die Prozedur startet, gibt sie einen Text zur Erläuterung der nachfolgenden
Ausgaben aus. Dann wird in einer Schleife immer auf die nächste aktive Takt-
flanken gewartet, danach die Vorhaltebedingung überprüft und der Vergleich
durchgeführt. Wenn die Zeit seit der letzten Ausgabeänderung kleiner als die
Vorhaltezeit t
s
ist, oder wenn das Referenzobjekt gültige Werte ausgibt, die
nicht mit den Ausgabewerten des Testobjekts übereinstimmen, wird das in
einer entsprechenden Form auf dem Bildschirm ausgegeben. Wenn keine Fehl-
funktionen erkannt werden, folgen keine weiteren Ausgaben.
Der Testrahmen
Der Testrahmen in Abb. 3.41 a besteht aus dem Pseudo-Zufallsgenerator, dem
Testobjekt, dem Referenzobjekt, dem Vergleicher und dem Taktgenerator.
