Assert Coverage for Module :
uart_csr_assert_fpv
Assertion Details
TlulOOBAddrErr_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
879567 |
0 |
0 |
T1 |
143300 |
3655 |
0 |
0 |
T2 |
114456 |
0 |
0 |
0 |
T3 |
335217 |
0 |
0 |
0 |
T4 |
598135 |
0 |
0 |
0 |
T5 |
243223 |
0 |
0 |
0 |
T6 |
215711 |
0 |
0 |
0 |
T7 |
1293 |
0 |
0 |
0 |
T8 |
1209 |
0 |
0 |
0 |
T9 |
102429 |
0 |
0 |
0 |
T10 |
411978 |
0 |
0 |
0 |
T20 |
0 |
17758 |
0 |
0 |
T22 |
0 |
5562 |
0 |
0 |
T28 |
0 |
8886 |
0 |
0 |
T29 |
0 |
7360 |
0 |
0 |
T30 |
0 |
5307 |
0 |
0 |
T31 |
0 |
14197 |
0 |
0 |
T32 |
0 |
14949 |
0 |
0 |
T33 |
0 |
14370 |
0 |
0 |
T34 |
0 |
16616 |
0 |
0 |
ctrl_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
22556 |
0 |
0 |
T1 |
143300 |
559 |
0 |
0 |
T2 |
114456 |
0 |
0 |
0 |
T3 |
335217 |
0 |
0 |
0 |
T4 |
598135 |
0 |
0 |
0 |
T5 |
243223 |
0 |
0 |
0 |
T6 |
215711 |
0 |
0 |
0 |
T7 |
1293 |
0 |
0 |
0 |
T8 |
1209 |
0 |
0 |
0 |
T9 |
102429 |
0 |
0 |
0 |
T10 |
411978 |
0 |
0 |
0 |
T68 |
0 |
444 |
0 |
0 |
T91 |
0 |
172 |
0 |
0 |
T92 |
0 |
122 |
0 |
0 |
T93 |
0 |
717 |
0 |
0 |
T94 |
0 |
459 |
0 |
0 |
T95 |
0 |
460 |
0 |
0 |
T96 |
0 |
991 |
0 |
0 |
T97 |
0 |
1009 |
0 |
0 |
T98 |
0 |
564 |
0 |
0 |
intr_enable_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
20561 |
0 |
0 |
T1 |
143300 |
375 |
0 |
0 |
T2 |
114456 |
0 |
0 |
0 |
T3 |
335217 |
0 |
0 |
0 |
T4 |
598135 |
0 |
0 |
0 |
T5 |
243223 |
0 |
0 |
0 |
T6 |
215711 |
0 |
0 |
0 |
T7 |
1293 |
0 |
0 |
0 |
T8 |
1209 |
0 |
0 |
0 |
T9 |
102429 |
0 |
0 |
0 |
T10 |
411978 |
0 |
0 |
0 |
T16 |
0 |
44 |
0 |
0 |
T68 |
0 |
369 |
0 |
0 |
T91 |
0 |
131 |
0 |
0 |
T92 |
0 |
130 |
0 |
0 |
T93 |
0 |
586 |
0 |
0 |
T94 |
0 |
438 |
0 |
0 |
T95 |
0 |
526 |
0 |
0 |
T96 |
0 |
1076 |
0 |
0 |
T97 |
0 |
688 |
0 |
0 |
ovrd_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
19791 |
0 |
0 |
T1 |
143300 |
393 |
0 |
0 |
T2 |
114456 |
0 |
0 |
0 |
T3 |
335217 |
0 |
0 |
0 |
T4 |
598135 |
0 |
0 |
0 |
T5 |
243223 |
0 |
0 |
0 |
T6 |
215711 |
0 |
0 |
0 |
T7 |
1293 |
0 |
0 |
0 |
T8 |
1209 |
0 |
0 |
0 |
T9 |
102429 |
0 |
0 |
0 |
T10 |
411978 |
0 |
0 |
0 |
T68 |
0 |
346 |
0 |
0 |
T91 |
0 |
191 |
0 |
0 |
T92 |
0 |
213 |
0 |
0 |
T93 |
0 |
568 |
0 |
0 |
T94 |
0 |
468 |
0 |
0 |
T95 |
0 |
609 |
0 |
0 |
T96 |
0 |
1058 |
0 |
0 |
T97 |
0 |
870 |
0 |
0 |
T98 |
0 |
525 |
0 |
0 |
timeout_ctrl_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
20637 |
0 |
0 |
T1 |
143300 |
429 |
0 |
0 |
T2 |
114456 |
0 |
0 |
0 |
T3 |
335217 |
0 |
0 |
0 |
T4 |
598135 |
0 |
0 |
0 |
T5 |
243223 |
0 |
0 |
0 |
T6 |
215711 |
0 |
0 |
0 |
T7 |
1293 |
0 |
0 |
0 |
T8 |
1209 |
0 |
0 |
0 |
T9 |
102429 |
0 |
0 |
0 |
T10 |
411978 |
0 |
0 |
0 |
T68 |
0 |
337 |
0 |
0 |
T91 |
0 |
170 |
0 |
0 |
T92 |
0 |
167 |
0 |
0 |
T93 |
0 |
606 |
0 |
0 |
T94 |
0 |
418 |
0 |
0 |
T95 |
0 |
556 |
0 |
0 |
T96 |
0 |
1017 |
0 |
0 |
T97 |
0 |
861 |
0 |
0 |
T98 |
0 |
763 |
0 |
0 |