Module Definition
dashboard | hierarchy | modlist | groups | tests | asserts

Module : keymgr_csr_assert_fpv
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_fpv_keymgr_csr_assert_0/keymgr_csr_assert_fpv.sv

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.keymgr_csr_assert 100.00 100.00


Module Instance : tb.dut.keymgr_csr_assert

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
97.94 96.00 97.81 99.96 95.92 100.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children

Since this is the module's only instance, the coverage report is the same as for the module.
Assert Coverage for Module : keymgr_csr_assert_fpv
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 32 32 100.00 32 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 32 32 100.00 32 100.00



Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
TlulOOBAddrErr_A 23777885 17058 0 0
attest_sw_binding_0_rd_A 23777885 4090 0 0
attest_sw_binding_1_rd_A 23777885 4216 0 0
attest_sw_binding_2_rd_A 23777885 4388 0 0
attest_sw_binding_3_rd_A 23777885 3970 0 0
attest_sw_binding_4_rd_A 23777885 3968 0 0
attest_sw_binding_5_rd_A 23777885 4175 0 0
attest_sw_binding_6_rd_A 23777885 4132 0 0
attest_sw_binding_7_rd_A 23777885 4260 0 0
intr_enable_rd_A 23777885 4657 0 0
key_version_rd_A 23777885 4082 0 0
max_creator_key_ver_regwen_rd_A 23777885 4290 0 0
max_owner_int_key_ver_regwen_rd_A 23777885 4000 0 0
max_owner_key_ver_regwen_rd_A 23777885 4172 0 0
reseed_interval_regwen_rd_A 23777885 3939 0 0
salt_0_rd_A 23777885 4194 0 0
salt_1_rd_A 23777885 4168 0 0
salt_2_rd_A 23777885 4048 0 0
salt_3_rd_A 23777885 4143 0 0
salt_4_rd_A 23777885 3994 0 0
salt_5_rd_A 23777885 4058 0 0
salt_6_rd_A 23777885 4171 0 0
salt_7_rd_A 23777885 4115 0 0
sealing_sw_binding_0_rd_A 23777885 4259 0 0
sealing_sw_binding_1_rd_A 23777885 4288 0 0
sealing_sw_binding_2_rd_A 23777885 4190 0 0
sealing_sw_binding_3_rd_A 23777885 4078 0 0
sealing_sw_binding_4_rd_A 23777885 4202 0 0
sealing_sw_binding_5_rd_A 23777885 4282 0 0
sealing_sw_binding_6_rd_A 23777885 4163 0 0
sealing_sw_binding_7_rd_A 23777885 4086 0 0
sideload_clear_rd_A 23777885 4140 0 0


TlulOOBAddrErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 17058 0 0
T24 92513 0 0 0
T54 14113 0 0 0
T57 31968 451 0 0
T74 0 588 0 0
T83 0 26 0 0
T85 22084 791 0 0
T86 21333 0 0 0
T87 6681 0 0 0
T88 4497 0 0 0
T89 6011 0 0 0
T90 7982 0 0 0
T91 114348 0 0 0
T112 0 294 0 0
T123 0 379 0 0
T124 0 474 0 0
T125 0 495 0 0
T126 0 541 0 0
T174 0 1 0 0

attest_sw_binding_0_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 4090 0 0
T83 31422 14 0 0
T115 0 212 0 0
T136 0 69 0 0
T153 0 461 0 0
T161 0 71 0 0
T175 0 52 0 0
T176 0 44 0 0
T177 0 16 0 0
T178 0 2 0 0
T179 0 7 0 0
T180 1978 0 0 0
T181 4499 0 0 0
T182 10521 0 0 0
T183 14745 0 0 0
T184 14327 0 0 0
T185 3114 0 0 0
T186 2352 0 0 0
T187 3480 0 0 0
T188 128913 0 0 0

attest_sw_binding_1_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 4216 0 0
T115 0 247 0 0
T136 0 49 0 0
T138 0 520 0 0
T153 0 495 0 0
T161 0 73 0 0
T175 57096 71 0 0
T176 0 55 0 0
T177 0 22 0 0
T178 0 4 0 0
T179 0 12 0 0
T189 6875 0 0 0
T190 2636 0 0 0
T191 6273 0 0 0
T192 4811 0 0 0
T193 10278 0 0 0
T194 30119 0 0 0
T195 4288 0 0 0
T196 2097 0 0 0
T197 15856 0 0 0

