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 28921043 17867 0 0
attest_sw_binding_0_rd_A 28921043 2661 0 0
attest_sw_binding_1_rd_A 28921043 2774 0 0
attest_sw_binding_2_rd_A 28921043 2885 0 0
attest_sw_binding_3_rd_A 28921043 2657 0 0
attest_sw_binding_4_rd_A 28921043 2704 0 0
attest_sw_binding_5_rd_A 28921043 2658 0 0
attest_sw_binding_6_rd_A 28921043 2553 0 0
attest_sw_binding_7_rd_A 28921043 2718 0 0
intr_enable_rd_A 28921043 3218 0 0
key_version_rd_A 28921043 2763 0 0
max_creator_key_ver_regwen_rd_A 28921043 2611 0 0
max_owner_int_key_ver_regwen_rd_A 28921043 2605 0 0
max_owner_key_ver_regwen_rd_A 28921043 2654 0 0
reseed_interval_regwen_rd_A 28921043 2709 0 0
salt_0_rd_A 28921043 2663 0 0
salt_1_rd_A 28921043 2697 0 0
salt_2_rd_A 28921043 2651 0 0
salt_3_rd_A 28921043 2811 0 0
salt_4_rd_A 28921043 2627 0 0
salt_5_rd_A 28921043 2691 0 0
salt_6_rd_A 28921043 2706 0 0
salt_7_rd_A 28921043 2478 0 0
sealing_sw_binding_0_rd_A 28921043 2756 0 0
sealing_sw_binding_1_rd_A 28921043 2693 0 0
sealing_sw_binding_2_rd_A 28921043 2675 0 0
sealing_sw_binding_3_rd_A 28921043 2733 0 0
sealing_sw_binding_4_rd_A 28921043 2691 0 0
sealing_sw_binding_5_rd_A 28921043 2560 0 0
sealing_sw_binding_6_rd_A 28921043 2760 0 0
sealing_sw_binding_7_rd_A 28921043 2618 0 0
sideload_clear_rd_A 28921043 2690 0 0


TlulOOBAddrErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 17867 0 0
T15 20838 27 0 0
T16 5868 0 0 0
T17 1328 0 0 0
T18 76166 0 0 0
T24 8736 0 0 0
T33 13802 0 0 0
T68 0 132 0 0
T74 0 677 0 0
T82 9293 0 0 0
T83 5721 0 0 0
T103 888 0 0 0
T104 1679 0 0 0
T111 0 136 0 0
T112 0 244 0 0
T116 0 504 0 0
T123 0 596 0 0
T124 0 378 0 0
T125 0 228 0 0
T126 0 324 0 0

attest_sw_binding_0_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 2661 0 0
T120 0 112 0 0
T134 0 5 0 0
T135 0 16 0 0
T137 0 10 0 0
T152 0 82 0 0
T160 0 11 0 0
T180 50627 16 0 0
T181 0 14 0 0
T182 0 2 0 0
T183 0 12 0 0
T184 4136 0 0 0
T185 5920 0 0 0
T186 9168 0 0 0
T187 13074 0 0 0
T188 99896 0 0 0
T189 96951 0 0 0
T190 5165 0 0 0
T191 27133 0 0 0
T192 3373 0 0 0

attest_sw_binding_1_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 2774 0 0
T120 0 92 0 0
T122 0 118 0 0
T134 0 57 0 0
T135 0 11 0 0
T137 0 5 0 0
T152 0 67 0 0
T160 0 11 0 0
T180 50627 26 0 0
T181 0 37 0 0
T182 0 17 0 0
T184 4136 0 0 0
T185 5920 0 0 0
T186 9168 0 0 0
T187 13074 0 0 0
T188 99896 0 0 0
T189 96951 0 0 0
T190 5165 0 0 0
T191 27133 0 0 0
T192 3373 0 0 0

attest_sw_binding_2_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 2885 0 0
T120 0 135 0 0
T122 0 93 0 0
T135 0 2 0 0
T137 0 3 0 0
T152 0 64 0 0
T160 0 13 0 0
T180 50627 32 0 0
T181 0 50 0 0
T182 0 13 0 0
T184 4136 0 0 0
T185 5920 0 0 0
T186 9168 0 0 0
T187 13074 0 0 0
T188 99896 0 0 0
T189 96951 0 0 0
T190 5165 0 0 0
T191 27133 0 0 0
T192 3373 0 0 0
T193 0 239 0 0

