Assert Coverage for Module :
uart_csr_assert_fpv
Assertion Details
TlulOOBAddrErr_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
9496898 |
0 |
0 |
T5 |
302326 |
93735 |
0 |
0 |
T6 |
161389 |
39950 |
0 |
0 |
T7 |
720950 |
0 |
0 |
0 |
T8 |
234475 |
0 |
0 |
0 |
T9 |
148428 |
0 |
0 |
0 |
T10 |
138973 |
0 |
0 |
0 |
T11 |
482633 |
0 |
0 |
0 |
T13 |
0 |
121341 |
0 |
0 |
T14 |
178718 |
0 |
0 |
0 |
T18 |
375291 |
0 |
0 |
0 |
T26 |
0 |
74261 |
0 |
0 |
T27 |
0 |
236819 |
0 |
0 |
T28 |
0 |
38665 |
0 |
0 |
T29 |
0 |
95327 |
0 |
0 |
T30 |
0 |
140151 |
0 |
0 |
T31 |
0 |
127205 |
0 |
0 |
T32 |
0 |
276139 |
0 |
0 |
T33 |
601417 |
0 |
0 |
0 |
ctrl_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
179045 |
0 |
0 |
T5 |
302326 |
4656 |
0 |
0 |
T6 |
161389 |
0 |
0 |
0 |
T7 |
720950 |
0 |
0 |
0 |
T8 |
234475 |
0 |
0 |
0 |
T9 |
148428 |
0 |
0 |
0 |
T10 |
138973 |
0 |
0 |
0 |
T11 |
482633 |
0 |
0 |
0 |
T13 |
0 |
13113 |
0 |
0 |
T14 |
178718 |
0 |
0 |
0 |
T18 |
375291 |
0 |
0 |
0 |
T26 |
0 |
3600 |
0 |
0 |
T31 |
0 |
13870 |
0 |
0 |
T32 |
0 |
12545 |
0 |
0 |
T33 |
601417 |
0 |
0 |
0 |
T49 |
0 |
14639 |
0 |
0 |
T88 |
0 |
4862 |
0 |
0 |
T97 |
0 |
7985 |
0 |
0 |
T98 |
0 |
3787 |
0 |
0 |
T99 |
0 |
8966 |
0 |
0 |
intr_enable_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
160809 |
0 |
0 |
T5 |
302326 |
4523 |
0 |
0 |
T6 |
161389 |
0 |
0 |
0 |
T7 |
720950 |
0 |
0 |
0 |
T8 |
234475 |
0 |
0 |
0 |
T9 |
148428 |
0 |
0 |
0 |
T10 |
138973 |
0 |
0 |
0 |
T11 |
482633 |
0 |
0 |
0 |
T13 |
0 |
12219 |
0 |
0 |
T14 |
178718 |
0 |
0 |
0 |
T18 |
375291 |
0 |
0 |
0 |
T26 |
0 |
3598 |
0 |
0 |
T31 |
0 |
12534 |
0 |
0 |
T32 |
0 |
11308 |
0 |
0 |
T33 |
601417 |
0 |
0 |
0 |
T88 |
0 |
4404 |
0 |
0 |
T97 |
0 |
7280 |
0 |
0 |
T100 |
0 |
18 |
0 |
0 |
T101 |
0 |
14 |
0 |
0 |
T102 |
0 |
12 |
0 |
0 |
ovrd_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
177860 |
0 |
0 |
T5 |
302326 |
5032 |
0 |
0 |
T6 |
161389 |
0 |
0 |
0 |
T7 |
720950 |
0 |
0 |
0 |
T8 |
234475 |
0 |
0 |
0 |
T9 |
148428 |
0 |
0 |
0 |
T10 |
138973 |
0 |
0 |
0 |
T11 |
482633 |
0 |
0 |
0 |
T13 |
0 |
14129 |
0 |
0 |
T14 |
178718 |
0 |
0 |
0 |
T18 |
375291 |
0 |
0 |
0 |
T26 |
0 |
3739 |
0 |
0 |
T31 |
0 |
14123 |
0 |
0 |
T32 |
0 |
11821 |
0 |
0 |
T33 |
601417 |
0 |
0 |
0 |
T49 |
0 |
14703 |
0 |
0 |
T88 |
0 |
5129 |
0 |
0 |
T97 |
0 |
7418 |
0 |
0 |
T98 |
0 |
3869 |
0 |
0 |
T99 |
0 |
8323 |
0 |
0 |
timeout_ctrl_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
177208 |
0 |
0 |
T5 |
302326 |
5154 |
0 |
0 |
T6 |
161389 |
0 |
0 |
0 |
T7 |
720950 |
0 |
0 |
0 |
T8 |
234475 |
0 |
0 |
0 |
T9 |
148428 |
0 |
0 |
0 |
T10 |
138973 |
0 |
0 |
0 |
T11 |
482633 |
0 |
0 |
0 |
T13 |
0 |
14189 |
0 |
0 |
T14 |
178718 |
0 |
0 |
0 |
T18 |
375291 |
0 |
0 |
0 |
T26 |
0 |
3546 |
0 |
0 |
T31 |
0 |
13853 |
0 |
0 |
T32 |
0 |
12096 |
0 |
0 |
T33 |
601417 |
0 |
0 |
0 |
T49 |
0 |
15091 |
0 |
0 |
T88 |
0 |
5092 |
0 |
0 |
T97 |
0 |
7503 |
0 |
0 |
T98 |
0 |
3669 |
0 |
0 |
T99 |
0 |
8476 |
0 |
0 |