Assert Coverage for Module :
edn_csr_assert_fpv
Assertion Details
TlulOOBAddrErr_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
197399631 |
9471386 |
0 |
0 |
| T9 |
1218 |
0 |
0 |
0 |
| T12 |
4585 |
0 |
0 |
0 |
| T16 |
950 |
0 |
0 |
0 |
| T40 |
837111 |
45678 |
0 |
0 |
| T41 |
464018 |
162051 |
0 |
0 |
| T42 |
0 |
154660 |
0 |
0 |
| T75 |
3071 |
0 |
0 |
0 |
| T76 |
0 |
223220 |
0 |
0 |
| T79 |
0 |
88617 |
0 |
0 |
| T83 |
1554 |
0 |
0 |
0 |
| T86 |
4163 |
0 |
0 |
0 |
| T103 |
0 |
104864 |
0 |
0 |
| T105 |
0 |
213785 |
0 |
0 |
| T236 |
0 |
247942 |
0 |
0 |
| T237 |
0 |
174591 |
0 |
0 |
| T238 |
0 |
682057 |
0 |
0 |
| T239 |
1241 |
0 |
0 |
0 |
| T240 |
4186 |
0 |
0 |
0 |
boot_gen_cmd_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
197399631 |
45600 |
0 |
0 |
| T9 |
1218 |
0 |
0 |
0 |
| T10 |
1249 |
0 |
0 |
0 |
| T41 |
464018 |
4516 |
0 |
0 |
| T42 |
455971 |
4698 |
0 |
0 |
| T50 |
4081 |
0 |
0 |
0 |
| T67 |
0 |
3135 |
0 |
0 |
| T75 |
3071 |
0 |
0 |
0 |
| T76 |
0 |
6503 |
0 |
0 |
| T79 |
0 |
1503 |
0 |
0 |
| T104 |
2594 |
0 |
0 |
0 |
| T106 |
2431 |
0 |
0 |
0 |
| T109 |
1826 |
0 |
0 |
0 |
| T110 |
2822 |
0 |
0 |
0 |
| T237 |
0 |
2742 |
0 |
0 |
| T241 |
0 |
1436 |
0 |
0 |
| T242 |
0 |
9364 |
0 |
0 |
| T243 |
0 |
6467 |
0 |
0 |
| T244 |
0 |
1672 |
0 |
0 |
boot_ins_cmd_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
197399631 |
51899 |
0 |
0 |
| T9 |
1218 |
0 |
0 |
0 |
| T10 |
1249 |
0 |
0 |
0 |
| T41 |
464018 |
5431 |
0 |
0 |
| T42 |
455971 |
5074 |
0 |
0 |
| T50 |
4081 |
0 |
0 |
0 |
| T67 |
0 |
3557 |
0 |
0 |
| T75 |
3071 |
0 |
0 |
0 |
| T76 |
0 |
7501 |
0 |
0 |
| T79 |
0 |
1783 |
0 |
0 |
| T104 |
2594 |
0 |
0 |
0 |
| T106 |
2431 |
0 |
0 |
0 |
| T109 |
1826 |
0 |
0 |
0 |
| T110 |
2822 |
0 |
0 |
0 |
| T237 |
0 |
2613 |
0 |
0 |
| T241 |
0 |
1765 |
0 |
0 |
| T242 |
0 |
10471 |
0 |
0 |
| T243 |
0 |
7451 |
0 |
0 |
| T244 |
0 |
2106 |
0 |
0 |
ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
197399631 |
45170 |
0 |
0 |
| T9 |
1218 |
0 |
0 |
0 |
| T10 |
1249 |
0 |
0 |
0 |
| T41 |
464018 |
4705 |
0 |
0 |
| T42 |
455971 |
4304 |
0 |
0 |
| T50 |
4081 |
0 |
0 |
0 |
| T67 |
0 |
3060 |
0 |
0 |
| T75 |
3071 |
0 |
0 |
0 |
| T76 |
0 |
6694 |
0 |
0 |
| T79 |
0 |
1416 |
0 |
0 |
| T104 |
2594 |
0 |
0 |
0 |
| T106 |
2431 |
0 |
0 |
0 |
| T109 |
1826 |
0 |
0 |
0 |
| T110 |
2822 |
0 |
0 |
0 |
| T193 |
0 |
3 |
0 |
0 |
| T237 |
0 |
2397 |
0 |
0 |
| T241 |
0 |
1484 |
0 |
0 |
| T245 |
0 |
1 |
0 |
0 |
| T246 |
0 |
4 |
0 |
0 |
err_code_test_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
197399631 |
51735 |
0 |
0 |
| T9 |
1218 |
0 |
0 |
0 |
| T10 |
1249 |
0 |
0 |
0 |
| T41 |
464018 |
5146 |
0 |
0 |
| T42 |
455971 |
4820 |
0 |
0 |
| T50 |
4081 |
0 |
0 |
0 |
| T67 |
0 |
3423 |
0 |
0 |
| T75 |
3071 |
0 |
0 |
0 |
| T76 |
0 |
7568 |
0 |
0 |
| T79 |
0 |
1612 |
0 |
0 |
| T104 |
2594 |
0 |
0 |
0 |
| T106 |
2431 |
0 |
0 |
0 |
| T109 |
1826 |
0 |
0 |
0 |
| T110 |
2822 |
0 |
0 |
0 |
| T237 |
0 |
2874 |
0 |
0 |
| T241 |
0 |
1870 |
0 |
0 |
| T242 |
0 |
10837 |
0 |
0 |
| T243 |
0 |
7491 |
0 |
0 |
| T244 |
0 |
1854 |
0 |
0 |
intr_enable_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
197399631 |
51936 |
0 |
0 |
| T6 |
31003 |
75 |
0 |
0 |
| T21 |
4268 |
0 |
0 |
0 |
| T23 |
7450 |
0 |
0 |
0 |
| T27 |
1127 |
0 |
0 |
0 |
| T41 |
0 |
4719 |
0 |
0 |
| T42 |
0 |
4539 |
0 |
0 |
| T43 |
3261 |
0 |
0 |
0 |
| T44 |
3649 |
0 |
0 |
0 |
| T45 |
5066 |
0 |
0 |
0 |
| T51 |
2454 |
0 |
0 |
0 |
| T62 |
1245 |
0 |
0 |
0 |
| T74 |
1458 |
0 |
0 |
0 |
| T76 |
0 |
7271 |
0 |
0 |
| T79 |
0 |
1540 |
0 |
0 |
| T237 |
0 |
2874 |
0 |
0 |
| T241 |
0 |
1914 |
0 |
0 |
| T247 |
0 |
59 |
0 |
0 |
| T248 |
0 |
71 |
0 |
0 |
| T249 |
0 |
26 |
0 |
0 |
max_num_reqs_between_reseeds_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
197399631 |
46145 |
0 |
0 |
| T9 |
1218 |
0 |
0 |
0 |
| T10 |
1249 |
0 |
0 |
0 |
| T41 |
464018 |
4663 |
0 |
0 |
| T42 |
455971 |
4505 |
0 |
0 |
| T50 |
4081 |
0 |
0 |
0 |
| T67 |
0 |
3117 |
0 |
0 |
| T75 |
3071 |
0 |
0 |
0 |
| T76 |
0 |
6610 |
0 |
0 |
| T79 |
0 |
1405 |
0 |
0 |
| T104 |
2594 |
0 |
0 |
0 |
| T106 |
2431 |
0 |
0 |
0 |
| T109 |
1826 |
0 |
0 |
0 |
| T110 |
2822 |
0 |
0 |
0 |
| T237 |
0 |
2355 |
0 |
0 |
| T241 |
0 |
1621 |
0 |
0 |
| T242 |
0 |
9607 |
0 |
0 |
| T243 |
0 |
6367 |
0 |
0 |
| T244 |
0 |
1459 |
0 |
0 |
regwen_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
197399631 |
53436 |
0 |
0 |
| T9 |
1218 |
0 |
0 |
0 |
| T10 |
1249 |
0 |
0 |
0 |
| T41 |
464018 |
5210 |
0 |
0 |
| T42 |
455971 |
5173 |
0 |
0 |
| T50 |
4081 |
0 |
0 |
0 |
| T67 |
0 |
3705 |
0 |
0 |
| T75 |
3071 |
0 |
0 |
0 |
| T76 |
0 |
7690 |
0 |
0 |
| T79 |
0 |
1613 |
0 |
0 |
| T104 |
2594 |
0 |
0 |
0 |
| T106 |
2431 |
0 |
0 |
0 |
| T109 |
1826 |
0 |
0 |
0 |
| T110 |
2822 |
0 |
0 |
0 |
| T237 |
0 |
2906 |
0 |
0 |
| T241 |
0 |
1627 |
0 |
0 |
| T242 |
0 |
10799 |
0 |
0 |
| T243 |
0 |
7822 |
0 |
0 |
| T244 |
0 |
1864 |
0 |
0 |