attest_sw_binding_3_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 2657 0 0
T120 0 94 0 0
T134 0 13 0 0
T135 0 9 0 0
T137 0 2 0 0
T152 0 77 0 0
T160 0 14 0 0
T165 5966 0 0 0
T180 0 36 0 0
T181 0 6 0 0
T182 0 3 0 0
T194 122729 7 0 0
T195 17864 0 0 0
T196 5026 0 0 0
T197 15895 0 0 0
T198 6824 0 0 0
T199 54520 0 0 0
T200 8844 0 0 0
T201 5572 0 0 0
T202 30265 0 0 0

attest_sw_binding_4_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 2704 0 0
T120 0 93 0 0
T134 0 22 0 0
T135 0 41 0 0
T137 0 9 0 0
T152 0 106 0 0
T160 0 18 0 0
T180 50627 11 0 0
T181 0 18 0 0
T182 0 9 0 0
T183 0 8 0 0
T184 4136 0 0 0
T185 5920 0 0 0
T186 9168 0 0 0
T187 13074 0 0 0
T188 99896 0 0 0
T189 96951 0 0 0
T190 5165 0 0 0
T191 27133 0 0 0
T192 3373 0 0 0

attest_sw_binding_5_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 2658 0 0
T120 0 89 0 0
T122 0 103 0 0
T134 0 3 0 0
T135 0 37 0 0
T137 0 12 0 0
T152 0 84 0 0
T160 0 25 0 0
T180 50627 14 0 0
T181 0 18 0 0
T182 0 6 0 0
T184 4136 0 0 0
T185 5920 0 0 0
T186 9168 0 0 0
T187 13074 0 0 0
T188 99896 0 0 0
T189 96951 0 0 0
T190 5165 0 0 0
T191 27133 0 0 0
T192 3373 0 0 0

attest_sw_binding_6_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 2553 0 0
T69 4925 0 0 0
T134 0 22 0 0
T135 0 8 0 0
T137 0 5 0 0
T152 0 74 0 0
T160 0 22 0 0
T180 0 18 0 0
T181 0 37 0 0
T182 0 8 0 0
T183 0 7 0 0
T203 10203 1 0 0
T204 48198 0 0 0
T205 6976 0 0 0
T206 6068 0 0 0
T207 12969 0 0 0
T208 6791 0 0 0
T209 942 0 0 0
T210 3164 0 0 0
T211 48871 0 0 0

attest_sw_binding_7_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 2718 0 0
T120 0 86 0 0
T134 0 11 0 0
T135 0 9 0 0
T137 0 2 0 0
T152 0 98 0 0
T160 0 15 0 0
T180 50627 49 0 0
T181 0 21 0 0
T182 0 7 0 0
T183 0 13 0 0
T184 4136 0 0 0
T185 5920 0 0 0
T186 9168 0 0 0
T187 13074 0 0 0
T188 99896 0 0 0
T189 96951 0 0 0
T190 5165 0 0 0
T191 27133 0 0 0
T192 3373 0 0 0

intr_enable_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 3218 0 0
T6 26014 0 0 0
T10 64779 0 0 0
T21 28400 0 0 0
T52 0 5 0 0
T63 0 15 0 0
T98 8368 0 0 0
T105 240981 0 0 0
T106 104300 0 0 0
T212 105925 12 0 0
T213 0 12 0 0
T214 0 49 0 0
T215 0 33 0 0
T216 0 23 0 0
T217 0 12 0 0
T218 0 20 0 0
T219 0 102 0 0
T220 5361 0 0 0
T221 17499 0 0 0
T222 106059 0 0 0

key_version_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 2763 0 0
T120 0 98 0 0
T134 0 9 0 0
T135 0 36 0 0
T137 0 15 0 0
T152 0 87 0 0
T160 0 21 0 0
T180 50627 44 0 0
T181 0 14 0 0
T182 0 1 0 0
T183 0 7 0 0
T184 4136 0 0 0
T185 5920 0 0 0
T186 9168 0 0 0
T187 13074 0 0 0
T188 99896 0 0 0
T189 96951 0 0 0
T190 5165 0 0 0
T191 27133 0 0 0
T192 3373 0 0 0

