Assert Coverage for Module :
i2c_csr_assert_fpv
Assertion Details
TlulOOBAddrErr_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
413837473 |
8375 |
0 |
0 |
| T63 |
2170 |
23 |
0 |
0 |
| T64 |
1935 |
11 |
0 |
0 |
| T116 |
10268 |
317 |
0 |
0 |
| T129 |
2744 |
27 |
0 |
0 |
| T130 |
16068 |
794 |
0 |
0 |
| T131 |
7803 |
1 |
0 |
0 |
| T132 |
2091 |
203 |
0 |
0 |
| T135 |
2851 |
566 |
0 |
0 |
| T151 |
2266 |
4 |
0 |
0 |
| T152 |
2693 |
5 |
0 |
0 |
ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
413837473 |
1826 |
0 |
0 |
| T62 |
2512 |
3 |
0 |
0 |
| T116 |
10268 |
14 |
0 |
0 |
| T130 |
16068 |
21 |
0 |
0 |
| T153 |
5080 |
2 |
0 |
0 |
| T158 |
1602 |
4 |
0 |
0 |
| T161 |
2313 |
4 |
0 |
0 |
| T170 |
6120 |
51 |
0 |
0 |
| T171 |
3210 |
8 |
0 |
0 |
| T175 |
2517 |
7 |
0 |
0 |
| T176 |
5572 |
27 |
0 |
0 |
host_fifo_config_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
413837473 |
5064 |
0 |
0 |
| T24 |
44788 |
0 |
0 |
0 |
| T45 |
267085 |
0 |
0 |
0 |
| T96 |
12670 |
0 |
0 |
0 |
| T109 |
86606 |
0 |
0 |
0 |
| T177 |
264853 |
151 |
0 |
0 |
| T178 |
0 |
114 |
0 |
0 |
| T179 |
0 |
165 |
0 |
0 |
| T180 |
0 |
159 |
0 |
0 |
| T181 |
0 |
190 |
0 |
0 |
| T182 |
0 |
125 |
0 |
0 |
| T183 |
0 |
126 |
0 |
0 |
| T184 |
0 |
86 |
0 |
0 |
| T185 |
0 |
179 |
0 |
0 |
| T186 |
0 |
158 |
0 |
0 |
| T187 |
169868 |
0 |
0 |
0 |
| T188 |
98352 |
0 |
0 |
0 |
| T189 |
11364 |
0 |
0 |
0 |
| T190 |
131969 |
0 |
0 |
0 |
| T191 |
109140 |
0 |
0 |
0 |
host_nack_handler_timeout_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
413837473 |
1693 |
0 |
0 |
| T62 |
2512 |
5 |
0 |
0 |
| T116 |
10268 |
29 |
0 |
0 |
| T130 |
16068 |
30 |
0 |
0 |
| T153 |
5080 |
24 |
0 |
0 |
| T158 |
1602 |
3 |
0 |
0 |
| T170 |
6120 |
26 |
0 |
0 |
| T171 |
3210 |
27 |
0 |
0 |
| T175 |
2517 |
10 |
0 |
0 |
| T176 |
5572 |
6 |
0 |
0 |
| T192 |
11601 |
31 |
0 |
0 |
host_timeout_ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
413837473 |
1636 |
0 |
0 |
| T62 |
2512 |
11 |
0 |
0 |
| T116 |
10268 |
21 |
0 |
0 |
| T130 |
16068 |
22 |
0 |
0 |
| T153 |
5080 |
13 |
0 |
0 |
| T158 |
1602 |
8 |
0 |
0 |
| T161 |
2313 |
6 |
0 |
0 |
| T170 |
6120 |
22 |
0 |
0 |
| T171 |
3210 |
16 |
0 |
0 |
| T175 |
2517 |
12 |
0 |
0 |
| T176 |
5572 |
24 |
0 |
0 |
intr_enable_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
413837473 |
3067 |
0 |
0 |
| T62 |
0 |
9 |
0 |
0 |
| T116 |
0 |
25 |
0 |
0 |
| T136 |
512502 |
29 |
0 |
0 |
| T174 |
126699 |
0 |
0 |
0 |
| T178 |
0 |
43 |
0 |
0 |
| T185 |
0 |
36 |
0 |
0 |
| T193 |
0 |
26 |
0 |
0 |
| T194 |
0 |
18 |
0 |
0 |
| T195 |
0 |
12 |
0 |
0 |
| T196 |
0 |
7 |
0 |
0 |
| T197 |
0 |
10 |
0 |
0 |
| T198 |
172855 |
0 |
0 |
0 |
| T199 |
2593 |
0 |
0 |
0 |
| T200 |
30214 |
0 |
0 |
0 |
| T201 |
163332 |
0 |
0 |
0 |
| T202 |
54028 |
0 |
0 |
0 |
| T203 |
123663 |
0 |
0 |
0 |
| T204 |
520273 |
0 |
0 |
0 |
| T205 |
107706 |
0 |
0 |
0 |
ovrd_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
413837473 |
2789 |
0 |
0 |
| T13 |
103743 |
0 |
0 |
0 |
| T22 |
748679 |
0 |
0 |
0 |
| T34 |
1404 |
27 |
0 |
0 |
| T68 |
30861 |
0 |
0 |
0 |
| T74 |
805463 |
0 |
0 |
0 |
| T85 |
9708 |
0 |
0 |
0 |
| T86 |
7813 |
0 |
0 |
0 |
| T206 |
0 |
23 |
0 |
0 |
| T207 |
0 |
79 |
0 |
0 |
| T208 |
0 |
59 |
0 |
0 |
| T209 |
0 |
67 |
0 |
0 |
| T210 |
0 |
30 |
0 |
0 |
| T211 |
0 |
27 |
0 |
0 |
| T212 |
0 |
66 |
0 |
0 |
| T213 |
0 |
78 |
0 |
0 |
| T214 |
0 |
80 |
0 |
0 |
| T215 |
2084 |
0 |
0 |
0 |
| T216 |
32712 |
0 |
0 |
0 |
| T217 |
27420 |
0 |
0 |
0 |
target_fifo_config_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
413837473 |
1898 |
0 |
0 |
| T62 |
2512 |
1 |
0 |
0 |
| T116 |
10268 |
51 |
0 |
0 |
| T130 |
16068 |
35 |
0 |
0 |
| T158 |
1602 |
12 |
0 |
0 |
| T161 |
2313 |
14 |
0 |
0 |
| T170 |
6120 |
47 |
0 |
0 |
| T171 |
3210 |
32 |
0 |
0 |
| T175 |
2517 |
9 |
0 |
0 |
| T176 |
5572 |
37 |
0 |
0 |
| T192 |
11601 |
25 |
0 |
0 |
target_id_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
413837473 |
1893 |
0 |
0 |
| T62 |
2512 |
9 |
0 |
0 |
| T116 |
10268 |
15 |
0 |
0 |
| T130 |
16068 |
30 |
0 |
0 |
| T153 |
5080 |
10 |
0 |
0 |
| T158 |
1602 |
4 |
0 |
0 |
| T170 |
6120 |
70 |
0 |
0 |
| T171 |
3210 |
47 |
0 |
0 |
| T175 |
2517 |
6 |
0 |
0 |
| T176 |
5572 |
31 |
0 |
0 |
| T192 |
11601 |
30 |
0 |
0 |
target_timeout_ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
413837473 |
1762 |
0 |
0 |
| T62 |
2512 |
13 |
0 |
0 |
| T116 |
10268 |
11 |
0 |
0 |
| T130 |
16068 |
23 |
0 |
0 |
| T153 |
5080 |
11 |
0 |
0 |
| T158 |
1602 |
4 |
0 |
0 |
| T161 |
2313 |
4 |
0 |
0 |
| T170 |
6120 |
73 |
0 |
0 |
| T171 |
3210 |
28 |
0 |
0 |
| T175 |
2517 |
7 |
0 |
0 |
| T176 |
5572 |
11 |
0 |
0 |
timeout_ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
413837473 |
1678 |
0 |
0 |
| T116 |
10268 |
17 |
0 |
0 |
| T130 |
16068 |
32 |
0 |
0 |
| T153 |
5080 |
4 |
0 |
0 |
| T158 |
1602 |
2 |
0 |
0 |
| T161 |
2313 |
8 |
0 |
0 |
| T170 |
6120 |
44 |
0 |
0 |
| T171 |
3210 |
3 |
0 |
0 |
| T175 |
2517 |
8 |
0 |
0 |
| T176 |
5572 |
22 |
0 |
0 |
| T192 |
11601 |
6 |
0 |
0 |
timing0_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
413837473 |
1658 |
0 |
0 |
| T62 |
2512 |
10 |
0 |
0 |
| T116 |
10268 |
4 |
0 |
0 |
| T130 |
16068 |
35 |
0 |
0 |
| T158 |
1602 |
1 |
0 |
0 |
| T161 |
2313 |
1 |
0 |
0 |
| T170 |
6120 |
38 |
0 |
0 |
| T171 |
3210 |
10 |
0 |
0 |
| T175 |
2517 |
6 |
0 |
0 |
| T176 |
5572 |
3 |
0 |
0 |
| T192 |
11601 |
17 |
0 |
0 |
timing1_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
413837473 |
1737 |
0 |
0 |
| T62 |
2512 |
6 |
0 |
0 |
| T116 |
10268 |
13 |
0 |
0 |
| T130 |
16068 |
34 |
0 |
0 |
| T153 |
5080 |
4 |
0 |
0 |
| T158 |
1602 |
8 |
0 |
0 |
| T161 |
2313 |
6 |
0 |
0 |
| T170 |
6120 |
21 |
0 |
0 |
| T171 |
3210 |
17 |
0 |
0 |
| T175 |
2517 |
7 |
0 |
0 |
| T176 |
5572 |
27 |
0 |
0 |
timing2_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
413837473 |
1698 |
0 |
0 |
| T62 |
2512 |
5 |
0 |
0 |
| T116 |
10268 |
21 |
0 |
0 |
| T130 |
16068 |
30 |
0 |
0 |
| T153 |
5080 |
20 |
0 |
0 |
| T158 |
1602 |
6 |
0 |
0 |
| T161 |
2313 |
4 |
0 |
0 |
| T170 |
6120 |
31 |
0 |
0 |
| T171 |
3210 |
16 |
0 |
0 |
| T175 |
2517 |
13 |
0 |
0 |
| T176 |
5572 |
7 |
0 |
0 |
timing3_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
413837473 |
1778 |
0 |
0 |
| T62 |
2512 |
7 |
0 |
0 |
| T116 |
10268 |
1 |
0 |
0 |
| T130 |
16068 |
27 |
0 |
0 |
| T153 |
5080 |
13 |
0 |
0 |
| T158 |
1602 |
13 |
0 |
0 |
| T161 |
2313 |
5 |
0 |
0 |
| T170 |
6120 |
16 |
0 |
0 |
| T171 |
3210 |
40 |
0 |
0 |
| T175 |
2517 |
12 |
0 |
0 |
| T176 |
5572 |
46 |
0 |
0 |
timing4_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
413837473 |
1750 |
0 |
0 |
| T62 |
2512 |
5 |
0 |
0 |
| T116 |
10268 |
22 |
0 |
0 |
| T130 |
16068 |
21 |
0 |
0 |
| T158 |
1602 |
7 |
0 |
0 |
| T161 |
2313 |
13 |
0 |
0 |
| T170 |
6120 |
53 |
0 |
0 |
| T171 |
3210 |
17 |
0 |
0 |
| T175 |
2517 |
10 |
0 |
0 |
| T176 |
5572 |
17 |
0 |
0 |
| T192 |
11601 |
20 |
0 |
0 |