Assert Coverage for Module :
edn_csr_assert_fpv
Assertion Details
TlulOOBAddrErr_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
12108530 |
416568 |
0 |
0 |
| T16 |
1093 |
0 |
0 |
0 |
| T38 |
223555 |
10967 |
0 |
0 |
| T39 |
439611 |
25714 |
0 |
0 |
| T40 |
0 |
7197 |
0 |
0 |
| T65 |
5112 |
0 |
0 |
0 |
| T66 |
942 |
0 |
0 |
0 |
| T67 |
1342 |
0 |
0 |
0 |
| T68 |
1637 |
0 |
0 |
0 |
| T69 |
1864 |
0 |
0 |
0 |
| T70 |
1065 |
0 |
0 |
0 |
| T76 |
0 |
30930 |
0 |
0 |
| T112 |
0 |
7456 |
0 |
0 |
| T113 |
0 |
9847 |
0 |
0 |
| T114 |
1450 |
0 |
0 |
0 |
| T231 |
0 |
7883 |
0 |
0 |
| T232 |
0 |
24012 |
0 |
0 |
| T233 |
0 |
9223 |
0 |
0 |
| T234 |
0 |
10506 |
0 |
0 |
boot_gen_cmd_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
12108530 |
2704 |
0 |
0 |
| T116 |
2264 |
0 |
0 |
0 |
| T160 |
2733 |
0 |
0 |
0 |
| T165 |
620 |
0 |
0 |
0 |
| T228 |
2184 |
0 |
0 |
0 |
| T234 |
292717 |
332 |
0 |
0 |
| T235 |
0 |
222 |
0 |
0 |
| T236 |
0 |
271 |
0 |
0 |
| T237 |
0 |
183 |
0 |
0 |
| T238 |
0 |
133 |
0 |
0 |
| T239 |
0 |
277 |
0 |
0 |
| T240 |
0 |
203 |
0 |
0 |
| T241 |
0 |
706 |
0 |
0 |
| T242 |
0 |
75 |
0 |
0 |
| T243 |
0 |
24 |
0 |
0 |
| T244 |
951 |
0 |
0 |
0 |
| T245 |
1203 |
0 |
0 |
0 |
| T246 |
1660 |
0 |
0 |
0 |
| T247 |
2333 |
0 |
0 |
0 |
| T248 |
904 |
0 |
0 |
0 |
boot_ins_cmd_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
12108530 |
3345 |
0 |
0 |
| T116 |
2264 |
0 |
0 |
0 |
| T160 |
2733 |
0 |
0 |
0 |
| T165 |
620 |
0 |
0 |
0 |
| T228 |
2184 |
0 |
0 |
0 |
| T234 |
292717 |
412 |
0 |
0 |
| T235 |
0 |
279 |
0 |
0 |
| T236 |
0 |
262 |
0 |
0 |
| T237 |
0 |
240 |
0 |
0 |
| T238 |
0 |
255 |
0 |
0 |
| T239 |
0 |
397 |
0 |
0 |
| T240 |
0 |
309 |
0 |
0 |
| T241 |
0 |
728 |
0 |
0 |
| T242 |
0 |
100 |
0 |
0 |
| T243 |
0 |
31 |
0 |
0 |
| T244 |
951 |
0 |
0 |
0 |
| T245 |
1203 |
0 |
0 |
0 |
| T246 |
1660 |
0 |
0 |
0 |
| T247 |
2333 |
0 |
0 |
0 |
| T248 |
904 |
0 |
0 |
0 |
ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
12108530 |
3250 |
0 |
0 |
| T5 |
1233 |
3 |
0 |
0 |
| T6 |
1070 |
0 |
0 |
0 |
| T15 |
1440 |
0 |
0 |
0 |
| T43 |
1746 |
0 |
0 |
0 |
| T47 |
2088 |
0 |
0 |
0 |
| T52 |
847 |
0 |
0 |
0 |
| T64 |
939 |
0 |
0 |
0 |
| T87 |
0 |
1 |
0 |
0 |
| T101 |
0 |
2 |
0 |
0 |
| T102 |
876 |
0 |
0 |
0 |
| T105 |
2948 |
0 |
0 |
0 |
| T205 |
1932 |
0 |
0 |
0 |
| T234 |
0 |
421 |
0 |
0 |
| T235 |
0 |
281 |
0 |
0 |
| T249 |
0 |
10 |
0 |
0 |
| T250 |
0 |
1 |
0 |
0 |
| T251 |
0 |
20 |
0 |
0 |
| T252 |
0 |
2 |
0 |
0 |
| T253 |
0 |
1 |
0 |
0 |
err_code_test_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
12108530 |
2954 |
0 |
0 |
| T116 |
2264 |
0 |
0 |
0 |
| T160 |
2733 |
0 |
0 |
0 |
| T165 |
620 |
0 |
0 |
0 |
| T228 |
2184 |
0 |
0 |
0 |
| T234 |
292717 |
359 |
0 |
0 |
| T235 |
0 |
269 |
0 |
0 |
| T236 |
0 |
287 |
0 |
0 |
| T237 |
0 |
194 |
0 |
0 |
| T238 |
0 |
226 |
0 |
0 |
| T239 |
0 |
330 |
0 |
0 |
| T240 |
0 |
278 |
0 |
0 |
| T241 |
0 |
616 |
0 |
0 |
| T242 |
0 |
87 |
0 |
0 |
| T243 |
0 |
9 |
0 |
0 |
| T244 |
951 |
0 |
0 |
0 |
| T245 |
1203 |
0 |
0 |
0 |
| T246 |
1660 |
0 |
0 |
0 |
| T247 |
2333 |
0 |
0 |
0 |
| T248 |
904 |
0 |
0 |
0 |
intr_enable_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
12108530 |
5804 |
0 |
0 |
| T27 |
1243 |
0 |
0 |
0 |
| T53 |
2417 |
0 |
0 |
0 |
| T60 |
2193 |
0 |
0 |
0 |
| T98 |
1665 |
0 |
0 |
0 |
| T113 |
240700 |
0 |
0 |
0 |
| T234 |
0 |
597 |
0 |
0 |
| T235 |
0 |
471 |
0 |
0 |
| T236 |
0 |
365 |
0 |
0 |
| T249 |
0 |
46 |
0 |
0 |
| T251 |
0 |
44 |
0 |
0 |
| T254 |
35543 |
111 |
0 |
0 |
| T255 |
0 |
26 |
0 |
0 |
| T256 |
0 |
31 |
0 |
0 |
| T257 |
0 |
47 |
0 |
0 |
| T258 |
0 |
111 |
0 |
0 |
| T259 |
1342 |
0 |
0 |
0 |
| T260 |
1964 |
0 |
0 |
0 |
| T261 |
728 |
0 |
0 |
0 |
| T262 |
1981 |
0 |
0 |
0 |
max_num_reqs_between_reseeds_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
12108530 |
3002 |
0 |
0 |
| T116 |
2264 |
0 |
0 |
0 |
| T160 |
2733 |
0 |
0 |
0 |
| T165 |
620 |
0 |
0 |
0 |
| T228 |
2184 |
0 |
0 |
0 |
| T234 |
292717 |
367 |
0 |
0 |
| T235 |
0 |
223 |
0 |
0 |
| T236 |
0 |
265 |
0 |
0 |
| T237 |
0 |
214 |
0 |
0 |
| T238 |
0 |
137 |
0 |
0 |
| T239 |
0 |
234 |
0 |
0 |
| T240 |
0 |
213 |
0 |
0 |
| T241 |
0 |
657 |
0 |
0 |
| T242 |
0 |
65 |
0 |
0 |
| T244 |
951 |
0 |
0 |
0 |
| T245 |
1203 |
0 |
0 |
0 |
| T246 |
1660 |
0 |
0 |
0 |
| T247 |
2333 |
0 |
0 |
0 |
| T248 |
904 |
0 |
0 |
0 |
| T263 |
0 |
35 |
0 |
0 |
regwen_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
12108530 |
3519 |
0 |
0 |
| T116 |
2264 |
0 |
0 |
0 |
| T160 |
2733 |
0 |
0 |
0 |
| T165 |
620 |
0 |
0 |
0 |
| T228 |
2184 |
0 |
0 |
0 |
| T234 |
292717 |
404 |
0 |
0 |
| T235 |
0 |
332 |
0 |
0 |
| T236 |
0 |
281 |
0 |
0 |
| T237 |
0 |
230 |
0 |
0 |
| T238 |
0 |
219 |
0 |
0 |
| T239 |
0 |
424 |
0 |
0 |
| T240 |
0 |
276 |
0 |
0 |
| T241 |
0 |
685 |
0 |
0 |
| T242 |
0 |
88 |
0 |
0 |
| T244 |
951 |
0 |
0 |
0 |
| T245 |
1203 |
0 |
0 |
0 |
| T246 |
1660 |
0 |
0 |
0 |
| T247 |
2333 |
0 |
0 |
0 |
| T248 |
904 |
0 |
0 |
0 |
| T263 |
0 |
24 |
0 |
0 |