Übung 3 - Institut für Kommunikationsnetze und Rechnersysteme ...

• Die Architecture memory_tb(struct) instanziiert den fehlerfreien Speicher (Komponente
memory aus Library ex3_public).
• Die Architecture memory_tb(struct_faulty) instanziiert den fehlerbehafteten Speicher
(Komponente memory aus Library ex3_secret).
Die Typen data_t und address_t sind im Package ex3_public.types definiert.
Speicher memory
Die Komponente memory modelliert einen Speicher, der synchron geschrieben und asynchron
gelesen wird:
• Liegt an seinem Write-Enable-Eingang (wena) eine ’1’ an, so wird das am Eingang
wdata anliegende Datum mit der steigenden Taktflanke in die durch address gegebene
Speicherzelle geschrieben.
• Am Ausgang rdata liegt immer der Inhalt der momentan durch address angegebenen
Speicherzelle an.
Speichertester memory_tester
Aufgabe von memory_tester ist es, Schreib- und Lesezugriffe auf den Speicher auszuführen,
um evtl. vorhandene Fehler aufzudecken. Insbesondere sollte der Tester bei jedem Lesezugriff
prüfen, ob das gelesene Datum mit dem zuletzt an die entsprechende Speicherstelle geschriebenen
Datum übereinstimmt.
Die vorgegebene Fassung des Testers ist noch sehr unvollständig. Sie schreibt die Werte 1 und
3 an die Adressen 4 und 10 und liest diese direkt anschließend wieder aus. Eine Überprüfung
der gelesenen Werte findet nicht statt.
Takt- und Resetgenerator clk_res_gen
Die Komponente clk_res_gen erzeugt ein Taktsignal clk mit der Periodendauer 1µs und ein
low-aktives Reset-Signal res_n, das die ersten 3.7µs Simulationszeit aktiv ist.
Entwurf digitaler Systeme Übung 3: Testbench-Modellierung und Fehleranalyse - Bl. 2