Assert Coverage for Module :
edn_csr_assert_fpv
Assertion Details
TlulOOBAddrErr_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
196542504 |
8855627 |
0 |
0 |
| T6 |
2025 |
0 |
0 |
0 |
| T28 |
624 |
0 |
0 |
0 |
| T34 |
251615 |
87073 |
0 |
0 |
| T35 |
182701 |
104631 |
0 |
0 |
| T36 |
0 |
27214 |
0 |
0 |
| T40 |
2441 |
0 |
0 |
0 |
| T47 |
2394 |
0 |
0 |
0 |
| T49 |
1045 |
0 |
0 |
0 |
| T59 |
0 |
176493 |
0 |
0 |
| T60 |
0 |
60380 |
0 |
0 |
| T65 |
1296 |
0 |
0 |
0 |
| T66 |
1505 |
0 |
0 |
0 |
| T99 |
0 |
241274 |
0 |
0 |
| T100 |
0 |
246948 |
0 |
0 |
| T101 |
3096 |
0 |
0 |
0 |
| T227 |
0 |
247509 |
0 |
0 |
| T228 |
0 |
409157 |
0 |
0 |
| T229 |
0 |
582415 |
0 |
0 |
boot_gen_cmd_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
196542504 |
48207 |
0 |
0 |
| T6 |
2025 |
0 |
0 |
0 |
| T28 |
624 |
0 |
0 |
0 |
| T34 |
251615 |
2596 |
0 |
0 |
| T35 |
182701 |
0 |
0 |
0 |
| T36 |
0 |
351 |
0 |
0 |
| T40 |
2441 |
0 |
0 |
0 |
| T47 |
2394 |
0 |
0 |
0 |
| T49 |
1045 |
0 |
0 |
0 |
| T60 |
0 |
873 |
0 |
0 |
| T65 |
1296 |
0 |
0 |
0 |
| T66 |
1505 |
0 |
0 |
0 |
| T99 |
0 |
6549 |
0 |
0 |
| T100 |
0 |
7274 |
0 |
0 |
| T101 |
3096 |
0 |
0 |
0 |
| T227 |
0 |
3885 |
0 |
0 |
| T230 |
0 |
1225 |
0 |
0 |
| T231 |
0 |
858 |
0 |
0 |
| T232 |
0 |
888 |
0 |
0 |
| T233 |
0 |
3973 |
0 |
0 |
boot_ins_cmd_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
196542504 |
54028 |
0 |
0 |
| T6 |
2025 |
0 |
0 |
0 |
| T28 |
624 |
0 |
0 |
0 |
| T34 |
251615 |
2697 |
0 |
0 |
| T35 |
182701 |
0 |
0 |
0 |
| T36 |
0 |
443 |
0 |
0 |
| T40 |
2441 |
0 |
0 |
0 |
| T47 |
2394 |
0 |
0 |
0 |
| T49 |
1045 |
0 |
0 |
0 |
| T60 |
0 |
1006 |
0 |
0 |
| T65 |
1296 |
0 |
0 |
0 |
| T66 |
1505 |
0 |
0 |
0 |
| T99 |
0 |
7202 |
0 |
0 |
| T100 |
0 |
8250 |
0 |
0 |
| T101 |
3096 |
0 |
0 |
0 |
| T227 |
0 |
3834 |
0 |
0 |
| T230 |
0 |
1610 |
0 |
0 |
| T231 |
0 |
809 |
0 |
0 |
| T232 |
0 |
984 |
0 |
0 |
| T233 |
0 |
4601 |
0 |
0 |
ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
196542504 |
48978 |
0 |
0 |
| T6 |
2025 |
0 |
0 |
0 |
| T10 |
0 |
3 |
0 |
0 |
| T18 |
2320 |
4 |
0 |
0 |
| T28 |
624 |
0 |
0 |
0 |
| T34 |
251615 |
2621 |
0 |
0 |
| T35 |
182701 |
0 |
0 |
0 |
| T36 |
0 |
487 |
0 |
0 |
| T60 |
0 |
973 |
0 |
0 |
| T63 |
4074 |
0 |
0 |
0 |
| T64 |
2252 |
0 |
0 |
0 |
| T65 |
1296 |
2 |
0 |
0 |
| T66 |
1505 |
0 |
0 |
0 |
| T69 |
2075 |
0 |
0 |
0 |
| T99 |
0 |
7004 |
0 |
0 |
| T100 |
0 |
7137 |
0 |
0 |
| T101 |
0 |
6 |
0 |
0 |
| T227 |
0 |
3602 |
0 |
0 |
err_code_test_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
196542504 |
55379 |
0 |
0 |
| T6 |
2025 |
0 |
0 |
0 |
| T28 |
624 |
0 |
0 |
0 |
| T34 |
251615 |
2783 |
0 |
0 |
| T35 |
182701 |
0 |
0 |
0 |
| T36 |
0 |
560 |
0 |
0 |
| T40 |
2441 |
0 |
0 |
0 |
| T47 |
2394 |
0 |
0 |
0 |
| T49 |
1045 |
0 |
0 |
0 |
| T60 |
0 |
1156 |
0 |
0 |
| T65 |
1296 |
0 |
0 |
0 |
| T66 |
1505 |
0 |
0 |
0 |
| T99 |
0 |
7673 |
0 |
0 |
| T100 |
0 |
8347 |
0 |
0 |
| T101 |
3096 |
0 |
0 |
0 |
| T227 |
0 |
4231 |
0 |
0 |
| T230 |
0 |
1594 |
0 |
0 |
| T231 |
0 |
1042 |
0 |
0 |
| T232 |
0 |
1022 |
0 |
0 |
| T233 |
0 |
4770 |
0 |
0 |
intr_enable_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
196542504 |
53717 |
0 |
0 |
| T6 |
2025 |
0 |
0 |
0 |
| T28 |
624 |
0 |
0 |
0 |
| T34 |
251615 |
2740 |
0 |
0 |
| T35 |
182701 |
0 |
0 |
0 |
| T36 |
0 |
559 |
0 |
0 |
| T40 |
2441 |
0 |
0 |
0 |
| T47 |
2394 |
0 |
0 |
0 |
| T49 |
1045 |
0 |
0 |
0 |
| T60 |
0 |
949 |
0 |
0 |
| T65 |
1296 |
0 |
0 |
0 |
| T66 |
1505 |
0 |
0 |
0 |
| T99 |
0 |
6736 |
0 |
0 |
| T100 |
0 |
7379 |
0 |
0 |
| T101 |
3096 |
0 |
0 |
0 |
| T227 |
0 |
3923 |
0 |
0 |
| T230 |
0 |
1461 |
0 |
0 |
| T234 |
0 |
68 |
0 |
0 |
| T235 |
0 |
12 |
0 |
0 |
| T236 |
0 |
92 |
0 |
0 |
max_num_reqs_between_reseeds_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
196542504 |
50257 |
0 |
0 |
| T6 |
2025 |
0 |
0 |
0 |
| T28 |
624 |
0 |
0 |
0 |
| T34 |
251615 |
2643 |
0 |
0 |
| T35 |
182701 |
0 |
0 |
0 |
| T36 |
0 |
377 |
0 |
0 |
| T40 |
2441 |
0 |
0 |
0 |
| T47 |
2394 |
0 |
0 |
0 |
| T49 |
1045 |
0 |
0 |
0 |
| T60 |
0 |
895 |
0 |
0 |
| T65 |
1296 |
0 |
0 |
0 |
| T66 |
1505 |
0 |
0 |
0 |
| T99 |
0 |
6759 |
0 |
0 |
| T100 |
0 |
7180 |
0 |
0 |
| T101 |
3096 |
0 |
0 |
0 |
| T227 |
0 |
3780 |
0 |
0 |
| T230 |
0 |
1419 |
0 |
0 |
| T231 |
0 |
787 |
0 |
0 |
| T232 |
0 |
806 |
0 |
0 |
| T233 |
0 |
4058 |
0 |
0 |
regwen_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
196542504 |
56279 |
0 |
0 |
| T6 |
2025 |
0 |
0 |
0 |
| T28 |
624 |
0 |
0 |
0 |
| T34 |
251615 |
3001 |
0 |
0 |
| T35 |
182701 |
0 |
0 |
0 |
| T36 |
0 |
565 |
0 |
0 |
| T40 |
2441 |
0 |
0 |
0 |
| T47 |
2394 |
0 |
0 |
0 |
| T49 |
1045 |
0 |
0 |
0 |
| T60 |
0 |
1031 |
0 |
0 |
| T65 |
1296 |
0 |
0 |
0 |
| T66 |
1505 |
0 |
0 |
0 |
| T99 |
0 |
7392 |
0 |
0 |
| T100 |
0 |
8137 |
0 |
0 |
| T101 |
3096 |
0 |
0 |
0 |
| T227 |
0 |
4252 |
0 |
0 |
| T230 |
0 |
1219 |
0 |
0 |
| T231 |
0 |
883 |
0 |
0 |
| T232 |
0 |
1078 |
0 |
0 |
| T233 |
0 |
4509 |
0 |
0 |