Assert Coverage for Module :
i2c_csr_assert_fpv
Assertion Details
TlulOOBAddrErr_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
433206463 |
6652 |
0 |
0 |
| T74 |
1886 |
1 |
0 |
0 |
| T108 |
2740 |
100 |
0 |
0 |
| T109 |
9147 |
577 |
0 |
0 |
| T116 |
5285 |
205 |
0 |
0 |
| T117 |
12445 |
466 |
0 |
0 |
| T126 |
2012 |
18 |
0 |
0 |
| T127 |
5444 |
200 |
0 |
0 |
| T132 |
1883 |
6 |
0 |
0 |
| T133 |
3295 |
6 |
0 |
0 |
| T134 |
2499 |
17 |
0 |
0 |
ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
433206463 |
1137 |
0 |
0 |
| T75 |
13190 |
205 |
0 |
0 |
| T76 |
6195 |
63 |
0 |
0 |
| T116 |
5285 |
2 |
0 |
0 |
| T121 |
14080 |
25 |
0 |
0 |
| T122 |
11078 |
151 |
0 |
0 |
| T137 |
2673 |
27 |
0 |
0 |
| T145 |
1682 |
15 |
0 |
0 |
| T152 |
1893 |
1 |
0 |
0 |
| T153 |
12690 |
7 |
0 |
0 |
| T154 |
3784 |
43 |
0 |
0 |
host_fifo_config_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
433206463 |
4571 |
0 |
0 |
| T13 |
135510 |
0 |
0 |
0 |
| T22 |
354463 |
0 |
0 |
0 |
| T65 |
22000 |
0 |
0 |
0 |
| T86 |
301948 |
157 |
0 |
0 |
| T97 |
0 |
181 |
0 |
0 |
| T102 |
134931 |
0 |
0 |
0 |
| T103 |
72656 |
0 |
0 |
0 |
| T104 |
122736 |
0 |
0 |
0 |
| T105 |
101928 |
0 |
0 |
0 |
| T107 |
0 |
154 |
0 |
0 |
| T110 |
3002 |
0 |
0 |
0 |
| T115 |
102167 |
0 |
0 |
0 |
| T155 |
0 |
138 |
0 |
0 |
| T156 |
0 |
109 |
0 |
0 |
| T157 |
0 |
181 |
0 |
0 |
| T158 |
0 |
71 |
0 |
0 |
| T159 |
0 |
99 |
0 |
0 |
| T160 |
0 |
246 |
0 |
0 |
| T161 |
0 |
150 |
0 |
0 |
host_nack_handler_timeout_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
433206463 |
803 |
0 |
0 |
| T75 |
13190 |
226 |
0 |
0 |
| T76 |
6195 |
10 |
0 |
0 |
| T116 |
5285 |
4 |
0 |
0 |
| T121 |
14080 |
28 |
0 |
0 |
| T127 |
5444 |
10 |
0 |
0 |
| T137 |
2673 |
23 |
0 |
0 |
| T145 |
1682 |
3 |
0 |
0 |
| T152 |
1893 |
2 |
0 |
0 |
| T153 |
12690 |
31 |
0 |
0 |
| T154 |
3784 |
18 |
0 |
0 |
host_timeout_ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
433206463 |
700 |
0 |
0 |
| T75 |
13190 |
238 |
0 |
0 |
| T76 |
6195 |
13 |
0 |
0 |
| T116 |
5285 |
2 |
0 |
0 |
| T121 |
14080 |
7 |
0 |
0 |
| T122 |
11078 |
31 |
0 |
0 |
| T137 |
2673 |
9 |
0 |
0 |
| T149 |
3863 |
38 |
0 |
0 |
| T152 |
1893 |
5 |
0 |
0 |
| T153 |
12690 |
23 |
0 |
0 |
| T154 |
3784 |
13 |
0 |
0 |
intr_enable_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
433206463 |
2628 |
0 |
0 |
| T31 |
971999 |
0 |
0 |
0 |
| T32 |
92140 |
0 |
0 |
0 |
| T33 |
244748 |
0 |
0 |
0 |
| T40 |
185272 |
0 |
0 |
0 |
| T42 |
666774 |
6 |
0 |
0 |
| T43 |
220122 |
0 |
0 |
0 |
| T64 |
39413 |
0 |
0 |
0 |
| T68 |
14758 |
0 |
0 |
0 |
| T71 |
0 |
31 |
0 |
0 |
| T80 |
0 |
4 |
0 |
0 |
| T85 |
17998 |
0 |
0 |
0 |
| T97 |
0 |
8 |
0 |
0 |
| T157 |
0 |
42 |
0 |
0 |
| T160 |
0 |
10 |
0 |
0 |
| T162 |
0 |
21 |
0 |
0 |
| T163 |
0 |
9 |
0 |
0 |
| T164 |
0 |
20 |
0 |
0 |
| T165 |
0 |
18 |
0 |
0 |
| T166 |
19050 |
0 |
0 |
0 |
ovrd_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
433206463 |
1593 |
0 |
0 |
| T15 |
238184 |
0 |
0 |
0 |
| T28 |
64133 |
0 |
0 |
0 |
| T38 |
2918 |
56 |
0 |
0 |
| T39 |
0 |
46 |
0 |
0 |
| T70 |
9312 |
0 |
0 |
0 |
| T84 |
956851 |
0 |
0 |
0 |
| T89 |
178531 |
0 |
0 |
0 |
| T91 |
228866 |
0 |
0 |
0 |
| T92 |
177876 |
0 |
0 |
0 |
| T93 |
499876 |
0 |
0 |
0 |
| T94 |
867 |
0 |
0 |
0 |
| T167 |
0 |
26 |
0 |
0 |
| T168 |
0 |
67 |
0 |
0 |
| T169 |
0 |
32 |
0 |
0 |
| T170 |
0 |
69 |
0 |
0 |
| T171 |
0 |
55 |
0 |
0 |
| T172 |
0 |
31 |
0 |
0 |
| T173 |
0 |
38 |
0 |
0 |
| T174 |
0 |
50 |
0 |
0 |
target_fifo_config_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
433206463 |
1020 |
0 |
0 |
| T75 |
13190 |
163 |
0 |
0 |
| T76 |
6195 |
52 |
0 |
0 |
| T121 |
14080 |
9 |
0 |
0 |
| T122 |
11078 |
75 |
0 |
0 |
| T127 |
5444 |
17 |
0 |
0 |
| T137 |
2673 |
8 |
0 |
0 |
| T145 |
1682 |
16 |
0 |
0 |
| T152 |
1893 |
3 |
0 |
0 |
| T153 |
12690 |
40 |
0 |
0 |
| T154 |
3784 |
15 |
0 |
0 |
target_id_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
433206463 |
902 |
0 |
0 |
| T75 |
13190 |
224 |
0 |
0 |
| T76 |
6195 |
60 |
0 |
0 |
| T121 |
14080 |
31 |
0 |
0 |
| T122 |
11078 |
59 |
0 |
0 |
| T127 |
5444 |
4 |
0 |
0 |
| T137 |
2673 |
10 |
0 |
0 |
| T145 |
1682 |
8 |
0 |
0 |
| T152 |
1893 |
21 |
0 |
0 |
| T153 |
12690 |
34 |
0 |
0 |
| T154 |
3784 |
20 |
0 |
0 |
target_timeout_ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
433206463 |
834 |
0 |
0 |
| T75 |
13190 |
198 |
0 |
0 |
| T76 |
6195 |
64 |
0 |
0 |
| T116 |
5285 |
4 |
0 |
0 |
| T121 |
14080 |
26 |
0 |
0 |
| T127 |
5444 |
2 |
0 |
0 |
| T137 |
2673 |
17 |
0 |
0 |
| T145 |
1682 |
7 |
0 |
0 |
| T152 |
1893 |
5 |
0 |
0 |
| T153 |
12690 |
18 |
0 |
0 |
| T154 |
3784 |
19 |
0 |
0 |
timeout_ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
433206463 |
837 |
0 |
0 |
| T75 |
13190 |
232 |
0 |
0 |
| T76 |
6195 |
74 |
0 |
0 |
| T121 |
14080 |
37 |
0 |
0 |
| T122 |
11078 |
63 |
0 |
0 |
| T127 |
5444 |
19 |
0 |
0 |
| T137 |
2673 |
6 |
0 |
0 |
| T145 |
1682 |
7 |
0 |
0 |
| T152 |
1893 |
3 |
0 |
0 |
| T153 |
12690 |
25 |
0 |
0 |
| T154 |
3784 |
18 |
0 |
0 |
timing0_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
433206463 |
856 |
0 |
0 |
| T75 |
13190 |
185 |
0 |
0 |
| T76 |
6195 |
22 |
0 |
0 |
| T116 |
5285 |
3 |
0 |
0 |
| T121 |
14080 |
30 |
0 |
0 |
| T127 |
5444 |
13 |
0 |
0 |
| T137 |
2673 |
29 |
0 |
0 |
| T145 |
1682 |
6 |
0 |
0 |
| T152 |
1893 |
10 |
0 |
0 |
| T153 |
12690 |
13 |
0 |
0 |
| T154 |
3784 |
35 |
0 |
0 |
timing1_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
433206463 |
778 |
0 |
0 |
| T75 |
13190 |
218 |
0 |
0 |
| T76 |
6195 |
33 |
0 |
0 |
| T116 |
5285 |
4 |
0 |
0 |
| T121 |
14080 |
19 |
0 |
0 |
| T127 |
5444 |
21 |
0 |
0 |
| T137 |
2673 |
13 |
0 |
0 |
| T145 |
1682 |
4 |
0 |
0 |
| T152 |
1893 |
8 |
0 |
0 |
| T153 |
12690 |
29 |
0 |
0 |
| T154 |
3784 |
23 |
0 |
0 |
timing2_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
433206463 |
808 |
0 |
0 |
| T75 |
13190 |
219 |
0 |
0 |
| T76 |
6195 |
28 |
0 |
0 |
| T121 |
14080 |
21 |
0 |
0 |
| T122 |
11078 |
83 |
0 |
0 |
| T127 |
5444 |
4 |
0 |
0 |
| T137 |
2673 |
3 |
0 |
0 |
| T145 |
1682 |
7 |
0 |
0 |
| T152 |
1893 |
1 |
0 |
0 |
| T153 |
12690 |
4 |
0 |
0 |
| T154 |
3784 |
16 |
0 |
0 |
timing3_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
433206463 |
804 |
0 |
0 |
| T75 |
13190 |
200 |
0 |
0 |
| T76 |
6195 |
26 |
0 |
0 |
| T121 |
14080 |
26 |
0 |
0 |
| T122 |
11078 |
58 |
0 |
0 |
| T127 |
5444 |
8 |
0 |
0 |
| T137 |
2673 |
11 |
0 |
0 |
| T145 |
1682 |
10 |
0 |
0 |
| T152 |
1893 |
12 |
0 |
0 |
| T153 |
12690 |
16 |
0 |
0 |
| T154 |
3784 |
26 |
0 |
0 |
timing4_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
433206463 |
817 |
0 |
0 |
| T75 |
13190 |
204 |
0 |
0 |
| T76 |
6195 |
47 |
0 |
0 |
| T116 |
5285 |
8 |
0 |
0 |
| T121 |
14080 |
3 |
0 |
0 |
| T127 |
5444 |
19 |
0 |
0 |
| T137 |
2673 |
9 |
0 |
0 |
| T145 |
1682 |
7 |
0 |
0 |
| T152 |
1893 |
5 |
0 |
0 |
| T153 |
12690 |
17 |
0 |
0 |
| T154 |
3784 |
7 |
0 |
0 |