Assert Coverage for Module :
i2c_csr_assert_fpv
Assertion Details
TlulOOBAddrErr_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
520162721 |
12177 |
0 |
0 |
| T75 |
4331 |
4 |
0 |
0 |
| T76 |
2352 |
10 |
0 |
0 |
| T77 |
6328 |
3 |
0 |
0 |
| T78 |
11176 |
594 |
0 |
0 |
| T79 |
2872 |
50 |
0 |
0 |
| T80 |
6617 |
5 |
0 |
0 |
| T81 |
3682 |
956 |
0 |
0 |
| T85 |
13120 |
862 |
0 |
0 |
| T91 |
8260 |
398 |
0 |
0 |
| T97 |
4601 |
769 |
0 |
0 |
ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
520162721 |
1463 |
0 |
0 |
| T76 |
2352 |
2 |
0 |
0 |
| T78 |
11176 |
12 |
0 |
0 |
| T80 |
6617 |
31 |
0 |
0 |
| T85 |
13120 |
16 |
0 |
0 |
| T91 |
8260 |
12 |
0 |
0 |
| T117 |
2433 |
10 |
0 |
0 |
| T118 |
2451 |
10 |
0 |
0 |
| T128 |
3064 |
41 |
0 |
0 |
| T129 |
2889 |
18 |
0 |
0 |
| T135 |
1915 |
13 |
0 |
0 |
fifo_ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
520162721 |
4759 |
0 |
0 |
| T12 |
640330 |
0 |
0 |
0 |
| T14 |
204959 |
0 |
0 |
0 |
| T33 |
79543 |
0 |
0 |
0 |
| T38 |
0 |
148 |
0 |
0 |
| T74 |
383662 |
76 |
0 |
0 |
| T136 |
0 |
113 |
0 |
0 |
| T137 |
0 |
130 |
0 |
0 |
| T138 |
0 |
125 |
0 |
0 |
| T139 |
0 |
113 |
0 |
0 |
| T140 |
0 |
66 |
0 |
0 |
| T141 |
0 |
161 |
0 |
0 |
| T142 |
0 |
139 |
0 |
0 |
| T143 |
0 |
66 |
0 |
0 |
| T144 |
795148 |
0 |
0 |
0 |
| T145 |
35129 |
0 |
0 |
0 |
| T146 |
277678 |
0 |
0 |
0 |
| T147 |
168645 |
0 |
0 |
0 |
| T148 |
107923 |
0 |
0 |
0 |
| T149 |
131899 |
0 |
0 |
0 |
host_timeout_ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
520162721 |
1112 |
0 |
0 |
| T76 |
2352 |
2 |
0 |
0 |
| T78 |
11176 |
7 |
0 |
0 |
| T80 |
6617 |
24 |
0 |
0 |
| T85 |
13120 |
20 |
0 |
0 |
| T91 |
8260 |
25 |
0 |
0 |
| T117 |
2433 |
2 |
0 |
0 |
| T118 |
2451 |
8 |
0 |
0 |
| T128 |
3064 |
8 |
0 |
0 |
| T129 |
2889 |
25 |
0 |
0 |
| T135 |
1915 |
1 |
0 |
0 |
intr_enable_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
520162721 |
4355 |
0 |
0 |
| T47 |
466911 |
0 |
0 |
0 |
| T76 |
0 |
5 |
0 |
0 |
| T80 |
0 |
242 |
0 |
0 |
| T142 |
0 |
9 |
0 |
0 |
| T150 |
685276 |
31 |
0 |
0 |
| T151 |
0 |
34 |
0 |
0 |
| T152 |
0 |
19 |
0 |
0 |
| T153 |
0 |
64 |
0 |
0 |
| T154 |
0 |
22 |
0 |
0 |
| T155 |
0 |
14 |
0 |
0 |
| T156 |
0 |
9 |
0 |
0 |
| T157 |
601510 |
0 |
0 |
0 |
| T158 |
179461 |
0 |
0 |
0 |
| T159 |
95114 |
0 |
0 |
0 |
| T160 |
22220 |
0 |
0 |
0 |
| T161 |
103310 |
0 |
0 |
0 |
| T162 |
52587 |
0 |
0 |
0 |
| T163 |
131054 |
0 |
0 |
0 |
| T164 |
71831 |
0 |
0 |
0 |
ovrd_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
520162721 |
2414 |
0 |
0 |
| T5 |
1134 |
50 |
0 |
0 |
| T24 |
245124 |
0 |
0 |
0 |
| T56 |
286692 |
0 |
0 |
0 |
| T165 |
1360 |
67 |
0 |
0 |
| T166 |
0 |
59 |
0 |
0 |
| T167 |
0 |
26 |
0 |
0 |
| T168 |
0 |
59 |
0 |
0 |
| T169 |
0 |
48 |
0 |
0 |
| T170 |
0 |
44 |
0 |
0 |
| T171 |
0 |
91 |
0 |
0 |
| T172 |
0 |
33 |
0 |
0 |
| T173 |
0 |
98 |
0 |
0 |
| T174 |
25754 |
0 |
0 |
0 |
| T175 |
3028 |
0 |
0 |
0 |
| T176 |
96610 |
0 |
0 |
0 |
| T177 |
244286 |
0 |
0 |
0 |
| T178 |
523535 |
0 |
0 |
0 |
| T179 |
82859 |
0 |
0 |
0 |
target_id_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
520162721 |
1667 |
0 |
0 |
| T78 |
11176 |
16 |
0 |
0 |
| T80 |
6617 |
70 |
0 |
0 |
| T85 |
13120 |
15 |
0 |
0 |
| T91 |
8260 |
7 |
0 |
0 |
| T117 |
2433 |
22 |
0 |
0 |
| T118 |
2451 |
31 |
0 |
0 |
| T120 |
40982 |
436 |
0 |
0 |
| T128 |
3064 |
27 |
0 |
0 |
| T129 |
2889 |
22 |
0 |
0 |
| T180 |
4555 |
59 |
0 |
0 |
timeout_ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
520162721 |
1458 |
0 |
0 |
| T78 |
11176 |
4 |
0 |
0 |
| T80 |
6617 |
42 |
0 |
0 |
| T85 |
13120 |
24 |
0 |
0 |
| T91 |
8260 |
23 |
0 |
0 |
| T117 |
2433 |
13 |
0 |
0 |
| T118 |
2451 |
9 |
0 |
0 |
| T128 |
3064 |
25 |
0 |
0 |
| T129 |
2889 |
5 |
0 |
0 |
| T135 |
1915 |
8 |
0 |
0 |
| T180 |
4555 |
56 |
0 |
0 |
timing0_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
520162721 |
1434 |
0 |
0 |
| T76 |
2352 |
10 |
0 |
0 |
| T78 |
11176 |
16 |
0 |
0 |
| T80 |
6617 |
57 |
0 |
0 |
| T85 |
13120 |
5 |
0 |
0 |
| T91 |
8260 |
14 |
0 |
0 |
| T117 |
2433 |
8 |
0 |
0 |
| T118 |
2451 |
11 |
0 |
0 |
| T129 |
2889 |
7 |
0 |
0 |
| T135 |
1915 |
10 |
0 |
0 |
| T180 |
4555 |
68 |
0 |
0 |
timing1_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
520162721 |
1345 |
0 |
0 |
| T76 |
2352 |
9 |
0 |
0 |
| T78 |
11176 |
16 |
0 |
0 |
| T80 |
6617 |
76 |
0 |
0 |
| T85 |
13120 |
31 |
0 |
0 |
| T91 |
8260 |
3 |
0 |
0 |
| T117 |
2433 |
20 |
0 |
0 |
| T118 |
2451 |
7 |
0 |
0 |
| T128 |
3064 |
8 |
0 |
0 |
| T129 |
2889 |
5 |
0 |
0 |
| T135 |
1915 |
9 |
0 |
0 |
timing2_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
520162721 |
1351 |
0 |
0 |
| T78 |
11176 |
8 |
0 |
0 |
| T80 |
6617 |
58 |
0 |
0 |
| T85 |
13120 |
14 |
0 |
0 |
| T91 |
8260 |
17 |
0 |
0 |
| T117 |
2433 |
6 |
0 |
0 |
| T118 |
2451 |
5 |
0 |
0 |
| T128 |
3064 |
11 |
0 |
0 |
| T129 |
2889 |
6 |
0 |
0 |
| T135 |
1915 |
1 |
0 |
0 |
| T180 |
4555 |
39 |
0 |
0 |
timing3_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
520162721 |
1309 |
0 |
0 |
| T76 |
2352 |
8 |
0 |
0 |
| T78 |
11176 |
15 |
0 |
0 |
| T80 |
6617 |
57 |
0 |
0 |
| T85 |
13120 |
9 |
0 |
0 |
| T91 |
8260 |
15 |
0 |
0 |
| T117 |
2433 |
3 |
0 |
0 |
| T118 |
2451 |
12 |
0 |
0 |
| T128 |
3064 |
18 |
0 |
0 |
| T129 |
2889 |
22 |
0 |
0 |
| T135 |
1915 |
1 |
0 |
0 |
timing4_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
520162721 |
1390 |
0 |
0 |
| T76 |
2352 |
5 |
0 |
0 |
| T78 |
11176 |
2 |
0 |
0 |
| T80 |
6617 |
61 |
0 |
0 |
| T85 |
13120 |
12 |
0 |
0 |
| T91 |
8260 |
17 |
0 |
0 |
| T117 |
2433 |
15 |
0 |
0 |
| T118 |
2451 |
22 |
0 |
0 |
| T128 |
3064 |
2 |
0 |
0 |
| T129 |
2889 |
4 |
0 |
0 |
| T135 |
1915 |
6 |
0 |
0 |