Assert Coverage for Module :
i2c_csr_assert_fpv
Assertion Details
TlulOOBAddrErr_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
622189 |
9551 |
0 |
0 |
T1 |
3080 |
319 |
0 |
0 |
T2 |
2119 |
146 |
0 |
0 |
T3 |
1673 |
0 |
0 |
0 |
T4 |
11631 |
4 |
0 |
0 |
T5 |
0 |
7 |
0 |
0 |
T7 |
997 |
0 |
0 |
0 |
T8 |
1566 |
0 |
0 |
0 |
T9 |
1592 |
0 |
0 |
0 |
T11 |
813 |
0 |
0 |
0 |
T12 |
1195 |
0 |
0 |
0 |
T13 |
8162 |
545 |
0 |
0 |
T14 |
0 |
769 |
0 |
0 |
T15 |
0 |
4 |
0 |
0 |
T16 |
0 |
6 |
0 |
0 |
T17 |
0 |
364 |
0 |
0 |
T21 |
0 |
3 |
0 |
0 |
ctrl_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
622189 |
1976 |
0 |
0 |
T4 |
11631 |
53 |
0 |
0 |
T5 |
11631 |
140 |
0 |
0 |
T6 |
4995 |
22 |
0 |
0 |
T9 |
1592 |
0 |
0 |
0 |
T10 |
1913 |
0 |
0 |
0 |
T11 |
813 |
0 |
0 |
0 |
T12 |
1195 |
0 |
0 |
0 |
T13 |
8162 |
7 |
0 |
0 |
T14 |
4580 |
0 |
0 |
0 |
T15 |
9809 |
0 |
0 |
0 |
T18 |
0 |
9 |
0 |
0 |
T20 |
0 |
30 |
0 |
0 |
T21 |
0 |
17 |
0 |
0 |
T26 |
0 |
29 |
0 |
0 |
T27 |
0 |
1 |
0 |
0 |
T35 |
0 |
136 |
0 |
0 |
host_fifo_config_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
622189 |
1846 |
0 |
0 |
T4 |
11631 |
86 |
0 |
0 |
T5 |
11631 |
120 |
0 |
0 |
T6 |
4995 |
26 |
0 |
0 |
T9 |
1592 |
0 |
0 |
0 |
T10 |
1913 |
0 |
0 |
0 |
T11 |
813 |
0 |
0 |
0 |
T12 |
1195 |
0 |
0 |
0 |
T13 |
8162 |
15 |
0 |
0 |
T14 |
4580 |
0 |
0 |
0 |
T15 |
9809 |
0 |
0 |
0 |
T18 |
0 |
26 |
0 |
0 |
T20 |
0 |
19 |
0 |
0 |
T21 |
0 |
19 |
0 |
0 |
T26 |
0 |
5 |
0 |
0 |
T27 |
0 |
35 |
0 |
0 |
T35 |
0 |
119 |
0 |
0 |
host_timeout_ctrl_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
622189 |
1554 |
0 |
0 |
T4 |
11631 |
49 |
0 |
0 |
T5 |
11631 |
60 |
0 |
0 |
T6 |
4995 |
68 |
0 |
0 |
T9 |
1592 |
0 |
0 |
0 |
T10 |
1913 |
0 |
0 |
0 |
T11 |
813 |
0 |
0 |
0 |
T12 |
1195 |
0 |
0 |
0 |
T13 |
8162 |
25 |
0 |
0 |
T14 |
4580 |
0 |
0 |
0 |
T15 |
9809 |
0 |
0 |
0 |
T18 |
0 |
38 |
0 |
0 |
T20 |
0 |
12 |
0 |
0 |
T21 |
0 |
29 |
0 |
0 |
T26 |
0 |
4 |
0 |
0 |
T27 |
0 |
42 |
0 |
0 |
T35 |
0 |
81 |
0 |
0 |
intr_enable_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
622189 |
5671 |
0 |
0 |
T4 |
11631 |
431 |
0 |
0 |
T5 |
11631 |
727 |
0 |
0 |
T6 |
4995 |
82 |
0 |
0 |
T7 |
997 |
18 |
0 |
0 |
T8 |
1566 |
0 |
0 |
0 |
T9 |
1592 |
0 |
0 |
0 |
T10 |
1913 |
0 |
0 |
0 |
T11 |
813 |
0 |
0 |
0 |
T12 |
1195 |
10 |
0 |
0 |
T13 |
8162 |
0 |
0 |
0 |
T18 |
0 |
18 |
0 |
0 |
T20 |
0 |
19 |
0 |
0 |
T21 |
0 |
154 |
0 |
0 |
T60 |
0 |
25 |
0 |
0 |
T61 |
0 |
32 |
0 |
0 |
ovrd_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
622189 |
1934 |
0 |
0 |
T4 |
11631 |
97 |
0 |
0 |
T5 |
11631 |
116 |
0 |
0 |
T6 |
4995 |
28 |
0 |
0 |
T9 |
1592 |
0 |
0 |
0 |
T10 |
1913 |
0 |
0 |
0 |
T11 |
813 |
0 |
0 |
0 |
T12 |
1195 |
0 |
0 |
0 |
T13 |
8162 |
16 |
0 |
0 |
T14 |
4580 |
0 |
0 |
0 |
T15 |
9809 |
0 |
0 |
0 |
T18 |
0 |
11 |
0 |
0 |
T20 |
0 |
29 |
0 |
0 |
T21 |
0 |
47 |
0 |
0 |
T26 |
0 |
20 |
0 |
0 |
T27 |
0 |
23 |
0 |
0 |
T35 |
0 |
182 |
0 |
0 |
target_fifo_config_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
622189 |
1629 |
0 |
0 |
T4 |
11631 |
67 |
0 |
0 |
T5 |
11631 |
126 |
0 |
0 |
T6 |
4995 |
48 |
0 |
0 |
T9 |
1592 |
0 |
0 |
0 |
T10 |
1913 |
0 |
0 |
0 |
T11 |
813 |
0 |
0 |
0 |
T12 |
1195 |
0 |
0 |
0 |
T13 |
8162 |
15 |
0 |
0 |
T14 |
4580 |
0 |
0 |
0 |
T15 |
9809 |
0 |
0 |
0 |
T18 |
0 |
27 |
0 |
0 |
T20 |
0 |
23 |
0 |
0 |
T21 |
0 |
20 |
0 |
0 |
T26 |
0 |
12 |
0 |
0 |
T27 |
0 |
10 |
0 |
0 |
T35 |
0 |
83 |
0 |
0 |
target_id_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
622189 |
2275 |
0 |
0 |
T4 |
11631 |
85 |
0 |
0 |
T5 |
11631 |
228 |
0 |
0 |
T6 |
4995 |
43 |
0 |
0 |
T9 |
1592 |
0 |
0 |
0 |
T10 |
1913 |
0 |
0 |
0 |
T11 |
813 |
0 |
0 |
0 |
T12 |
1195 |
0 |
0 |
0 |
T13 |
8162 |
14 |
0 |
0 |
T14 |
4580 |
0 |
0 |
0 |
T15 |
9809 |
0 |
0 |
0 |
T18 |
0 |
7 |
0 |
0 |
T20 |
0 |
30 |
0 |
0 |
T21 |
0 |
33 |
0 |
0 |
T26 |
0 |
30 |
0 |
0 |
T27 |
0 |
26 |
0 |
0 |
T35 |
0 |
146 |
0 |
0 |
timeout_ctrl_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
622189 |
1870 |
0 |
0 |
T4 |
11631 |
42 |
0 |
0 |
T5 |
11631 |
150 |
0 |
0 |
T6 |
4995 |
63 |
0 |
0 |
T9 |
1592 |
0 |
0 |
0 |
T10 |
1913 |
0 |
0 |
0 |
T11 |
813 |
0 |
0 |
0 |
T12 |
1195 |
0 |
0 |
0 |
T13 |
8162 |
0 |
0 |
0 |
T14 |
4580 |
0 |
0 |
0 |
T15 |
9809 |
0 |
0 |
0 |
T18 |
0 |
29 |
0 |
0 |
T20 |
0 |
33 |
0 |
0 |
T21 |
0 |
27 |
0 |
0 |
T26 |
0 |
9 |
0 |
0 |
T27 |
0 |
20 |
0 |
0 |
T29 |
0 |
107 |
0 |
0 |
T35 |
0 |
95 |
0 |
0 |
timing0_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
622189 |
1806 |
0 |
0 |
T4 |
11631 |
59 |
0 |
0 |
T5 |
11631 |
117 |
0 |
0 |
T6 |
4995 |
85 |
0 |
0 |
T9 |
1592 |
0 |
0 |
0 |
T10 |
1913 |
0 |
0 |
0 |
T11 |
813 |
0 |
0 |
0 |
T12 |
1195 |
0 |
0 |
0 |
T13 |
8162 |
25 |
0 |
0 |
T14 |
4580 |
0 |
0 |
0 |
T15 |
9809 |
0 |
0 |
0 |
T18 |
0 |
22 |
0 |
0 |
T20 |
0 |
8 |
0 |
0 |
T21 |
0 |
42 |
0 |
0 |
T26 |
0 |
15 |
0 |
0 |
T27 |
0 |
1 |
0 |
0 |
T35 |
0 |
104 |
0 |
0 |
timing1_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
622189 |
1758 |
0 |
0 |
T4 |
11631 |
48 |
0 |
0 |
T5 |
11631 |
111 |
0 |
0 |
T6 |
4995 |
50 |
0 |
0 |
T9 |
1592 |
0 |
0 |
0 |
T10 |
1913 |
0 |
0 |
0 |
T11 |
813 |
0 |
0 |
0 |
T12 |
1195 |
0 |
0 |
0 |
T13 |
8162 |
5 |
0 |
0 |
T14 |
4580 |
0 |
0 |
0 |
T15 |
9809 |
0 |
0 |
0 |
T18 |
0 |
12 |
0 |
0 |
T20 |
0 |
16 |
0 |
0 |
T21 |
0 |
53 |
0 |
0 |
T26 |
0 |
18 |
0 |
0 |
T27 |
0 |
22 |
0 |
0 |
T35 |
0 |
116 |
0 |
0 |
timing2_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
622189 |
1904 |
0 |
0 |
T4 |
11631 |
58 |
0 |
0 |
T5 |
11631 |
106 |
0 |
0 |
T6 |
4995 |
31 |
0 |
0 |
T9 |
1592 |
0 |
0 |
0 |
T10 |
1913 |
0 |
0 |
0 |
T11 |
813 |
0 |
0 |
0 |
T12 |
1195 |
0 |
0 |
0 |
T13 |
8162 |
8 |
0 |
0 |
T14 |
4580 |
0 |
0 |
0 |
T15 |
9809 |
0 |
0 |
0 |
T18 |
0 |
38 |
0 |
0 |
T20 |
0 |
27 |
0 |
0 |
T21 |
0 |
45 |
0 |
0 |
T26 |
0 |
12 |
0 |
0 |
T27 |
0 |
25 |
0 |
0 |
T35 |
0 |
153 |
0 |
0 |
timing3_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
622189 |
1663 |
0 |
0 |
T4 |
11631 |
49 |
0 |
0 |
T5 |
11631 |
112 |
0 |
0 |
T6 |
4995 |
62 |
0 |
0 |
T9 |
1592 |
0 |
0 |
0 |
T10 |
1913 |
0 |
0 |
0 |
T11 |
813 |
0 |
0 |
0 |
T12 |
1195 |
0 |
0 |
0 |
T13 |
8162 |
11 |
0 |
0 |
T14 |
4580 |
0 |
0 |
0 |
T15 |
9809 |
0 |
0 |
0 |
T18 |
0 |
16 |
0 |
0 |
T20 |
0 |
18 |
0 |
0 |
T21 |
0 |
38 |
0 |
0 |
T26 |
0 |
12 |
0 |
0 |
T27 |
0 |
35 |
0 |
0 |
T35 |
0 |
103 |
0 |
0 |
timing4_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
622189 |
1795 |
0 |
0 |
T4 |
11631 |
67 |
0 |
0 |
T5 |
11631 |
106 |
0 |
0 |
T6 |
4995 |
64 |
0 |
0 |
T9 |
1592 |
0 |
0 |
0 |
T10 |
1913 |
0 |
0 |
0 |
T11 |
813 |
0 |
0 |
0 |
T12 |
1195 |
0 |
0 |
0 |
T13 |
8162 |
0 |
0 |
0 |
T14 |
4580 |
0 |
0 |
0 |
T15 |
9809 |
0 |
0 |
0 |
T18 |
0 |
35 |
0 |
0 |
T20 |
0 |
12 |
0 |
0 |
T21 |
0 |
26 |
0 |
0 |
T26 |
0 |
22 |
0 |
0 |
T27 |
0 |
6 |
0 |
0 |
T29 |
0 |
111 |
0 |
0 |
T35 |
0 |
149 |
0 |
0 |