Tableaux de suivi et invariants

Séparer deux références

Utilisez une référence mathématique directe pour calculer les sommes larges avec des boucles i/j/k indépendantes. Utilisez un modèle temporel distinct pour déplacer A à droite et B vers le bas. Copier la fonction d’indexation RTL dans le modèle de référence risque de reproduire le même défaut. Commencez par des exemples fixes calculés à la main, puis élargissez aux entrées aléatoires reproductibles.

Indexez le tableau de suivi des résultats par job et coordonnées globales de sortie. Comparez chaque valeur reçue et marquez sa clé reçue. Une clé répétée est un doublon, une clé inattendue est une erreur d’adresse et une clé attendue non reçue manque. Les résultats zéro exigent toujours une livraison. Les coordonnées de remplissage hors plage ne doivent jamais être stockées.

Vérifier les invariants dans le réseau

Chaque PE doit consommer exactement [0, 1, ..., K−1]. Des opérandes valides correspondants nécessitent les mêmes étiquettes job et k. Count reste entre zéro et K. Un front de pause conserve opérandes, valid, étiquettes, accumulateur et count. Clear laisse count et accumulateur à zéro sans jeton valide. Un résultat bloqué conserve données et job avec valid actif.

Dans l’exemple 2×2, le dernier PE contient dix-huit après E2 et cinquante après E3. Un défaut global-done à E2 doit échouer aux vérifications numériques et temporelles. Inversement, dupliquer et omettre des produits de même valeur peut conserver la somme finale ; suivre les termes détecte cette coïncidence.

Stockez graines aléatoires, matrices, dimensions, largeurs et positions de pause. Consignez le premier PE, terme et front physique incohérents. Les erreurs intentionnelles d’étiquette doivent échouer visiblement au lieu de disparaître silencieusement.

Observez l’état après E_t de façon cohérente. Exécution de référence Node, compilation RTL, simulation RTL, synthèse, fermeture temporelle, exécution de projet DDS et tests sur carte établissent des faits différents. Les programmes Node fournis valident les modèles arithmétiques et d’ordonnancement. Les futurs tests RTL peuvent réutiliser les jeux, mais doivent conserver leurs propres versions d’outils, commandes et journaux.