3.1 Konverter erzeugt Hex WIRKLICH, width-konsistent
PruefaufgabeKonverter erzeugt Hex WIRKLICH, width-konsistent
Beweis-Artefakttb/*.hex (kein Platzhalter)
Der haeufigste stille Totalausfall: Platzhalter-Hex oder Misch-Breiten. EINE Breite je Hex-Satz - sonst prueft die TB gegen Muell und meldet falsche Fehler.
3.2 Testbench selbstpruefend (Fehlerzaehler + Timeout-Wachhund)
PruefaufgabeTestbench selbstpruefend (Fehlerzaehler + Timeout-Wachhund)
Beweis-Artefakttb_<block>.v
Stimulus und Monitor getrennt, Fehler werden GEZAEHLT. $display laeuft nicht in Hardware - eine TB ohne Vergleichszaehler ist Show, keine Pruefung.
3.3 Stimulus flankenstabil (negedge/#-Offset, kein posedge-Race)
PruefaufgabeStimulus flankenstabil (negedge/#-Offset, kein posedge-Race)
Beweis-ArtefaktTB-Review-Vermerk
Bezahlt gelernt: 25 „Fehler", und die RTL war korrekt - es war ein Stimulus-Takt-Race. Eingaben auf negedge setzen, nie blockierend im posedge-Zeitschritt.
3.4 Positive UND negative Faelle vorhanden
PruefaufgabePositive UND negative Faelle vorhanden
Beweis-ArtefaktVektor-Klassen im JSON
Korrektes muss bestehen UND Falsches muss durchfallen. Eine Pruefung, die nie rot zeigen kann, beweist nichts - Negativfaelle eichen die Maschine.
3.5 ASCII-Trace pro Tick eingebaut
PruefaufgabeASCII-Trace pro Tick eingebaut
Beweis-ArtefaktTrace-Writer in der TB
Der Trace macht aus „irgendwo falsch" ein „Tick 4711, Bit 3". Ohne Trace debuggst du mit Gefuehl, mit Trace mit Zeilennummer.