Schaltungsdesign mit VHDL

11 Spezielle Modellierungstechniken
Die möglichen Typen sind:
p bit p bit_vector p boolean
p time p integer p real
p character p string
Für die Leseprozeduren existieren auch Varianten mit Booleschem
Prüfwert zur Kontrolle auf erfolgreiche Datei-Operation. Für die
Schreibprozeduren existieren Varianten zum Ausrichten der Objekte
innerhalb eines gegebenen Bereiches. Weiterhin gibt es die Funktion:
endline (line_object_name)
zur Überprüfung auf erreichtes Zeilenende (vgl. endfile).
Das prinzipielle Vorgehen beim Arbeiten mit Text-Files soll an einem
Beispiel verdeutlicht werden. Es stellt eine flexible Testbench für ein
beliebiges Modell mit drei Ein- und einem Ausgangsport dar. Die Zeilen
im File "stimres" sind folgendermaßen aufgebaut:
Signalname (Typ character) - Leerzeichen - Signalwert (Typ
bit) - Leerzeichen - Zeitangabe der Zuweisung (Typ time):
a 0 1 ns
b 0 2 ns
r 1 4 ns
...
...
Neben den Stimuli (Signale a , b, c) wird gleichzeitig die erwartete
Antwort (Signal r) definiert und zu den entsprechenden Zeitpunkten
mit dem Ausgangssignal y verglichen. Bei nicht übereinstimmenden
Werten wird eine Fehlermeldung in das File "errors" geschrieben:
USE std.textio.ALL;
ENTITY tb_3pin IS
END tb_3pin;
© G. Lehmann/B. Wunder/M. Selz 219