Assert Coverage for Module :
uart_csr_assert_fpv
Assertion Details
TlulOOBAddrErr_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
15261921 |
0 |
0 |
| T2 |
106717 |
311143 |
0 |
0 |
| T3 |
197138 |
0 |
0 |
0 |
| T4 |
853031 |
0 |
0 |
0 |
| T5 |
546121 |
0 |
0 |
0 |
| T6 |
242968 |
0 |
0 |
0 |
| T7 |
172032 |
0 |
0 |
0 |
| T8 |
332453 |
0 |
0 |
0 |
| T9 |
311287 |
127535 |
0 |
0 |
| T10 |
358035 |
80663 |
0 |
0 |
| T12 |
0 |
45766 |
0 |
0 |
| T23 |
0 |
76257 |
0 |
0 |
| T24 |
0 |
105775 |
0 |
0 |
| T25 |
0 |
119644 |
0 |
0 |
| T26 |
0 |
398370 |
0 |
0 |
| T27 |
0 |
55816 |
0 |
0 |
| T28 |
0 |
157270 |
0 |
0 |
| T29 |
320648 |
0 |
0 |
0 |
ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
371684 |
0 |
0 |
| T2 |
106717 |
16003 |
0 |
0 |
| T3 |
197138 |
0 |
0 |
0 |
| T4 |
853031 |
0 |
0 |
0 |
| T5 |
546121 |
0 |
0 |
0 |
| T6 |
242968 |
0 |
0 |
0 |
| T7 |
172032 |
0 |
0 |
0 |
| T8 |
332453 |
0 |
0 |
0 |
| T9 |
311287 |
0 |
0 |
0 |
| T10 |
358035 |
8809 |
0 |
0 |
| T23 |
0 |
8591 |
0 |
0 |
| T24 |
0 |
11755 |
0 |
0 |
| T25 |
0 |
12558 |
0 |
0 |
| T27 |
0 |
5937 |
0 |
0 |
| T29 |
320648 |
0 |
0 |
0 |
| T42 |
0 |
12893 |
0 |
0 |
| T101 |
0 |
10219 |
0 |
0 |
| T102 |
0 |
6128 |
0 |
0 |
| T103 |
0 |
1285 |
0 |
0 |
intr_enable_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
328462 |
0 |
0 |
| T2 |
106717 |
14731 |
0 |
0 |
| T3 |
197138 |
0 |
0 |
0 |
| T4 |
853031 |
0 |
0 |
0 |
| T5 |
546121 |
0 |
0 |
0 |
| T6 |
242968 |
0 |
0 |
0 |
| T7 |
172032 |
0 |
0 |
0 |
| T8 |
332453 |
0 |
0 |
0 |
| T9 |
311287 |
0 |
0 |
0 |
| T10 |
358035 |
7788 |
0 |
0 |
| T23 |
0 |
7442 |
0 |
0 |
| T24 |
0 |
9737 |
0 |
0 |
| T25 |
0 |
10854 |
0 |
0 |
| T27 |
0 |
5409 |
0 |
0 |
| T29 |
320648 |
0 |
0 |
0 |
| T42 |
0 |
11125 |
0 |
0 |
| T101 |
0 |
8669 |
0 |
0 |
| T102 |
0 |
5495 |
0 |
0 |
| T104 |
0 |
12 |
0 |
0 |
ovrd_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
368993 |
0 |
0 |
| T2 |
106717 |
16044 |
0 |
0 |
| T3 |
197138 |
0 |
0 |
0 |
| T4 |
853031 |
0 |
0 |
0 |
| T5 |
546121 |
0 |
0 |
0 |
| T6 |
242968 |
0 |
0 |
0 |
| T7 |
172032 |
0 |
0 |
0 |
| T8 |
332453 |
0 |
0 |
0 |
| T9 |
311287 |
0 |
0 |
0 |
| T10 |
358035 |
9152 |
0 |
0 |
| T23 |
0 |
8303 |
0 |
0 |
| T24 |
0 |
11458 |
0 |
0 |
| T25 |
0 |
12967 |
0 |
0 |
| T27 |
0 |
6124 |
0 |
0 |
| T29 |
320648 |
0 |
0 |
0 |
| T42 |
0 |
13035 |
0 |
0 |
| T101 |
0 |
10061 |
0 |
0 |
| T102 |
0 |
6107 |
0 |
0 |
| T103 |
0 |
1211 |
0 |
0 |
timeout_ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
369598 |
0 |
0 |
| T2 |
106717 |
16121 |
0 |
0 |
| T3 |
197138 |
0 |
0 |
0 |
| T4 |
853031 |
0 |
0 |
0 |
| T5 |
546121 |
0 |
0 |
0 |
| T6 |
242968 |
0 |
0 |
0 |
| T7 |
172032 |
0 |
0 |
0 |
| T8 |
332453 |
0 |
0 |
0 |
| T9 |
311287 |
0 |
0 |
0 |
| T10 |
358035 |
9171 |
0 |
0 |
| T23 |
0 |
9297 |
0 |
0 |
| T24 |
0 |
11193 |
0 |
0 |
| T25 |
0 |
12327 |
0 |
0 |
| T27 |
0 |
6243 |
0 |
0 |
| T29 |
320648 |
0 |
0 |
0 |
| T42 |
0 |
12926 |
0 |
0 |
| T101 |
0 |
9573 |
0 |
0 |
| T102 |
0 |
6222 |
0 |
0 |
| T103 |
0 |
1242 |
0 |
0 |