Assert Coverage for Module :
i2c_csr_assert_fpv
Assertion Details
TlulOOBAddrErr_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
516868043 |
10729 |
0 |
0 |
T64 |
6108 |
1 |
0 |
0 |
T65 |
2012 |
20 |
0 |
0 |
T66 |
4661 |
715 |
0 |
0 |
T67 |
1557 |
72 |
0 |
0 |
T68 |
11381 |
6 |
0 |
0 |
T69 |
12292 |
603 |
0 |
0 |
T73 |
11024 |
4 |
0 |
0 |
T74 |
2261 |
199 |
0 |
0 |
T75 |
10626 |
509 |
0 |
0 |
T100 |
1638 |
6 |
0 |
0 |
ctrl_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
516868043 |
727 |
0 |
0 |
T64 |
6108 |
62 |
0 |
0 |
T69 |
12292 |
33 |
0 |
0 |
T83 |
9250 |
4 |
0 |
0 |
T100 |
1638 |
15 |
0 |
0 |
T101 |
6093 |
99 |
0 |
0 |
T119 |
2174 |
11 |
0 |
0 |
T120 |
3147 |
1 |
0 |
0 |
T123 |
4011 |
14 |
0 |
0 |
T125 |
7893 |
7 |
0 |
0 |
T126 |
2284 |
24 |
0 |
0 |
host_fifo_config_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
516868043 |
3749 |
0 |
0 |
T44 |
312654 |
0 |
0 |
0 |
T47 |
38727 |
0 |
0 |
0 |
T127 |
573489 |
109 |
0 |
0 |
T128 |
0 |
84 |
0 |
0 |
T129 |
0 |
150 |
0 |
0 |
T130 |
0 |
168 |
0 |
0 |
T131 |
0 |
247 |
0 |
0 |
T132 |
0 |
193 |
0 |
0 |
T133 |
0 |
145 |
0 |
0 |
T134 |
0 |
107 |
0 |
0 |
T135 |
0 |
143 |
0 |
0 |
T136 |
0 |
123 |
0 |
0 |
T137 |
236772 |
0 |
0 |
0 |
T138 |
122593 |
0 |
0 |
0 |
T139 |
841 |
0 |
0 |
0 |
T140 |
161111 |
0 |
0 |
0 |
T141 |
164779 |
0 |
0 |
0 |
T142 |
1306 |
0 |
0 |
0 |
T143 |
26622 |
0 |
0 |
0 |
host_timeout_ctrl_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
516868043 |
708 |
0 |
0 |
T64 |
6108 |
33 |
0 |
0 |
T69 |
12292 |
26 |
0 |
0 |
T83 |
9250 |
5 |
0 |
0 |
T100 |
1638 |
3 |
0 |
0 |
T101 |
6093 |
60 |
0 |
0 |
T119 |
2174 |
8 |
0 |
0 |
T120 |
3147 |
1 |
0 |
0 |
T123 |
4011 |
42 |
0 |
0 |
T125 |
7893 |
17 |
0 |
0 |
T126 |
2284 |
5 |
0 |
0 |
intr_enable_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
516868043 |
2150 |
0 |
0 |
T27 |
868026 |
7 |
0 |
0 |
T37 |
0 |
8 |
0 |
0 |
T64 |
0 |
272 |
0 |
0 |
T69 |
0 |
14 |
0 |
0 |
T100 |
0 |
10 |
0 |
0 |
T119 |
0 |
60 |
0 |
0 |
T144 |
0 |
21 |
0 |
0 |
T145 |
0 |
39 |
0 |
0 |
T146 |
0 |
17 |
0 |
0 |
T147 |
0 |
7 |
0 |
0 |
T148 |
2616 |
0 |
0 |
0 |
T149 |
51453 |
0 |
0 |
0 |
T150 |
612176 |
0 |
0 |
0 |
T151 |
256610 |
0 |
0 |
0 |
T152 |
199756 |
0 |
0 |
0 |
T153 |
600483 |
0 |
0 |
0 |
T154 |
1525 |
0 |
0 |
0 |
T155 |
112896 |
0 |
0 |
0 |
T156 |
157844 |
0 |
0 |
0 |
ovrd_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
516868043 |
1663 |
0 |
0 |
T4 |
1107 |
5 |
0 |
0 |
T5 |
1154 |
0 |
0 |
0 |
T154 |
0 |
36 |
0 |
0 |
T157 |
0 |
52 |
0 |
0 |
T158 |
0 |
67 |
0 |
0 |
T159 |
0 |
70 |
0 |
0 |
T160 |
0 |
61 |
0 |
0 |
T161 |
0 |
39 |
0 |
0 |
T162 |
0 |
53 |
0 |
0 |
T163 |
0 |
69 |
0 |
0 |
T164 |
0 |
34 |
0 |
0 |
T165 |
7962 |
0 |
0 |
0 |
T166 |
711336 |
0 |
0 |
0 |
T167 |
935822 |
0 |
0 |
0 |
T168 |
157602 |
0 |
0 |
0 |
T169 |
62413 |
0 |
0 |
0 |
T170 |
250619 |
0 |
0 |
0 |
T171 |
173313 |
0 |
0 |
0 |
T172 |
206654 |
0 |
0 |
0 |
target_fifo_config_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
516868043 |
760 |
0 |
0 |
T64 |
6108 |
44 |
0 |
0 |
T69 |
12292 |
11 |
0 |
0 |
T83 |
9250 |
6 |
0 |
0 |
T100 |
1638 |
15 |
0 |
0 |
T101 |
6093 |
90 |
0 |
0 |
T119 |
2174 |
2 |
0 |
0 |
T120 |
3147 |
5 |
0 |
0 |
T123 |
4011 |
4 |
0 |
0 |
T125 |
7893 |
9 |
0 |
0 |
T126 |
2284 |
8 |
0 |
0 |
target_id_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
516868043 |
879 |
0 |
0 |
T64 |
6108 |
101 |
0 |
0 |
T69 |
12292 |
17 |
0 |
0 |
T83 |
9250 |
7 |
0 |
0 |
T100 |
1638 |
3 |
0 |
0 |
T101 |
6093 |
79 |
0 |
0 |
T119 |
2174 |
14 |
0 |
0 |
T120 |
3147 |
18 |
0 |
0 |
T123 |
4011 |
25 |
0 |
0 |
T125 |
7893 |
19 |
0 |
0 |
T126 |
2284 |
45 |
0 |
0 |
timeout_ctrl_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
516868043 |
742 |
0 |
0 |
T64 |
6108 |
35 |
0 |
0 |
T69 |
12292 |
21 |
0 |
0 |
T83 |
9250 |
12 |
0 |
0 |
T100 |
1638 |
9 |
0 |
0 |
T101 |
6093 |
69 |
0 |
0 |
T119 |
2174 |
19 |
0 |
0 |
T120 |
3147 |
8 |
0 |
0 |
T123 |
4011 |
39 |
0 |
0 |
T125 |
7893 |
1 |
0 |
0 |
T126 |
2284 |
20 |
0 |
0 |
timing0_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
516868043 |
790 |
0 |
0 |
T64 |
6108 |
37 |
0 |
0 |
T69 |
12292 |
21 |
0 |
0 |
T83 |
9250 |
6 |
0 |
0 |
T100 |
1638 |
10 |
0 |
0 |
T101 |
6093 |
36 |
0 |
0 |
T119 |
2174 |
9 |
0 |
0 |
T120 |
3147 |
39 |
0 |
0 |
T123 |
4011 |
20 |
0 |
0 |
T125 |
7893 |
4 |
0 |
0 |
T126 |
2284 |
17 |
0 |
0 |
timing1_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
516868043 |
774 |
0 |
0 |
T64 |
6108 |
50 |
0 |
0 |
T69 |
12292 |
9 |
0 |
0 |
T83 |
9250 |
5 |
0 |
0 |
T100 |
1638 |
7 |
0 |
0 |
T101 |
6093 |
59 |
0 |
0 |
T119 |
2174 |
3 |
0 |
0 |
T120 |
3147 |
46 |
0 |
0 |
T123 |
4011 |
5 |
0 |
0 |
T125 |
7893 |
9 |
0 |
0 |
T126 |
2284 |
20 |
0 |
0 |
timing2_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
516868043 |
721 |
0 |
0 |
T64 |
6108 |
73 |
0 |
0 |
T69 |
12292 |
1 |
0 |
0 |
T100 |
1638 |
11 |
0 |
0 |
T101 |
6093 |
63 |
0 |
0 |
T119 |
2174 |
14 |
0 |
0 |
T120 |
3147 |
14 |
0 |
0 |
T123 |
4011 |
28 |
0 |
0 |
T125 |
7893 |
7 |
0 |
0 |
T126 |
2284 |
16 |
0 |
0 |
T173 |
24515 |
227 |
0 |
0 |
timing3_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
516868043 |
779 |
0 |
0 |
T64 |
6108 |
40 |
0 |
0 |
T69 |
12292 |
41 |
0 |
0 |
T100 |
1638 |
2 |
0 |
0 |
T101 |
6093 |
73 |
0 |
0 |
T119 |
2174 |
2 |
0 |
0 |
T120 |
3147 |
21 |
0 |
0 |
T123 |
4011 |
16 |
0 |
0 |
T125 |
7893 |
5 |
0 |
0 |
T126 |
2284 |
20 |
0 |
0 |
T173 |
24515 |
213 |
0 |
0 |
timing4_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
516868043 |
812 |
0 |
0 |
T64 |
6108 |
52 |
0 |
0 |
T69 |
12292 |
20 |
0 |
0 |
T83 |
9250 |
14 |
0 |
0 |
T100 |
1638 |
7 |
0 |
0 |
T101 |
6093 |
43 |
0 |
0 |
T119 |
2174 |
15 |
0 |
0 |
T120 |
3147 |
28 |
0 |
0 |
T123 |
4011 |
34 |
0 |
0 |
T125 |
7893 |
2 |
0 |
0 |
T126 |
2284 |
8 |
0 |
0 |