attest_sw_binding_2_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 4388 0 0
T83 31422 14 0 0
T115 0 256 0 0
T136 0 67 0 0
T153 0 458 0 0
T161 0 91 0 0
T175 0 92 0 0
T176 0 61 0 0
T177 0 25 0 0
T178 0 4 0 0
T179 0 11 0 0
T180 1978 0 0 0
T181 4499 0 0 0
T182 10521 0 0 0
T183 14745 0 0 0
T184 14327 0 0 0
T185 3114 0 0 0
T186 2352 0 0 0
T187 3480 0 0 0
T188 128913 0 0 0

attest_sw_binding_3_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 3970 0 0
T83 31422 12 0 0
T115 0 236 0 0
T136 0 90 0 0
T153 0 421 0 0
T175 0 52 0 0
T176 0 46 0 0
T177 0 34 0 0
T178 0 3 0 0
T179 0 9 0 0
T180 1978 0 0 0
T181 4499 0 0 0
T182 10521 0 0 0
T183 14745 0 0 0
T184 14327 0 0 0
T185 3114 0 0 0
T186 2352 0 0 0
T187 3480 0 0 0
T188 128913 0 0 0
T198 0 8 0 0

attest_sw_binding_4_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 3968 0 0
T83 31422 20 0 0
T115 0 177 0 0
T136 0 13 0 0
T153 0 397 0 0
T161 0 94 0 0
T175 0 57 0 0
T176 0 49 0 0
T177 0 22 0 0
T178 0 7 0 0
T179 0 11 0 0
T180 1978 0 0 0
T181 4499 0 0 0
T182 10521 0 0 0
T183 14745 0 0 0
T184 14327 0 0 0
T185 3114 0 0 0
T186 2352 0 0 0
T187 3480 0 0 0
T188 128913 0 0 0

attest_sw_binding_5_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 4175 0 0
T83 31422 4 0 0
T115 0 201 0 0
T136 0 52 0 0
T153 0 474 0 0
T161 0 96 0 0
T175 0 61 0 0
T176 0 52 0 0
T177 0 54 0 0
T178 0 9 0 0
T179 0 10 0 0
T180 1978 0 0 0
T181 4499 0 0 0
T182 10521 0 0 0
T183 14745 0 0 0
T184 14327 0 0 0
T185 3114 0 0 0
T186 2352 0 0 0
T187 3480 0 0 0
T188 128913 0 0 0

attest_sw_binding_6_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 4132 0 0
T115 0 223 0 0
T136 0 77 0 0
T138 0 569 0 0
T153 0 473 0 0
T161 0 71 0 0
T175 57096 48 0 0
T176 0 62 0 0
T177 0 24 0 0
T178 0 4 0 0
T179 0 8 0 0
T189 6875 0 0 0
T190 2636 0 0 0
T191 6273 0 0 0
T192 4811 0 0 0
T193 10278 0 0 0
T194 30119 0 0 0
T195 4288 0 0 0
T196 2097 0 0 0
T197 15856 0 0 0

attest_sw_binding_7_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 4260 0 0
T11 8702 0 0 0
T49 5444 0 0 0
T61 6774 0 0 0
T83 0 13 0 0
T115 0 224 0 0
T136 0 42 0 0
T153 0 516 0 0
T175 0 51 0 0
T176 0 32 0 0
T177 0 20 0 0
T178 0 6 0 0
T179 0 8 0 0
T199 5059 8 0 0
T200 9705 0 0 0
T201 6601 0 0 0
T202 41302 0 0 0
T203 18323 0 0 0
T204 59412 0 0 0
T205 7406 0 0 0

intr_enable_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 4657 0 0
T23 1702 0 0 0
T28 126853 3 0 0
T33 13062 0 0 0
T47 6316 0 0 0
T53 11850 0 0 0
T58 0 2 0 0
T83 0 17 0 0
T92 26224 0 0 0
T93 38126 0 0 0
T129 49743 0 0 0
T175 0 103 0 0
T176 0 84 0 0
T206 0 12 0 0
T207 0 14 0 0
T208 0 11 0 0
T209 0 13 0 0
T210 0 23 0 0
T211 11320 0 0 0
T212 5940 0 0 0

