Assert Coverage for Module :
edn_csr_assert_fpv
Assertion Details
TlulOOBAddrErr_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
216856779 |
9423534 |
0 |
0 |
| T14 |
3106 |
0 |
0 |
0 |
| T17 |
1929 |
0 |
0 |
0 |
| T21 |
297083 |
107185 |
0 |
0 |
| T22 |
0 |
220732 |
0 |
0 |
| T23 |
0 |
233588 |
0 |
0 |
| T25 |
1797 |
0 |
0 |
0 |
| T27 |
2258 |
0 |
0 |
0 |
| T39 |
1947 |
0 |
0 |
0 |
| T41 |
11873 |
0 |
0 |
0 |
| T50 |
2045 |
0 |
0 |
0 |
| T51 |
2041 |
0 |
0 |
0 |
| T57 |
1850 |
0 |
0 |
0 |
| T133 |
0 |
119684 |
0 |
0 |
| T135 |
0 |
267822 |
0 |
0 |
| T136 |
0 |
168764 |
0 |
0 |
| T227 |
0 |
85829 |
0 |
0 |
| T228 |
0 |
142173 |
0 |
0 |
| T229 |
0 |
285720 |
0 |
0 |
| T230 |
0 |
246070 |
0 |
0 |
boot_gen_cmd_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
216856779 |
67327 |
0 |
0 |
| T14 |
3106 |
0 |
0 |
0 |
| T17 |
1929 |
0 |
0 |
0 |
| T21 |
297083 |
1631 |
0 |
0 |
| T25 |
1797 |
0 |
0 |
0 |
| T27 |
2258 |
0 |
0 |
0 |
| T39 |
1947 |
0 |
0 |
0 |
| T41 |
11873 |
0 |
0 |
0 |
| T50 |
2045 |
0 |
0 |
0 |
| T51 |
2041 |
0 |
0 |
0 |
| T57 |
1850 |
0 |
0 |
0 |
| T227 |
0 |
2552 |
0 |
0 |
| T231 |
0 |
4808 |
0 |
0 |
| T232 |
0 |
1844 |
0 |
0 |
| T233 |
0 |
3045 |
0 |
0 |
| T234 |
0 |
5178 |
0 |
0 |
| T235 |
0 |
2902 |
0 |
0 |
| T236 |
0 |
2937 |
0 |
0 |
| T237 |
0 |
2743 |
0 |
0 |
| T238 |
0 |
5694 |
0 |
0 |
boot_ins_cmd_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
216856779 |
76486 |
0 |
0 |
| T14 |
3106 |
0 |
0 |
0 |
| T17 |
1929 |
0 |
0 |
0 |
| T21 |
297083 |
1781 |
0 |
0 |
| T25 |
1797 |
0 |
0 |
0 |
| T27 |
2258 |
0 |
0 |
0 |
| T39 |
1947 |
0 |
0 |
0 |
| T41 |
11873 |
0 |
0 |
0 |
| T50 |
2045 |
0 |
0 |
0 |
| T51 |
2041 |
0 |
0 |
0 |
| T57 |
1850 |
0 |
0 |
0 |
| T227 |
0 |
2506 |
0 |
0 |
| T231 |
0 |
5649 |
0 |
0 |
| T232 |
0 |
2317 |
0 |
0 |
| T233 |
0 |
3769 |
0 |
0 |
| T234 |
0 |
6177 |
0 |
0 |
| T235 |
0 |
3594 |
0 |
0 |
| T236 |
0 |
3531 |
0 |
0 |
| T237 |
0 |
3185 |
0 |
0 |
| T238 |
0 |
5804 |
0 |
0 |
ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
216856779 |
68803 |
0 |
0 |
| T14 |
3106 |
0 |
0 |
0 |
| T17 |
1929 |
0 |
0 |
0 |
| T21 |
297083 |
1716 |
0 |
0 |
| T25 |
1797 |
0 |
0 |
0 |
| T27 |
2258 |
0 |
0 |
0 |
| T39 |
1947 |
0 |
0 |
0 |
| T41 |
11873 |
0 |
0 |
0 |
| T42 |
0 |
1 |
0 |
0 |
| T50 |
2045 |
0 |
0 |
0 |
| T51 |
2041 |
0 |
0 |
0 |
| T57 |
1850 |
0 |
0 |
0 |
| T68 |
0 |
1 |
0 |
0 |
| T73 |
0 |
4 |
0 |
0 |
| T187 |
0 |
8 |
0 |
0 |
| T227 |
0 |
2388 |
0 |
0 |
| T231 |
0 |
5192 |
0 |
0 |
| T239 |
0 |
1 |
0 |
0 |
| T240 |
0 |
9 |
0 |
0 |
| T241 |
0 |
14 |
0 |
0 |
err_code_test_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
216856779 |
78627 |
0 |
0 |
| T14 |
3106 |
0 |
0 |
0 |
| T17 |
1929 |
0 |
0 |
0 |
| T21 |
297083 |
2059 |
0 |
0 |
| T25 |
1797 |
0 |
0 |
0 |
| T27 |
2258 |
0 |
0 |
0 |
| T39 |
1947 |
0 |
0 |
0 |
| T41 |
11873 |
0 |
0 |
0 |
| T50 |
2045 |
0 |
0 |
0 |
| T51 |
2041 |
0 |
0 |
0 |
| T57 |
1850 |
0 |
0 |
0 |
| T227 |
0 |
2753 |
0 |
0 |
| T231 |
0 |
5543 |
0 |
0 |
| T232 |
0 |
2178 |
0 |
0 |
| T233 |
0 |
3756 |
0 |
0 |
| T234 |
0 |
6239 |
0 |
0 |
| T235 |
0 |
3460 |
0 |
0 |
| T236 |
0 |
3648 |
0 |
0 |
| T237 |
0 |
3628 |
0 |
0 |
| T238 |
0 |
6195 |
0 |
0 |
intr_enable_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
216856779 |
75927 |
0 |
0 |
| T14 |
3106 |
0 |
0 |
0 |
| T17 |
1929 |
0 |
0 |
0 |
| T21 |
297083 |
1748 |
0 |
0 |
| T25 |
1797 |
0 |
0 |
0 |
| T27 |
2258 |
0 |
0 |
0 |
| T39 |
1947 |
0 |
0 |
0 |
| T41 |
11873 |
0 |
0 |
0 |
| T50 |
2045 |
0 |
0 |
0 |
| T51 |
2041 |
0 |
0 |
0 |
| T57 |
1850 |
0 |
0 |
0 |
| T227 |
0 |
2537 |
0 |
0 |
| T231 |
0 |
5195 |
0 |
0 |
| T232 |
0 |
2156 |
0 |
0 |
| T233 |
0 |
3798 |
0 |
0 |
| T234 |
0 |
6051 |
0 |
0 |
| T235 |
0 |
3153 |
0 |
0 |
| T241 |
0 |
55 |
0 |
0 |
| T242 |
0 |
4 |
0 |
0 |
| T243 |
0 |
132 |
0 |
0 |
max_num_reqs_between_reseeds_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
216856779 |
68824 |
0 |
0 |
| T14 |
3106 |
0 |
0 |
0 |
| T17 |
1929 |
0 |
0 |
0 |
| T21 |
297083 |
1652 |
0 |
0 |
| T25 |
1797 |
0 |
0 |
0 |
| T27 |
2258 |
0 |
0 |
0 |
| T39 |
1947 |
0 |
0 |
0 |
| T41 |
11873 |
0 |
0 |
0 |
| T50 |
2045 |
0 |
0 |
0 |
| T51 |
2041 |
0 |
0 |
0 |
| T57 |
1850 |
0 |
0 |
0 |
| T227 |
0 |
2234 |
0 |
0 |
| T231 |
0 |
5048 |
0 |
0 |
| T232 |
0 |
1984 |
0 |
0 |
| T233 |
0 |
2910 |
0 |
0 |
| T234 |
0 |
5409 |
0 |
0 |
| T235 |
0 |
3211 |
0 |
0 |
| T236 |
0 |
2962 |
0 |
0 |
| T237 |
0 |
2914 |
0 |
0 |
| T238 |
0 |
5353 |
0 |
0 |
regwen_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
216856779 |
77886 |
0 |
0 |
| T14 |
3106 |
0 |
0 |
0 |
| T17 |
1929 |
0 |
0 |
0 |
| T21 |
297083 |
1758 |
0 |
0 |
| T25 |
1797 |
0 |
0 |
0 |
| T27 |
2258 |
0 |
0 |
0 |
| T39 |
1947 |
0 |
0 |
0 |
| T41 |
11873 |
0 |
0 |
0 |
| T50 |
2045 |
0 |
0 |
0 |
| T51 |
2041 |
0 |
0 |
0 |
| T57 |
1850 |
0 |
0 |
0 |
| T227 |
0 |
2882 |
0 |
0 |
| T231 |
0 |
5966 |
0 |
0 |
| T232 |
0 |
2263 |
0 |
0 |
| T233 |
0 |
3572 |
0 |
0 |
| T234 |
0 |
5983 |
0 |
0 |
| T235 |
0 |
3448 |
0 |
0 |
| T236 |
0 |
3467 |
0 |
0 |
| T237 |
0 |
3671 |
0 |
0 |
| T238 |
0 |
6322 |
0 |
0 |