Assert Coverage for Module :
i2c_csr_assert_fpv
Assertion Details
TlulOOBAddrErr_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
444758471 |
8012 |
0 |
0 |
| T106 |
2920 |
358 |
0 |
0 |
| T107 |
6576 |
1 |
0 |
0 |
| T108 |
4447 |
1 |
0 |
0 |
| T122 |
1688 |
47 |
0 |
0 |
| T123 |
3487 |
8 |
0 |
0 |
| T124 |
12445 |
1 |
0 |
0 |
| T125 |
12764 |
782 |
0 |
0 |
| T126 |
3993 |
652 |
0 |
0 |
| T127 |
7452 |
4 |
0 |
0 |
| T142 |
3157 |
17 |
0 |
0 |
ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
444758471 |
1536 |
0 |
0 |
| T123 |
3487 |
9 |
0 |
0 |
| T125 |
12764 |
30 |
0 |
0 |
| T127 |
7452 |
35 |
0 |
0 |
| T142 |
3157 |
17 |
0 |
0 |
| T143 |
2896 |
16 |
0 |
0 |
| T159 |
3373 |
38 |
0 |
0 |
| T166 |
3665 |
5 |
0 |
0 |
| T167 |
3284 |
19 |
0 |
0 |
| T168 |
25112 |
129 |
0 |
0 |
| T169 |
2460 |
22 |
0 |
0 |
host_fifo_config_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
444758471 |
5576 |
0 |
0 |
| T19 |
299809 |
0 |
0 |
0 |
| T23 |
37786 |
0 |
0 |
0 |
| T36 |
97583 |
0 |
0 |
0 |
| T43 |
133170 |
0 |
0 |
0 |
| T44 |
132278 |
201 |
0 |
0 |
| T63 |
128430 |
0 |
0 |
0 |
| T68 |
12239 |
0 |
0 |
0 |
| T73 |
0 |
135 |
0 |
0 |
| T80 |
48035 |
0 |
0 |
0 |
| T83 |
18807 |
0 |
0 |
0 |
| T84 |
15447 |
0 |
0 |
0 |
| T121 |
0 |
172 |
0 |
0 |
| T170 |
0 |
140 |
0 |
0 |
| T171 |
0 |
116 |
0 |
0 |
| T172 |
0 |
155 |
0 |
0 |
| T173 |
0 |
149 |
0 |
0 |
| T174 |
0 |
183 |
0 |
0 |
| T175 |
0 |
147 |
0 |
0 |
| T176 |
0 |
427 |
0 |
0 |
host_nack_handler_timeout_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
444758471 |
1359 |
0 |
0 |
| T123 |
3487 |
9 |
0 |
0 |
| T125 |
12764 |
25 |
0 |
0 |
| T127 |
7452 |
21 |
0 |
0 |
| T128 |
5942 |
5 |
0 |
0 |
| T142 |
3157 |
10 |
0 |
0 |
| T143 |
2896 |
16 |
0 |
0 |
| T159 |
3373 |
20 |
0 |
0 |
| T166 |
3665 |
32 |
0 |
0 |
| T167 |
3284 |
9 |
0 |
0 |
| T168 |
25112 |
149 |
0 |
0 |
host_timeout_ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
444758471 |
1135 |
0 |
0 |
| T123 |
3487 |
19 |
0 |
0 |
| T125 |
12764 |
7 |
0 |
0 |
| T127 |
7452 |
32 |
0 |
0 |
| T128 |
5942 |
12 |
0 |
0 |
| T142 |
3157 |
14 |
0 |
0 |
| T143 |
2896 |
9 |
0 |
0 |
| T159 |
3373 |
45 |
0 |
0 |
| T166 |
3665 |
3 |
0 |
0 |
| T167 |
3284 |
15 |
0 |
0 |
| T168 |
25112 |
148 |
0 |
0 |
intr_enable_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
444758471 |
4905 |
0 |
0 |
| T19 |
299809 |
0 |
0 |
0 |
| T23 |
37786 |
0 |
0 |
0 |
| T36 |
97583 |
0 |
0 |
0 |
| T43 |
133170 |
0 |
0 |
0 |
| T44 |
132278 |
25 |
0 |
0 |
| T63 |
128430 |
0 |
0 |
0 |
| T68 |
12239 |
0 |
0 |
0 |
| T73 |
0 |
11 |
0 |
0 |
| T80 |
48035 |
0 |
0 |
0 |
| T83 |
18807 |
0 |
0 |
0 |
| T84 |
15447 |
0 |
0 |
0 |
| T121 |
0 |
6 |
0 |
0 |
| T159 |
0 |
24 |
0 |
0 |
| T176 |
0 |
14 |
0 |
0 |
| T177 |
0 |
61 |
0 |
0 |
| T178 |
0 |
8 |
0 |
0 |
| T179 |
0 |
47 |
0 |
0 |
| T180 |
0 |
11 |
0 |
0 |
| T181 |
0 |
7 |
0 |
0 |
ovrd_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
444758471 |
2242 |
0 |
0 |
| T47 |
148123 |
0 |
0 |
0 |
| T79 |
177249 |
0 |
0 |
0 |
| T115 |
0 |
31 |
0 |
0 |
| T182 |
2802 |
53 |
0 |
0 |
| T183 |
0 |
53 |
0 |
0 |
| T184 |
0 |
40 |
0 |
0 |
| T185 |
0 |
72 |
0 |
0 |
| T186 |
0 |
67 |
0 |
0 |
| T187 |
0 |
15 |
0 |
0 |
| T188 |
0 |
82 |
0 |
0 |
| T189 |
0 |
48 |
0 |
0 |
| T190 |
0 |
44 |
0 |
0 |
| T191 |
34765 |
0 |
0 |
0 |
| T192 |
33366 |
0 |
0 |
0 |
| T193 |
11147 |
0 |
0 |
0 |
| T194 |
243660 |
0 |
0 |
0 |
| T195 |
22605 |
0 |
0 |
0 |
| T196 |
45629 |
0 |
0 |
0 |
| T197 |
143521 |
0 |
0 |
0 |
target_fifo_config_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
444758471 |
1662 |
0 |
0 |
| T123 |
3487 |
18 |
0 |
0 |
| T125 |
12764 |
20 |
0 |
0 |
| T127 |
7452 |
46 |
0 |
0 |
| T128 |
5942 |
19 |
0 |
0 |
| T142 |
3157 |
19 |
0 |
0 |
| T143 |
2896 |
28 |
0 |
0 |
| T159 |
3373 |
24 |
0 |
0 |
| T166 |
3665 |
11 |
0 |
0 |
| T168 |
25112 |
130 |
0 |
0 |
| T169 |
2460 |
18 |
0 |
0 |
target_id_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
444758471 |
1684 |
0 |
0 |
| T123 |
3487 |
27 |
0 |
0 |
| T125 |
12764 |
23 |
0 |
0 |
| T127 |
7452 |
50 |
0 |
0 |
| T142 |
3157 |
9 |
0 |
0 |
| T143 |
2896 |
17 |
0 |
0 |
| T166 |
3665 |
9 |
0 |
0 |
| T167 |
3284 |
22 |
0 |
0 |
| T168 |
25112 |
151 |
0 |
0 |
| T169 |
2460 |
24 |
0 |
0 |
| T198 |
14790 |
198 |
0 |
0 |
target_timeout_ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
444758471 |
1415 |
0 |
0 |
| T123 |
3487 |
9 |
0 |
0 |
| T125 |
12764 |
16 |
0 |
0 |
| T127 |
7452 |
42 |
0 |
0 |
| T128 |
5942 |
3 |
0 |
0 |
| T142 |
3157 |
22 |
0 |
0 |
| T143 |
2896 |
13 |
0 |
0 |
| T159 |
3373 |
31 |
0 |
0 |
| T166 |
3665 |
14 |
0 |
0 |
| T167 |
3284 |
12 |
0 |
0 |
| T168 |
25112 |
130 |
0 |
0 |
timeout_ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
444758471 |
1334 |
0 |
0 |
| T123 |
3487 |
5 |
0 |
0 |
| T125 |
12764 |
18 |
0 |
0 |
| T127 |
7452 |
27 |
0 |
0 |
| T128 |
5942 |
18 |
0 |
0 |
| T142 |
3157 |
7 |
0 |
0 |
| T143 |
2896 |
12 |
0 |
0 |
| T159 |
3373 |
4 |
0 |
0 |
| T166 |
3665 |
20 |
0 |
0 |
| T167 |
3284 |
2 |
0 |
0 |
| T168 |
25112 |
146 |
0 |
0 |
timing0_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
444758471 |
1449 |
0 |
0 |
| T123 |
3487 |
10 |
0 |
0 |
| T125 |
12764 |
12 |
0 |
0 |
| T127 |
7452 |
38 |
0 |
0 |
| T128 |
5942 |
9 |
0 |
0 |
| T142 |
3157 |
15 |
0 |
0 |
| T143 |
2896 |
12 |
0 |
0 |
| T159 |
3373 |
57 |
0 |
0 |
| T167 |
3284 |
19 |
0 |
0 |
| T168 |
25112 |
123 |
0 |
0 |
| T169 |
2460 |
17 |
0 |
0 |
timing1_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
444758471 |
1338 |
0 |
0 |
| T123 |
3487 |
14 |
0 |
0 |
| T125 |
12764 |
27 |
0 |
0 |
| T127 |
7452 |
25 |
0 |
0 |
| T128 |
5942 |
3 |
0 |
0 |
| T142 |
3157 |
21 |
0 |
0 |
| T143 |
2896 |
7 |
0 |
0 |
| T159 |
3373 |
19 |
0 |
0 |
| T166 |
3665 |
1 |
0 |
0 |
| T167 |
3284 |
19 |
0 |
0 |
| T168 |
25112 |
144 |
0 |
0 |
timing2_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
444758471 |
1309 |
0 |
0 |
| T123 |
3487 |
10 |
0 |
0 |
| T125 |
12764 |
7 |
0 |
0 |
| T127 |
7452 |
18 |
0 |
0 |
| T142 |
3157 |
4 |
0 |
0 |
| T143 |
2896 |
14 |
0 |
0 |
| T159 |
3373 |
9 |
0 |
0 |
| T166 |
3665 |
15 |
0 |
0 |
| T167 |
3284 |
9 |
0 |
0 |
| T168 |
25112 |
143 |
0 |
0 |
| T169 |
2460 |
10 |
0 |
0 |
timing3_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
444758471 |
1315 |
0 |
0 |
| T123 |
3487 |
2 |
0 |
0 |
| T125 |
12764 |
14 |
0 |
0 |
| T127 |
7452 |
31 |
0 |
0 |
| T128 |
5942 |
18 |
0 |
0 |
| T142 |
3157 |
17 |
0 |
0 |
| T143 |
2896 |
16 |
0 |
0 |
| T166 |
3665 |
2 |
0 |
0 |
| T167 |
3284 |
35 |
0 |
0 |
| T168 |
25112 |
92 |
0 |
0 |
| T169 |
2460 |
14 |
0 |
0 |
timing4_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
444758471 |
1415 |
0 |
0 |
| T123 |
3487 |
19 |
0 |
0 |
| T125 |
12764 |
6 |
0 |
0 |
| T127 |
7452 |
41 |
0 |
0 |
| T128 |
5942 |
23 |
0 |
0 |
| T142 |
3157 |
22 |
0 |
0 |
| T143 |
2896 |
14 |
0 |
0 |
| T159 |
3373 |
17 |
0 |
0 |
| T166 |
3665 |
8 |
0 |
0 |
| T167 |
3284 |
4 |
0 |
0 |
| T168 |
25112 |
153 |
0 |
0 |