Group : hmac_env_pkg::hmac_env_cov::msg_len_cg
dashboard | hierarchy | modlist | groups | tests | asserts

Group : hmac_env_pkg::hmac_env_cov::msg_len_cg
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT MISSING
97.83 1 100 1 64 64


Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_dv_hmac_env_0.1/hmac_env_cov.sv



Summary for Group hmac_env_pkg::hmac_env_cov::msg_len_cg

CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENT
Variables 78 0 78 100.00
Crosses 152 5 147 96.71


Variables for Group hmac_env_pkg::hmac_env_cov::msg_len_cg
VARIABLEEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTAUTO BIN MAXCOMMENT
hmac_en 2 0 2 100.00 100 1 1 2
msg_len 76 0 76 100.00 100 1 1 0


Crosses for Group hmac_env_pkg::hmac_env_cov::msg_len_cg
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
msg_len_cross 152 5 147 96.71 100 1 1 0


Summary for Variable hmac_en

CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENT
Automatically Generated Bins 2 0 2 100.00


Automatically Generated Bins for hmac_en

Bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
auto[0] 97618 1 T1 16 T3 348 T7 957
auto[1] 87188 1 T1 31 T2 26 T3 602



Summary for Variable msg_len

CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENT
User Defined Bins 76 0 76 100.00


User Defined Bins for msg_len

Bins
NAMECOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
auto_lens[0] 25751 1 T1 8 T2 14 T3 63
auto_lens[1] 13067 1 T3 53 T7 143 T11 2
auto_lens[2] 12948 1 T1 1 T3 60 T7 149
auto_lens[3] 12518 1 T3 48 T7 144 T8 3
auto_lens[4] 12001 1 T3 46 T7 135 T10 1
auto_lens[5] 12577 1 T1 5 T3 64 T7 146
auto_lens[6] 11115 1 T1 3 T3 57 T7 123
auto_lens[7] 10313 1 T1 3 T3 39 T7 102
auto_lens[8] 9030 1 T1 4 T3 36 T7 81
auto_lens[9] 7873 1 T1 4 T3 40 T7 87
auto_lens[10] 7139 1 T1 2 T3 31 T7 85
auto_lens[11] 6174 1 T1 3 T3 26 T7 70
auto_lens[12] 5151 1 T1 4 T3 23 T7 55
auto_lens[13] 4190 1 T1 4 T3 20 T7 51
auto_lens[14] 3105 1 T1 2 T3 22 T7 22
auto_lens[15] 1645 1 T2 2 T3 9 T7 12
auto_lens[16] 1640 1 T3 10 T7 8 T32 3
auto_lens[17] 1624 1 T3 9 T7 7 T8 5
auto_lens[18] 1538 1 T3 14 T7 7 T12 1
auto_lens[19] 1514 1 T3 15 T7 8 T32 5
auto_lens[20] 1484 1 T3 12 T7 6 T32 4
auto_lens[21] 1377 1 T3 13 T7 7 T32 4
auto_lens[22] 1294 1 T3 15 T7 10 T32 2
auto_lens[23] 1328 1 T3 12 T7 8 T8 4
auto_lens[24] 1315 1 T3 10 T7 7 T12 1
auto_lens[25] 1207 1 T3 13 T7 2 T11 1
auto_lens[26] 1168 1 T3 15 T7 3 T10 1
auto_lens[27] 1161 1 T2 1 T3 13 T7 6
auto_lens[28] 1031 1 T3 11 T7 2 T32 4
auto_lens[29] 1082 1 T3 15 T7 2 T32 2
auto_lens[30] 932 1 T2 3 T3 10 T7 4
auto_lens[31] 979 1 T3 11 T7 4 T12 1
auto_lens[32] 779 1 T3 14 T7 5 T14 1
auto_lens[33] 719 1 T2 2 T3 11 T7 1
auto_lens[34] 698 1 T3 12 T7 5 T11 1
auto_lens[35] 704 1 T3 19 T7 2 T8 1
auto_lens[36] 671 1 T3 16 T7 2 T32 2
auto_lens[37] 586 1 T3 16 T7 2 T11 1
auto_lens[38] 502 1 T3 6 T7 3 T32 3
auto_lens[39] 455 1 T3 7 T7 1 T32 6
auto_lens[40] 493 1 T3 7 T7 1 T32 5
auto_lens[41] 464 1 T2 1 T3 2 T7 2
auto_lens[42] 361 1 T12 5 T23 1 T99 1
auto_lens[43] 326 1 T2 2 T11 1 T25 1
auto_lens[44] 259 1 T7 1 T100 3 T101 1
auto_lens[45] 244 1 T2 1 T7 2 T27 1
auto_lens[46] 180 1 T78 1 T25 1 T36 1
auto_lens[47] 139 1 T7 1 T28 2 T21 1
auto_lens[48] 142 1 T7 4 T14 1 T20 1
auto_lens[49] 82 1 T7 2 T10 1 T100 1
len_3073 10 1 T78 3 T50 2 T102 1
len_3072 64 1 T3 1 T7 1 T32 1
len_2817 8 1 T1 2 T103 1 T104 2
len_2816 101 1 T3 2 T7 1 T100 1
len_2561 16 1 T105 2 T106 2 T107 2
len_2560 138 1 T3 3 T7 1 T32 1
len_2305 10 1 T59 1 T108 1 T102 1
len_2304 264 1 T3 2 T7 3 T32 2
len_2049 17 1 T11 2 T109 1 T68 2
len_2048 188 1 T3 1 T7 1 T32 1
len_1793 20 1 T25 2 T110 1 T111 2
len_1792 308 1 T3 5 T7 4 T32 1
len_1537 12 1 T25 1 T112 2 T113 3
len_1536 437 1 T3 4 T7 5 T32 2
len_1281 9 1 T114 1 T115 1 T116 2
len_1280 416 1 T3 2 T7 6 T32 6
len_1025 12 1 T25 1 T117 2 T72 1
len_1024 354 1 T3 3 T7 8 T32 4
len_769 9 1 T7 1 T118 1 T119 1
len_768 583 1 T3 4 T7 10 T32 8
len_513 15 1 T25 3 T36 2 T120 3
len_512 366 1 T3 4 T7 4 T32 3
len_257 8 1 T70 1 T121 1 T122 2
len_256 389 1 T3 1 T7 5 T32 4
len_1 1683 1 T2 14 T7 50 T14 1
len_0 1663 1 T1 4 T3 5 T7 19



