6.1 yosys-Vorprüfung: CHECK 0 problems, 0 Latches
Prüfaufgabeyosys-Vorprüfung: CHECK 0 problems, 0 Latches
Beweis-Artefaktyosys-Log
Die schnelle lokale Vorprüfung fängt Strukturfehler in Sekunden, bevor der teure Vendor-Lauf Minuten frisst.
6.2 XDC vom offiziellen Master-XDC des Boards abgeleitet
PrüfaufgabeXDC vom offiziellen Master-XDC des Boards abgeleitet
Beweis-ArtefaktXDC-Kopf-Kommentar
Pins auskommentieren+umbenennen, nie aus dem Gedächtnis tippen — geratene Pins sind die teuerste Art, eine LED dunkel zu lassen.
6.3 Build als Skript, reproduzierbar (keine Klick-Folge)
PrüfaufgabeBuild als Skript, reproduzierbar (keine Klick-Folge)
Beweis-Artefaktbuild.tcl
Ein Build ohne Skript ist nicht wiederholbar — und in drei Wochen unbeweisbar. TCL rein, Klick-Folge raus.
6.4 Utilization-Report archiviert, datiert
PrüfaufgabeUtilization-Report archiviert, datiert
Beweis-Artefakt*_util.rpt
Kennzahlen NUR mit Datum. Ohne Datum vermischen sich Builds, LUT-Zahlen „wandern", und niemand weiß mehr, was wahr war.
6.5 Vendor-Zahlen vs. Schätzungen getrennt ausgewiesen
PrüfaufgabeVendor-Zahlen vs. Schätzungen getrennt ausgewiesen
Beweis-ArtefaktReport-Notiz
yosys schätzt, der Vendor-Report ist Fakt. Nie mischen — ohne Black-Box-Annotation verschätzt sich Fmax um Faktor 2.