Assert Coverage for Module :
uart_csr_assert_fpv
Assertion Details
TlulOOBAddrErr_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
14322671 |
0 |
0 |
| T8 |
106940 |
183891 |
0 |
0 |
| T9 |
703930 |
0 |
0 |
0 |
| T10 |
659266 |
0 |
0 |
0 |
| T11 |
167495 |
0 |
0 |
0 |
| T12 |
197690 |
80896 |
0 |
0 |
| T15 |
616603 |
152090 |
0 |
0 |
| T16 |
0 |
124302 |
0 |
0 |
| T19 |
0 |
233625 |
0 |
0 |
| T20 |
0 |
115162 |
0 |
0 |
| T22 |
0 |
80883 |
0 |
0 |
| T28 |
0 |
52039 |
0 |
0 |
| T29 |
0 |
97804 |
0 |
0 |
| T30 |
0 |
145235 |
0 |
0 |
| T31 |
268908 |
0 |
0 |
0 |
| T32 |
227003 |
0 |
0 |
0 |
| T33 |
24047 |
0 |
0 |
0 |
| T34 |
159357 |
0 |
0 |
0 |
ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
305398 |
0 |
0 |
| T8 |
106940 |
20222 |
0 |
0 |
| T9 |
703930 |
0 |
0 |
0 |
| T10 |
659266 |
0 |
0 |
0 |
| T11 |
167495 |
0 |
0 |
0 |
| T12 |
197690 |
0 |
0 |
0 |
| T15 |
616603 |
0 |
0 |
0 |
| T28 |
0 |
2670 |
0 |
0 |
| T29 |
0 |
4743 |
0 |
0 |
| T31 |
268908 |
0 |
0 |
0 |
| T32 |
227003 |
0 |
0 |
0 |
| T33 |
24047 |
0 |
0 |
0 |
| T34 |
159357 |
0 |
0 |
0 |
| T39 |
0 |
4388 |
0 |
0 |
| T40 |
0 |
3245 |
0 |
0 |
| T41 |
0 |
13678 |
0 |
0 |
| T87 |
0 |
10784 |
0 |
0 |
| T88 |
0 |
19148 |
0 |
0 |
| T89 |
0 |
5164 |
0 |
0 |
| T90 |
0 |
10764 |
0 |
0 |
intr_enable_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
270892 |
0 |
0 |
| T8 |
106940 |
17749 |
0 |
0 |
| T9 |
703930 |
0 |
0 |
0 |
| T10 |
659266 |
0 |
0 |
0 |
| T11 |
167495 |
0 |
0 |
0 |
| T12 |
197690 |
0 |
0 |
0 |
| T15 |
616603 |
0 |
0 |
0 |
| T28 |
0 |
2421 |
0 |
0 |
| T29 |
0 |
4511 |
0 |
0 |
| T31 |
268908 |
0 |
0 |
0 |
| T32 |
227003 |
0 |
0 |
0 |
| T33 |
24047 |
0 |
0 |
0 |
| T34 |
159357 |
0 |
0 |
0 |
| T39 |
0 |
3568 |
0 |
0 |
| T40 |
0 |
3051 |
0 |
0 |
| T41 |
0 |
11860 |
0 |
0 |
| T87 |
0 |
9376 |
0 |
0 |
| T88 |
0 |
17304 |
0 |
0 |
| T89 |
0 |
4595 |
0 |
0 |
| T90 |
0 |
9228 |
0 |
0 |
ovrd_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
302990 |
0 |
0 |
| T8 |
106940 |
20508 |
0 |
0 |
| T9 |
703930 |
0 |
0 |
0 |
| T10 |
659266 |
0 |
0 |
0 |
| T11 |
167495 |
0 |
0 |
0 |
| T12 |
197690 |
0 |
0 |
0 |
| T15 |
616603 |
0 |
0 |
0 |
| T28 |
0 |
2664 |
0 |
0 |
| T29 |
0 |
5033 |
0 |
0 |
| T31 |
268908 |
0 |
0 |
0 |
| T32 |
227003 |
0 |
0 |
0 |
| T33 |
24047 |
0 |
0 |
0 |
| T34 |
159357 |
0 |
0 |
0 |
| T39 |
0 |
4023 |
0 |
0 |
| T40 |
0 |
2977 |
0 |
0 |
| T41 |
0 |
13033 |
0 |
0 |
| T87 |
0 |
10755 |
0 |
0 |
| T88 |
0 |
19915 |
0 |
0 |
| T89 |
0 |
4935 |
0 |
0 |
| T90 |
0 |
10485 |
0 |
0 |
timeout_ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
303670 |
0 |
0 |
| T8 |
106940 |
20864 |
0 |
0 |
| T9 |
703930 |
0 |
0 |
0 |
| T10 |
659266 |
0 |
0 |
0 |
| T11 |
167495 |
0 |
0 |
0 |
| T12 |
197690 |
0 |
0 |
0 |
| T15 |
616603 |
0 |
0 |
0 |
| T28 |
0 |
2802 |
0 |
0 |
| T29 |
0 |
5124 |
0 |
0 |
| T31 |
268908 |
0 |
0 |
0 |
| T32 |
227003 |
0 |
0 |
0 |
| T33 |
24047 |
0 |
0 |
0 |
| T34 |
159357 |
0 |
0 |
0 |
| T39 |
0 |
4231 |
0 |
0 |
| T40 |
0 |
2861 |
0 |
0 |
| T41 |
0 |
13263 |
0 |
0 |
| T87 |
0 |
10203 |
0 |
0 |
| T88 |
0 |
19561 |
0 |
0 |
| T89 |
0 |
5344 |
0 |
0 |
| T90 |
0 |
10592 |
0 |
0 |