Assert Coverage for Module :
i2c_csr_assert_fpv
Assertion Details
TlulOOBAddrErr_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
439783268 |
0 |
0 |
0 |
ctrl_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
439783268 |
2539 |
0 |
0 |
T107 |
11965 |
39 |
0 |
0 |
T108 |
13317 |
327 |
0 |
0 |
T109 |
9573 |
9 |
0 |
0 |
T110 |
2051 |
7 |
0 |
0 |
T111 |
10510 |
264 |
0 |
0 |
T112 |
8587 |
8 |
0 |
0 |
T113 |
5739 |
98 |
0 |
0 |
T114 |
16802 |
334 |
0 |
0 |
T115 |
2624 |
1 |
0 |
0 |
T116 |
2224 |
27 |
0 |
0 |
host_fifo_config_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
439783268 |
3827 |
0 |
0 |
T97 |
516284 |
209 |
0 |
0 |
T98 |
5739 |
0 |
0 |
0 |
T99 |
261701 |
0 |
0 |
0 |
T117 |
0 |
207 |
0 |
0 |
T118 |
0 |
149 |
0 |
0 |
T119 |
0 |
114 |
0 |
0 |
T120 |
0 |
248 |
0 |
0 |
T121 |
0 |
149 |
0 |
0 |
T122 |
0 |
117 |
0 |
0 |
T123 |
0 |
73 |
0 |
0 |
T124 |
0 |
207 |
0 |
0 |
T125 |
0 |
112 |
0 |
0 |
T126 |
15989 |
0 |
0 |
0 |
T127 |
56750 |
0 |
0 |
0 |
T128 |
92884 |
0 |
0 |
0 |
T129 |
87302 |
0 |
0 |
0 |
T130 |
34998 |
0 |
0 |
0 |
T131 |
42033 |
0 |
0 |
0 |
T132 |
256825 |
0 |
0 |
0 |
host_nack_handler_timeout_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
439783268 |
1222 |
0 |
0 |
T107 |
11965 |
24 |
0 |
0 |
T108 |
13317 |
122 |
0 |
0 |
T109 |
9573 |
16 |
0 |
0 |
T110 |
2051 |
4 |
0 |
0 |
T111 |
10510 |
263 |
0 |
0 |
T112 |
8587 |
51 |
0 |
0 |
T113 |
5739 |
30 |
0 |
0 |
T114 |
16802 |
87 |
0 |
0 |
T115 |
2624 |
2 |
0 |
0 |
T133 |
3112 |
15 |
0 |
0 |
host_timeout_ctrl_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
439783268 |
1036 |
0 |
0 |
T107 |
11965 |
54 |
0 |
0 |
T108 |
13317 |
62 |
0 |
0 |
T109 |
9573 |
24 |
0 |
0 |
T110 |
2051 |
1 |
0 |
0 |
T111 |
10510 |
247 |
0 |
0 |
T112 |
8587 |
7 |
0 |
0 |
T113 |
5739 |
6 |
0 |
0 |
T114 |
16802 |
91 |
0 |
0 |
T116 |
2224 |
3 |
0 |
0 |
T133 |
3112 |
29 |
0 |
0 |
intr_enable_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
439783268 |
4580 |
0 |
0 |
T107 |
0 |
27 |
0 |
0 |
T108 |
0 |
503 |
0 |
0 |
T109 |
0 |
28 |
0 |
0 |
T110 |
0 |
7 |
0 |
0 |
T111 |
0 |
239 |
0 |
0 |
T112 |
0 |
2 |
0 |
0 |
T113 |
0 |
58 |
0 |
0 |
T114 |
0 |
606 |
0 |
0 |
T121 |
0 |
22 |
0 |
0 |
T134 |
729696 |
2 |
0 |
0 |
T135 |
54383 |
0 |
0 |
0 |
T136 |
288631 |
0 |
0 |
0 |
T137 |
58469 |
0 |
0 |
0 |
T138 |
194479 |
0 |
0 |
0 |
T139 |
57777 |
0 |
0 |
0 |
T140 |
245307 |
0 |
0 |
0 |
T141 |
43582 |
0 |
0 |
0 |
T142 |
14064 |
0 |
0 |
0 |
T143 |
16945 |
0 |
0 |
0 |
ovrd_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
439783268 |
2310 |
0 |
0 |
T35 |
85540 |
0 |
0 |
0 |
T41 |
31519 |
0 |
0 |
0 |
T144 |
3077 |
41 |
0 |
0 |
T145 |
0 |
44 |
0 |
0 |
T146 |
0 |
58 |
0 |
0 |
T147 |
0 |
44 |
0 |
0 |
T148 |
0 |
61 |
0 |
0 |
T149 |
0 |
19 |
0 |
0 |
T150 |
0 |
49 |
0 |
0 |
T151 |
0 |
45 |
0 |
0 |
T152 |
0 |
61 |
0 |
0 |
T153 |
0 |
48 |
0 |
0 |
T154 |
101296 |
0 |
0 |
0 |
T155 |
11808 |
0 |
0 |
0 |
T156 |
13540 |
0 |
0 |
0 |
T157 |
16721 |
0 |
0 |
0 |
T158 |
1013 |
0 |
0 |
0 |
T159 |
6133 |
0 |
0 |
0 |
T160 |
294389 |
0 |
0 |
0 |
target_fifo_config_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
439783268 |
1369 |
0 |
0 |
T107 |
11965 |
44 |
0 |
0 |
T108 |
13317 |
89 |
0 |
0 |
T109 |
9573 |
46 |
0 |
0 |
T111 |
10510 |
243 |
0 |
0 |
T112 |
8587 |
32 |
0 |
0 |
T113 |
5739 |
85 |
0 |
0 |
T114 |
16802 |
107 |
0 |
0 |
T115 |
2624 |
3 |
0 |
0 |
T116 |
2224 |
8 |
0 |
0 |
T133 |
3112 |
11 |
0 |
0 |
target_id_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
439783268 |
1773 |
0 |
0 |
T107 |
11965 |
14 |
0 |
0 |
T108 |
13317 |
164 |
0 |
0 |
T109 |
9573 |
14 |
0 |
0 |
T110 |
2051 |
7 |
0 |
0 |
T111 |
10510 |
273 |
0 |
0 |
T112 |
8587 |
29 |
0 |
0 |
T113 |
5739 |
27 |
0 |
0 |
T114 |
16802 |
160 |
0 |
0 |
T115 |
2624 |
5 |
0 |
0 |
T116 |
2224 |
1 |
0 |
0 |
target_timeout_ctrl_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
439783268 |
1468 |
0 |
0 |
T107 |
11965 |
25 |
0 |
0 |
T108 |
13317 |
124 |
0 |
0 |
T109 |
9573 |
8 |
0 |
0 |
T110 |
2051 |
7 |
0 |
0 |
T111 |
10510 |
282 |
0 |
0 |
T112 |
8587 |
12 |
0 |
0 |
T113 |
5739 |
39 |
0 |
0 |
T114 |
16802 |
86 |
0 |
0 |
T133 |
3112 |
33 |
0 |
0 |
T161 |
3769 |
28 |
0 |
0 |
timeout_ctrl_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
439783268 |
1612 |
0 |
0 |
T107 |
11965 |
16 |
0 |
0 |
T108 |
13317 |
158 |
0 |
0 |
T109 |
9573 |
16 |
0 |
0 |
T111 |
10510 |
200 |
0 |
0 |
T112 |
8587 |
32 |
0 |
0 |
T113 |
5739 |
50 |
0 |
0 |
T114 |
16802 |
162 |
0 |
0 |
T133 |
3112 |
13 |
0 |
0 |
T161 |
3769 |
19 |
0 |
0 |
T162 |
9363 |
17 |
0 |
0 |
timing0_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
439783268 |
1416 |
0 |
0 |
T107 |
11965 |
43 |
0 |
0 |
T108 |
13317 |
122 |
0 |
0 |
T109 |
9573 |
28 |
0 |
0 |
T110 |
2051 |
7 |
0 |
0 |
T111 |
10510 |
262 |
0 |
0 |
T112 |
8587 |
4 |
0 |
0 |
T113 |
5739 |
82 |
0 |
0 |
T114 |
16802 |
93 |
0 |
0 |
T115 |
2624 |
10 |
0 |
0 |
T133 |
3112 |
11 |
0 |
0 |
timing1_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
439783268 |
1379 |
0 |
0 |
T107 |
11965 |
50 |
0 |
0 |
T108 |
13317 |
113 |
0 |
0 |
T109 |
9573 |
45 |
0 |
0 |
T110 |
2051 |
6 |
0 |
0 |
T111 |
10510 |
262 |
0 |
0 |
T112 |
8587 |
16 |
0 |
0 |
T113 |
5739 |
35 |
0 |
0 |
T114 |
16802 |
93 |
0 |
0 |
T133 |
3112 |
24 |
0 |
0 |
T161 |
3769 |
18 |
0 |
0 |
timing2_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
439783268 |
1444 |
0 |
0 |
T107 |
11965 |
23 |
0 |
0 |
T108 |
13317 |
126 |
0 |
0 |
T109 |
9573 |
35 |
0 |
0 |
T110 |
2051 |
7 |
0 |
0 |
T111 |
10510 |
239 |
0 |
0 |
T112 |
8587 |
35 |
0 |
0 |
T113 |
5739 |
77 |
0 |
0 |
T114 |
16802 |
133 |
0 |
0 |
T115 |
2624 |
8 |
0 |
0 |
T116 |
2224 |
7 |
0 |
0 |
timing3_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
439783268 |
1313 |
0 |
0 |
T107 |
11965 |
51 |
0 |
0 |
T108 |
13317 |
99 |
0 |
0 |
T109 |
9573 |
7 |
0 |
0 |
T111 |
10510 |
219 |
0 |
0 |
T112 |
8587 |
28 |
0 |
0 |
T113 |
5739 |
24 |
0 |
0 |
T114 |
16802 |
101 |
0 |
0 |
T115 |
2624 |
2 |
0 |
0 |
T116 |
2224 |
6 |
0 |
0 |
T133 |
3112 |
44 |
0 |
0 |
timing4_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
439783268 |
1427 |
0 |
0 |
T107 |
11965 |
7 |
0 |
0 |
T108 |
13317 |
118 |
0 |
0 |
T109 |
9573 |
13 |
0 |
0 |
T110 |
2051 |
2 |
0 |
0 |
T111 |
10510 |
278 |
0 |
0 |
T112 |
8587 |
51 |
0 |
0 |
T113 |
5739 |
41 |
0 |
0 |
T114 |
16802 |
93 |
0 |
0 |
T116 |
2224 |
1 |
0 |
0 |
T133 |
3112 |
24 |
0 |
0 |