Progetta prove con segno e ai limiti

Scegli ingressi che distinguano i difetti

L'esempio positivo 2×2 rivela sfasamento e indicizzazione, ma non estensione del segno o saturazione. Matrici tutte a uno aiutano a verificare i conteggi ma possono nascondere una trasposizione. Usa valori asimmetrici, negativi, zeri e righe e colonne differenti.

A=[[2,−1],[0,3]] e B=[[4,5],[−2,1]] producono [[10,9],[−6,3]]. Ciò include uscite positive e negative e uno zero valido. B identità deve riprodurre A. B zero deve produrre uscite zero mentre ogni PE consuma comunque K termini.

Per W=8, K=4, minimo×minimo ripetuto dà 65536; minimo×massimo ripetuto dà −65024; massimo×massimo ripetuto dà 64516. Tutti rientrano in AW=18. Provare soltanto il maggiore operando positivo non verifica il massimo prodotto positivo.

Per la riga A [−128,−128,127,127] e la colonna B [−128,127,−128,127], i prodotti sono [16384,−16256,−16256,16129]. La loro somma è uno, con somme progressive [16384,128,−16128,1]. Un risultato finale piccolo non giustifica un accumulatore intermedio stretto.

Copri i limiti di forma e controllo

N=1,K=1 completa dopo E0. N=3,K=1 termina comunque dopo E4 perché gli operandi attraversano la griglia. N=1,K=5 è un prodotto scalare di cinque fronti senza sfasamento spaziale. Provare K=1,2,3,4 attraversa i limiti di larghezza dei contatori, soprattutto la differenza tra memorizzare K−1 e memorizzare K.

Inserisci pause prima del primo MAC, a metà riduzione e prima dell'ultimo MAC. Blocca le uscite dopo il completamento. Applica reset dopo clear, durante il lavoro e mentre un risultato valido è in attesa. Un'uscita del vecchio lavoro dopo reset è un errore. Confronta forme esattamente multiple del blocco con forme che lasciano una riga o colonna; verifica le maschere tramite coordinate.

Per ogni caso riuscito, specifica matrice, elenchi esatti dei termini consumati, conteggio dei fronti di avanzamento, numero di pause e coordinate di uscita consegnate. Le prove negative richiedono una categoria di errore attesa. Separa le verifiche esatte dell'accumulatore dalla quantizzazione di uscita. Casi fissi ai limiti e prove casuali con seme rendono gli errori riproducibili estendendo la copertura oltre un solo esempio.