max_creator_key_ver_regwen_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 2611 0 0
T120 0 104 0 0
T134 0 16 0 0
T135 0 33 0 0
T137 0 2 0 0
T152 0 80 0 0
T160 0 21 0 0
T180 50627 43 0 0
T181 0 21 0 0
T182 0 11 0 0
T183 0 13 0 0
T184 4136 0 0 0
T185 5920 0 0 0
T186 9168 0 0 0
T187 13074 0 0 0
T188 99896 0 0 0
T189 96951 0 0 0
T190 5165 0 0 0
T191 27133 0 0 0
T192 3373 0 0 0

max_owner_int_key_ver_regwen_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 2605 0 0
T120 0 85 0 0
T134 0 9 0 0
T135 0 25 0 0
T137 0 5 0 0
T152 0 65 0 0
T160 0 12 0 0
T180 50627 20 0 0
T181 0 18 0 0
T182 0 5 0 0
T183 0 14 0 0
T184 4136 0 0 0
T185 5920 0 0 0
T186 9168 0 0 0
T187 13074 0 0 0
T188 99896 0 0 0
T189 96951 0 0 0
T190 5165 0 0 0
T191 27133 0 0 0
T192 3373 0 0 0

max_owner_key_ver_regwen_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 2654 0 0
T120 0 90 0 0
T134 0 24 0 0
T135 0 15 0 0
T137 0 8 0 0
T152 0 65 0 0
T160 0 12 0 0
T180 50627 18 0 0
T181 0 15 0 0
T182 0 1 0 0
T183 0 2 0 0
T184 4136 0 0 0
T185 5920 0 0 0
T186 9168 0 0 0
T187 13074 0 0 0
T188 99896 0 0 0
T189 96951 0 0 0
T190 5165 0 0 0
T191 27133 0 0 0
T192 3373 0 0 0

reseed_interval_regwen_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 2709 0 0
T120 0 96 0 0
T134 0 11 0 0
T135 0 24 0 0
T137 0 17 0 0
T152 0 84 0 0
T160 0 24 0 0
T180 50627 32 0 0
T181 0 27 0 0
T182 0 16 0 0
T183 0 14 0 0
T184 4136 0 0 0
T185 5920 0 0 0
T186 9168 0 0 0
T187 13074 0 0 0
T188 99896 0 0 0
T189 96951 0 0 0
T190 5165 0 0 0
T191 27133 0 0 0
T192 3373 0 0 0

salt_0_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 2663 0 0
T120 0 94 0 0
T134 0 21 0 0
T135 0 19 0 0
T137 0 18 0 0
T152 0 78 0 0
T160 0 17 0 0
T180 50627 33 0 0
T181 0 21 0 0
T182 0 8 0 0
T183 0 5 0 0
T184 4136 0 0 0
T185 5920 0 0 0
T186 9168 0 0 0
T187 13074 0 0 0
T188 99896 0 0 0
T189 96951 0 0 0
T190 5165 0 0 0
T191 27133 0 0 0
T192 3373 0 0 0

salt_1_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 2697 0 0
T120 0 79 0 0
T122 0 85 0 0
T134 0 2 0 0
T135 0 10 0 0
T137 0 19 0 0
T152 0 83 0 0
T160 0 16 0 0
T180 50627 36 0 0
T181 0 40 0 0
T184 4136 0 0 0
T185 5920 0 0 0
T186 9168 0 0 0
T187 13074 0 0 0
T188 99896 0 0 0
T189 96951 0 0 0
T190 5165 0 0 0
T191 27133 0 0 0
T192 3373 0 0 0
T193 0 238 0 0

salt_2_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 2651 0 0
T120 0 74 0 0
T122 0 94 0 0
T135 0 24 0 0
T137 0 10 0 0
T152 0 75 0 0
T160 0 16 0 0
T180 50627 35 0 0
T181 0 25 0 0
T182 0 1 0 0
T183 0 9 0 0
T184 4136 0 0 0
T185 5920 0 0 0
T186 9168 0 0 0
T187 13074 0 0 0
T188 99896 0 0 0
T189 96951 0 0 0
T190 5165 0 0 0
T191 27133 0 0 0
T192 3373 0 0 0

