Kapitel 3: VHDL im Detail

• Testrahmen für einen dialogorientierten Test einer 4-Bit-Addition (P3.1/DialogAdd.vhdl)

Fallunterscheidungen

• Test eine Fallunterscheidung zur Betragsbildung (P3.1/Betrag.vhdl)
• Test eine Auswahlanweisung zur Nachbildung einer Wertetabelle (P3.1/WTab.vhdl)

Schleifen

• Test einer While-Schleife (P3.1/TestWhile.vhdl)
• For-Schleife über den Indexbereich eines Bitvektors (P3.1/TestFor.vhdl)

Funktionen

• Dialogorientierter Test einer kombinatorischen Beispielfunktion (P3.1/Test_fWtab.vhdl)
• Erschöpfender Test derselben kombinatorischen Beispielfunktion (P3.1/Test_countx.vhdl)

Unreine Funktionen und globale Variablen

• Test der "unreinen" Funktion rand zur Bereitstellung von Zufallszahlen (P3.1/TestRand.vhdl)

Prozeduren

• Test einer Prozeduren mit Ein- und Ausgabesignalen (P3.1/TestW5T.vhdl)

Nebenläufige Prozeduraufrufe

• Beschreibung des Testobjekts, der Testeingabebereitstellung und der der Protokollierung der Testergebnisse durch nebenläufige Prozeduren (P3.1/TestNLProz.vhdl)

Zusammenfassung und Übungsaufgaben

• Lösung zu Aufgabe 3.1
• Lösung zu Aufgabe 3.2
• Lösung zu Aufgabe 3.3
• Lösung zu Aufgabe 3.4

Zahlentypen

• Testrahmen zu Beispiel 3.2 (Typenverträglichkeit)

Attribute von elementaren Datentypen

• Testrahmen zu Beispiel 3.4 (skalare Attribute)

Felder

• Testrahmen zu Beispiel 3.5 (Feldattribute)

Zuordnungslisten für Feldelemente

• Zuweisungen mit Zuordnungslisten

Zusammenfassung und Übungsaufgaben

• Aufgabe 3.5
• Aufgabe 3.6
• Aufgabe 3.9

Zusammenfassung und Übungsaufgaben

• Aufgabe 3.10
• Aufgabe 3.11
• Aufgabe 3.12
• Aufgabe 3.13

Auslagerung kombinatorischer Funktionen in Packages

• Prioritätsencoder

Blockspeicher

• objektorientiertes RAM-Modell
• Kernfunktion eines Schreib-Lese-Speichers als Prozedur
• Initialisierungsfunktion für nur lesbare Blockspeicher

Ein objektorientiertes FIFO-Modell

• objektorientiertes FIFO-Modell

Schrittweise Modellentwicklung -- Beispiel UART

• ablauforientierten Beschreibung mit Wartezeiten
• ablauforientierten taktsynchronen Beschreibung
• Vergleichender Test der ablauforientierten taktsynchronen und der Automatenbeschreibung des Senders

Entwicklung eines CORDIC-Rechenwerks

• Verhaltensmodell zur Kontrolle des Algorithmus
• mit Festkommaformat für der Wertedarstellung
• mit Festkommazahlen und seqentieller Multiplikation

Zusammenfassung und Übungsaufgaben

• Aufgabe 3.14

Pseudo-Zufallstest und Mehrversionsvergleich

• Pseudo-Zufallstest und Mehrversionsvergleich für einen 7-Segment-Decoder

Vorab berechnete Eingaben und Soll-Werte

• Test des 7-Segment-Decoders mit Eingangen und Soll-Ausgaben aus einer Datei

Spezifikationstest

• Spezifikationstest für die Steuerung einer Fussgängerampel

Zusammenfassung und Übungsaufgaben

• Aufgabe 3.18 (Sinusgenerator)