Assert Coverage for Module :
i2c_csr_assert_fpv
Assertion Details
TlulOOBAddrErr_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
412372379 |
7995 |
0 |
0 |
T78 |
2261 |
5 |
0 |
0 |
T80 |
1993 |
8 |
0 |
0 |
T109 |
3080 |
459 |
0 |
0 |
T110 |
6675 |
257 |
0 |
0 |
T124 |
13173 |
685 |
0 |
0 |
T125 |
4567 |
1 |
0 |
0 |
T126 |
4918 |
1 |
0 |
0 |
T127 |
6910 |
3 |
0 |
0 |
T128 |
12388 |
534 |
0 |
0 |
T134 |
11635 |
577 |
0 |
0 |
ctrl_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
412372379 |
1408 |
0 |
0 |
T124 |
13173 |
22 |
0 |
0 |
T129 |
11111 |
3 |
0 |
0 |
T135 |
7052 |
102 |
0 |
0 |
T143 |
1713 |
20 |
0 |
0 |
T156 |
3520 |
22 |
0 |
0 |
T159 |
3553 |
4 |
0 |
0 |
T160 |
4821 |
21 |
0 |
0 |
T164 |
4472 |
9 |
0 |
0 |
T165 |
3122 |
34 |
0 |
0 |
T166 |
13177 |
44 |
0 |
0 |
host_fifo_config_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
412372379 |
5498 |
0 |
0 |
T18 |
68438 |
0 |
0 |
0 |
T69 |
303315 |
158 |
0 |
0 |
T73 |
55527 |
0 |
0 |
0 |
T75 |
15292 |
0 |
0 |
0 |
T82 |
157790 |
0 |
0 |
0 |
T91 |
0 |
257 |
0 |
0 |
T163 |
0 |
137 |
0 |
0 |
T167 |
0 |
104 |
0 |
0 |
T168 |
0 |
232 |
0 |
0 |
T169 |
0 |
130 |
0 |
0 |
T170 |
0 |
209 |
0 |
0 |
T171 |
0 |
249 |
0 |
0 |
T172 |
0 |
222 |
0 |
0 |
T173 |
0 |
136 |
0 |
0 |
T174 |
129629 |
0 |
0 |
0 |
T175 |
45032 |
0 |
0 |
0 |
T176 |
44539 |
0 |
0 |
0 |
T177 |
13640 |
0 |
0 |
0 |
T178 |
96910 |
0 |
0 |
0 |
host_nack_handler_timeout_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
412372379 |
1237 |
0 |
0 |
T124 |
13173 |
21 |
0 |
0 |
T129 |
11111 |
16 |
0 |
0 |
T134 |
11635 |
7 |
0 |
0 |
T135 |
7052 |
51 |
0 |
0 |
T143 |
1713 |
7 |
0 |
0 |
T156 |
3520 |
47 |
0 |
0 |
T158 |
3292 |
1 |
0 |
0 |
T159 |
3553 |
33 |
0 |
0 |
T160 |
4821 |
13 |
0 |
0 |
T165 |
3122 |
12 |
0 |
0 |
host_timeout_ctrl_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
412372379 |
1130 |
0 |
0 |
T124 |
13173 |
11 |
0 |
0 |
T129 |
11111 |
5 |
0 |
0 |
T134 |
11635 |
15 |
0 |
0 |
T135 |
7052 |
44 |
0 |
0 |
T143 |
1713 |
10 |
0 |
0 |
T156 |
3520 |
9 |
0 |
0 |
T158 |
3292 |
9 |
0 |
0 |
T159 |
3553 |
7 |
0 |
0 |
T160 |
4821 |
16 |
0 |
0 |
T165 |
3122 |
16 |
0 |
0 |
intr_enable_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
412372379 |
2420 |
0 |
0 |
T18 |
68438 |
0 |
0 |
0 |
T69 |
303315 |
9 |
0 |
0 |
T73 |
55527 |
0 |
0 |
0 |
T75 |
15292 |
0 |
0 |
0 |
T82 |
157790 |
0 |
0 |
0 |
T124 |
0 |
10 |
0 |
0 |
T134 |
0 |
4 |
0 |
0 |
T163 |
0 |
37 |
0 |
0 |
T174 |
129629 |
0 |
0 |
0 |
T175 |
45032 |
0 |
0 |
0 |
T176 |
44539 |
0 |
0 |
0 |
T177 |
13640 |
0 |
0 |
0 |
T178 |
96910 |
0 |
0 |
0 |
T179 |
0 |
42 |
0 |
0 |
T180 |
0 |
6 |
0 |
0 |
T181 |
0 |
19 |
0 |
0 |
T182 |
0 |
6 |
0 |
0 |
T183 |
0 |
26 |
0 |
0 |
T184 |
0 |
15 |
0 |
0 |
ovrd_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
412372379 |
1959 |
0 |
0 |
T185 |
1494 |
68 |
0 |
0 |
T186 |
0 |
31 |
0 |
0 |
T187 |
0 |
19 |
0 |
0 |
T188 |
0 |
48 |
0 |
0 |
T189 |
0 |
15 |
0 |
0 |
T190 |
0 |
53 |
0 |
0 |
T191 |
0 |
35 |
0 |
0 |
T192 |
0 |
28 |
0 |
0 |
T193 |
0 |
43 |
0 |
0 |
T194 |
0 |
44 |
0 |
0 |
T195 |
52276 |
0 |
0 |
0 |
T196 |
314783 |
0 |
0 |
0 |
T197 |
38219 |
0 |
0 |
0 |
T198 |
170529 |
0 |
0 |
0 |
T199 |
388646 |
0 |
0 |
0 |
T200 |
70225 |
0 |
0 |
0 |
T201 |
9546 |
0 |
0 |
0 |
T202 |
162153 |
0 |
0 |
0 |
T203 |
145939 |
0 |
0 |
0 |
target_fifo_config_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
412372379 |
1355 |
0 |
0 |
T124 |
13173 |
26 |
0 |
0 |
T129 |
11111 |
20 |
0 |
0 |
T134 |
11635 |
22 |
0 |
0 |
T135 |
7052 |
57 |
0 |
0 |
T143 |
1713 |
9 |
0 |
0 |
T156 |
3520 |
25 |
0 |
0 |
T158 |
3292 |
8 |
0 |
0 |
T159 |
3553 |
18 |
0 |
0 |
T160 |
4821 |
28 |
0 |
0 |
T165 |
3122 |
17 |
0 |
0 |
target_id_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
412372379 |
1469 |
0 |
0 |
T124 |
13173 |
24 |
0 |
0 |
T129 |
11111 |
22 |
0 |
0 |
T134 |
11635 |
6 |
0 |
0 |
T135 |
7052 |
86 |
0 |
0 |
T156 |
3520 |
17 |
0 |
0 |
T158 |
3292 |
9 |
0 |
0 |
T159 |
3553 |
3 |
0 |
0 |
T160 |
4821 |
31 |
0 |
0 |
T164 |
4472 |
6 |
0 |
0 |
T165 |
3122 |
36 |
0 |
0 |
target_timeout_ctrl_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
412372379 |
1233 |
0 |
0 |
T124 |
13173 |
40 |
0 |
0 |
T129 |
11111 |
7 |
0 |
0 |
T134 |
11635 |
22 |
0 |
0 |
T135 |
7052 |
62 |
0 |
0 |
T143 |
1713 |
4 |
0 |
0 |
T158 |
3292 |
17 |
0 |
0 |
T159 |
3553 |
17 |
0 |
0 |
T160 |
4821 |
15 |
0 |
0 |
T165 |
3122 |
31 |
0 |
0 |
T166 |
13177 |
15 |
0 |
0 |
timeout_ctrl_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
412372379 |
1160 |
0 |
0 |
T124 |
13173 |
57 |
0 |
0 |
T129 |
11111 |
16 |
0 |
0 |
T134 |
11635 |
17 |
0 |
0 |
T135 |
7052 |
32 |
0 |
0 |
T143 |
1713 |
3 |
0 |
0 |
T156 |
3520 |
8 |
0 |
0 |
T158 |
3292 |
3 |
0 |
0 |
T159 |
3553 |
26 |
0 |
0 |
T160 |
4821 |
36 |
0 |
0 |
T165 |
3122 |
18 |
0 |
0 |
timing0_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
412372379 |
1153 |
0 |
0 |
T124 |
13173 |
17 |
0 |
0 |
T129 |
11111 |
17 |
0 |
0 |
T134 |
11635 |
13 |
0 |
0 |
T135 |
7052 |
50 |
0 |
0 |
T143 |
1713 |
13 |
0 |
0 |
T156 |
3520 |
10 |
0 |
0 |
T158 |
3292 |
1 |
0 |
0 |
T159 |
3553 |
8 |
0 |
0 |
T160 |
4821 |
23 |
0 |
0 |
T165 |
3122 |
17 |
0 |
0 |
timing1_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
412372379 |
1315 |
0 |
0 |
T124 |
13173 |
11 |
0 |
0 |
T129 |
11111 |
16 |
0 |
0 |
T134 |
11635 |
3 |
0 |
0 |
T135 |
7052 |
57 |
0 |
0 |
T143 |
1713 |
16 |
0 |
0 |
T156 |
3520 |
34 |
0 |
0 |
T159 |
3553 |
2 |
0 |
0 |
T160 |
4821 |
24 |
0 |
0 |
T165 |
3122 |
16 |
0 |
0 |
T166 |
13177 |
20 |
0 |
0 |
timing2_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
412372379 |
1073 |
0 |
0 |
T124 |
13173 |
11 |
0 |
0 |
T129 |
11111 |
26 |
0 |
0 |
T134 |
11635 |
6 |
0 |
0 |
T135 |
7052 |
52 |
0 |
0 |
T143 |
1713 |
12 |
0 |
0 |
T156 |
3520 |
8 |
0 |
0 |
T159 |
3553 |
7 |
0 |
0 |
T160 |
4821 |
21 |
0 |
0 |
T165 |
3122 |
16 |
0 |
0 |
T166 |
13177 |
4 |
0 |
0 |
timing3_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
412372379 |
1220 |
0 |
0 |
T124 |
13173 |
24 |
0 |
0 |
T129 |
11111 |
11 |
0 |
0 |
T134 |
11635 |
15 |
0 |
0 |
T135 |
7052 |
53 |
0 |
0 |
T143 |
1713 |
10 |
0 |
0 |
T156 |
3520 |
46 |
0 |
0 |
T158 |
3292 |
1 |
0 |
0 |
T159 |
3553 |
1 |
0 |
0 |
T160 |
4821 |
24 |
0 |
0 |
T165 |
3122 |
14 |
0 |
0 |
timing4_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
412372379 |
1259 |
0 |
0 |
T124 |
13173 |
14 |
0 |
0 |
T129 |
11111 |
29 |
0 |
0 |
T134 |
11635 |
19 |
0 |
0 |
T135 |
7052 |
64 |
0 |
0 |
T156 |
3520 |
23 |
0 |
0 |
T158 |
3292 |
9 |
0 |
0 |
T159 |
3553 |
11 |
0 |
0 |
T160 |
4821 |
37 |
0 |
0 |
T164 |
4472 |
1 |
0 |
0 |
T165 |
3122 |
17 |
0 |
0 |