Assert Coverage for Module :
pwrmgr_csr_assert_fpv
Assertion Details
TlulOOBAddrErr_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
27211304 |
16412 |
0 |
0 |
T20 |
325452 |
15 |
0 |
0 |
T21 |
0 |
17 |
0 |
0 |
T22 |
0 |
39 |
0 |
0 |
T32 |
942 |
0 |
0 |
0 |
T33 |
1442 |
0 |
0 |
0 |
T34 |
1456 |
0 |
0 |
0 |
T35 |
1637 |
0 |
0 |
0 |
T42 |
2930 |
0 |
0 |
0 |
T48 |
0 |
17 |
0 |
0 |
T49 |
0 |
114 |
0 |
0 |
T50 |
0 |
82 |
0 |
0 |
T95 |
8496 |
0 |
0 |
0 |
T132 |
0 |
20 |
0 |
0 |
T133 |
0 |
35 |
0 |
0 |
T134 |
0 |
10 |
0 |
0 |
T135 |
0 |
14 |
0 |
0 |
T136 |
2094 |
0 |
0 |
0 |
T137 |
53284 |
0 |
0 |
0 |
T138 |
23160 |
0 |
0 |
0 |
intr_enable_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
27211304 |
42562 |
0 |
0 |
T9 |
7660 |
40 |
0 |
0 |
T10 |
1691 |
0 |
0 |
0 |
T11 |
15618 |
0 |
0 |
0 |
T12 |
15089 |
0 |
0 |
0 |
T13 |
62831 |
0 |
0 |
0 |
T20 |
0 |
801 |
0 |
0 |
T23 |
17936 |
151 |
0 |
0 |
T24 |
2599 |
0 |
0 |
0 |
T25 |
6558 |
0 |
0 |
0 |
T29 |
0 |
9 |
0 |
0 |
T30 |
0 |
55 |
0 |
0 |
T33 |
0 |
11 |
0 |
0 |
T53 |
7188 |
49 |
0 |
0 |
T57 |
0 |
34 |
0 |
0 |
T80 |
2063 |
0 |
0 |
0 |
T81 |
0 |
29 |
0 |
0 |
T99 |
0 |
77 |
0 |
0 |
reset_en_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
27211304 |
1453 |
0 |
0 |
T20 |
325452 |
2 |
0 |
0 |
T32 |
942 |
0 |
0 |
0 |
T33 |
1442 |
0 |
0 |
0 |
T34 |
1456 |
0 |
0 |
0 |
T35 |
1637 |
0 |
0 |
0 |
T42 |
2930 |
0 |
0 |
0 |
T48 |
0 |
4 |
0 |
0 |
T74 |
0 |
1 |
0 |
0 |
T83 |
0 |
12 |
0 |
0 |
T95 |
8496 |
0 |
0 |
0 |
T135 |
0 |
12 |
0 |
0 |
T136 |
2094 |
0 |
0 |
0 |
T137 |
53284 |
0 |
0 |
0 |
T138 |
23160 |
0 |
0 |
0 |
T139 |
0 |
4 |
0 |
0 |
T140 |
0 |
7 |
0 |
0 |
T141 |
0 |
12 |
0 |
0 |
T142 |
0 |
9 |
0 |
0 |
T143 |
0 |
14 |
0 |
0 |
reset_en_regwen_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
27211304 |
1252 |
0 |
0 |
T20 |
325452 |
7 |
0 |
0 |
T32 |
942 |
0 |
0 |
0 |
T33 |
1442 |
0 |
0 |
0 |
T34 |
1456 |
0 |
0 |
0 |
T35 |
1637 |
0 |
0 |
0 |
T42 |
2930 |
0 |
0 |
0 |
T74 |
0 |
10 |
0 |
0 |
T83 |
0 |
10 |
0 |
0 |
T95 |
8496 |
0 |
0 |
0 |
T135 |
0 |
5 |
0 |
0 |
T136 |
2094 |
0 |
0 |
0 |
T137 |
53284 |
0 |
0 |
0 |
T138 |
23160 |
0 |
0 |
0 |
T139 |
0 |
9 |
0 |
0 |
T140 |
0 |
6 |
0 |
0 |
T141 |
0 |
4 |
0 |
0 |
T142 |
0 |
3 |
0 |
0 |
T143 |
0 |
15 |
0 |
0 |
T144 |
0 |
16 |
0 |
0 |
wake_info_capture_dis_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
27211304 |
1373 |
0 |
0 |
T48 |
393519 |
15 |
0 |
0 |
T49 |
483194 |
0 |
0 |
0 |
T74 |
0 |
12 |
0 |
0 |
T83 |
0 |
11 |
0 |
0 |
T85 |
1340 |
0 |
0 |
0 |
T86 |
1523 |
0 |
0 |
0 |
T87 |
2912 |
0 |
0 |
0 |
T88 |
42659 |
0 |
0 |
0 |
T89 |
5607 |
0 |
0 |
0 |
T90 |
1621 |
0 |
0 |
0 |
T91 |
21734 |
0 |
0 |
0 |
T92 |
13108 |
0 |
0 |
0 |
T135 |
0 |
17 |
0 |
0 |
T139 |
0 |
2 |
0 |
0 |
T140 |
0 |
9 |
0 |
0 |
T141 |
0 |
5 |
0 |
0 |
T142 |
0 |
4 |
0 |
0 |
T143 |
0 |
19 |
0 |
0 |
T144 |
0 |
18 |
0 |
0 |
wakeup_en_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
27211304 |
2080 |
0 |
0 |
T74 |
0 |
11 |
0 |
0 |
T83 |
0 |
14 |
0 |
0 |
T135 |
587553 |
15 |
0 |
0 |
T139 |
0 |
10 |
0 |
0 |
T140 |
0 |
9 |
0 |
0 |
T141 |
0 |
14 |
0 |
0 |
T142 |
0 |
10 |
0 |
0 |
T143 |
0 |
15 |
0 |
0 |
T144 |
0 |
8 |
0 |
0 |
T145 |
0 |
4 |
0 |
0 |
T146 |
59502 |
0 |
0 |
0 |
T147 |
19706 |
0 |
0 |
0 |
T148 |
138022 |
0 |
0 |
0 |
T149 |
3513 |
0 |
0 |
0 |
T150 |
2167 |
0 |
0 |
0 |
T151 |
2136 |
0 |
0 |
0 |
T152 |
28812 |
0 |
0 |
0 |
T153 |
1826 |
0 |
0 |
0 |
T154 |
15312 |
0 |
0 |
0 |
wakeup_en_regwen_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
27211304 |
1399 |
0 |
0 |
T20 |
325452 |
2 |
0 |
0 |
T32 |
942 |
0 |
0 |
0 |
T33 |
1442 |
0 |
0 |
0 |
T34 |
1456 |
0 |
0 |
0 |
T35 |
1637 |
0 |
0 |
0 |
T42 |
2930 |
0 |
0 |
0 |
T48 |
0 |
1 |
0 |
0 |
T74 |
0 |
20 |
0 |
0 |
T83 |
0 |
7 |
0 |
0 |
T95 |
8496 |
0 |
0 |
0 |
T135 |
0 |
4 |
0 |
0 |
T136 |
2094 |
0 |
0 |
0 |
T137 |
53284 |
0 |
0 |
0 |
T138 |
23160 |
0 |
0 |
0 |
T139 |
0 |
2 |
0 |
0 |
T140 |
0 |
10 |
0 |
0 |
T141 |
0 |
3 |
0 |
0 |
T142 |
0 |
8 |
0 |
0 |
T143 |
0 |
17 |
0 |
0 |