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
98.26 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 4 148 97.37


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 4 148 97.37 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] 104736 1 T1 23 T2 1114 T3 12
auto[1] 98587 1 T1 25 T2 788 T3 3



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] 27120 1 T1 43 T2 162 T7 4
auto_lens[1] 14734 1 T2 150 T3 2 T10 286
auto_lens[2] 14171 1 T2 165 T3 1 T7 1
auto_lens[3] 13659 1 T2 165 T10 212 T12 159
auto_lens[4] 13063 1 T2 146 T7 1 T10 224
auto_lens[5] 13525 1 T2 158 T3 1 T7 1
auto_lens[6] 11682 1 T2 130 T7 2 T10 189
auto_lens[7] 10985 1 T2 133 T3 1 T7 3
auto_lens[8] 9898 1 T2 129 T3 2 T7 1
auto_lens[9] 8898 1 T2 111 T7 1 T10 107
auto_lens[10] 7852 1 T2 84 T7 4 T10 86
auto_lens[11] 6872 1 T2 54 T3 1 T7 1
auto_lens[12] 5640 1 T2 42 T7 3 T10 78
auto_lens[13] 4454 1 T2 37 T7 3 T10 45
auto_lens[14] 3519 1 T2 30 T3 4 T7 3
auto_lens[15] 1936 1 T2 15 T10 26 T12 12
auto_lens[16] 1894 1 T2 11 T10 22 T9 2
auto_lens[17] 1959 1 T2 10 T10 35 T12 13
auto_lens[18] 1794 1 T2 9 T10 34 T12 14
auto_lens[19] 1766 1 T2 12 T10 31 T12 14
auto_lens[20] 1736 1 T2 12 T10 35 T12 13
auto_lens[21] 1619 1 T2 8 T3 1 T10 33
auto_lens[22] 1525 1 T2 13 T10 30 T12 14
auto_lens[23] 1563 1 T2 11 T10 34 T9 2
auto_lens[24] 1472 1 T2 10 T10 31 T12 15
auto_lens[25] 1429 1 T2 12 T10 29 T9 3
auto_lens[26] 1380 1 T2 10 T10 35 T8 1
auto_lens[27] 1357 1 T2 7 T10 25 T12 17
auto_lens[28] 1245 1 T2 8 T10 32 T12 12
auto_lens[29] 1222 1 T2 9 T10 29 T12 13
auto_lens[30] 1142 1 T2 11 T10 31 T12 14
auto_lens[31] 1199 1 T2 11 T7 1 T10 25
auto_lens[32] 931 1 T2 8 T10 20 T12 15
auto_lens[33] 862 1 T2 7 T10 27 T12 9
auto_lens[34] 854 1 T2 6 T10 30 T9 1
auto_lens[35] 782 1 T2 3 T10 19 T12 12
auto_lens[36] 749 1 T2 2 T10 30 T12 10
auto_lens[37] 641 1 T10 10 T9 1 T8 1
auto_lens[38] 626 1 T3 2 T12 9 T21 2
auto_lens[39] 567 1 T12 14 T21 4 T40 24
auto_lens[40] 515 1 T9 1 T12 9 T21 1
auto_lens[41] 544 1 T12 7 T105 3 T106 16
auto_lens[42] 456 1 T12 10 T105 3 T106 15
auto_lens[43] 421 1 T9 4 T12 11 T105 5
auto_lens[44] 363 1 T9 1 T8 1 T12 11
auto_lens[45] 279 1 T12 12 T21 1 T105 4
auto_lens[46] 257 1 T12 10 T105 2 T106 11
auto_lens[47] 238 1 T7 2 T8 1 T12 12
auto_lens[48] 149 1 T12 5 T21 2 T105 1
auto_lens[49] 73 1 T31 1 T4 1 T65 1
len_3073 3 1 T107 2 T108 1 - -
len_3072 74 1 T12 1 T21 1 T40 1
len_2817 14 1 T109 1 T31 1 T110 1
len_2816 105 1 T12 1 T21 1 T40 1
len_2561 17 1 T8 1 T111 1 T112 1
len_2560 184 1 T7 2 T10 2 T12 1
len_2305 13 1 T28 1 T18 2 T69 1
len_2304 295 1 T2 2 T10 4 T12 2
len_2049 4 1 T83 3 T113 1 - -
len_2048 195 1 T12 3 T21 2 T105 2
len_1793 19 1 T24 1 T114 2 T115 2
len_1792 350 1 T2 5 T10 4 T12 4
len_1537 27 1 T28 1 T116 1 T114 2
len_1536 480 1 T2 3 T10 5 T12 6
len_1281 8 1 T9 3 T115 1 T117 1
len_1280 413 1 T2 7 T10 3 T12 5
len_1025 11 1 T65 1 T57 2 T118 1
len_1024 352 1 T2 1 T10 3 T21 3
len_769 9 1 T110 1 T117 1 T119 1
len_768 620 1 T2 9 T10 7 T12 6
len_513 13 1 T31 1 T120 1 T121 2
len_512 429 1 T2 2 T10 5 T12 3
len_257 6 1 T57 2 T122 1 T123 1
len_256 436 1 T2 3 T10 6 T12 2
len_1 1835 1 T9 26 T28 7 T21 2
len_0 1651 1 T1 5 T2 1 T7 1