key_version_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 4082 0 0
T83 31422 23 0 0
T115 0 227 0 0
T136 0 21 0 0
T138 0 471 0 0
T153 0 465 0 0
T161 0 76 0 0
T175 0 74 0 0
T176 0 47 0 0
T177 0 26 0 0
T179 0 6 0 0
T180 1978 0 0 0
T181 4499 0 0 0
T182 10521 0 0 0
T183 14745 0 0 0
T184 14327 0 0 0
T185 3114 0 0 0
T186 2352 0 0 0
T187 3480 0 0 0
T188 128913 0 0 0

max_creator_key_ver_regwen_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 4290 0 0
T83 31422 13 0 0
T115 0 205 0 0
T136 0 27 0 0
T153 0 494 0 0
T175 0 80 0 0
T176 0 57 0 0
T177 0 35 0 0
T178 0 8 0 0
T179 0 13 0 0
T180 1978 0 0 0
T181 4499 0 0 0
T182 10521 0 0 0
T183 14745 0 0 0
T184 14327 0 0 0
T185 3114 0 0 0
T186 2352 0 0 0
T187 3480 0 0 0
T188 128913 0 0 0
T213 0 1 0 0

max_owner_int_key_ver_regwen_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 4000 0 0
T83 31422 11 0 0
T115 0 201 0 0
T136 0 46 0 0
T138 0 493 0 0
T153 0 463 0 0
T161 0 81 0 0
T175 0 41 0 0
T176 0 53 0 0
T177 0 33 0 0
T178 0 5 0 0
T180 1978 0 0 0
T181 4499 0 0 0
T182 10521 0 0 0
T183 14745 0 0 0
T184 14327 0 0 0
T185 3114 0 0 0
T186 2352 0 0 0
T187 3480 0 0 0
T188 128913 0 0 0

max_owner_key_ver_regwen_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 4172 0 0
T83 31422 25 0 0
T115 0 241 0 0
T136 0 9 0 0
T153 0 488 0 0
T161 0 52 0 0
T175 0 66 0 0
T176 0 89 0 0
T177 0 25 0 0
T178 0 6 0 0
T179 0 9 0 0
T180 1978 0 0 0
T181 4499 0 0 0
T182 10521 0 0 0
T183 14745 0 0 0
T184 14327 0 0 0
T185 3114 0 0 0
T186 2352 0 0 0
T187 3480 0 0 0
T188 128913 0 0 0

reseed_interval_regwen_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 3939 0 0
T11 8702 0 0 0
T44 42846 0 0 0
T61 6774 1 0 0
T83 0 9 0 0
T115 0 210 0 0
T124 22673 0 0 0
T136 0 29 0 0
T153 0 416 0 0
T175 0 71 0 0
T176 0 52 0 0
T177 0 36 0 0
T178 0 9 0 0
T179 0 3 0 0
T203 18323 0 0 0
T204 59412 0 0 0
T205 7406 0 0 0
T214 1914 0 0 0
T215 5263 0 0 0
T216 1415 0 0 0

salt_0_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 4194 0 0
T83 31422 15 0 0
T115 0 199 0 0
T136 0 32 0 0
T153 0 431 0 0
T161 0 73 0 0
T175 0 50 0 0
T176 0 59 0 0
T177 0 32 0 0
T178 0 1 0 0
T179 0 3 0 0
T180 1978 0 0 0
T181 4499 0 0 0
T182 10521 0 0 0
T183 14745 0 0 0
T184 14327 0 0 0
T185 3114 0 0 0
T186 2352 0 0 0
T187 3480 0 0 0
T188 128913 0 0 0

salt_1_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 4168 0 0
T83 31422 12 0 0
T115 0 254 0 0
T136 0 9 0 0
T153 0 449 0 0
T175 0 73 0 0
T176 0 52 0 0
T177 0 29 0 0
T179 0 4 0 0
T180 1978 0 0 0
T181 4499 0 0 0
T182 10521 0 0 0
T183 14745 0 0 0
T184 14327 0 0 0
T185 3114 0 0 0
T186 2352 0 0 0
T187 3480 0 0 0
T188 128913 0 0 0
T198 0 4 0 0
T217 0 3 0 0

