Assert Coverage for Module :
pwrmgr_csr_assert_fpv
Assertion Details
TlulOOBAddrErr_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
25032198 |
14225 |
0 |
0 |
T12 |
106507 |
5 |
0 |
0 |
T13 |
2250 |
0 |
0 |
0 |
T16 |
1363 |
0 |
0 |
0 |
T22 |
0 |
35 |
0 |
0 |
T23 |
0 |
3 |
0 |
0 |
T41 |
4617 |
0 |
0 |
0 |
T42 |
4488 |
0 |
0 |
0 |
T43 |
2635 |
0 |
0 |
0 |
T44 |
4641 |
0 |
0 |
0 |
T46 |
1858 |
0 |
0 |
0 |
T49 |
0 |
116 |
0 |
0 |
T52 |
0 |
25 |
0 |
0 |
T53 |
0 |
26 |
0 |
0 |
T89 |
0 |
15 |
0 |
0 |
T91 |
2483 |
0 |
0 |
0 |
T127 |
0 |
44 |
0 |
0 |
T128 |
0 |
7 |
0 |
0 |
T129 |
0 |
83 |
0 |
0 |
T130 |
6119 |
0 |
0 |
0 |
intr_enable_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
25032198 |
46406 |
0 |
0 |
T4 |
2086 |
12 |
0 |
0 |
T5 |
15205 |
0 |
0 |
0 |
T6 |
28389 |
0 |
0 |
0 |
T7 |
10690 |
15 |
0 |
0 |
T8 |
15049 |
0 |
0 |
0 |
T9 |
20064 |
0 |
0 |
0 |
T10 |
6302 |
55 |
0 |
0 |
T13 |
0 |
12 |
0 |
0 |
T21 |
3032 |
0 |
0 |
0 |
T22 |
0 |
1716 |
0 |
0 |
T24 |
0 |
19 |
0 |
0 |
T37 |
10158 |
0 |
0 |
0 |
T76 |
7253 |
124 |
0 |
0 |
T82 |
0 |
127 |
0 |
0 |
T83 |
0 |
37 |
0 |
0 |
T131 |
0 |
3 |
0 |
0 |
reset_en_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
25032198 |
1162 |
0 |
0 |
T55 |
0 |
99 |
0 |
0 |
T78 |
100833 |
0 |
0 |
0 |
T79 |
246050 |
0 |
0 |
0 |
T117 |
0 |
7 |
0 |
0 |
T118 |
0 |
31 |
0 |
0 |
T132 |
581577 |
17 |
0 |
0 |
T133 |
0 |
2 |
0 |
0 |
T134 |
0 |
4 |
0 |
0 |
T135 |
0 |
5 |
0 |
0 |
T136 |
0 |
5 |
0 |
0 |
T137 |
0 |
6 |
0 |
0 |
T138 |
0 |
1 |
0 |
0 |
T139 |
3273 |
0 |
0 |
0 |
T140 |
2929 |
0 |
0 |
0 |
T141 |
1513 |
0 |
0 |
0 |
T142 |
2317 |
0 |
0 |
0 |
T143 |
1499 |
0 |
0 |
0 |
T144 |
6763 |
0 |
0 |
0 |
T145 |
10104 |
0 |
0 |
0 |
reset_en_regwen_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
25032198 |
1158 |
0 |
0 |
T22 |
639559 |
7 |
0 |
0 |
T55 |
0 |
83 |
0 |
0 |
T68 |
0 |
7 |
0 |
0 |
T80 |
913 |
0 |
0 |
0 |
T81 |
7569 |
0 |
0 |
0 |
T82 |
4376 |
0 |
0 |
0 |
T83 |
21681 |
0 |
0 |
0 |
T84 |
1449 |
0 |
0 |
0 |
T85 |
18651 |
0 |
0 |
0 |
T86 |
1130 |
0 |
0 |
0 |
T87 |
12004 |
0 |
0 |
0 |
T88 |
1182 |
0 |
0 |
0 |
T89 |
0 |
1 |
0 |
0 |
T117 |
0 |
14 |
0 |
0 |
T132 |
0 |
7 |
0 |
0 |
T133 |
0 |
4 |
0 |
0 |
T134 |
0 |
7 |
0 |
0 |
T135 |
0 |
11 |
0 |
0 |
T146 |
0 |
2 |
0 |
0 |
wake_info_capture_dis_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
25032198 |
1095 |
0 |
0 |
T55 |
0 |
78 |
0 |
0 |
T68 |
0 |
4 |
0 |
0 |
T117 |
0 |
30 |
0 |
0 |
T132 |
0 |
11 |
0 |
0 |
T133 |
0 |
6 |
0 |
0 |
T134 |
0 |
7 |
0 |
0 |
T135 |
0 |
3 |
0 |
0 |
T136 |
0 |
4 |
0 |
0 |
T146 |
0 |
1 |
0 |
0 |
T147 |
129113 |
5 |
0 |
0 |
T148 |
3490 |
0 |
0 |
0 |
T149 |
1269 |
0 |
0 |
0 |
T150 |
2108 |
0 |
0 |
0 |
T151 |
7055 |
0 |
0 |
0 |
T152 |
13256 |
0 |
0 |
0 |
T153 |
47894 |
0 |
0 |
0 |
T154 |
18247 |
0 |
0 |
0 |
T155 |
9420 |
0 |
0 |
0 |
T156 |
802 |
0 |
0 |
0 |
wakeup_en_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
25032198 |
1755 |
0 |
0 |
T54 |
0 |
4 |
0 |
0 |
T55 |
0 |
318 |
0 |
0 |
T59 |
14589 |
0 |
0 |
0 |
T68 |
0 |
16 |
0 |
0 |
T89 |
479210 |
3 |
0 |
0 |
T97 |
58370 |
0 |
0 |
0 |
T126 |
63909 |
0 |
0 |
0 |
T132 |
0 |
16 |
0 |
0 |
T133 |
0 |
6 |
0 |
0 |
T134 |
0 |
4 |
0 |
0 |
T135 |
0 |
12 |
0 |
0 |
T146 |
0 |
5 |
0 |
0 |
T157 |
0 |
1 |
0 |
0 |
T158 |
15667 |
0 |
0 |
0 |
T159 |
27115 |
0 |
0 |
0 |
T160 |
1658 |
0 |
0 |
0 |
T161 |
15024 |
0 |
0 |
0 |
T162 |
10989 |
0 |
0 |
0 |
T163 |
5840 |
0 |
0 |
0 |
wakeup_en_regwen_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
25032198 |
1159 |
0 |
0 |
T22 |
639559 |
8 |
0 |
0 |
T54 |
0 |
8 |
0 |
0 |
T55 |
0 |
64 |
0 |
0 |
T68 |
0 |
3 |
0 |
0 |
T80 |
913 |
0 |
0 |
0 |
T81 |
7569 |
0 |
0 |
0 |
T82 |
4376 |
0 |
0 |
0 |
T83 |
21681 |
0 |
0 |
0 |
T84 |
1449 |
0 |
0 |
0 |
T85 |
18651 |
0 |
0 |
0 |
T86 |
1130 |
0 |
0 |
0 |
T87 |
12004 |
0 |
0 |
0 |
T88 |
1182 |
0 |
0 |
0 |
T89 |
0 |
8 |
0 |
0 |
T117 |
0 |
23 |
0 |
0 |
T132 |
0 |
17 |
0 |
0 |
T133 |
0 |
1 |
0 |
0 |
T135 |
0 |
1 |
0 |
0 |
T146 |
0 |
8 |
0 |
0 |