Assert Coverage for Module :
clkmgr_pwrmgr_sva_if
Assertion Details
IoStatusFall_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
169090550 |
147 |
0 |
0 |
T3 |
456435 |
0 |
0 |
0 |
T7 |
68986 |
0 |
0 |
0 |
T20 |
1157 |
3 |
0 |
0 |
T21 |
2124 |
0 |
0 |
0 |
T25 |
42270 |
0 |
0 |
0 |
T32 |
3083 |
0 |
0 |
0 |
T33 |
0 |
3 |
0 |
0 |
T34 |
0 |
4 |
0 |
0 |
T35 |
7976 |
0 |
0 |
0 |
T79 |
944 |
0 |
0 |
0 |
T80 |
1314 |
0 |
0 |
0 |
T81 |
926 |
0 |
0 |
0 |
T148 |
0 |
5 |
0 |
0 |
T176 |
0 |
1 |
0 |
0 |
T177 |
0 |
2 |
0 |
0 |
T178 |
0 |
1 |
0 |
0 |
T179 |
0 |
2 |
0 |
0 |
T180 |
0 |
5 |
0 |
0 |
T181 |
0 |
2 |
0 |
0 |
IoStatusRise_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
169090550 |
147 |
0 |
0 |
T3 |
456435 |
0 |
0 |
0 |
T7 |
68986 |
0 |
0 |
0 |
T20 |
1157 |
3 |
0 |
0 |
T21 |
2124 |
0 |
0 |
0 |
T25 |
42270 |
0 |
0 |
0 |
T32 |
3083 |
0 |
0 |
0 |
T33 |
0 |
3 |
0 |
0 |
T34 |
0 |
4 |
0 |
0 |
T35 |
7976 |
0 |
0 |
0 |
T79 |
944 |
0 |
0 |
0 |
T80 |
1314 |
0 |
0 |
0 |
T81 |
926 |
0 |
0 |
0 |
T148 |
0 |
5 |
0 |
0 |
T176 |
0 |
1 |
0 |
0 |
T177 |
0 |
2 |
0 |
0 |
T178 |
0 |
1 |
0 |
0 |
T179 |
0 |
2 |
0 |
0 |
T180 |
0 |
5 |
0 |
0 |
T181 |
0 |
2 |
0 |
0 |
MainStatusFall_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
169090550 |
144 |
0 |
0 |
T3 |
456435 |
0 |
0 |
0 |
T7 |
68986 |
0 |
0 |
0 |
T20 |
1157 |
4 |
0 |
0 |
T21 |
2124 |
0 |
0 |
0 |
T25 |
42270 |
0 |
0 |
0 |
T32 |
3083 |
0 |
0 |
0 |
T33 |
0 |
2 |
0 |
0 |
T34 |
0 |
7 |
0 |
0 |
T35 |
7976 |
0 |
0 |
0 |
T79 |
944 |
0 |
0 |
0 |
T80 |
1314 |
0 |
0 |
0 |
T81 |
926 |
0 |
0 |
0 |
T148 |
0 |
3 |
0 |
0 |
T177 |
0 |
3 |
0 |
0 |
T178 |
0 |
2 |
0 |
0 |
T179 |
0 |
4 |
0 |
0 |
T180 |
0 |
6 |
0 |
0 |
T181 |
0 |
3 |
0 |
0 |
T182 |
0 |
2 |
0 |
0 |
MainStatusRise_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
169090550 |
144 |
0 |
0 |
T3 |
456435 |
0 |
0 |
0 |
T7 |
68986 |
0 |
0 |
0 |
T20 |
1157 |
4 |
0 |
0 |
T21 |
2124 |
0 |
0 |
0 |
T25 |
42270 |
0 |
0 |
0 |
T32 |
3083 |
0 |
0 |
0 |
T33 |
0 |
2 |
0 |
0 |
T34 |
0 |
7 |
0 |
0 |
T35 |
7976 |
0 |
0 |
0 |
T79 |
944 |
0 |
0 |
0 |
T80 |
1314 |
0 |
0 |
0 |
T81 |
926 |
0 |
0 |
0 |
T148 |
0 |
3 |
0 |
0 |
T177 |
0 |
3 |
0 |
0 |
T178 |
0 |
2 |
0 |
0 |
T179 |
0 |
4 |
0 |
0 |
T180 |
0 |
6 |
0 |
0 |
T181 |
0 |
3 |
0 |
0 |
T182 |
0 |
2 |
0 |
0 |
UsbStatusFall_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
169090550 |
146 |
0 |
0 |
T3 |
456435 |
0 |
0 |
0 |
T7 |
68986 |
0 |
0 |
0 |
T20 |
1157 |
4 |
0 |
0 |
T21 |
2124 |
0 |
0 |
0 |
T25 |
42270 |
0 |
0 |
0 |
T32 |
3083 |
0 |
0 |
0 |
T33 |
0 |
4 |
0 |
0 |
T34 |
0 |
6 |
0 |
0 |
T35 |
7976 |
0 |
0 |
0 |
T79 |
944 |
0 |
0 |
0 |
T80 |
1314 |
0 |
0 |
0 |
T81 |
926 |
0 |
0 |
0 |
T148 |
0 |
4 |
0 |
0 |
T176 |
0 |
1 |
0 |
0 |
T177 |
0 |
2 |
0 |
0 |
T178 |
0 |
1 |
0 |
0 |
T179 |
0 |
3 |
0 |
0 |
T180 |
0 |
4 |
0 |
0 |
T181 |
0 |
2 |
0 |
0 |
UsbStatusRise_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
169090550 |
146 |
0 |
0 |
T3 |
456435 |
0 |
0 |
0 |
T7 |
68986 |
0 |
0 |
0 |
T20 |
1157 |
4 |
0 |
0 |
T21 |
2124 |
0 |
0 |
0 |
T25 |
42270 |
0 |
0 |
0 |
T32 |
3083 |
0 |
0 |
0 |
T33 |
0 |
4 |
0 |
0 |
T34 |
0 |
6 |
0 |
0 |
T35 |
7976 |
0 |
0 |
0 |
T79 |
944 |
0 |
0 |
0 |
T80 |
1314 |
0 |
0 |
0 |
T81 |
926 |
0 |
0 |
0 |
T148 |
0 |
4 |
0 |
0 |
T176 |
0 |
1 |
0 |
0 |
T177 |
0 |
2 |
0 |
0 |
T178 |
0 |
1 |
0 |
0 |
T179 |
0 |
3 |
0 |
0 |
T180 |
0 |
4 |
0 |
0 |
T181 |
0 |
2 |
0 |
0 |