Assert Coverage for Module :
uart_csr_assert_fpv
Assertion Details
TlulOOBAddrErr_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
14092059 |
0 |
0 |
T5 |
198060 |
80088 |
0 |
0 |
T6 |
448314 |
0 |
0 |
0 |
T7 |
149129 |
0 |
0 |
0 |
T8 |
218250 |
56066 |
0 |
0 |
T9 |
784359 |
113402 |
0 |
0 |
T10 |
350825 |
135815 |
0 |
0 |
T15 |
0 |
250423 |
0 |
0 |
T23 |
0 |
68828 |
0 |
0 |
T24 |
0 |
58689 |
0 |
0 |
T25 |
0 |
37357 |
0 |
0 |
T26 |
0 |
47697 |
0 |
0 |
T27 |
0 |
57617 |
0 |
0 |
T28 |
25022 |
0 |
0 |
0 |
T29 |
331801 |
0 |
0 |
0 |
T30 |
147793 |
0 |
0 |
0 |
T31 |
279336 |
0 |
0 |
0 |
ctrl_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
213091 |
0 |
0 |
T8 |
218250 |
6233 |
0 |
0 |
T9 |
784359 |
12703 |
0 |
0 |
T10 |
350825 |
0 |
0 |
0 |
T11 |
562140 |
0 |
0 |
0 |
T15 |
0 |
18187 |
0 |
0 |
T26 |
0 |
5402 |
0 |
0 |
T28 |
25022 |
0 |
0 |
0 |
T29 |
331801 |
0 |
0 |
0 |
T30 |
147793 |
0 |
0 |
0 |
T31 |
279336 |
0 |
0 |
0 |
T32 |
390481 |
0 |
0 |
0 |
T33 |
50053 |
0 |
0 |
0 |
T108 |
0 |
7844 |
0 |
0 |
T117 |
0 |
3229 |
0 |
0 |
T118 |
0 |
16743 |
0 |
0 |
T119 |
0 |
8323 |
0 |
0 |
T120 |
0 |
5977 |
0 |
0 |
T121 |
0 |
3200 |
0 |
0 |
intr_enable_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
188397 |
0 |
0 |
T8 |
218250 |
5512 |
0 |
0 |
T9 |
784359 |
11662 |
0 |
0 |
T10 |
350825 |
0 |
0 |
0 |
T11 |
562140 |
0 |
0 |
0 |
T15 |
0 |
15776 |
0 |
0 |
T26 |
0 |
4465 |
0 |
0 |
T28 |
25022 |
0 |
0 |
0 |
T29 |
331801 |
0 |
0 |
0 |
T30 |
147793 |
0 |
0 |
0 |
T31 |
279336 |
0 |
0 |
0 |
T32 |
390481 |
0 |
0 |
0 |
T33 |
50053 |
0 |
0 |
0 |
T117 |
0 |
2742 |
0 |
0 |
T118 |
0 |
15605 |
0 |
0 |
T119 |
0 |
7223 |
0 |
0 |
T122 |
0 |
43 |
0 |
0 |
T123 |
0 |
22 |
0 |
0 |
T124 |
0 |
32 |
0 |
0 |
ovrd_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
212957 |
0 |
0 |
T8 |
218250 |
6242 |
0 |
0 |
T9 |
784359 |
13391 |
0 |
0 |
T10 |
350825 |
0 |
0 |
0 |
T11 |
562140 |
0 |
0 |
0 |
T15 |
0 |
18098 |
0 |
0 |
T26 |
0 |
5120 |
0 |
0 |
T28 |
25022 |
0 |
0 |
0 |
T29 |
331801 |
0 |
0 |
0 |
T30 |
147793 |
0 |
0 |
0 |
T31 |
279336 |
0 |
0 |
0 |
T32 |
390481 |
0 |
0 |
0 |
T33 |
50053 |
0 |
0 |
0 |
T108 |
0 |
7832 |
0 |
0 |
T117 |
0 |
3034 |
0 |
0 |
T118 |
0 |
17296 |
0 |
0 |
T119 |
0 |
8237 |
0 |
0 |
T120 |
0 |
6790 |
0 |
0 |
T121 |
0 |
3172 |
0 |
0 |
timeout_ctrl_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
212409 |
0 |
0 |
T8 |
218250 |
5771 |
0 |
0 |
T9 |
784359 |
12769 |
0 |
0 |
T10 |
350825 |
0 |
0 |
0 |
T11 |
562140 |
0 |
0 |
0 |
T15 |
0 |
18148 |
0 |
0 |
T26 |
0 |
5314 |
0 |
0 |
T28 |
25022 |
0 |
0 |
0 |
T29 |
331801 |
0 |
0 |
0 |
T30 |
147793 |
0 |
0 |
0 |
T31 |
279336 |
0 |
0 |
0 |
T32 |
390481 |
0 |
0 |
0 |
T33 |
50053 |
0 |
0 |
0 |
T108 |
0 |
8037 |
0 |
0 |
T117 |
0 |
3369 |
0 |
0 |
T118 |
0 |
16976 |
0 |
0 |
T119 |
0 |
8339 |
0 |
0 |
T120 |
0 |
5932 |
0 |
0 |
T121 |
0 |
3213 |
0 |
0 |