salt_2_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 4048 0 0
T83 31422 5 0 0
T115 0 224 0 0
T136 0 54 0 0
T153 0 435 0 0
T175 0 64 0 0
T176 0 60 0 0
T177 0 28 0 0
T178 0 2 0 0
T179 0 10 0 0
T180 1978 0 0 0
T181 4499 0 0 0
T182 10521 0 0 0
T183 14745 0 0 0
T184 14327 0 0 0
T185 3114 0 0 0
T186 2352 0 0 0
T187 3480 0 0 0
T188 128913 0 0 0
T198 0 1 0 0

salt_3_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 4143 0 0
T83 31422 21 0 0
T115 0 225 0 0
T136 0 35 0 0
T153 0 449 0 0
T175 0 66 0 0
T176 0 50 0 0
T177 0 22 0 0
T178 0 4 0 0
T179 0 5 0 0
T180 1978 0 0 0
T181 4499 0 0 0
T182 10521 0 0 0
T183 14745 0 0 0
T184 14327 0 0 0
T185 3114 0 0 0
T186 2352 0 0 0
T187 3480 0 0 0
T188 128913 0 0 0
T198 0 3 0 0

salt_4_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 3994 0 0
T83 31422 7 0 0
T115 0 218 0 0
T136 0 70 0 0
T153 0 489 0 0
T161 0 79 0 0
T175 0 64 0 0
T176 0 35 0 0
T177 0 20 0 0
T178 0 3 0 0
T179 0 8 0 0
T180 1978 0 0 0
T181 4499 0 0 0
T182 10521 0 0 0
T183 14745 0 0 0
T184 14327 0 0 0
T185 3114 0 0 0
T186 2352 0 0 0
T187 3480 0 0 0
T188 128913 0 0 0

salt_5_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 4058 0 0
T83 31422 3 0 0
T115 0 248 0 0
T136 0 46 0 0
T153 0 505 0 0
T161 0 97 0 0
T175 0 105 0 0
T176 0 42 0 0
T177 0 29 0 0
T178 0 8 0 0
T179 0 12 0 0
T180 1978 0 0 0
T181 4499 0 0 0
T182 10521 0 0 0
T183 14745 0 0 0
T184 14327 0 0 0
T185 3114 0 0 0
T186 2352 0 0 0
T187 3480 0 0 0
T188 128913 0 0 0

salt_6_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 4171 0 0
T83 31422 8 0 0
T115 0 209 0 0
T136 0 41 0 0
T153 0 499 0 0
T175 0 76 0 0
T176 0 50 0 0
T177 0 29 0 0
T178 0 5 0 0
T179 0 8 0 0
T180 1978 0 0 0
T181 4499 0 0 0
T182 10521 0 0 0
T183 14745 0 0 0
T184 14327 0 0 0
T185 3114 0 0 0
T186 2352 0 0 0
T187 3480 0 0 0
T188 128913 0 0 0
T198 0 8 0 0

salt_7_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 4115 0 0
T83 31422 16 0 0
T115 0 215 0 0
T136 0 58 0 0
T153 0 452 0 0
T175 0 58 0 0
T176 0 51 0 0
T177 0 41 0 0
T178 0 4 0 0
T179 0 14 0 0
T180 1978 0 0 0
T181 4499 0 0 0
T182 10521 0 0 0
T183 14745 0 0 0
T184 14327 0 0 0
T185 3114 0 0 0
T186 2352 0 0 0
T187 3480 0 0 0
T188 128913 0 0 0
T198 0 1 0 0

sealing_sw_binding_0_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 4259 0 0
T83 31422 9 0 0
T115 0 251 0 0
T136 0 10 0 0
T153 0 490 0 0
T175 0 52 0 0
T176 0 89 0 0
T177 0 36 0 0
T178 0 3 0 0
T179 0 6 0 0
T180 1978 0 0 0
T181 4499 0 0 0
T182 10521 0 0 0
T183 14745 0 0 0
T184 14327 0 0 0
T185 3114 0 0 0
T186 2352 0 0 0
T187 3480 0 0 0
T188 128913 0 0 0
T198 0 7 0 0

sealing_sw_binding_1_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 4288 0 0
T83 31422 15 0 0
T115 0 232 0 0
T136 0 62 0 0
T153 0 493 0 0
T175 0 78 0 0
T176 0 80 0 0
T177 0 13 0 0
T178 0 2 0 0
T179 0 9 0 0
T180 1978 0 0 0
T181 4499 0 0 0
T182 10521 0 0 0
T183 14745 0 0 0
T184 14327 0 0 0
T185 3114 0 0 0
T186 2352 0 0 0
T187 3480 0 0 0
T188 128913 0 0 0
T198 0 2 0 0

