Assert Coverage for Module :
pwrmgr_csr_assert_fpv
Assertion Details
TlulOOBAddrErr_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
27242265 |
16498 |
0 |
0 |
T2 |
376836 |
13 |
0 |
0 |
T3 |
15723 |
0 |
0 |
0 |
T4 |
7746 |
0 |
0 |
0 |
T5 |
30151 |
0 |
0 |
0 |
T6 |
14984 |
0 |
0 |
0 |
T7 |
27770 |
0 |
0 |
0 |
T8 |
1371 |
0 |
0 |
0 |
T9 |
2244 |
0 |
0 |
0 |
T10 |
15333 |
0 |
0 |
0 |
T17 |
0 |
26 |
0 |
0 |
T18 |
0 |
15 |
0 |
0 |
T19 |
1611 |
0 |
0 |
0 |
T51 |
0 |
33 |
0 |
0 |
T73 |
0 |
45 |
0 |
0 |
T81 |
0 |
7 |
0 |
0 |
T82 |
0 |
52 |
0 |
0 |
T97 |
0 |
8 |
0 |
0 |
T140 |
0 |
1 |
0 |
0 |
T141 |
0 |
13 |
0 |
0 |
intr_enable_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
27242265 |
52268 |
0 |
0 |
T2 |
376836 |
1492 |
0 |
0 |
T3 |
15723 |
0 |
0 |
0 |
T4 |
7746 |
0 |
0 |
0 |
T5 |
30151 |
0 |
0 |
0 |
T6 |
14984 |
0 |
0 |
0 |
T7 |
27770 |
258 |
0 |
0 |
T8 |
1371 |
0 |
0 |
0 |
T9 |
2244 |
0 |
0 |
0 |
T10 |
15333 |
0 |
0 |
0 |
T19 |
1611 |
0 |
0 |
0 |
T20 |
0 |
68 |
0 |
0 |
T46 |
0 |
112 |
0 |
0 |
T101 |
0 |
16 |
0 |
0 |
T109 |
0 |
11 |
0 |
0 |
T142 |
0 |
197 |
0 |
0 |
T143 |
0 |
7 |
0 |
0 |
T144 |
0 |
15 |
0 |
0 |
T145 |
0 |
28 |
0 |
0 |
reset_en_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
27242265 |
2131 |
0 |
0 |
T2 |
376836 |
2 |
0 |
0 |
T3 |
15723 |
0 |
0 |
0 |
T4 |
7746 |
0 |
0 |
0 |
T5 |
30151 |
0 |
0 |
0 |
T6 |
14984 |
0 |
0 |
0 |
T7 |
27770 |
0 |
0 |
0 |
T8 |
1371 |
0 |
0 |
0 |
T9 |
2244 |
0 |
0 |
0 |
T10 |
15333 |
0 |
0 |
0 |
T19 |
1611 |
0 |
0 |
0 |
T85 |
0 |
8 |
0 |
0 |
T86 |
0 |
5 |
0 |
0 |
T141 |
0 |
6 |
0 |
0 |
T146 |
0 |
2 |
0 |
0 |
T147 |
0 |
16 |
0 |
0 |
T148 |
0 |
3 |
0 |
0 |
T149 |
0 |
4 |
0 |
0 |
T150 |
0 |
12 |
0 |
0 |
T151 |
0 |
6 |
0 |
0 |
reset_en_regwen_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
27242265 |
1919 |
0 |
0 |
T2 |
376836 |
3 |
0 |
0 |
T3 |
15723 |
0 |
0 |
0 |
T4 |
7746 |
0 |
0 |
0 |
T5 |
30151 |
0 |
0 |
0 |
T6 |
14984 |
0 |
0 |
0 |
T7 |
27770 |
0 |
0 |
0 |
T8 |
1371 |
0 |
0 |
0 |
T9 |
2244 |
0 |
0 |
0 |
T10 |
15333 |
0 |
0 |
0 |
T19 |
1611 |
0 |
0 |
0 |
T85 |
0 |
9 |
0 |
0 |
T141 |
0 |
5 |
0 |
0 |
T146 |
0 |
15 |
0 |
0 |
T147 |
0 |
7 |
0 |
0 |
T148 |
0 |
1 |
0 |
0 |
T150 |
0 |
4 |
0 |
0 |
T151 |
0 |
5 |
0 |
0 |
T152 |
0 |
5 |
0 |
0 |
T153 |
0 |
12 |
0 |
0 |
wake_info_capture_dis_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
27242265 |
1877 |
0 |
0 |
T2 |
376836 |
5 |
0 |
0 |
T3 |
15723 |
0 |
0 |
0 |
T4 |
7746 |
0 |
0 |
0 |
T5 |
30151 |
0 |
0 |
0 |
T6 |
14984 |
0 |
0 |
0 |
T7 |
27770 |
0 |
0 |
0 |
T8 |
1371 |
0 |
0 |
0 |
T9 |
2244 |
0 |
0 |
0 |
T10 |
15333 |
0 |
0 |
0 |
T19 |
1611 |
0 |
0 |
0 |
T85 |
0 |
6 |
0 |
0 |
T141 |
0 |
8 |
0 |
0 |
T146 |
0 |
5 |
0 |
0 |
T147 |
0 |
1 |
0 |
0 |
T148 |
0 |
11 |
0 |
0 |
T149 |
0 |
1 |
0 |
0 |
T150 |
0 |
8 |
0 |
0 |
T152 |
0 |
7 |
0 |
0 |
T154 |
0 |
5 |
0 |
0 |
wakeup_en_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
27242265 |
2931 |
0 |
0 |
T2 |
376836 |
8 |
0 |
0 |
T3 |
15723 |
0 |
0 |
0 |
T4 |
7746 |
0 |
0 |
0 |
T5 |
30151 |
0 |
0 |
0 |
T6 |
14984 |
0 |
0 |
0 |
T7 |
27770 |
0 |
0 |
0 |
T8 |
1371 |
0 |
0 |
0 |
T9 |
2244 |
0 |
0 |
0 |
T10 |
15333 |
0 |
0 |
0 |
T19 |
1611 |
0 |
0 |
0 |
T81 |
0 |
2 |
0 |
0 |
T85 |
0 |
3 |
0 |
0 |
T141 |
0 |
6 |
0 |
0 |
T146 |
0 |
5 |
0 |
0 |
T147 |
0 |
7 |
0 |
0 |
T148 |
0 |
10 |
0 |
0 |
T149 |
0 |
8 |
0 |
0 |
T150 |
0 |
8 |
0 |
0 |
T152 |
0 |
6 |
0 |
0 |
wakeup_en_regwen_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
27242265 |
1852 |
0 |
0 |
T2 |
376836 |
8 |
0 |
0 |
T3 |
15723 |
0 |
0 |
0 |
T4 |
7746 |
0 |
0 |
0 |
T5 |
30151 |
0 |
0 |
0 |
T6 |
14984 |
0 |
0 |
0 |
T7 |
27770 |
0 |
0 |
0 |
T8 |
1371 |
0 |
0 |
0 |
T9 |
2244 |
0 |
0 |
0 |
T10 |
15333 |
0 |
0 |
0 |
T19 |
1611 |
0 |
0 |
0 |
T81 |
0 |
1 |
0 |
0 |
T85 |
0 |
5 |
0 |
0 |
T141 |
0 |
6 |
0 |
0 |
T146 |
0 |
4 |
0 |
0 |
T147 |
0 |
10 |
0 |
0 |
T148 |
0 |
6 |
0 |
0 |
T149 |
0 |
11 |
0 |
0 |
T150 |
0 |
2 |
0 |
0 |
T154 |
0 |
1 |
0 |
0 |