salt_3_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 2811 0 0
T120 0 100 0 0
T122 0 70 0 0
T134 0 13 0 0
T135 0 30 0 0
T137 0 2 0 0
T152 0 76 0 0
T160 0 13 0 0
T180 50627 21 0 0
T181 0 19 0 0
T182 0 11 0 0
T184 4136 0 0 0
T185 5920 0 0 0
T186 9168 0 0 0
T187 13074 0 0 0
T188 99896 0 0 0
T189 96951 0 0 0
T190 5165 0 0 0
T191 27133 0 0 0
T192 3373 0 0 0

salt_4_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 2627 0 0
T120 0 88 0 0
T134 0 1 0 0
T135 0 34 0 0
T137 0 9 0 0
T152 0 82 0 0
T160 0 25 0 0
T180 50627 27 0 0
T181 0 10 0 0
T182 0 8 0 0
T183 0 5 0 0
T184 4136 0 0 0
T185 5920 0 0 0
T186 9168 0 0 0
T187 13074 0 0 0
T188 99896 0 0 0
T189 96951 0 0 0
T190 5165 0 0 0
T191 27133 0 0 0
T192 3373 0 0 0

salt_5_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 2691 0 0
T120 0 103 0 0
T134 0 7 0 0
T135 0 31 0 0
T137 0 3 0 0
T152 0 79 0 0
T160 0 11 0 0
T180 50627 20 0 0
T181 0 14 0 0
T182 0 5 0 0
T183 0 5 0 0
T184 4136 0 0 0
T185 5920 0 0 0
T186 9168 0 0 0
T187 13074 0 0 0
T188 99896 0 0 0
T189 96951 0 0 0
T190 5165 0 0 0
T191 27133 0 0 0
T192 3373 0 0 0

salt_6_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 2706 0 0
T120 0 99 0 0
T134 0 23 0 0
T135 0 40 0 0
T137 0 14 0 0
T152 0 77 0 0
T160 0 10 0 0
T180 50627 15 0 0
T181 0 14 0 0
T182 0 12 0 0
T183 0 10 0 0
T184 4136 0 0 0
T185 5920 0 0 0
T186 9168 0 0 0
T187 13074 0 0 0
T188 99896 0 0 0
T189 96951 0 0 0
T190 5165 0 0 0
T191 27133 0 0 0
T192 3373 0 0 0

salt_7_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 2478 0 0
T120 0 67 0 0
T134 0 6 0 0
T135 0 27 0 0
T137 0 10 0 0
T152 0 66 0 0
T160 0 17 0 0
T180 50627 26 0 0
T181 0 16 0 0
T182 0 11 0 0
T183 0 12 0 0
T184 4136 0 0 0
T185 5920 0 0 0
T186 9168 0 0 0
T187 13074 0 0 0
T188 99896 0 0 0
T189 96951 0 0 0
T190 5165 0 0 0
T191 27133 0 0 0
T192 3373 0 0 0

sealing_sw_binding_0_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 2756 0 0
T120 0 101 0 0
T134 0 23 0 0
T135 0 11 0 0
T137 0 8 0 0
T152 0 82 0 0
T160 0 9 0 0
T180 50627 62 0 0
T181 0 54 0 0
T182 0 3 0 0
T183 0 12 0 0
T184 4136 0 0 0
T185 5920 0 0 0
T186 9168 0 0 0
T187 13074 0 0 0
T188 99896 0 0 0
T189 96951 0 0 0
T190 5165 0 0 0
T191 27133 0 0 0
T192 3373 0 0 0

sealing_sw_binding_1_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 2693 0 0
T120 0 93 0 0
T134 0 24 0 0
T135 0 73 0 0
T152 0 76 0 0
T160 0 11 0 0
T180 0 8 0 0
T181 0 13 0 0
T182 0 10 0 0
T183 0 10 0 0
T223 7689 2 0 0
T224 6548 0 0 0
T225 2975 0 0 0
T226 2871 0 0 0
T227 26021 0 0 0
T228 11895 0 0 0
T229 4871 0 0 0
T230 7457 0 0 0
T231 12997 0 0 0
T232 4493 0 0 0