sealing_sw_binding_2_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 4190 0 0
T83 31422 5 0 0
T115 0 194 0 0
T136 0 13 0 0
T153 0 514 0 0
T161 0 87 0 0
T175 0 66 0 0
T176 0 51 0 0
T177 0 32 0 0
T178 0 1 0 0
T179 0 11 0 0
T180 1978 0 0 0
T181 4499 0 0 0
T182 10521 0 0 0
T183 14745 0 0 0
T184 14327 0 0 0
T185 3114 0 0 0
T186 2352 0 0 0
T187 3480 0 0 0
T188 128913 0 0 0

sealing_sw_binding_3_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 4078 0 0
T83 31422 10 0 0
T115 0 220 0 0
T136 0 36 0 0
T153 0 417 0 0
T175 0 79 0 0
T176 0 39 0 0
T177 0 28 0 0
T178 0 4 0 0
T179 0 10 0 0
T180 1978 0 0 0
T181 4499 0 0 0
T182 10521 0 0 0
T183 14745 0 0 0
T184 14327 0 0 0
T185 3114 0 0 0
T186 2352 0 0 0
T187 3480 0 0 0
T188 128913 0 0 0
T198 0 1 0 0

sealing_sw_binding_4_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 4202 0 0
T83 31422 3 0 0
T115 0 216 0 0
T136 0 50 0 0
T153 0 491 0 0
T175 0 87 0 0
T176 0 26 0 0
T177 0 28 0 0
T178 0 1 0 0
T179 0 5 0 0
T180 1978 0 0 0
T181 4499 0 0 0
T182 10521 0 0 0
T183 14745 0 0 0
T184 14327 0 0 0
T185 3114 0 0 0
T186 2352 0 0 0
T187 3480 0 0 0
T188 128913 0 0 0
T198 0 2 0 0

sealing_sw_binding_5_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 4282 0 0
T83 31422 10 0 0
T115 0 215 0 0
T136 0 92 0 0
T153 0 495 0 0
T175 0 87 0 0
T176 0 44 0 0
T177 0 26 0 0
T178 0 5 0 0
T179 0 8 0 0
T180 1978 0 0 0
T181 4499 0 0 0
T182 10521 0 0 0
T183 14745 0 0 0
T184 14327 0 0 0
T185 3114 0 0 0
T186 2352 0 0 0
T187 3480 0 0 0
T188 128913 0 0 0
T198 0 2 0 0

sealing_sw_binding_6_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 4163 0 0
T83 31422 27 0 0
T115 0 252 0 0
T136 0 51 0 0
T153 0 474 0 0
T161 0 72 0 0
T175 0 39 0 0
T176 0 57 0 0
T177 0 10 0 0
T178 0 4 0 0
T179 0 4 0 0
T180 1978 0 0 0
T181 4499 0 0 0
T182 10521 0 0 0
T183 14745 0 0 0
T184 14327 0 0 0
T185 3114 0 0 0
T186 2352 0 0 0
T187 3480 0 0 0
T188 128913 0 0 0

sealing_sw_binding_7_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 4086 0 0
T83 31422 10 0 0
T115 0 207 0 0
T136 0 38 0 0
T153 0 497 0 0
T161 0 83 0 0
T175 0 69 0 0
T176 0 67 0 0
T177 0 15 0 0
T178 0 3 0 0
T179 0 11 0 0
T180 1978 0 0 0
T181 4499 0 0 0
T182 10521 0 0 0
T183 14745 0 0 0
T184 14327 0 0 0
T185 3114 0 0 0
T186 2352 0 0 0
T187 3480 0 0 0
T188 128913 0 0 0

sideload_clear_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 23777885 4140 0 0
T83 31422 6 0 0
T115 0 235 0 0
T136 0 35 0 0
T153 0 489 0 0
T161 0 85 0 0
T175 0 52 0 0
T176 0 42 0 0
T177 0 29 0 0
T178 0 3 0 0
T179 0 1 0 0
T180 1978 0 0 0
T181 4499 0 0 0
T182 10521 0 0 0
T183 14745 0 0 0
T184 14327 0 0 0
T185 3114 0 0 0
T186 2352 0 0 0
T187 3480 0 0 0
T188 128913 0 0 0

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