Assert Coverage for Module :
i2c_csr_assert_fpv
Assertion Details
TlulOOBAddrErr_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
387256208 |
0 |
0 |
0 |
ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
387256208 |
1837 |
0 |
0 |
| T106 |
26369 |
213 |
0 |
0 |
| T107 |
1757 |
34 |
0 |
0 |
| T108 |
6849 |
77 |
0 |
0 |
| T109 |
4809 |
22 |
0 |
0 |
| T110 |
6024 |
63 |
0 |
0 |
| T111 |
1830 |
37 |
0 |
0 |
| T112 |
13412 |
76 |
0 |
0 |
| T113 |
3132 |
6 |
0 |
0 |
| T114 |
1504 |
5 |
0 |
0 |
| T115 |
1965 |
20 |
0 |
0 |
host_fifo_config_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
387256208 |
3426 |
0 |
0 |
| T116 |
409006 |
172 |
0 |
0 |
| T117 |
493605 |
164 |
0 |
0 |
| T118 |
0 |
148 |
0 |
0 |
| T119 |
0 |
183 |
0 |
0 |
| T120 |
0 |
160 |
0 |
0 |
| T121 |
0 |
226 |
0 |
0 |
| T122 |
0 |
84 |
0 |
0 |
| T123 |
0 |
122 |
0 |
0 |
| T124 |
0 |
99 |
0 |
0 |
| T125 |
0 |
221 |
0 |
0 |
| T126 |
1178 |
0 |
0 |
0 |
| T127 |
116199 |
0 |
0 |
0 |
| T128 |
18688 |
0 |
0 |
0 |
| T129 |
88466 |
0 |
0 |
0 |
| T130 |
10039 |
0 |
0 |
0 |
| T131 |
13891 |
0 |
0 |
0 |
| T132 |
13052 |
0 |
0 |
0 |
| T133 |
8477 |
0 |
0 |
0 |
host_nack_handler_timeout_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
387256208 |
979 |
0 |
0 |
| T106 |
26369 |
216 |
0 |
0 |
| T107 |
1757 |
15 |
0 |
0 |
| T108 |
6849 |
23 |
0 |
0 |
| T109 |
4809 |
37 |
0 |
0 |
| T110 |
6024 |
45 |
0 |
0 |
| T111 |
1830 |
2 |
0 |
0 |
| T112 |
13412 |
24 |
0 |
0 |
| T113 |
3132 |
31 |
0 |
0 |
| T134 |
5982 |
3 |
0 |
0 |
| T135 |
3458 |
22 |
0 |
0 |
host_timeout_ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
387256208 |
820 |
0 |
0 |
| T106 |
26369 |
198 |
0 |
0 |
| T107 |
1757 |
7 |
0 |
0 |
| T108 |
6849 |
37 |
0 |
0 |
| T109 |
4809 |
22 |
0 |
0 |
| T110 |
6024 |
52 |
0 |
0 |
| T112 |
13412 |
40 |
0 |
0 |
| T113 |
3132 |
35 |
0 |
0 |
| T114 |
1504 |
1 |
0 |
0 |
| T134 |
5982 |
7 |
0 |
0 |
| T135 |
3458 |
40 |
0 |
0 |
intr_enable_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
387256208 |
3287 |
0 |
0 |
| T106 |
0 |
253 |
0 |
0 |
| T107 |
0 |
6 |
0 |
0 |
| T108 |
0 |
78 |
0 |
0 |
| T109 |
0 |
14 |
0 |
0 |
| T136 |
230307 |
16 |
0 |
0 |
| T137 |
0 |
60 |
0 |
0 |
| T138 |
0 |
3 |
0 |
0 |
| T139 |
0 |
16 |
0 |
0 |
| T140 |
0 |
15 |
0 |
0 |
| T141 |
0 |
4 |
0 |
0 |
| T142 |
35852 |
0 |
0 |
0 |
| T143 |
60414 |
0 |
0 |
0 |
| T144 |
7665 |
0 |
0 |
0 |
| T145 |
94829 |
0 |
0 |
0 |
| T146 |
57435 |
0 |
0 |
0 |
| T147 |
179591 |
0 |
0 |
0 |
| T148 |
13671 |
0 |
0 |
0 |
| T149 |
105359 |
0 |
0 |
0 |
| T150 |
16210 |
0 |
0 |
0 |
ovrd_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
387256208 |
1983 |
0 |
0 |
| T23 |
24216 |
0 |
0 |
0 |
| T32 |
459664 |
0 |
0 |
0 |
| T41 |
157288 |
0 |
0 |
0 |
| T69 |
451288 |
0 |
0 |
0 |
| T82 |
1983 |
44 |
0 |
0 |
| T101 |
2099 |
46 |
0 |
0 |
| T151 |
0 |
47 |
0 |
0 |
| T152 |
0 |
46 |
0 |
0 |
| T153 |
0 |
56 |
0 |
0 |
| T154 |
0 |
38 |
0 |
0 |
| T155 |
0 |
31 |
0 |
0 |
| T156 |
0 |
34 |
0 |
0 |
| T157 |
0 |
45 |
0 |
0 |
| T158 |
0 |
40 |
0 |
0 |
| T159 |
115190 |
0 |
0 |
0 |
| T160 |
12652 |
0 |
0 |
0 |
| T161 |
93936 |
0 |
0 |
0 |
| T162 |
22608 |
0 |
0 |
0 |
target_fifo_config_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
387256208 |
976 |
0 |
0 |
| T106 |
26369 |
206 |
0 |
0 |
| T107 |
1757 |
5 |
0 |
0 |
| T108 |
6849 |
23 |
0 |
0 |
| T109 |
4809 |
17 |
0 |
0 |
| T110 |
6024 |
13 |
0 |
0 |
| T111 |
1830 |
9 |
0 |
0 |
| T112 |
13412 |
44 |
0 |
0 |
| T113 |
3132 |
5 |
0 |
0 |
| T134 |
5982 |
20 |
0 |
0 |
| T135 |
3458 |
17 |
0 |
0 |
target_id_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
387256208 |
1212 |
0 |
0 |
| T106 |
26369 |
213 |
0 |
0 |
| T107 |
1757 |
19 |
0 |
0 |
| T108 |
6849 |
56 |
0 |
0 |
| T110 |
6024 |
39 |
0 |
0 |
| T112 |
13412 |
40 |
0 |
0 |
| T113 |
3132 |
17 |
0 |
0 |
| T114 |
1504 |
15 |
0 |
0 |
| T134 |
5982 |
7 |
0 |
0 |
| T135 |
3458 |
12 |
0 |
0 |
| T163 |
1543 |
3 |
0 |
0 |
target_timeout_ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
387256208 |
1028 |
0 |
0 |
| T106 |
26369 |
251 |
0 |
0 |
| T107 |
1757 |
1 |
0 |
0 |
| T108 |
6849 |
30 |
0 |
0 |
| T109 |
4809 |
41 |
0 |
0 |
| T110 |
6024 |
40 |
0 |
0 |
| T111 |
1830 |
3 |
0 |
0 |
| T112 |
13412 |
52 |
0 |
0 |
| T134 |
5982 |
30 |
0 |
0 |
| T135 |
3458 |
5 |
0 |
0 |
| T163 |
1543 |
7 |
0 |
0 |
timeout_ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
387256208 |
1191 |
0 |
0 |
| T106 |
26369 |
215 |
0 |
0 |
| T107 |
1757 |
5 |
0 |
0 |
| T108 |
6849 |
56 |
0 |
0 |
| T109 |
4809 |
50 |
0 |
0 |
| T110 |
6024 |
38 |
0 |
0 |
| T112 |
13412 |
26 |
0 |
0 |
| T113 |
3132 |
57 |
0 |
0 |
| T134 |
5982 |
17 |
0 |
0 |
| T135 |
3458 |
20 |
0 |
0 |
| T163 |
1543 |
2 |
0 |
0 |
timing0_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
387256208 |
927 |
0 |
0 |
| T106 |
26369 |
249 |
0 |
0 |
| T107 |
1757 |
9 |
0 |
0 |
| T108 |
6849 |
39 |
0 |
0 |
| T109 |
4809 |
20 |
0 |
0 |
| T110 |
6024 |
59 |
0 |
0 |
| T112 |
13412 |
46 |
0 |
0 |
| T113 |
3132 |
6 |
0 |
0 |
| T134 |
5982 |
23 |
0 |
0 |
| T135 |
3458 |
7 |
0 |
0 |
| T163 |
1543 |
8 |
0 |
0 |
timing1_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
387256208 |
991 |
0 |
0 |
| T106 |
26369 |
241 |
0 |
0 |
| T107 |
1757 |
13 |
0 |
0 |
| T108 |
6849 |
6 |
0 |
0 |
| T109 |
4809 |
41 |
0 |
0 |
| T110 |
6024 |
56 |
0 |
0 |
| T111 |
1830 |
7 |
0 |
0 |
| T112 |
13412 |
26 |
0 |
0 |
| T134 |
5982 |
4 |
0 |
0 |
| T135 |
3458 |
25 |
0 |
0 |
| T163 |
1543 |
8 |
0 |
0 |
timing2_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
387256208 |
949 |
0 |
0 |
| T106 |
26369 |
179 |
0 |
0 |
| T107 |
1757 |
8 |
0 |
0 |
| T108 |
6849 |
28 |
0 |
0 |
| T109 |
4809 |
39 |
0 |
0 |
| T110 |
6024 |
46 |
0 |
0 |
| T111 |
1830 |
2 |
0 |
0 |
| T112 |
13412 |
59 |
0 |
0 |
| T113 |
3132 |
34 |
0 |
0 |
| T135 |
3458 |
15 |
0 |
0 |
| T163 |
1543 |
3 |
0 |
0 |
timing3_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
387256208 |
1018 |
0 |
0 |
| T106 |
26369 |
214 |
0 |
0 |
| T107 |
1757 |
13 |
0 |
0 |
| T108 |
6849 |
31 |
0 |
0 |
| T109 |
4809 |
19 |
0 |
0 |
| T110 |
6024 |
28 |
0 |
0 |
| T112 |
13412 |
73 |
0 |
0 |
| T113 |
3132 |
37 |
0 |
0 |
| T134 |
5982 |
5 |
0 |
0 |
| T135 |
3458 |
36 |
0 |
0 |
| T163 |
1543 |
10 |
0 |
0 |
timing4_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
387256208 |
1013 |
0 |
0 |
| T106 |
26369 |
206 |
0 |
0 |
| T107 |
1757 |
16 |
0 |
0 |
| T108 |
6849 |
19 |
0 |
0 |
| T109 |
4809 |
32 |
0 |
0 |
| T110 |
6024 |
63 |
0 |
0 |
| T112 |
13412 |
54 |
0 |
0 |
| T113 |
3132 |
35 |
0 |
0 |
| T134 |
5982 |
3 |
0 |
0 |
| T135 |
3458 |
43 |
0 |
0 |
| T163 |
1543 |
1 |
0 |
0 |