Assert Coverage for Module :
i2c_csr_assert_fpv
Assertion Details
TlulOOBAddrErr_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
424227666 |
9211 |
0 |
0 |
| T58 |
6136 |
300 |
0 |
0 |
| T59 |
1357 |
33 |
0 |
0 |
| T60 |
3243 |
9 |
0 |
0 |
| T61 |
6135 |
1 |
0 |
0 |
| T62 |
7568 |
324 |
0 |
0 |
| T63 |
12779 |
6 |
0 |
0 |
| T64 |
1715 |
17 |
0 |
0 |
| T69 |
2128 |
44 |
0 |
0 |
| T85 |
2712 |
16 |
0 |
0 |
| T98 |
2909 |
13 |
0 |
0 |
ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
424227666 |
2186 |
0 |
0 |
| T60 |
3243 |
24 |
0 |
0 |
| T61 |
6135 |
53 |
0 |
0 |
| T62 |
7568 |
6 |
0 |
0 |
| T63 |
12779 |
127 |
0 |
0 |
| T84 |
3039 |
31 |
0 |
0 |
| T85 |
2712 |
10 |
0 |
0 |
| T98 |
2909 |
12 |
0 |
0 |
| T113 |
3288 |
23 |
0 |
0 |
| T115 |
2005 |
14 |
0 |
0 |
| T117 |
2580 |
16 |
0 |
0 |
host_fifo_config_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
424227666 |
6490 |
0 |
0 |
| T20 |
964901 |
0 |
0 |
0 |
| T25 |
115057 |
0 |
0 |
0 |
| T28 |
127510 |
0 |
0 |
0 |
| T36 |
0 |
113 |
0 |
0 |
| T40 |
0 |
456 |
0 |
0 |
| T44 |
957277 |
0 |
0 |
0 |
| T121 |
0 |
173 |
0 |
0 |
| T124 |
398625 |
157 |
0 |
0 |
| T125 |
0 |
168 |
0 |
0 |
| T126 |
0 |
216 |
0 |
0 |
| T127 |
0 |
211 |
0 |
0 |
| T128 |
0 |
141 |
0 |
0 |
| T129 |
0 |
334 |
0 |
0 |
| T130 |
0 |
205 |
0 |
0 |
| T131 |
43957 |
0 |
0 |
0 |
| T132 |
391634 |
0 |
0 |
0 |
| T133 |
11920 |
0 |
0 |
0 |
| T134 |
173530 |
0 |
0 |
0 |
| T135 |
103578 |
0 |
0 |
0 |
host_timeout_ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
424227666 |
1908 |
0 |
0 |
| T60 |
3243 |
15 |
0 |
0 |
| T61 |
6135 |
48 |
0 |
0 |
| T62 |
7568 |
10 |
0 |
0 |
| T63 |
12779 |
79 |
0 |
0 |
| T84 |
3039 |
6 |
0 |
0 |
| T85 |
2712 |
1 |
0 |
0 |
| T98 |
2909 |
14 |
0 |
0 |
| T113 |
3288 |
16 |
0 |
0 |
| T115 |
2005 |
2 |
0 |
0 |
| T117 |
2580 |
2 |
0 |
0 |
intr_enable_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
424227666 |
5556 |
0 |
0 |
| T36 |
0 |
27 |
0 |
0 |
| T40 |
192534 |
24 |
0 |
0 |
| T121 |
0 |
18 |
0 |
0 |
| T123 |
0 |
12 |
0 |
0 |
| T130 |
0 |
32 |
0 |
0 |
| T136 |
0 |
25 |
0 |
0 |
| T137 |
0 |
3 |
0 |
0 |
| T138 |
0 |
4 |
0 |
0 |
| T139 |
0 |
22 |
0 |
0 |
| T140 |
0 |
16 |
0 |
0 |
| T141 |
604414 |
0 |
0 |
0 |
| T142 |
24520 |
0 |
0 |
0 |
| T143 |
295930 |
0 |
0 |
0 |
| T144 |
977 |
0 |
0 |
0 |
| T145 |
220669 |
0 |
0 |
0 |
| T146 |
584944 |
0 |
0 |
0 |
| T147 |
196909 |
0 |
0 |
0 |
| T148 |
1059 |
0 |
0 |
0 |
| T149 |
41323 |
0 |
0 |
0 |
ovrd_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
424227666 |
2893 |
0 |
0 |
| T4 |
1302 |
60 |
0 |
0 |
| T5 |
0 |
23 |
0 |
0 |
| T7 |
58644 |
0 |
0 |
0 |
| T8 |
971662 |
0 |
0 |
0 |
| T9 |
12836 |
0 |
0 |
0 |
| T13 |
295995 |
0 |
0 |
0 |
| T14 |
164241 |
0 |
0 |
0 |
| T15 |
151448 |
0 |
0 |
0 |
| T17 |
3473 |
0 |
0 |
0 |
| T18 |
37190 |
0 |
0 |
0 |
| T41 |
168858 |
0 |
0 |
0 |
| T150 |
0 |
40 |
0 |
0 |
| T151 |
0 |
44 |
0 |
0 |
| T152 |
0 |
55 |
0 |
0 |
| T153 |
0 |
50 |
0 |
0 |
| T154 |
0 |
45 |
0 |
0 |
| T155 |
0 |
33 |
0 |
0 |
| T156 |
0 |
51 |
0 |
0 |
| T157 |
0 |
55 |
0 |
0 |
target_fifo_config_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
424227666 |
2118 |
0 |
0 |
| T60 |
3243 |
20 |
0 |
0 |
| T61 |
6135 |
56 |
0 |
0 |
| T62 |
7568 |
19 |
0 |
0 |
| T63 |
12779 |
102 |
0 |
0 |
| T84 |
3039 |
16 |
0 |
0 |
| T85 |
2712 |
17 |
0 |
0 |
| T98 |
2909 |
12 |
0 |
0 |
| T113 |
3288 |
27 |
0 |
0 |
| T115 |
2005 |
8 |
0 |
0 |
| T117 |
2580 |
11 |
0 |
0 |
target_id_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
424227666 |
2574 |
0 |
0 |
| T60 |
3243 |
28 |
0 |
0 |
| T61 |
6135 |
27 |
0 |
0 |
| T62 |
7568 |
10 |
0 |
0 |
| T63 |
12779 |
216 |
0 |
0 |
| T84 |
3039 |
19 |
0 |
0 |
| T85 |
2712 |
14 |
0 |
0 |
| T98 |
2909 |
29 |
0 |
0 |
| T113 |
3288 |
2 |
0 |
0 |
| T115 |
2005 |
11 |
0 |
0 |
| T117 |
2580 |
24 |
0 |
0 |
timeout_ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
424227666 |
2114 |
0 |
0 |
| T60 |
3243 |
14 |
0 |
0 |
| T61 |
6135 |
60 |
0 |
0 |
| T62 |
7568 |
28 |
0 |
0 |
| T63 |
12779 |
74 |
0 |
0 |
| T84 |
3039 |
16 |
0 |
0 |
| T85 |
2712 |
7 |
0 |
0 |
| T98 |
2909 |
8 |
0 |
0 |
| T113 |
3288 |
21 |
0 |
0 |
| T117 |
2580 |
16 |
0 |
0 |
| T118 |
1526 |
15 |
0 |
0 |
timing0_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
424227666 |
2089 |
0 |
0 |
| T60 |
3243 |
14 |
0 |
0 |
| T61 |
6135 |
65 |
0 |
0 |
| T62 |
7568 |
1 |
0 |
0 |
| T63 |
12779 |
130 |
0 |
0 |
| T84 |
3039 |
22 |
0 |
0 |
| T85 |
2712 |
8 |
0 |
0 |
| T98 |
2909 |
4 |
0 |
0 |
| T113 |
3288 |
45 |
0 |
0 |
| T115 |
2005 |
1 |
0 |
0 |
| T117 |
2580 |
4 |
0 |
0 |
timing1_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
424227666 |
2009 |
0 |
0 |
| T61 |
6135 |
46 |
0 |
0 |
| T62 |
7568 |
9 |
0 |
0 |
| T63 |
12779 |
142 |
0 |
0 |
| T84 |
3039 |
17 |
0 |
0 |
| T85 |
2712 |
8 |
0 |
0 |
| T98 |
2909 |
14 |
0 |
0 |
| T113 |
3288 |
18 |
0 |
0 |
| T117 |
2580 |
11 |
0 |
0 |
| T118 |
1526 |
6 |
0 |
0 |
| T158 |
1780 |
2 |
0 |
0 |
timing2_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
424227666 |
2049 |
0 |
0 |
| T60 |
3243 |
14 |
0 |
0 |
| T61 |
6135 |
64 |
0 |
0 |
| T62 |
7568 |
21 |
0 |
0 |
| T63 |
12779 |
146 |
0 |
0 |
| T84 |
3039 |
15 |
0 |
0 |
| T85 |
2712 |
8 |
0 |
0 |
| T98 |
2909 |
24 |
0 |
0 |
| T113 |
3288 |
13 |
0 |
0 |
| T115 |
2005 |
1 |
0 |
0 |
| T117 |
2580 |
32 |
0 |
0 |
timing3_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
424227666 |
2158 |
0 |
0 |
| T60 |
3243 |
18 |
0 |
0 |
| T61 |
6135 |
35 |
0 |
0 |
| T62 |
7568 |
31 |
0 |
0 |
| T63 |
12779 |
96 |
0 |
0 |
| T84 |
3039 |
28 |
0 |
0 |
| T85 |
2712 |
20 |
0 |
0 |
| T98 |
2909 |
9 |
0 |
0 |
| T113 |
3288 |
6 |
0 |
0 |
| T115 |
2005 |
1 |
0 |
0 |
| T117 |
2580 |
9 |
0 |
0 |
timing4_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
424227666 |
2256 |
0 |
0 |
| T60 |
3243 |
14 |
0 |
0 |
| T61 |
6135 |
44 |
0 |
0 |
| T62 |
7568 |
18 |
0 |
0 |
| T63 |
12779 |
126 |
0 |
0 |
| T84 |
3039 |
30 |
0 |
0 |
| T85 |
2712 |
15 |
0 |
0 |
| T98 |
2909 |
8 |
0 |
0 |
| T113 |
3288 |
10 |
0 |
0 |
| T115 |
2005 |
5 |
0 |
0 |
| T117 |
2580 |
25 |
0 |
0 |