Summary for Cross msg_len_cross

Samples crossed: hmac_en msg_len
CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENTMISSING
Automatically Generated Cross Bins 152 5 147 96.71 5


Automatically Generated Cross Bins for msg_len_cross

Uncovered bins
hmac_enmsg_lenCOUNTAT LEASTNUMBERSTATUS
[auto[0]] [len_3073] 0 1 1
[auto[0]] [len_2561] 0 1 1
[auto[0]] [len_1281] 0 1 1
[auto[0]] [len_513] 0 1 1
[auto[0]] [len_257] 0 1 1


Covered bins
hmac_enmsg_lenCOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
auto[0] auto_lens[0] 15433 1 T3 17 T7 137 T14 3
auto[0] auto_lens[1] 6706 1 T3 17 T7 67 T32 84
auto[0] auto_lens[2] 6612 1 T3 17 T7 83 T10 3
auto[0] auto_lens[3] 6332 1 T3 16 T7 66 T12 3
auto[0] auto_lens[4] 6066 1 T3 14 T7 72 T10 1
auto[0] auto_lens[5] 6358 1 T1 3 T3 18 T7 76
auto[0] auto_lens[6] 5616 1 T1 1 T3 15 T7 64
auto[0] auto_lens[7] 5203 1 T1 3 T3 10 T7 54
auto[0] auto_lens[8] 4660 1 T1 1 T3 6 T7 45
auto[0] auto_lens[9] 4026 1 T1 1 T3 7 T7 52
auto[0] auto_lens[10] 3674 1 T3 9 T7 41 T8 1
auto[0] auto_lens[11] 3191 1 T1 3 T3 7 T7 36
auto[0] auto_lens[12] 2603 1 T1 1 T3 10 T7 22
auto[0] auto_lens[13] 2219 1 T1 1 T3 6 T7 13
auto[0] auto_lens[14] 1546 1 T3 10 T7 12 T8 1
auto[0] auto_lens[15] 855 1 T3 5 T7 9 T32 3
auto[0] auto_lens[16] 868 1 T3 6 T7 7 T32 3
auto[0] auto_lens[17] 876 1 T3 6 T7 5 T8 4
auto[0] auto_lens[18] 816 1 T3 9 T7 7 T12 1
auto[0] auto_lens[19] 798 1 T3 7 T7 6 T32 5
auto[0] auto_lens[20] 787 1 T3 3 T7 6 T32 4
auto[0] auto_lens[21] 731 1 T3 4 T7 5 T32 4
auto[0] auto_lens[22] 724 1 T3 6 T7 10 T32 2
auto[0] auto_lens[23] 722 1 T3 7 T7 8 T8 4
auto[0] auto_lens[24] 699 1 T3 6 T7 5 T14 1
auto[0] auto_lens[25] 656 1 T3 6 T7 2 T32 4
auto[0] auto_lens[26] 622 1 T3 8 T7 3 T27 1
auto[0] auto_lens[27] 653 1 T3 6 T7 4 T8 1
auto[0] auto_lens[28] 580 1 T3 4 T7 1 T32 4
auto[0] auto_lens[29] 599 1 T3 6 T7 2 T32 2
auto[0] auto_lens[30] 539 1 T3 5 T7 3 T32 5
auto[0] auto_lens[31] 582 1 T3 5 T7 4 T32 5
auto[0] auto_lens[32] 412 1 T3 7 T7 3 T14 1
auto[0] auto_lens[33] 393 1 T3 6 T32 2 T100 1
auto[0] auto_lens[34] 397 1 T3 8 T7 2 T32 2
auto[0] auto_lens[35] 398 1 T3 9 T7 1 T32 6
auto[0] auto_lens[36] 398 1 T3 10 T7 2 T32 2
auto[0] auto_lens[37] 335 1 T3 7 T7 2 T32 3
auto[0] auto_lens[38] 306 1 T3 6 T7 2 T32 3
auto[0] auto_lens[39] 267 1 T3 7 T7 1 T32 6
auto[0] auto_lens[40] 277 1 T3 7 T7 1 T32 5
auto[0] auto_lens[41] 266 1 T3 2 T7 2 T32 1
auto[0] auto_lens[42] 211 1 T12 4 T23 1 T123 2
auto[0] auto_lens[43] 172 1 T100 4 T124 1 T125 9
auto[0] auto_lens[44] 139 1 T7 1 T100 3 T126 1
auto[0] auto_lens[45] 107 1 T100 6 T126 2 T69 2
auto[0] auto_lens[46] 82 1 T100 3 T69 1 T127 3
auto[0] auto_lens[47] 63 1 T44 1 T128 3 T69 2
auto[0] auto_lens[48] 54 1 T20 1 T129 2 T68 1
auto[0] auto_lens[49] 28 1 T7 2 T10 1 T69 1
auto[0] len_3072 31 1 T32 1 T126 1 T110 1
auto[0] len_2817 1 1 T18 1 - - - -
auto[0] len_2816 46 1 T100 1 T101 1 T126 1
auto[0] len_2560 76 1 T3 1 T7 1 T32 1
auto[0] len_2305 1 1 T59 1 - - - -
auto[0] len_2304 135 1 T7 1 T32 2 T130 1
auto[0] len_2049 5 1 T115 1 T103 4 - -
auto[0] len_2048 101 1 T3 1 T7 1 T100 2
auto[0] len_1793 3 1 T4 2 T131 1 - -
auto[0] len_1792 156 1 T3 1 T7 3 T100 2
auto[0] len_1537 1 1 T132 1 - - - -
auto[0] len_1536 222 1 T3 1 T7 5 T32 1
auto[0] len_1280 211 1 T3 1 T7 4 T32 3
auto[0] len_1025 2 1 T133 1 T55 1 - -
auto[0] len_1024 171 1 T7 5 T32 1 T130 1
auto[0] len_769 1 1 T119 1 - - - -
auto[0] len_768 284 1 T7 7 T32 3 T130 2
auto[0] len_512 183 1 T3 1 T7 3 T32 2
auto[0] len_256 201 1 T7 4 T32 2 T130 2
auto[0] len_1 143 1 T7 1 T14 1 T134 1
auto[0] len_0 932 1 T1 2 T3 1 T7 9
auto[1] auto_lens[0] 10318 1 T1 8 T2 14 T3 46
auto[1] auto_lens[1] 6361 1 T3 36 T7 76 T11 2
auto[1] auto_lens[2] 6336 1 T1 1 T3 43 T7 66
auto[1] auto_lens[3] 6186 1 T3 32 T7 78 T8 3
auto[1] auto_lens[4] 5935 1 T3 32 T7 63 T32 115
auto[1] auto_lens[5] 6219 1 T1 2 T3 46 T7 70
auto[1] auto_lens[6] 5499 1 T1 2 T3 42 T7 59
auto[1] auto_lens[7] 5110 1 T3 29 T7 48 T8 6
auto[1] auto_lens[8] 4370 1 T1 3 T3 30 T7 36
auto[1] auto_lens[9] 3847 1 T1 3 T3 33 T7 35
auto[1] auto_lens[10] 3465 1 T1 2 T3 22 T7 44
auto[1] auto_lens[11] 2983 1 T3 19 T7 34 T10 1
auto[1] auto_lens[12] 2548 1 T1 3 T3 13 T7 33
auto[1] auto_lens[13] 1971 1 T1 3 T3 14 T7 38
auto[1] auto_lens[14] 1559 1 T1 2 T3 12 T7 10
auto[1] auto_lens[15] 790 1 T2 2 T3 4 T7 3
auto[1] auto_lens[16] 772 1 T3 4 T7 1 T25 1
auto[1] auto_lens[17] 748 1 T3 3 T7 2 T8 1
auto[1] auto_lens[18] 722 1 T3 5 T10 1 T28 1
auto[1] auto_lens[19] 716 1 T3 8 T7 2 T130 5
auto[1] auto_lens[20] 697 1 T3 9 T20 2 T25 1
auto[1] auto_lens[21] 646 1 T3 9 T7 2 T130 5
auto[1] auto_lens[22] 570 1 T3 9 T97 1 T25 1
auto[1] auto_lens[23] 606 1 T3 5 T11 1 T78 1
auto[1] auto_lens[24] 616 1 T3 4 T7 2 T12 1
auto[1] auto_lens[25] 551 1 T3 7 T11 1 T27 1
auto[1] auto_lens[26] 546 1 T3 7 T10 1 T28 1
auto[1] auto_lens[27] 508 1 T2 1 T3 7 T7 2
auto[1] auto_lens[28] 451 1 T3 7 T7 1 T25 3
auto[1] auto_lens[29] 483 1 T3 9 T20 1 T25 3
auto[1] auto_lens[30] 393 1 T2 3 T3 5 T7 1
auto[1] auto_lens[31] 397 1 T3 6 T12 1 T20 1
auto[1] auto_lens[32] 367 1 T3 7 T7 2 T78 2
auto[1] auto_lens[33] 326 1 T2 2 T3 5 T7 1
auto[1] auto_lens[34] 301 1 T3 4 T7 3 T11 1
auto[1] auto_lens[35] 306 1 T3 10 T7 1 T8 1
auto[1] auto_lens[36] 273 1 T3 6 T28 2 T100 3
auto[1] auto_lens[37] 251 1 T3 9 T11 1 T100 1
auto[1] auto_lens[38] 196 1 T7 1 T25 1 T101 4
auto[1] auto_lens[39] 188 1 T101 8 T135 4 T126 3
auto[1] auto_lens[40] 216 1 T25 2 T36 1 T101 4
auto[1] auto_lens[41] 198 1 T2 1 T78 2 T100 4
auto[1] auto_lens[42] 150 1 T12 1 T99 1 T101 2
auto[1] auto_lens[43] 154 1 T2 2 T11 1 T25 1
auto[1] auto_lens[44] 120 1 T101 1 T135 5 T136 1
auto[1] auto_lens[45] 137 1 T2 1 T7 2 T27 1
auto[1] auto_lens[46] 98 1 T78 1 T25 1 T36 1
auto[1] auto_lens[47] 76 1 T7 1 T28 2 T21 1
auto[1] auto_lens[48] 88 1 T7 4 T14 1 T28 1
auto[1] auto_lens[49] 54 1 T100 1 T118 1 T137 1
auto[1] len_3073 10 1 T78 3 T50 2 T102 1
auto[1] len_3072 33 1 T3 1 T7 1 T100 1
auto[1] len_2817 7 1 T1 2 T103 1 T104 2
auto[1] len_2816 55 1 T3 2 T7 1 T101 1
auto[1] len_2561 16 1 T105 2 T106 2 T107 2
auto[1] len_2560 62 1 T3 2 T100 1 T101 1
auto[1] len_2305 9 1 T108 1 T102 1 T138 1
auto[1] len_2304 129 1 T3 2 T7 2 T100 2
auto[1] len_2049 12 1 T11 2 T109 1 T68 2
auto[1] len_2048 87 1 T32 1 T135 2 T126 2
auto[1] len_1793 17 1 T25 2 T110 1 T111 2
auto[1] len_1792 152 1 T3 4 T7 1 T32 1
auto[1] len_1537 11 1 T25 1 T112 2 T113 3
auto[1] len_1536 215 1 T3 3 T32 1 T130 2
auto[1] len_1281 9 1 T114 1 T115 1 T116 2
auto[1] len_1280 205 1 T3 1 T7 2 T32 3
auto[1] len_1025 10 1 T25 1 T117 2 T72 1
auto[1] len_1024 183 1 T3 3 T7 3 T32 3
auto[1] len_769 8 1 T7 1 T118 1 T139 1
auto[1] len_768 299 1 T3 4 T7 3 T32 5
auto[1] len_513 15 1 T25 3 T36 2 T120 3
auto[1] len_512 183 1 T3 3 T7 1 T32 1
auto[1] len_257 8 1 T70 1 T121 1 T122 2
auto[1] len_256 188 1 T3 1 T7 1 T32 2
auto[1] len_1 1540 1 T2 14 T7 49 T28 4
auto[1] len_0 731 1 T1 2 T3 4 T7 10

0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%