Solution Final automne 2009 - Moodle

INF8500 Examen final Automne 2009
Question 5 (4 points) Génération aléatoire et vérification fonctionnelle
Soit le DUT (Design Under Test) et son testbench de l’unité arithmétique et logique (présenté en
classe lors du dernier cours) que nous souhaitons vérifier. La figure 5.1 présente les contraintes
que l’on donne lors de la génération aléatoire d’un stimulis. La figure 5.2 présente des points de
couverture que l’on souhaite couvrir pour tenter d’obtenir 100% de couverture fonctionnelle.
a) (1 pt) Décrivez textuellement les contraintes de notre stimulis (Figure 5.1)
b) (1.5 pt) Décrivez textuellement la couverture que l’on souhaite faire ici (Figure 5.2)
c) (1 pts) À partir de cette information (figure 5.1 et 5.2) set de la spécification de l’unité
arithmétique et logique donné en Annexe, croyez-vous que l’on puisse obtenir (ou tendre
vers) 100% de couverture fonctionnelle en supposant que l’on simule durant 5ms.
Justifiez clairement votre réponse.
d) (.5 pt) Si vous avez bien compris le lien entre les figures 5.1 et 5.2 et en sachant que
plusieurs générateurs peuvent être définis pour un même testbench, vous devriez
maintenant être en mesure de répondre à la question suivante : À quel endroit devrait
retrouver les groupes de couverture dans un testbench Justifiez.
class Packet;
rand reg [`REGISTER_WIDTH-1:0] src1;
rand reg [`REGISTER_WIDTH-1:0] src2;
rand reg [`REGISTER_WIDTH-1:0] imm;
rand reg [`REGISTER_WIDTH-1:0] mem_data;
rand reg immp_regn_op_gen;
rand reg [2:0] operation_gen;
rand reg [2:0] opselect_gen;
reg
enable;
string
name;
constraint Limit {
src1 inside {[-10:10],0,32'hffffffff,32'h55555555,32'haaaaaaaa};
src2 inside {[-10:10],0,32'hffffffff,32'h55555555,32'haaaaaaaa};
imm inside {[0:65534]};
mem_data inside {[0:65534]};
//payload_size inside {[9:12]};
opselect_gen inside {[0:1]};
if ((opselect_gen == `ARITH_LOGIC)){
operation_gen inside {[0:7]}; }
else if ((opselect_gen == `SHIFT_REG)) {
immp_regn_op_gen inside {0};
operation_gen inside {[0:3]}; }
}
extern function new(string name = "Packet");
endclass
Page 11 de 14