sealing_sw_binding_2_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 2675 0 0
T120 0 123 0 0
T134 0 3 0 0
T135 0 37 0 0
T137 0 5 0 0
T152 0 69 0 0
T160 0 14 0 0
T180 50627 15 0 0
T181 0 26 0 0
T182 0 2 0 0
T183 0 9 0 0
T184 4136 0 0 0
T185 5920 0 0 0
T186 9168 0 0 0
T187 13074 0 0 0
T188 99896 0 0 0
T189 96951 0 0 0
T190 5165 0 0 0
T191 27133 0 0 0
T192 3373 0 0 0

sealing_sw_binding_3_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 2733 0 0
T120 0 82 0 0
T122 0 114 0 0
T134 0 3 0 0
T135 0 43 0 0
T137 0 14 0 0
T152 0 91 0 0
T160 0 27 0 0
T180 50627 33 0 0
T181 0 16 0 0
T182 0 16 0 0
T184 4136 0 0 0
T185 5920 0 0 0
T186 9168 0 0 0
T187 13074 0 0 0
T188 99896 0 0 0
T189 96951 0 0 0
T190 5165 0 0 0
T191 27133 0 0 0
T192 3373 0 0 0

sealing_sw_binding_4_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 2691 0 0
T120 0 94 0 0
T134 0 4 0 0
T135 0 24 0 0
T137 0 8 0 0
T152 0 77 0 0
T160 0 2 0 0
T180 50627 27 0 0
T181 0 3 0 0
T182 0 14 0 0
T183 0 6 0 0
T184 4136 0 0 0
T185 5920 0 0 0
T186 9168 0 0 0
T187 13074 0 0 0
T188 99896 0 0 0
T189 96951 0 0 0
T190 5165 0 0 0
T191 27133 0 0 0
T192 3373 0 0 0

sealing_sw_binding_5_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 2560 0 0
T120 0 87 0 0
T134 0 12 0 0
T135 0 13 0 0
T137 0 11 0 0
T152 0 75 0 0
T160 0 17 0 0
T180 50627 22 0 0
T181 0 1 0 0
T182 0 7 0 0
T183 0 7 0 0
T184 4136 0 0 0
T185 5920 0 0 0
T186 9168 0 0 0
T187 13074 0 0 0
T188 99896 0 0 0
T189 96951 0 0 0
T190 5165 0 0 0
T191 27133 0 0 0
T192 3373 0 0 0

sealing_sw_binding_6_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 2760 0 0
T120 0 98 0 0
T134 0 11 0 0
T135 0 22 0 0
T137 0 10 0 0
T152 0 73 0 0
T160 0 23 0 0
T180 50627 30 0 0
T181 0 12 0 0
T182 0 15 0 0
T183 0 6 0 0
T184 4136 0 0 0
T185 5920 0 0 0
T186 9168 0 0 0
T187 13074 0 0 0
T188 99896 0 0 0
T189 96951 0 0 0
T190 5165 0 0 0
T191 27133 0 0 0
T192 3373 0 0 0

sealing_sw_binding_7_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 2618 0 0
T120 0 101 0 0
T134 0 15 0 0
T135 0 11 0 0
T137 0 12 0 0
T152 0 73 0 0
T160 0 18 0 0
T180 50627 14 0 0
T181 0 6 0 0
T182 0 8 0 0
T183 0 2 0 0
T184 4136 0 0 0
T185 5920 0 0 0
T186 9168 0 0 0
T187 13074 0 0 0
T188 99896 0 0 0
T189 96951 0 0 0
T190 5165 0 0 0
T191 27133 0 0 0
T192 3373 0 0 0

sideload_clear_rd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 28921043 2690 0 0
T120 0 76 0 0
T134 0 6 0 0
T135 0 17 0 0
T137 0 8 0 0
T152 0 72 0 0
T160 0 12 0 0
T180 50627 37 0 0
T181 0 9 0 0
T182 0 4 0 0
T183 0 15 0 0
T184 4136 0 0 0
T185 5920 0 0 0
T186 9168 0 0 0
T187 13074 0 0 0
T188 99896 0 0 0
T189 96951 0 0 0
T190 5165 0 0 0
T191 27133 0 0 0
T192 3373 0 0 0

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