Solution Final automne 2009 - Moodle

INF8500 Examen final Automne 2009
Packet pkt_sent = new(); // Packet object from Driver
covergroup Arith_Cov;
src1_cov: coverpoint pkt_sent.src1 {
bins zero = {0};
bins allfs = {32'hffffffff};
bins special1 = {32'h55555555};
bins special2 = {32'haaaaaaaa};
bins positive = {[0:'1]} iff(pkt_sent.src1[31] == 1'b0);
bins negative = {[0:'1]} iff(pkt_sent.src1[31] == 1'b1);
}
src2_cov: coverpoint pkt_sent.src2 {
bins zero = {0};
bins allfs = {32'hffffffff};
bins special1 = {32'h55555555};
bins special2 = {32'haaaaaaaa};
bins positive = {[0:'1]} iff(pkt_sent.src2[31] == 1'b0);
bins negative = {[0:'1]} iff(pkt_sent.src2[31] == 1'b1);
}
opselect_cov: coverpoint pkt_sent.opselect_gen {
bins shift = {0};
bins arith = {1};
bins mem = {[4:5]};
}
opselect_cov_arith: coverpoint pkt_sent.opselect_gen {
bins arith = {1};
}
opselect_cov_shift: coverpoint pkt_sent.opselect_gen {
bins shift = {0};
}
arithm_opn_cov: coverpoint pkt_sent.operation_gen {
bins arith_logic_ops = {[0:7]} iff(pkt_sent.opselect_gen==1);
}
shift_opn_cov: coverpoint pkt_sent.operation_gen {
bins shift_ops = {[0:3]} iff(pkt_sent.opselect_gen==0);
arith_cov2: cross src1_cov, src2_cov, opselect_cov_arith, arithm_opn_cov
shift_cov2: cross src1_cov, src2_cov, opselect_cov_shift, shift_opn_cov
}
endgroup
Figure 5.2 Points de couverture demandés
Page 13 de 14