Vier Arten von Belegen
- Gemessene Hardware
- CUDA-Zeit und aus NVML-Zählerfenstern abgeleitete GPU-Boardenergie einer vorhandenen GPU. Hardware, Operator und Messfenster bleiben genannt.
- Simulierte Funktion und Takte
- RTL- und Ereignissimulationen führen einen definierten Rechenpfad aus. Die Taktzahl beschreibt diesen Entwurf. Die Hostlaufzeit des Simulators ist davon verschieden.
- Physische Vorhersage
- Platzierte und verdrahtete Schaltungen mit extrahierten Leitungen, Zellbibliotheken und Schaltaktivität liefern Modellwerte für Timing und Energie.
- Annahme oder Untergrenze
- Eine vorgegebene Portbreite, ein hypothetischer Takt oder idealer Mindestaufwand beschreibt ein Szenario. Diese Werte werden als solche eingeordnet.
Wie belastbar sind die 7,17 %?
Die Prozentzahl lässt sich exakt aus den beiden geprüften Taktzahlen nachrechnen. Ihre Gültigkeit hängt am definierten Lastfall und den dokumentierten Schaltungsverträgen. Die physische Prüfung stärkt den Befund: Die Schaltung ist vollständig verdrahtet und bei gemeinsamem Takt funktional nachgespielt. Ein industrieller Signoff und Messungen an Silizium sind zusätzliche Validierungsschritte.
Werkzeugfehler bleiben Teil des Protokolls
Unvollständige Läufe, fehlende Annotationen und abgebrochene Exportpfade zählen nicht als bestandene Versuche. Ergänzende Auswertungen werden mit ihrer Begründung und Herkunft dokumentiert. Die Originalberichte bleiben erhalten.
Starke Kontrollen für KI
Wir vergleichen Lernverfahren mit brauchbaren festen Strategien und trennen Trainings- von Testaufgaben. Modellaufrufe, Training, Synthese, Verifikation und menschliche Eingriffe gehören zur Aufwandsbilanz. Ein korrektes Reparaturergebnis und ein schnellerer Gesamtprozess sind zwei unterschiedliche Nachweise.
