Modelli di riferimento e classificazione degli errori

Verifica valori, ordinamento e tempo

La correttezza include forma del tensore, ogni codice di uscita, ordinamento dei canali e dello spazio, accettazione dei trasferimenti e completamento. Usa una convoluzione diretta con interi estesi come riferimento e calcola finestre più prodotti scalari appiattiti attraverso un'altra struttura. Meno codice condiviso riduce gli errori condivisi. Casi calcolati a mano possono rilevare entrambi i modelli errati insieme.

Confronta separatamente accumulo,riquantizzazione,ReLU e pooling. Una differenza nell'accumulatore suggerisce indirizzamento,ordine del kernel,connessioni dei gruppi,inizializzazione del bias o larghezza. Accumulatori uguali con codici di uscita diversi suggeriscono scala,punto zero,arrotondamento o saturazione. Valori uguali a coordinate diverse suggeriscono ordinamento di uscita. Errori soltanto durante le pause suggeriscono avanzamento dello stato o contropressione.

Classificazione svolta delle differenze

L'ingresso 3×3 [1,2,3;4,5,6;7,8,9] e il kernel [1,2;3,4] producono [37,47;67,77]. Il risultato [23,33;53,63] inizia con 23 anziché 37, corrispondendo al caso di kernel invertito. Esamina l'orientamento. Il risultato [37,67;47,77] contiene i valori corretti a coordinate trasposte. Esamina l'ordine di righe e colonne. Sono indizi diagnostici, non prove finali: verifica indirizzi e prodotti effettivi.

Scegli gli angoli per i test di riempimento; una posizione centrale non esercita mai il comportamento fuori dai limiti. Gli errori di riempimento grezzo scompaiono quando il punto zero è zero, quindi includi un punto zero non nullo come 128 e riempimento asimmetrico. Aggiungi minimi con segno, bias grandi ed equidistanze esatte di arrotondamento per esporre difetti che piccoli campioni positivi non rilevano.

Conserva configurazione,scale/punti zero,seme casuale,prima coordinata non corrispondente,valori attesi ed effettivi. Salva la finestra di ingresso e i pesi rilevanti. Durante le pause,confronta i registri degli ingressi/uscite accettati per omissioni e duplicati. Conteggi uguali da soli non provano l'ordine corretto.

Associa le prove al loro ambito. Gli esercizi Node verificano aritmetica e una semplice stima della pianificazione. Sintassi SystemVerilog,simulazione,sintesi,frequenza,potenza,gestione dei file in DDS installato e accuratezza del modello richiedono ciascuna prove della propria esecuzione. Segna di conseguenza gli elementi non eseguiti. Il laboratorio successivo esegue casi ai limiti; quello finale confronta un piccolo percorso completo e riporta misure esplicite.