Assert Coverage for Module :
i2c_csr_assert_fpv
Assertion Details
TlulOOBAddrErr_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390326642 |
7560 |
0 |
0 |
T82 |
2188 |
6 |
0 |
0 |
T112 |
8813 |
393 |
0 |
0 |
T127 |
6206 |
144 |
0 |
0 |
T129 |
9551 |
3 |
0 |
0 |
T130 |
3280 |
13 |
0 |
0 |
T131 |
15145 |
478 |
0 |
0 |
T144 |
3193 |
9 |
0 |
0 |
T151 |
1960 |
6 |
0 |
0 |
T152 |
2213 |
6 |
0 |
0 |
T153 |
2289 |
10 |
0 |
0 |
ctrl_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390326642 |
1696 |
0 |
0 |
T82 |
2188 |
13 |
0 |
0 |
T112 |
8813 |
11 |
0 |
0 |
T131 |
15145 |
41 |
0 |
0 |
T132 |
16223 |
27 |
0 |
0 |
T144 |
3193 |
46 |
0 |
0 |
T153 |
2289 |
11 |
0 |
0 |
T156 |
2017 |
8 |
0 |
0 |
T170 |
2175 |
23 |
0 |
0 |
T175 |
2177 |
2 |
0 |
0 |
T176 |
4416 |
3 |
0 |
0 |
host_fifo_config_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390326642 |
6619 |
0 |
0 |
T30 |
182397 |
0 |
0 |
0 |
T31 |
195149 |
0 |
0 |
0 |
T45 |
779291 |
0 |
0 |
0 |
T126 |
0 |
95 |
0 |
0 |
T177 |
224684 |
80 |
0 |
0 |
T178 |
0 |
110 |
0 |
0 |
T179 |
0 |
102 |
0 |
0 |
T180 |
0 |
251 |
0 |
0 |
T181 |
0 |
232 |
0 |
0 |
T182 |
0 |
194 |
0 |
0 |
T183 |
0 |
361 |
0 |
0 |
T184 |
0 |
162 |
0 |
0 |
T185 |
0 |
222 |
0 |
0 |
T186 |
115202 |
0 |
0 |
0 |
T187 |
33200 |
0 |
0 |
0 |
T188 |
106489 |
0 |
0 |
0 |
T189 |
271794 |
0 |
0 |
0 |
T190 |
140418 |
0 |
0 |
0 |
T191 |
900070 |
0 |
0 |
0 |
host_nack_handler_timeout_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390326642 |
1161 |
0 |
0 |
T82 |
2188 |
3 |
0 |
0 |
T112 |
8813 |
48 |
0 |
0 |
T131 |
15145 |
28 |
0 |
0 |
T132 |
16223 |
28 |
0 |
0 |
T144 |
3193 |
22 |
0 |
0 |
T153 |
2289 |
12 |
0 |
0 |
T170 |
2175 |
9 |
0 |
0 |
T175 |
2177 |
5 |
0 |
0 |
T176 |
4416 |
8 |
0 |
0 |
T192 |
2055 |
9 |
0 |
0 |
host_timeout_ctrl_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390326642 |
1116 |
0 |
0 |
T82 |
2188 |
8 |
0 |
0 |
T112 |
8813 |
11 |
0 |
0 |
T131 |
15145 |
41 |
0 |
0 |
T132 |
16223 |
37 |
0 |
0 |
T144 |
3193 |
22 |
0 |
0 |
T153 |
2289 |
2 |
0 |
0 |
T170 |
2175 |
14 |
0 |
0 |
T175 |
2177 |
3 |
0 |
0 |
T176 |
4416 |
7 |
0 |
0 |
T193 |
1707 |
7 |
0 |
0 |
intr_enable_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390326642 |
3552 |
0 |
0 |
T30 |
182397 |
0 |
0 |
0 |
T31 |
195149 |
0 |
0 |
0 |
T45 |
779291 |
18 |
0 |
0 |
T49 |
489158 |
0 |
0 |
0 |
T56 |
486503 |
0 |
0 |
0 |
T190 |
140418 |
0 |
0 |
0 |
T191 |
900070 |
0 |
0 |
0 |
T194 |
0 |
18 |
0 |
0 |
T195 |
0 |
33 |
0 |
0 |
T196 |
0 |
37 |
0 |
0 |
T197 |
0 |
18 |
0 |
0 |
T198 |
0 |
32 |
0 |
0 |
T199 |
0 |
22 |
0 |
0 |
T200 |
0 |
17 |
0 |
0 |
T201 |
0 |
26 |
0 |
0 |
T202 |
0 |
14 |
0 |
0 |
T203 |
794819 |
0 |
0 |
0 |
T204 |
10005 |
0 |
0 |
0 |
T205 |
268003 |
0 |
0 |
0 |
ovrd_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390326642 |
2075 |
0 |
0 |
T13 |
717324 |
0 |
0 |
0 |
T32 |
80745 |
0 |
0 |
0 |
T33 |
127758 |
0 |
0 |
0 |
T35 |
2897 |
59 |
0 |
0 |
T43 |
82300 |
0 |
0 |
0 |
T60 |
145463 |
0 |
0 |
0 |
T61 |
89797 |
0 |
0 |
0 |
T65 |
121399 |
0 |
0 |
0 |
T154 |
100417 |
0 |
0 |
0 |
T206 |
0 |
25 |
0 |
0 |
T207 |
0 |
25 |
0 |
0 |
T208 |
0 |
32 |
0 |
0 |
T209 |
0 |
54 |
0 |
0 |
T210 |
0 |
37 |
0 |
0 |
T211 |
0 |
52 |
0 |
0 |
T212 |
0 |
54 |
0 |
0 |
T213 |
0 |
64 |
0 |
0 |
T214 |
0 |
52 |
0 |
0 |
T215 |
39472 |
0 |
0 |
0 |
target_fifo_config_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390326642 |
1286 |
0 |
0 |
T112 |
8813 |
22 |
0 |
0 |
T131 |
15145 |
42 |
0 |
0 |
T132 |
16223 |
21 |
0 |
0 |
T144 |
3193 |
25 |
0 |
0 |
T153 |
2289 |
3 |
0 |
0 |
T156 |
2017 |
7 |
0 |
0 |
T170 |
2175 |
20 |
0 |
0 |
T175 |
2177 |
10 |
0 |
0 |
T176 |
4416 |
11 |
0 |
0 |
T192 |
2055 |
15 |
0 |
0 |
target_id_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390326642 |
1664 |
0 |
0 |
T82 |
2188 |
12 |
0 |
0 |
T112 |
8813 |
4 |
0 |
0 |
T131 |
15145 |
27 |
0 |
0 |
T132 |
16223 |
46 |
0 |
0 |
T144 |
3193 |
21 |
0 |
0 |
T153 |
2289 |
17 |
0 |
0 |
T170 |
2175 |
11 |
0 |
0 |
T175 |
2177 |
7 |
0 |
0 |
T176 |
4416 |
2 |
0 |
0 |
T192 |
2055 |
9 |
0 |
0 |
target_timeout_ctrl_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390326642 |
1163 |
0 |
0 |
T82 |
2188 |
12 |
0 |
0 |
T131 |
15145 |
31 |
0 |
0 |
T132 |
16223 |
38 |
0 |
0 |
T144 |
3193 |
19 |
0 |
0 |
T153 |
2289 |
5 |
0 |
0 |
T156 |
2017 |
3 |
0 |
0 |
T170 |
2175 |
23 |
0 |
0 |
T175 |
2177 |
4 |
0 |
0 |
T192 |
2055 |
10 |
0 |
0 |
T193 |
1707 |
7 |
0 |
0 |
timeout_ctrl_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390326642 |
1056 |
0 |
0 |
T112 |
8813 |
9 |
0 |
0 |
T131 |
15145 |
19 |
0 |
0 |
T132 |
16223 |
39 |
0 |
0 |
T144 |
3193 |
15 |
0 |
0 |
T153 |
2289 |
18 |
0 |
0 |
T170 |
2175 |
13 |
0 |
0 |
T175 |
2177 |
3 |
0 |
0 |
T193 |
1707 |
2 |
0 |
0 |
T216 |
2540 |
3 |
0 |
0 |
T217 |
13377 |
27 |
0 |
0 |
timing0_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390326642 |
1114 |
0 |
0 |
T82 |
2188 |
10 |
0 |
0 |
T112 |
8813 |
16 |
0 |
0 |
T131 |
15145 |
17 |
0 |
0 |
T132 |
16223 |
12 |
0 |
0 |
T144 |
3193 |
39 |
0 |
0 |
T153 |
2289 |
14 |
0 |
0 |
T156 |
2017 |
2 |
0 |
0 |
T170 |
2175 |
6 |
0 |
0 |
T175 |
2177 |
5 |
0 |
0 |
T176 |
4416 |
3 |
0 |
0 |
timing1_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390326642 |
1300 |
0 |
0 |
T112 |
8813 |
16 |
0 |
0 |
T131 |
15145 |
54 |
0 |
0 |
T132 |
16223 |
33 |
0 |
0 |
T144 |
3193 |
15 |
0 |
0 |
T153 |
2289 |
17 |
0 |
0 |
T170 |
2175 |
10 |
0 |
0 |
T175 |
2177 |
5 |
0 |
0 |
T176 |
4416 |
1 |
0 |
0 |
T192 |
2055 |
12 |
0 |
0 |
T216 |
2540 |
2 |
0 |
0 |
timing2_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390326642 |
1149 |
0 |
0 |
T112 |
8813 |
8 |
0 |
0 |
T131 |
15145 |
20 |
0 |
0 |
T132 |
16223 |
36 |
0 |
0 |
T144 |
3193 |
23 |
0 |
0 |
T153 |
2289 |
14 |
0 |
0 |
T156 |
2017 |
16 |
0 |
0 |
T170 |
2175 |
6 |
0 |
0 |
T175 |
2177 |
4 |
0 |
0 |
T192 |
2055 |
5 |
0 |
0 |
T193 |
1707 |
4 |
0 |
0 |
timing3_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390326642 |
1148 |
0 |
0 |
T82 |
2188 |
12 |
0 |
0 |
T112 |
8813 |
9 |
0 |
0 |
T131 |
15145 |
29 |
0 |
0 |
T132 |
16223 |
43 |
0 |
0 |
T144 |
3193 |
22 |
0 |
0 |
T153 |
2289 |
8 |
0 |
0 |
T170 |
2175 |
7 |
0 |
0 |
T192 |
2055 |
9 |
0 |
0 |
T193 |
1707 |
6 |
0 |
0 |
T216 |
2540 |
8 |
0 |
0 |
timing4_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
390326642 |
1173 |
0 |
0 |
T82 |
2188 |
18 |
0 |
0 |
T112 |
8813 |
10 |
0 |
0 |
T131 |
15145 |
27 |
0 |
0 |
T132 |
16223 |
24 |
0 |
0 |
T144 |
3193 |
20 |
0 |
0 |
T153 |
2289 |
16 |
0 |
0 |
T156 |
2017 |
2 |
0 |
0 |
T170 |
2175 |
16 |
0 |
0 |
T175 |
2177 |
1 |
0 |
0 |
T192 |
2055 |
3 |
0 |
0 |