Assert Coverage for Module :
clkmgr_pwrmgr_sva_if
Assertion Details
IoStatusFall_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
159461348 |
145 |
0 |
0 |
T8 |
1170 |
7 |
0 |
0 |
T26 |
1841 |
0 |
0 |
0 |
T27 |
1207 |
3 |
0 |
0 |
T28 |
1195 |
7 |
0 |
0 |
T29 |
1789 |
0 |
0 |
0 |
T30 |
1601 |
0 |
0 |
0 |
T31 |
2442 |
0 |
0 |
0 |
T32 |
1545 |
0 |
0 |
0 |
T43 |
1431 |
0 |
0 |
0 |
T44 |
1925 |
0 |
0 |
0 |
T57 |
0 |
3 |
0 |
0 |
T60 |
0 |
5 |
0 |
0 |
T62 |
0 |
1 |
0 |
0 |
T84 |
0 |
4 |
0 |
0 |
T86 |
0 |
2 |
0 |
0 |
T182 |
0 |
3 |
0 |
0 |
T183 |
0 |
4 |
0 |
0 |
IoStatusRise_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
159461348 |
145 |
0 |
0 |
T8 |
1170 |
7 |
0 |
0 |
T26 |
1841 |
0 |
0 |
0 |
T27 |
1207 |
3 |
0 |
0 |
T28 |
1195 |
7 |
0 |
0 |
T29 |
1789 |
0 |
0 |
0 |
T30 |
1601 |
0 |
0 |
0 |
T31 |
2442 |
0 |
0 |
0 |
T32 |
1545 |
0 |
0 |
0 |
T43 |
1431 |
0 |
0 |
0 |
T44 |
1925 |
0 |
0 |
0 |
T57 |
0 |
3 |
0 |
0 |
T60 |
0 |
5 |
0 |
0 |
T62 |
0 |
1 |
0 |
0 |
T84 |
0 |
4 |
0 |
0 |
T86 |
0 |
2 |
0 |
0 |
T182 |
0 |
3 |
0 |
0 |
T183 |
0 |
4 |
0 |
0 |
MainStatusFall_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
159461348 |
148 |
0 |
0 |
T8 |
1170 |
4 |
0 |
0 |
T26 |
1841 |
0 |
0 |
0 |
T27 |
1207 |
6 |
0 |
0 |
T28 |
1195 |
5 |
0 |
0 |
T29 |
1789 |
0 |
0 |
0 |
T30 |
1601 |
0 |
0 |
0 |
T31 |
2442 |
0 |
0 |
0 |
T32 |
1545 |
0 |
0 |
0 |
T43 |
1431 |
0 |
0 |
0 |
T44 |
1925 |
0 |
0 |
0 |
T60 |
0 |
3 |
0 |
0 |
T62 |
0 |
1 |
0 |
0 |
T84 |
0 |
2 |
0 |
0 |
T86 |
0 |
2 |
0 |
0 |
T178 |
0 |
2 |
0 |
0 |
T182 |
0 |
3 |
0 |
0 |
T183 |
0 |
2 |
0 |
0 |
MainStatusRise_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
159461348 |
148 |
0 |
0 |
T8 |
1170 |
4 |
0 |
0 |
T26 |
1841 |
0 |
0 |
0 |
T27 |
1207 |
6 |
0 |
0 |
T28 |
1195 |
5 |
0 |
0 |
T29 |
1789 |
0 |
0 |
0 |
T30 |
1601 |
0 |
0 |
0 |
T31 |
2442 |
0 |
0 |
0 |
T32 |
1545 |
0 |
0 |
0 |
T43 |
1431 |
0 |
0 |
0 |
T44 |
1925 |
0 |
0 |
0 |
T60 |
0 |
3 |
0 |
0 |
T62 |
0 |
1 |
0 |
0 |
T84 |
0 |
2 |
0 |
0 |
T86 |
0 |
2 |
0 |
0 |
T178 |
0 |
2 |
0 |
0 |
T182 |
0 |
3 |
0 |
0 |
T183 |
0 |
2 |
0 |
0 |
UsbStatusFall_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
159461348 |
155 |
0 |
0 |
T8 |
1170 |
5 |
0 |
0 |
T26 |
1841 |
0 |
0 |
0 |
T27 |
1207 |
5 |
0 |
0 |
T28 |
1195 |
7 |
0 |
0 |
T29 |
1789 |
0 |
0 |
0 |
T30 |
1601 |
0 |
0 |
0 |
T31 |
2442 |
0 |
0 |
0 |
T32 |
1545 |
0 |
0 |
0 |
T43 |
1431 |
0 |
0 |
0 |
T44 |
1925 |
0 |
0 |
0 |
T60 |
0 |
6 |
0 |
0 |
T62 |
0 |
2 |
0 |
0 |
T84 |
0 |
4 |
0 |
0 |
T86 |
0 |
2 |
0 |
0 |
T178 |
0 |
1 |
0 |
0 |
T182 |
0 |
3 |
0 |
0 |
T183 |
0 |
2 |
0 |
0 |
UsbStatusRise_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
159461348 |
155 |
0 |
0 |
T8 |
1170 |
5 |
0 |
0 |
T26 |
1841 |
0 |
0 |
0 |
T27 |
1207 |
5 |
0 |
0 |
T28 |
1195 |
7 |
0 |
0 |
T29 |
1789 |
0 |
0 |
0 |
T30 |
1601 |
0 |
0 |
0 |
T31 |
2442 |
0 |
0 |
0 |
T32 |
1545 |
0 |
0 |
0 |
T43 |
1431 |
0 |
0 |
0 |
T44 |
1925 |
0 |
0 |
0 |
T60 |
0 |
6 |
0 |
0 |
T62 |
0 |
2 |
0 |
0 |
T84 |
0 |
4 |
0 |
0 |
T86 |
0 |
2 |
0 |
0 |
T178 |
0 |
1 |
0 |
0 |
T182 |
0 |
3 |
0 |
0 |
T183 |
0 |
2 |
0 |
0 |