Assert Coverage for Module :
i2c_csr_assert_fpv
Assertion Details
TlulOOBAddrErr_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
231960925 |
8932 |
0 |
0 |
T78 |
1899 |
32 |
0 |
0 |
T104 |
7445 |
226 |
0 |
0 |
T105 |
6404 |
499 |
0 |
0 |
T120 |
12166 |
6 |
0 |
0 |
T121 |
6562 |
2 |
0 |
0 |
T122 |
13611 |
1 |
0 |
0 |
T123 |
7433 |
1 |
0 |
0 |
T124 |
11482 |
625 |
0 |
0 |
T125 |
4016 |
225 |
0 |
0 |
T136 |
1913 |
3 |
0 |
0 |
host_fifo_config_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
231960925 |
6490 |
0 |
0 |
T14 |
105188 |
0 |
0 |
0 |
T23 |
251611 |
139 |
0 |
0 |
T28 |
178277 |
0 |
0 |
0 |
T32 |
61327 |
0 |
0 |
0 |
T35 |
0 |
253 |
0 |
0 |
T36 |
10549 |
0 |
0 |
0 |
T48 |
77061 |
0 |
0 |
0 |
T49 |
35903 |
0 |
0 |
0 |
T52 |
219547 |
0 |
0 |
0 |
T55 |
0 |
620 |
0 |
0 |
T79 |
360360 |
0 |
0 |
0 |
T100 |
0 |
328 |
0 |
0 |
T101 |
1699 |
0 |
0 |
0 |
T160 |
0 |
354 |
0 |
0 |
T161 |
0 |
115 |
0 |
0 |
T162 |
0 |
203 |
0 |
0 |
T163 |
0 |
186 |
0 |
0 |
T164 |
0 |
130 |
0 |
0 |
T165 |
0 |
127 |
0 |
0 |
host_nack_handler_timeout_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
231960925 |
1787 |
0 |
0 |
T121 |
6562 |
27 |
0 |
0 |
T122 |
13611 |
130 |
0 |
0 |
T123 |
7433 |
42 |
0 |
0 |
T138 |
2238 |
6 |
0 |
0 |
T153 |
5870 |
19 |
0 |
0 |
T158 |
3066 |
26 |
0 |
0 |
T166 |
54033 |
423 |
0 |
0 |
T167 |
11610 |
18 |
0 |
0 |
T168 |
1756 |
25 |
0 |
0 |
T169 |
3160 |
16 |
0 |
0 |
host_timeout_ctrl_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
231960925 |
1394 |
0 |
0 |
T121 |
6562 |
21 |
0 |
0 |
T122 |
13611 |
80 |
0 |
0 |
T123 |
7433 |
30 |
0 |
0 |
T153 |
5870 |
24 |
0 |
0 |
T158 |
3066 |
5 |
0 |
0 |
T166 |
54033 |
454 |
0 |
0 |
T167 |
11610 |
4 |
0 |
0 |
T168 |
1756 |
8 |
0 |
0 |
T169 |
3160 |
15 |
0 |
0 |
T170 |
1958 |
10 |
0 |
0 |
intr_enable_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
231960925 |
5969 |
0 |
0 |
T88 |
246296 |
0 |
0 |
0 |
T100 |
719897 |
35 |
0 |
0 |
T121 |
0 |
197 |
0 |
0 |
T122 |
0 |
756 |
0 |
0 |
T123 |
0 |
391 |
0 |
0 |
T153 |
0 |
65 |
0 |
0 |
T160 |
0 |
11 |
0 |
0 |
T165 |
0 |
14 |
0 |
0 |
T166 |
0 |
449 |
0 |
0 |
T171 |
0 |
4 |
0 |
0 |
T172 |
0 |
8 |
0 |
0 |
T173 |
26446 |
0 |
0 |
0 |
T174 |
25353 |
0 |
0 |
0 |
T175 |
496545 |
0 |
0 |
0 |
T176 |
101273 |
0 |
0 |
0 |
T177 |
79580 |
0 |
0 |
0 |
T178 |
1089 |
0 |
0 |
0 |
T179 |
35448 |
0 |
0 |
0 |
T180 |
203452 |
0 |
0 |
0 |
ovrd_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
231960925 |
2656 |
0 |
0 |
T1 |
1562 |
46 |
0 |
0 |
T2 |
52688 |
0 |
0 |
0 |
T3 |
249952 |
0 |
0 |
0 |
T4 |
31033 |
0 |
0 |
0 |
T5 |
52787 |
0 |
0 |
0 |
T6 |
6987 |
0 |
0 |
0 |
T7 |
19236 |
0 |
0 |
0 |
T8 |
381085 |
0 |
0 |
0 |
T9 |
17600 |
0 |
0 |
0 |
T10 |
135697 |
0 |
0 |
0 |
T29 |
0 |
31 |
0 |
0 |
T181 |
0 |
68 |
0 |
0 |
T182 |
0 |
81 |
0 |
0 |
T183 |
0 |
14 |
0 |
0 |
T184 |
0 |
39 |
0 |
0 |
T185 |
0 |
30 |
0 |
0 |
T186 |
0 |
30 |
0 |
0 |
T187 |
0 |
22 |
0 |
0 |
T188 |
0 |
72 |
0 |
0 |
target_fifo_config_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
231960925 |
2259 |
0 |
0 |
T121 |
6562 |
41 |
0 |
0 |
T122 |
13611 |
173 |
0 |
0 |
T123 |
7433 |
74 |
0 |
0 |
T138 |
2238 |
6 |
0 |
0 |
T153 |
5870 |
23 |
0 |
0 |
T158 |
3066 |
54 |
0 |
0 |
T166 |
54033 |
460 |
0 |
0 |
T167 |
11610 |
7 |
0 |
0 |
T168 |
1756 |
9 |
0 |
0 |
T169 |
3160 |
43 |
0 |
0 |
target_id_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
231960925 |
2270 |
0 |
0 |
T121 |
6562 |
68 |
0 |
0 |
T122 |
13611 |
246 |
0 |
0 |
T123 |
7433 |
104 |
0 |
0 |
T138 |
2238 |
7 |
0 |
0 |
T153 |
5870 |
11 |
0 |
0 |
T158 |
3066 |
19 |
0 |
0 |
T166 |
54033 |
438 |
0 |
0 |
T167 |
11610 |
7 |
0 |
0 |
T168 |
1756 |
6 |
0 |
0 |
T169 |
3160 |
16 |
0 |
0 |
target_timeout_ctrl_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
231960925 |
1722 |
0 |
0 |
T121 |
6562 |
24 |
0 |
0 |
T122 |
13611 |
117 |
0 |
0 |
T123 |
7433 |
82 |
0 |
0 |
T138 |
2238 |
9 |
0 |
0 |
T153 |
5870 |
25 |
0 |
0 |
T158 |
3066 |
17 |
0 |
0 |
T166 |
54033 |
462 |
0 |
0 |
T168 |
1756 |
11 |
0 |
0 |
T169 |
3160 |
16 |
0 |
0 |
T170 |
1958 |
7 |
0 |
0 |
timeout_ctrl_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
231960925 |
1701 |
0 |
0 |
T121 |
6562 |
21 |
0 |
0 |
T122 |
13611 |
90 |
0 |
0 |
T123 |
7433 |
64 |
0 |
0 |
T153 |
5870 |
18 |
0 |
0 |
T158 |
3066 |
22 |
0 |
0 |
T166 |
54033 |
443 |
0 |
0 |
T167 |
11610 |
10 |
0 |
0 |
T168 |
1756 |
4 |
0 |
0 |
T169 |
3160 |
29 |
0 |
0 |
T170 |
1958 |
7 |
0 |
0 |
timing0_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
231960925 |
1792 |
0 |
0 |
T121 |
6562 |
23 |
0 |
0 |
T122 |
13611 |
116 |
0 |
0 |
T123 |
7433 |
36 |
0 |
0 |
T138 |
2238 |
9 |
0 |
0 |
T153 |
5870 |
54 |
0 |
0 |
T158 |
3066 |
10 |
0 |
0 |
T166 |
54033 |
433 |
0 |
0 |
T167 |
11610 |
3 |
0 |
0 |
T168 |
1756 |
4 |
0 |
0 |
T169 |
3160 |
24 |
0 |
0 |
timing1_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
231960925 |
1884 |
0 |
0 |
T121 |
6562 |
39 |
0 |
0 |
T122 |
13611 |
148 |
0 |
0 |
T123 |
7433 |
52 |
0 |
0 |
T138 |
2238 |
8 |
0 |
0 |
T153 |
5870 |
40 |
0 |
0 |
T166 |
54033 |
467 |
0 |
0 |
T167 |
11610 |
12 |
0 |
0 |
T168 |
1756 |
8 |
0 |
0 |
T169 |
3160 |
14 |
0 |
0 |
T170 |
1958 |
9 |
0 |
0 |
timing2_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
231960925 |
1599 |
0 |
0 |
T121 |
6562 |
40 |
0 |
0 |
T122 |
13611 |
91 |
0 |
0 |
T123 |
7433 |
48 |
0 |
0 |
T153 |
5870 |
19 |
0 |
0 |
T158 |
3066 |
29 |
0 |
0 |
T166 |
54033 |
432 |
0 |
0 |
T167 |
11610 |
1 |
0 |
0 |
T168 |
1756 |
2 |
0 |
0 |
T169 |
3160 |
9 |
0 |
0 |
T170 |
1958 |
10 |
0 |
0 |
timing3_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
231960925 |
1721 |
0 |
0 |
T121 |
6562 |
21 |
0 |
0 |
T122 |
13611 |
128 |
0 |
0 |
T123 |
7433 |
42 |
0 |
0 |
T138 |
2238 |
1 |
0 |
0 |
T153 |
5870 |
38 |
0 |
0 |
T158 |
3066 |
6 |
0 |
0 |
T166 |
54033 |
448 |
0 |
0 |
T167 |
11610 |
18 |
0 |
0 |
T168 |
1756 |
2 |
0 |
0 |
T169 |
3160 |
22 |
0 |
0 |
timing4_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
231960925 |
1880 |
0 |
0 |
T121 |
6562 |
30 |
0 |
0 |
T122 |
13611 |
132 |
0 |
0 |
T123 |
7433 |
34 |
0 |
0 |
T138 |
2238 |
14 |
0 |
0 |
T153 |
5870 |
35 |
0 |
0 |
T158 |
3066 |
27 |
0 |
0 |
T166 |
54033 |
455 |
0 |
0 |
T167 |
11610 |
6 |
0 |
0 |
T168 |
1756 |
5 |
0 |
0 |
T169 |
3160 |
16 |
0 |
0 |