Modèles de référence et classification des échecs

Vérifier valeurs, ordre et temps

La correction inclut les dimensions du tenseur, chaque code de sortie, l’ordre des canaux/positions spatiales, l’acceptation des transferts et la fin. Utilisez une convolution directe à entiers larges comme référence et calculez fenêtres et produits scalaires aplatis par une autre structure. Moins de code partagé réduit les échecs communs. Des jeux calculés à la main peuvent détecter deux modèles incorrects ensemble.

Comparez séparément accumulation, requantification, ReLU et regroupement. Un écart d’accumulateur suggère adressage, ordre du noyau, connexions de groupes, initialisation du biais ou largeur. Des accumulateurs égaux avec des codes de sortie différents suggèrent échelle, point zéro, arrondi ou saturation. Des valeurs égales à des coordonnées différentes suggèrent l’ordre de sortie. Les échecs uniquement sous pauses suggèrent progression d’état ou contre-pression.

Classification détaillée des écarts

L’entrée 3×3 [1, 2, 3;4, 5, 6;7, 8, 9] et le noyau [1, 2;3, 4] produisent [37, 47;67, 77]. Le résultat [23, 33;53, 63] commence par 23 au lieu de 37, ce qui correspond au jeu à noyau inversé. Examinez l’orientation. Le résultat [37, 67;47, 77] contient les bonnes valeurs à des coordonnées transposées. Examinez l’ordre lignes/colonnes. Ce sont des indices diagnostiques, et non une preuve finale : vérifiez les adresses et produits réels.

Choisissez les coins pour les tests de remplissage ; une position centrale ne teste jamais le comportement hors limites. Les erreurs de remplissage brut disparaissent lorsque le point zéro est zéro : incluez donc un point zéro non nul comme 128 et un remplissage asymétrique. Ajoutez minima signés, grands biais et égalités exactes d’arrondi pour révéler des défauts manqués par de petits échantillons positifs.

Conservez configuration, échelles/points zéro, graine aléatoire, première coordonnée incohérente, valeurs attendues et réelles. Enregistrez la fenêtre d’entrée et les poids concernés. Sous pauses, comparez les relevés des entrées/sorties acceptées pour détecter omissions et doublons. Des comptes égaux seuls ne prouvent pas un ordre correct.

Adaptez les preuves à leur portée. Les exercices Node vérifient l’arithmétique et une estimation simple d’ordonnancement. Syntaxe SystemVerilog, simulation, synthèse, fréquence, puissance, gestion de fichiers dans DDS installé et précision de modèle exigent chacun leurs propres preuves d’exécution. Marquez les éléments non exécutés comme tels. Le TP suivant exécute des jeux aux limites ; le dernier compare une petite chaîne complète et rapporte des mesures explicites.