Summary for Cross msg_len_cross

Samples crossed: hmac_en msg_len
CATEGORYEXPECTEDUNCOVEREDCOVEREDPERCENTMISSING
Automatically Generated Cross Bins 152 4 148 97.37 4


Automatically Generated Cross Bins for msg_len_cross

Uncovered bins
hmac_enmsg_lenCOUNTAT LEASTNUMBERSTATUS
[auto[0]] [len_3073] 0 1 1
[auto[0]] [len_2049] 0 1 1
[auto[0]] [len_769] 0 1 1
[auto[0]] [len_257] 0 1 1


Covered bins
hmac_enmsg_lenCOUNTAT LEASTSTATUSTESTCOUNTTESTCOUNTTESTCOUNT
auto[0] auto_lens[0] 15743 1 T1 21 T2 117 T7 3
auto[0] auto_lens[1] 7257 1 T2 100 T3 2 T10 94
auto[0] auto_lens[2] 6934 1 T2 105 T10 84 T12 52
auto[0] auto_lens[3] 6704 1 T2 119 T10 64 T12 43
auto[0] auto_lens[4] 6425 1 T2 98 T7 1 T10 74
auto[0] auto_lens[5] 6687 1 T2 105 T3 1 T10 67
auto[0] auto_lens[6] 5861 1 T2 84 T7 2 T10 71
auto[0] auto_lens[7] 5564 1 T2 83 T3 1 T10 68
auto[0] auto_lens[8] 5049 1 T2 81 T3 2 T7 1
auto[0] auto_lens[9] 4706 1 T2 66 T10 44 T8 1
auto[0] auto_lens[10] 4137 1 T2 46 T7 3 T10 47
auto[0] auto_lens[11] 3674 1 T2 21 T3 1 T7 1
auto[0] auto_lens[12] 2972 1 T2 13 T10 35 T12 13
auto[0] auto_lens[13] 2246 1 T2 14 T7 1 T10 33
auto[0] auto_lens[14] 1835 1 T2 5 T3 2 T7 2
auto[0] auto_lens[15] 968 1 T2 6 T10 23 T12 1
auto[0] auto_lens[16] 946 1 T2 6 T10 20 T12 1
auto[0] auto_lens[17] 1017 1 T2 3 T10 31 T12 2
auto[0] auto_lens[18] 922 1 T2 3 T10 31 T12 3
auto[0] auto_lens[19] 906 1 T2 3 T10 27 T12 4
auto[0] auto_lens[20] 899 1 T2 1 T10 30 T12 3
auto[0] auto_lens[21] 874 1 T2 2 T3 1 T10 31
auto[0] auto_lens[22] 820 1 T2 4 T10 25 T12 3
auto[0] auto_lens[23] 826 1 T2 1 T10 29 T21 19
auto[0] auto_lens[24] 779 1 T2 3 T10 28 T12 2
auto[0] auto_lens[25] 772 1 T2 5 T10 27 T12 1
auto[0] auto_lens[26] 746 1 T2 3 T10 32 T8 1
auto[0] auto_lens[27] 709 1 T2 2 T10 25 T12 3
auto[0] auto_lens[28] 652 1 T2 2 T10 32 T12 1
auto[0] auto_lens[29] 627 1 T2 2 T10 29 T12 2
auto[0] auto_lens[30] 601 1 T2 4 T10 31 T12 1
auto[0] auto_lens[31] 633 1 T2 4 T10 25 T12 3
auto[0] auto_lens[32] 443 1 T2 2 T10 20 T21 26
auto[0] auto_lens[33] 425 1 T10 27 T21 10 T40 23
auto[0] auto_lens[34] 418 1 T10 30 T21 1 T40 25
auto[0] auto_lens[35] 362 1 T10 19 T21 1 T40 21
auto[0] auto_lens[36] 392 1 T10 30 T40 30 T23 1
auto[0] auto_lens[37] 341 1 T10 10 T8 1 T40 21
auto[0] auto_lens[38] 304 1 T3 2 T40 24 T26 1
auto[0] auto_lens[39] 260 1 T21 1 T40 24 T20 6
auto[0] auto_lens[40] 238 1 T26 1 T109 3 T4 4
auto[0] auto_lens[41] 238 1 T124 2 T109 2 T4 4
auto[0] auto_lens[42] 212 1 T125 2 T109 4 T4 5
auto[0] auto_lens[43] 181 1 T4 6 T57 10 T5 1
auto[0] auto_lens[44] 140 1 T46 1 T4 3 T126 1
auto[0] auto_lens[45] 114 1 T30 1 T4 6 T127 1
auto[0] auto_lens[46] 98 1 T128 2 T31 2 T4 5
auto[0] auto_lens[47] 91 1 T8 1 T39 1 T126 2
auto[0] auto_lens[48] 48 1 T83 1 T129 2 T130 1
auto[0] auto_lens[49] 20 1 T83 2 T129 1 T14 1
auto[0] len_3072 37 1 T21 1 T40 1 T105 2
auto[0] len_2817 3 1 T56 1 T131 2 - -
auto[0] len_2816 47 1 T40 1 T132 1 T4 1
auto[0] len_2561 1 1 T133 1 - - - -
auto[0] len_2560 92 1 T10 1 T21 2 T40 2
auto[0] len_2305 3 1 T15 2 T134 1 - -
auto[0] len_2304 157 1 T10 2 T21 1 T40 2
auto[0] len_2048 103 1 T12 1 T135 1 T106 2
auto[0] len_1793 1 1 T136 1 - - - -
auto[0] len_1792 173 1 T2 4 T10 1 T12 2
auto[0] len_1537 6 1 T116 1 T72 1 T137 2
auto[0] len_1536 256 1 T10 3 T12 2 T21 4
auto[0] len_1281 1 1 T138 1 - - - -
auto[0] len_1280 215 1 T2 3 T10 2 T12 1
auto[0] len_1025 2 1 T57 2 - - - -
auto[0] len_1024 176 1 T2 1 T10 2 T21 3
auto[0] len_768 311 1 T2 5 T10 2 T12 2
auto[0] len_513 1 1 T139 1 - - - -
auto[0] len_512 219 1 T2 2 T10 3 T12 2
auto[0] len_256 216 1 T2 3 T10 3 T21 1
auto[0] len_1 123 1 T21 2 T20 2 T39 1
auto[0] len_0 894 1 T1 2 T2 1 T10 2
auto[1] auto_lens[0] 11377 1 T1 22 T2 45 T7 1
auto[1] auto_lens[1] 7477 1 T2 50 T10 192 T12 117
auto[1] auto_lens[2] 7237 1 T2 60 T3 1 T7 1
auto[1] auto_lens[3] 6955 1 T2 46 T10 148 T12 116
auto[1] auto_lens[4] 6638 1 T2 48 T10 150 T12 105
auto[1] auto_lens[5] 6838 1 T2 53 T7 1 T10 134
auto[1] auto_lens[6] 5821 1 T2 46 T10 118 T9 3
auto[1] auto_lens[7] 5421 1 T2 50 T7 3 T10 109
auto[1] auto_lens[8] 4849 1 T2 48 T10 80 T8 3
auto[1] auto_lens[9] 4192 1 T2 45 T7 1 T10 63
auto[1] auto_lens[10] 3715 1 T2 38 T7 1 T10 39
auto[1] auto_lens[11] 3198 1 T2 33 T10 46 T8 3
auto[1] auto_lens[12] 2668 1 T2 29 T7 3 T10 43
auto[1] auto_lens[13] 2208 1 T2 23 T7 2 T10 12
auto[1] auto_lens[14] 1684 1 T2 25 T3 2 T7 1
auto[1] auto_lens[15] 968 1 T2 9 T10 3 T12 11
auto[1] auto_lens[16] 948 1 T2 5 T10 2 T9 2
auto[1] auto_lens[17] 942 1 T2 7 T10 4 T12 11
auto[1] auto_lens[18] 872 1 T2 6 T10 3 T12 11
auto[1] auto_lens[19] 860 1 T2 9 T10 4 T12 10
auto[1] auto_lens[20] 837 1 T2 11 T10 5 T12 10
auto[1] auto_lens[21] 745 1 T2 6 T10 2 T9 1
auto[1] auto_lens[22] 705 1 T2 9 T10 5 T12 11
auto[1] auto_lens[23] 737 1 T2 10 T10 5 T9 2
auto[1] auto_lens[24] 693 1 T2 7 T10 3 T12 13
auto[1] auto_lens[25] 657 1 T2 7 T10 2 T9 3
auto[1] auto_lens[26] 634 1 T2 7 T10 3 T12 12
auto[1] auto_lens[27] 648 1 T2 5 T12 14 T21 13
auto[1] auto_lens[28] 593 1 T2 6 T12 11 T21 12
auto[1] auto_lens[29] 595 1 T2 7 T12 11 T21 2
auto[1] auto_lens[30] 541 1 T2 7 T12 13 T21 3
auto[1] auto_lens[31] 566 1 T2 7 T7 1 T12 14
auto[1] auto_lens[32] 488 1 T2 6 T12 15 T21 2
auto[1] auto_lens[33] 437 1 T2 7 T12 9 T21 3
auto[1] auto_lens[34] 436 1 T2 6 T9 1 T12 10
auto[1] auto_lens[35] 420 1 T2 3 T12 12 T28 2
auto[1] auto_lens[36] 357 1 T2 2 T12 10 T21 1
auto[1] auto_lens[37] 300 1 T9 1 T12 9 T21 1
auto[1] auto_lens[38] 322 1 T12 9 T21 2 T105 2
auto[1] auto_lens[39] 307 1 T12 14 T21 3 T105 5
auto[1] auto_lens[40] 277 1 T9 1 T12 9 T21 1
auto[1] auto_lens[41] 306 1 T12 7 T105 3 T106 16
auto[1] auto_lens[42] 244 1 T12 10 T105 3 T106 15
auto[1] auto_lens[43] 240 1 T9 4 T12 11 T105 5
auto[1] auto_lens[44] 223 1 T9 1 T8 1 T12 11
auto[1] auto_lens[45] 165 1 T12 12 T21 1 T105 4
auto[1] auto_lens[46] 159 1 T12 10 T105 2 T106 11
auto[1] auto_lens[47] 147 1 T7 2 T12 12 T105 1
auto[1] auto_lens[48] 101 1 T12 5 T21 2 T105 1
auto[1] auto_lens[49] 53 1 T31 1 T4 1 T65 1
auto[1] len_3073 3 1 T107 2 T108 1 - -
auto[1] len_3072 37 1 T12 1 T105 2 T132 1
auto[1] len_2817 11 1 T109 1 T31 1 T110 1
auto[1] len_2816 58 1 T12 1 T21 1 T132 1
auto[1] len_2561 16 1 T8 1 T111 1 T112 1
auto[1] len_2560 92 1 T7 2 T10 1 T12 1
auto[1] len_2305 10 1 T28 1 T18 2 T69 1
auto[1] len_2304 138 1 T2 2 T10 2 T12 2
auto[1] len_2049 4 1 T83 3 T113 1 - -
auto[1] len_2048 92 1 T12 2 T21 2 T105 2
auto[1] len_1793 18 1 T24 1 T114 2 T115 2
auto[1] len_1792 177 1 T2 1 T10 3 T12 2
auto[1] len_1537 21 1 T28 1 T114 2 T57 2
auto[1] len_1536 224 1 T2 3 T10 2 T12 4
auto[1] len_1281 7 1 T9 3 T115 1 T117 1
auto[1] len_1280 198 1 T2 4 T10 1 T12 4
auto[1] len_1025 9 1 T65 1 T118 1 T140 1
auto[1] len_1024 176 1 T10 1 T40 1 T135 3
auto[1] len_769 9 1 T110 1 T117 1 T119 1
auto[1] len_768 309 1 T2 4 T10 5 T12 4
auto[1] len_513 12 1 T31 1 T120 1 T121 2
auto[1] len_512 210 1 T10 2 T12 1 T21 2
auto[1] len_257 6 1 T57 2 T122 1 T123 1
auto[1] len_256 220 1 T10 3 T12 2 T21 4
auto[1] len_1 1712 1 T9 26 T28 7 T22 28
auto[1] len_0 757 1 T1 3 T7 1 T10 2

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