Solution Final automne 2009 - Moodle

INF8500 Examen final Automne 2009
Figure 5.1 Contraites System Verilog lors de la génération aléatoire d’un stimulis
a) Comme on peut le voir, la plage des registres src1 et src2 est redéfinie pour tenir compte
des négatifs et des points particuliers désirés, ce qui n’était pas le cas de l’exemple
présenté au dernier cours. Également, on se concentre ici sur les opérations
arithmétiques et sur le décalage. On suppose que l’opération de mémoire est OK.
b) En ce qui concerne les points de couverture, nous avons avons défini des points de
couverture très spécifiques pour que les couvertures croisées soient réalisées uniquement
sur l'ensemble de possibilitées voulues (toutes les fonctions arithmétiques et toutes les
fonctions de déplacement (« shift »). Pour ce faire, nous avons défini les points de
couverture opselect_cov_arithm, opselect_cov_shift, arithm_cov et shift_opn_cov. Ces
points de couverture servent à réaliser une sélection (intersect) uniquement sur ce qui est
désiré : le premier pour le sélecteur d'opération arithmétique, le deuxième pour les
déplacement. Ensuite, les deux suivants sont remplis pour toutes les opérations
arithmétiques (ADD, ADDU, SUB, …) et le dernier pour les opérations de déplacement.
Ainsi, les couvertures croisées définies arith_cov2 et shift_cov2 permettent de faire
automatiquement pour la première les couvertures de toutes les opérations arithmétiques
et pour la deuxième toutes les opérations de déplacement
c) La couverture fonctionnelle pourrait tendre vers 100% car les limitations de a) et de b)
permettent une intersection fini (e.g. -10 à 10 pour les entrées, 8 opération arithmétiques
et 4 opérations de décalage). Il faut bien comprendre que cette couverture représente
l'ensemble des cas spécifiques définis dans les contraintes du générateur de paquet.
Page 12 de 14