Assert Coverage for Module :
i2c_csr_assert_fpv
Assertion Details
TlulOOBAddrErr_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
404239748 |
0 |
0 |
0 |
ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
404239748 |
2607 |
0 |
0 |
| T111 |
2010 |
5 |
0 |
0 |
| T112 |
3332 |
2 |
0 |
0 |
| T113 |
3694 |
47 |
0 |
0 |
| T114 |
1334 |
2 |
0 |
0 |
| T115 |
14007 |
267 |
0 |
0 |
| T116 |
5207 |
18 |
0 |
0 |
| T117 |
1954 |
1 |
0 |
0 |
| T118 |
9099 |
12 |
0 |
0 |
| T119 |
14125 |
297 |
0 |
0 |
| T120 |
2583 |
9 |
0 |
0 |
host_fifo_config_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
404239748 |
4835 |
0 |
0 |
| T24 |
0 |
132 |
0 |
0 |
| T59 |
752425 |
0 |
0 |
0 |
| T70 |
71703 |
0 |
0 |
0 |
| T88 |
301121 |
75 |
0 |
0 |
| T90 |
0 |
242 |
0 |
0 |
| T121 |
0 |
84 |
0 |
0 |
| T122 |
0 |
232 |
0 |
0 |
| T123 |
0 |
103 |
0 |
0 |
| T124 |
0 |
225 |
0 |
0 |
| T125 |
0 |
250 |
0 |
0 |
| T126 |
0 |
146 |
0 |
0 |
| T127 |
0 |
212 |
0 |
0 |
| T128 |
22134 |
0 |
0 |
0 |
| T129 |
21974 |
0 |
0 |
0 |
| T130 |
128223 |
0 |
0 |
0 |
| T131 |
64724 |
0 |
0 |
0 |
| T132 |
21666 |
0 |
0 |
0 |
| T133 |
174434 |
0 |
0 |
0 |
| T134 |
27205 |
0 |
0 |
0 |
host_nack_handler_timeout_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
404239748 |
1558 |
0 |
0 |
| T111 |
2010 |
3 |
0 |
0 |
| T112 |
3332 |
23 |
0 |
0 |
| T113 |
3694 |
7 |
0 |
0 |
| T115 |
14007 |
127 |
0 |
0 |
| T116 |
5207 |
27 |
0 |
0 |
| T117 |
1954 |
4 |
0 |
0 |
| T118 |
9099 |
15 |
0 |
0 |
| T119 |
14125 |
118 |
0 |
0 |
| T120 |
2583 |
12 |
0 |
0 |
| T135 |
2459 |
14 |
0 |
0 |
host_timeout_ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
404239748 |
1273 |
0 |
0 |
| T111 |
2010 |
6 |
0 |
0 |
| T112 |
3332 |
12 |
0 |
0 |
| T113 |
3694 |
29 |
0 |
0 |
| T114 |
1334 |
5 |
0 |
0 |
| T115 |
14007 |
84 |
0 |
0 |
| T116 |
5207 |
2 |
0 |
0 |
| T117 |
1954 |
2 |
0 |
0 |
| T118 |
9099 |
17 |
0 |
0 |
| T119 |
14125 |
81 |
0 |
0 |
| T120 |
2583 |
11 |
0 |
0 |
intr_enable_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
404239748 |
5713 |
0 |
0 |
| T111 |
0 |
10 |
0 |
0 |
| T112 |
0 |
16 |
0 |
0 |
| T113 |
0 |
20 |
0 |
0 |
| T114 |
0 |
4 |
0 |
0 |
| T115 |
0 |
816 |
0 |
0 |
| T116 |
0 |
6 |
0 |
0 |
| T125 |
175993 |
15 |
0 |
0 |
| T136 |
0 |
23 |
0 |
0 |
| T137 |
0 |
21 |
0 |
0 |
| T138 |
0 |
1 |
0 |
0 |
| T139 |
42808 |
0 |
0 |
0 |
| T140 |
50201 |
0 |
0 |
0 |
| T141 |
43519 |
0 |
0 |
0 |
| T142 |
14690 |
0 |
0 |
0 |
| T143 |
53143 |
0 |
0 |
0 |
| T144 |
1547 |
0 |
0 |
0 |
| T145 |
2371 |
0 |
0 |
0 |
| T146 |
11568 |
0 |
0 |
0 |
| T147 |
140361 |
0 |
0 |
0 |
ovrd_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
404239748 |
2331 |
0 |
0 |
| T1 |
3084 |
34 |
0 |
0 |
| T2 |
14410 |
0 |
0 |
0 |
| T3 |
6058 |
0 |
0 |
0 |
| T4 |
3381 |
0 |
0 |
0 |
| T5 |
14722 |
0 |
0 |
0 |
| T6 |
11092 |
0 |
0 |
0 |
| T7 |
22174 |
0 |
0 |
0 |
| T8 |
10362 |
0 |
0 |
0 |
| T9 |
131062 |
0 |
0 |
0 |
| T10 |
122148 |
0 |
0 |
0 |
| T148 |
0 |
39 |
0 |
0 |
| T149 |
0 |
43 |
0 |
0 |
| T150 |
0 |
22 |
0 |
0 |
| T151 |
0 |
74 |
0 |
0 |
| T152 |
0 |
20 |
0 |
0 |
| T153 |
0 |
32 |
0 |
0 |
| T154 |
0 |
87 |
0 |
0 |
| T155 |
0 |
24 |
0 |
0 |
| T156 |
0 |
38 |
0 |
0 |
target_fifo_config_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
404239748 |
1398 |
0 |
0 |
| T111 |
2010 |
2 |
0 |
0 |
| T112 |
3332 |
1 |
0 |
0 |
| T114 |
1334 |
3 |
0 |
0 |
| T115 |
14007 |
80 |
0 |
0 |
| T116 |
5207 |
20 |
0 |
0 |
| T117 |
1954 |
9 |
0 |
0 |
| T118 |
9099 |
25 |
0 |
0 |
| T119 |
14125 |
104 |
0 |
0 |
| T135 |
2459 |
10 |
0 |
0 |
| T157 |
6156 |
22 |
0 |
0 |
target_id_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
404239748 |
1801 |
0 |
0 |
| T111 |
2010 |
12 |
0 |
0 |
| T112 |
3332 |
26 |
0 |
0 |
| T113 |
3694 |
8 |
0 |
0 |
| T115 |
14007 |
98 |
0 |
0 |
| T116 |
5207 |
9 |
0 |
0 |
| T117 |
1954 |
7 |
0 |
0 |
| T118 |
9099 |
17 |
0 |
0 |
| T119 |
14125 |
174 |
0 |
0 |
| T120 |
2583 |
13 |
0 |
0 |
| T135 |
2459 |
9 |
0 |
0 |
target_timeout_ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
404239748 |
1462 |
0 |
0 |
| T111 |
2010 |
15 |
0 |
0 |
| T112 |
3332 |
16 |
0 |
0 |
| T113 |
3694 |
2 |
0 |
0 |
| T115 |
14007 |
126 |
0 |
0 |
| T116 |
5207 |
11 |
0 |
0 |
| T118 |
9099 |
8 |
0 |
0 |
| T119 |
14125 |
122 |
0 |
0 |
| T120 |
2583 |
13 |
0 |
0 |
| T135 |
2459 |
12 |
0 |
0 |
| T157 |
6156 |
6 |
0 |
0 |
timeout_ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
404239748 |
1803 |
0 |
0 |
| T111 |
2010 |
6 |
0 |
0 |
| T112 |
3332 |
16 |
0 |
0 |
| T113 |
3694 |
16 |
0 |
0 |
| T114 |
1334 |
7 |
0 |
0 |
| T115 |
14007 |
144 |
0 |
0 |
| T116 |
5207 |
45 |
0 |
0 |
| T117 |
1954 |
10 |
0 |
0 |
| T118 |
9099 |
13 |
0 |
0 |
| T119 |
14125 |
151 |
0 |
0 |
| T120 |
2583 |
19 |
0 |
0 |
timing0_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
404239748 |
1486 |
0 |
0 |
| T111 |
2010 |
15 |
0 |
0 |
| T112 |
3332 |
32 |
0 |
0 |
| T113 |
3694 |
17 |
0 |
0 |
| T114 |
1334 |
5 |
0 |
0 |
| T115 |
14007 |
132 |
0 |
0 |
| T116 |
5207 |
24 |
0 |
0 |
| T117 |
1954 |
3 |
0 |
0 |
| T118 |
9099 |
16 |
0 |
0 |
| T119 |
14125 |
137 |
0 |
0 |
| T120 |
2583 |
19 |
0 |
0 |
timing1_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
404239748 |
1480 |
0 |
0 |
| T111 |
2010 |
4 |
0 |
0 |
| T112 |
3332 |
25 |
0 |
0 |
| T113 |
3694 |
1 |
0 |
0 |
| T115 |
14007 |
108 |
0 |
0 |
| T116 |
5207 |
15 |
0 |
0 |
| T117 |
1954 |
5 |
0 |
0 |
| T118 |
9099 |
10 |
0 |
0 |
| T119 |
14125 |
152 |
0 |
0 |
| T120 |
2583 |
11 |
0 |
0 |
| T135 |
2459 |
7 |
0 |
0 |
timing2_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
404239748 |
1442 |
0 |
0 |
| T111 |
2010 |
4 |
0 |
0 |
| T112 |
3332 |
30 |
0 |
0 |
| T113 |
3694 |
6 |
0 |
0 |
| T115 |
14007 |
126 |
0 |
0 |
| T116 |
5207 |
27 |
0 |
0 |
| T117 |
1954 |
10 |
0 |
0 |
| T119 |
14125 |
132 |
0 |
0 |
| T120 |
2583 |
13 |
0 |
0 |
| T135 |
2459 |
9 |
0 |
0 |
| T157 |
6156 |
11 |
0 |
0 |
timing3_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
404239748 |
1502 |
0 |
0 |
| T111 |
2010 |
6 |
0 |
0 |
| T112 |
3332 |
9 |
0 |
0 |
| T113 |
3694 |
41 |
0 |
0 |
| T115 |
14007 |
123 |
0 |
0 |
| T116 |
5207 |
27 |
0 |
0 |
| T117 |
1954 |
8 |
0 |
0 |
| T118 |
9099 |
30 |
0 |
0 |
| T119 |
14125 |
125 |
0 |
0 |
| T120 |
2583 |
20 |
0 |
0 |
| T135 |
2459 |
21 |
0 |
0 |
timing4_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
404239748 |
1571 |
0 |
0 |
| T111 |
2010 |
2 |
0 |
0 |
| T112 |
3332 |
17 |
0 |
0 |
| T113 |
3694 |
7 |
0 |
0 |
| T114 |
1334 |
8 |
0 |
0 |
| T115 |
14007 |
133 |
0 |
0 |
| T116 |
5207 |
26 |
0 |
0 |
| T117 |
1954 |
5 |
0 |
0 |
| T118 |
9099 |
13 |
0 |
0 |
| T119 |
14125 |
91 |
0 |
0 |
| T120 |
2583 |
26 |
0 |
0 |