Line Coverage for Module :
edn_core
| Line No. | Total | Covered | Percent |
TOTAL | | 253 | 253 | 100.00 |
ALWAYS | 217 | 36 | 36 | 100.00 |
CONT_ASSIGN | 292 | 1 | 1 | 100.00 |
CONT_ASSIGN | 297 | 1 | 1 | 100.00 |
CONT_ASSIGN | 304 | 1 | 1 | 100.00 |
CONT_ASSIGN | 310 | 1 | 1 | 100.00 |
CONT_ASSIGN | 312 | 1 | 1 | 100.00 |
CONT_ASSIGN | 314 | 1 | 1 | 100.00 |
CONT_ASSIGN | 316 | 1 | 1 | 100.00 |
CONT_ASSIGN | 318 | 1 | 1 | 100.00 |
CONT_ASSIGN | 321 | 1 | 1 | 100.00 |
CONT_ASSIGN | 325 | 1 | 1 | 100.00 |
CONT_ASSIGN | 329 | 1 | 1 | 100.00 |
CONT_ASSIGN | 337 | 1 | 1 | 100.00 |
CONT_ASSIGN | 340 | 1 | 1 | 100.00 |
CONT_ASSIGN | 343 | 1 | 1 | 100.00 |
CONT_ASSIGN | 346 | 1 | 1 | 100.00 |
CONT_ASSIGN | 349 | 1 | 1 | 100.00 |
CONT_ASSIGN | 351 | 1 | 1 | 100.00 |
CONT_ASSIGN | 352 | 1 | 1 | 100.00 |
CONT_ASSIGN | 357 | 1 | 1 | 100.00 |
CONT_ASSIGN | 360 | 1 | 1 | 100.00 |
CONT_ASSIGN | 363 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 372 | 1 | 1 | 100.00 |
CONT_ASSIGN | 374 | 1 | 1 | 100.00 |
CONT_ASSIGN | 375 | 1 | 1 | 100.00 |
CONT_ASSIGN | 378 | 1 | 1 | 100.00 |
CONT_ASSIGN | 397 | 1 | 1 | 100.00 |
CONT_ASSIGN | 400 | 1 | 1 | 100.00 |
CONT_ASSIGN | 404 | 1 | 1 | 100.00 |
CONT_ASSIGN | 413 | 1 | 1 | 100.00 |
CONT_ASSIGN | 414 | 1 | 1 | 100.00 |
CONT_ASSIGN | 415 | 1 | 1 | 100.00 |
CONT_ASSIGN | 416 | 1 | 1 | 100.00 |
CONT_ASSIGN | 419 | 1 | 1 | 100.00 |
CONT_ASSIGN | 419 | 1 | 1 | 100.00 |
CONT_ASSIGN | 419 | 1 | 1 | 100.00 |
CONT_ASSIGN | 419 | 1 | 1 | 100.00 |
CONT_ASSIGN | 419 | 1 | 1 | 100.00 |
CONT_ASSIGN | 419 | 1 | 1 | 100.00 |
CONT_ASSIGN | 419 | 1 | 1 | 100.00 |
CONT_ASSIGN | 419 | 1 | 1 | 100.00 |
CONT_ASSIGN | 419 | 1 | 1 | 100.00 |
CONT_ASSIGN | 419 | 1 | 1 | 100.00 |
CONT_ASSIGN | 419 | 1 | 1 | 100.00 |
CONT_ASSIGN | 419 | 1 | 1 | 100.00 |
CONT_ASSIGN | 419 | 1 | 1 | 100.00 |
CONT_ASSIGN | 419 | 1 | 1 | 100.00 |
CONT_ASSIGN | 419 | 1 | 1 | 100.00 |
CONT_ASSIGN | 419 | 1 | 1 | 100.00 |
CONT_ASSIGN | 419 | 1 | 1 | 100.00 |
CONT_ASSIGN | 419 | 1 | 1 | 100.00 |
CONT_ASSIGN | 419 | 1 | 1 | 100.00 |
CONT_ASSIGN | 434 | 1 | 1 | 100.00 |
CONT_ASSIGN | 435 | 1 | 1 | 100.00 |
CONT_ASSIGN | 436 | 1 | 1 | 100.00 |
CONT_ASSIGN | 437 | 1 | 1 | 100.00 |
CONT_ASSIGN | 440 | 1 | 1 | 100.00 |
CONT_ASSIGN | 440 | 1 | 1 | 100.00 |
CONT_ASSIGN | 440 | 1 | 1 | 100.00 |
CONT_ASSIGN | 454 | 1 | 1 | 100.00 |
CONT_ASSIGN | 461 | 1 | 1 | 100.00 |
CONT_ASSIGN | 462 | 1 | 1 | 100.00 |
CONT_ASSIGN | 463 | 1 | 1 | 100.00 |
CONT_ASSIGN | 464 | 1 | 1 | 100.00 |
CONT_ASSIGN | 465 | 1 | 1 | 100.00 |
CONT_ASSIGN | 480 | 1 | 1 | 100.00 |
CONT_ASSIGN | 481 | 1 | 1 | 100.00 |
CONT_ASSIGN | 483 | 1 | 1 | 100.00 |
CONT_ASSIGN | 484 | 1 | 1 | 100.00 |
CONT_ASSIGN | 486 | 1 | 1 | 100.00 |
CONT_ASSIGN | 487 | 1 | 1 | 100.00 |
CONT_ASSIGN | 489 | 1 | 1 | 100.00 |
CONT_ASSIGN | 490 | 1 | 1 | 100.00 |
CONT_ASSIGN | 492 | 1 | 1 | 100.00 |
CONT_ASSIGN | 493 | 1 | 1 | 100.00 |
CONT_ASSIGN | 494 | 1 | 1 | 100.00 |
CONT_ASSIGN | 497 | 1 | 1 | 100.00 |
CONT_ASSIGN | 506 | 1 | 1 | 100.00 |
CONT_ASSIGN | 513 | 1 | 1 | 100.00 |
CONT_ASSIGN | 517 | 1 | 1 | 100.00 |
CONT_ASSIGN | 533 | 1 | 1 | 100.00 |
CONT_ASSIGN | 541 | 1 | 1 | 100.00 |
CONT_ASSIGN | 542 | 1 | 1 | 100.00 |
CONT_ASSIGN | 547 | 1 | 1 | 100.00 |
CONT_ASSIGN | 548 | 1 | 1 | 100.00 |
CONT_ASSIGN | 552 | 1 | 1 | 100.00 |
CONT_ASSIGN | 562 | 1 | 1 | 100.00 |
CONT_ASSIGN | 563 | 1 | 1 | 100.00 |
CONT_ASSIGN | 573 | 1 | 1 | 100.00 |
CONT_ASSIGN | 574 | 1 | 1 | 100.00 |
CONT_ASSIGN | 581 | 1 | 1 | 100.00 |
CONT_ASSIGN | 582 | 1 | 1 | 100.00 |
CONT_ASSIGN | 593 | 1 | 1 | 100.00 |
CONT_ASSIGN | 594 | 1 | 1 | 100.00 |
CONT_ASSIGN | 599 | 1 | 1 | 100.00 |
CONT_ASSIGN | 600 | 1 | 1 | 100.00 |
CONT_ASSIGN | 606 | 1 | 1 | 100.00 |
CONT_ASSIGN | 607 | 1 | 1 | 100.00 |
CONT_ASSIGN | 616 | 1 | 1 | 100.00 |
CONT_ASSIGN | 617 | 1 | 1 | 100.00 |
CONT_ASSIGN | 626 | 1 | 1 | 100.00 |
CONT_ASSIGN | 627 | 1 | 1 | 100.00 |
CONT_ASSIGN | 654 | 1 | 1 | 100.00 |
CONT_ASSIGN | 656 | 1 | 1 | 100.00 |
CONT_ASSIGN | 660 | 1 | 1 | 100.00 |
CONT_ASSIGN | 664 | 1 | 1 | 100.00 |
CONT_ASSIGN | 666 | 1 | 1 | 100.00 |
CONT_ASSIGN | 668 | 1 | 1 | 100.00 |
CONT_ASSIGN | 697 | 1 | 1 | 100.00 |
CONT_ASSIGN | 699 | 1 | 1 | 100.00 |
CONT_ASSIGN | 703 | 1 | 1 | 100.00 |
CONT_ASSIGN | 707 | 1 | 1 | 100.00 |
CONT_ASSIGN | 709 | 1 | 1 | 100.00 |
CONT_ASSIGN | 711 | 1 | 1 | 100.00 |
CONT_ASSIGN | 770 | 1 | 1 | 100.00 |
CONT_ASSIGN | 774 | 1 | 1 | 100.00 |
CONT_ASSIGN | 777 | 1 | 1 | 100.00 |
CONT_ASSIGN | 787 | 1 | 1 | 100.00 |
CONT_ASSIGN | 792 | 1 | 1 | 100.00 |
CONT_ASSIGN | 793 | 1 | 1 | 100.00 |
CONT_ASSIGN | 794 | 1 | 1 | 100.00 |
CONT_ASSIGN | 795 | 1 | 1 | 100.00 |
CONT_ASSIGN | 798 | 1 | 1 | 100.00 |
CONT_ASSIGN | 834 | 1 | 1 | 100.00 |
CONT_ASSIGN | 834 | 1 | 1 | 100.00 |
CONT_ASSIGN | 834 | 1 | 1 | 100.00 |
CONT_ASSIGN | 834 | 1 | 1 | 100.00 |
CONT_ASSIGN | 834 | 1 | 1 | 100.00 |
CONT_ASSIGN | 834 | 1 | 1 | 100.00 |
CONT_ASSIGN | 834 | 1 | 1 | 100.00 |
CONT_ASSIGN | 858 | 1 | 1 | 100.00 |
CONT_ASSIGN | 859 | 1 | 1 | 100.00 |
CONT_ASSIGN | 861 | 1 | 1 | 100.00 |
CONT_ASSIGN | 862 | 1 | 1 | 100.00 |
CONT_ASSIGN | 863 | 1 | 1 | 100.00 |
CONT_ASSIGN | 864 | 1 | 1 | 100.00 |
CONT_ASSIGN | 866 | 1 | 1 | 100.00 |
CONT_ASSIGN | 881 | 1 | 1 | 100.00 |
CONT_ASSIGN | 883 | 1 | 1 | 100.00 |
CONT_ASSIGN | 885 | 1 | 1 | 100.00 |
CONT_ASSIGN | 891 | 1 | 1 | 100.00 |
CONT_ASSIGN | 894 | 1 | 1 | 100.00 |
CONT_ASSIGN | 895 | 1 | 1 | 100.00 |
CONT_ASSIGN | 919 | 1 | 1 | 100.00 |
CONT_ASSIGN | 919 | 1 | 1 | 100.00 |
CONT_ASSIGN | 919 | 1 | 1 | 100.00 |
CONT_ASSIGN | 919 | 1 | 1 | 100.00 |
CONT_ASSIGN | 919 | 1 | 1 | 100.00 |
CONT_ASSIGN | 919 | 1 | 1 | 100.00 |
CONT_ASSIGN | 919 | 1 | 1 | 100.00 |
CONT_ASSIGN | 920 | 1 | 1 | 100.00 |
CONT_ASSIGN | 920 | 1 | 1 | 100.00 |
CONT_ASSIGN | 920 | 1 | 1 | 100.00 |
CONT_ASSIGN | 920 | 1 | 1 | 100.00 |
CONT_ASSIGN | 920 | 1 | 1 | 100.00 |
CONT_ASSIGN | 920 | 1 | 1 | 100.00 |
CONT_ASSIGN | 920 | 1 | 1 | 100.00 |
CONT_ASSIGN | 923 | 1 | 1 | 100.00 |
CONT_ASSIGN | 923 | 1 | 1 | 100.00 |
CONT_ASSIGN | 923 | 1 | 1 | 100.00 |
CONT_ASSIGN | 923 | 1 | 1 | 100.00 |
CONT_ASSIGN | 923 | 1 | 1 | 100.00 |
CONT_ASSIGN | 923 | 1 | 1 | 100.00 |
CONT_ASSIGN | 923 | 1 | 1 | 100.00 |
CONT_ASSIGN | 926 | 1 | 1 | 100.00 |
CONT_ASSIGN | 926 | 1 | 1 | 100.00 |
CONT_ASSIGN | 926 | 1 | 1 | 100.00 |
CONT_ASSIGN | 926 | 1 | 1 | 100.00 |
CONT_ASSIGN | 926 | 1 | 1 | 100.00 |
CONT_ASSIGN | 926 | 1 | 1 | 100.00 |
CONT_ASSIGN | 926 | 1 | 1 | 100.00 |
CONT_ASSIGN | 929 | 1 | 1 | 100.00 |
CONT_ASSIGN | 929 | 1 | 1 | 100.00 |
CONT_ASSIGN | 929 | 1 | 1 | 100.00 |
CONT_ASSIGN | 929 | 1 | 1 | 100.00 |
CONT_ASSIGN | 929 | 1 | 1 | 100.00 |
CONT_ASSIGN | 929 | 1 | 1 | 100.00 |
CONT_ASSIGN | 929 | 1 | 1 | 100.00 |
CONT_ASSIGN | 930 | 1 | 1 | 100.00 |
CONT_ASSIGN | 930 | 1 | 1 | 100.00 |
CONT_ASSIGN | 930 | 1 | 1 | 100.00 |
CONT_ASSIGN | 930 | 1 | 1 | 100.00 |
CONT_ASSIGN | 930 | 1 | 1 | 100.00 |
CONT_ASSIGN | 930 | 1 | 1 | 100.00 |
CONT_ASSIGN | 930 | 1 | 1 | 100.00 |
CONT_ASSIGN | 950 | 1 | 1 | 100.00 |
CONT_ASSIGN | 966 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_edn_0.1/rtl/edn_core.sv' or '../src/lowrisc_ip_edn_0.1/rtl/edn_core.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
217 |
1 |
1 |
218 |
1 |
1 |
219 |
1 |
1 |
220 |
1 |
1 |
221 |
1 |
1 |
222 |
1 |
1 |
223 |
1 |
1 |
224 |
1 |
1 |
225 |
1 |
1 |
226 |
1 |
1 |
227 |
1 |
1 |
228 |
1 |
1 |
229 |
1 |
1 |
230 |
1 |
1 |
231 |
1 |
1 |
232 |
1 |
1 |
233 |
1 |
1 |
234 |
1 |
1 |
236 |
1 |
1 |
237 |
1 |
1 |
238 |
1 |
1 |
239 |
1 |
1 |
240 |
1 |
1 |
241 |
1 |
1 |
242 |
1 |
1 |
243 |
1 |
1 |
244 |
1 |
1 |
245 |
1 |
1 |
246 |
1 |
1 |
247 |
1 |
1 |
248 |
1 |
1 |
249 |
1 |
1 |
250 |
1 |
1 |
251 |
1 |
1 |
252 |
1 |
1 |
253 |
1 |
1 |
292 |
1 |
1 |
297 |
1 |
1 |
304 |
1 |
1 |
310 |
1 |
1 |
312 |
1 |
1 |
314 |
1 |
1 |
316 |
1 |
1 |
318 |
1 |
1 |
321 |
1 |
1 |
325 |
1 |
1 |
329 |
1 |
1 |
337 |
1 |
1 |
340 |
1 |
1 |
343 |
1 |
1 |
346 |
1 |
1 |
349 |
1 |
1 |
351 |
1 |
1 |
352 |
1 |
1 |
357 |
1 |
1 |
360 |
1 |
1 |
363 |
1 |
1 |
368 |
31 |
31 |
372 |
1 |
1 |
374 |
1 |
1 |
375 |
1 |
1 |
378 |
1 |
1 |
397 |
1 |
1 |
400 |
1 |
1 |
404 |
1 |
1 |
413 |
1 |
1 |
414 |
1 |
1 |
415 |
1 |
1 |
416 |
1 |
1 |
419 |
19 |
19 |
434 |
1 |
1 |
435 |
1 |
1 |
436 |
1 |
1 |
437 |
1 |
1 |
440 |
3 |
3 |
454 |
1 |
1 |
461 |
1 |
1 |
462 |
1 |
1 |
463 |
1 |
1 |
464 |
1 |
1 |
465 |
1 |
1 |
480 |
1 |
1 |
481 |
1 |
1 |
483 |
1 |
1 |
484 |
1 |
1 |
486 |
1 |
1 |
487 |
1 |
1 |
489 |
1 |
1 |
490 |
1 |
1 |
492 |
1 |
1 |
493 |
1 |
1 |
494 |
1 |
1 |
497 |
1 |
1 |
506 |
1 |
1 |
513 |
1 |
1 |
517 |
1 |
1 |
533 |
1 |
1 |
541 |
1 |
1 |
542 |
1 |
1 |
547 |
1 |
1 |
548 |
1 |
1 |
552 |
1 |
1 |
562 |
1 |
1 |
563 |
1 |
1 |
573 |
1 |
1 |
574 |
1 |
1 |
581 |
1 |
1 |
582 |
1 |
1 |
593 |
1 |
1 |
594 |
1 |
1 |
599 |
1 |
1 |
600 |
1 |
1 |
606 |
1 |
1 |
607 |
1 |
1 |
616 |
1 |
1 |
617 |
1 |
1 |
626 |
1 |
1 |
627 |
1 |
1 |
654 |
1 |
1 |
656 |
1 |
1 |
660 |
1 |
1 |
664 |
1 |
1 |
666 |
1 |
1 |
668 |
1 |
1 |
697 |
1 |
1 |
699 |
1 |
1 |
703 |
1 |
1 |
707 |
1 |
1 |
709 |
1 |
1 |
711 |
1 |
1 |
770 |
1 |
1 |
774 |
1 |
1 |
777 |
1 |
1 |
787 |
1 |
1 |
792 |
1 |
1 |
793 |
1 |
1 |
794 |
1 |
1 |
795 |
1 |
1 |
798 |
1 |
1 |
834 |
7 |
7 |
858 |
1 |
1 |
859 |
1 |
1 |
861 |
1 |
1 |
862 |
1 |
1 |
863 |
1 |
1 |
864 |
1 |
1 |
866 |
1 |
1 |
881 |
1 |
1 |
883 |
1 |
1 |
885 |
1 |
1 |
891 |
1 |
1 |
894 |
1 |
1 |
895 |
1 |
1 |
919 |
7 |
7 |
920 |
7 |
7 |
923 |
7 |
7 |
926 |
7 |
7 |
929 |
7 |
7 |
930 |
7 |
7 |
950 |
1 |
1 |
966 |
1 |
1 |
Cond Coverage for Module :
edn_core
| Total | Covered | Percent |
Conditions | 629 | 568 | 90.30 |
Logical | 629 | 568 | 90.30 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
This module contains a very large number of conditions, so the report has been split into multiple pages, by source line number. Click on the line number range in the table below to see the condition coverage for that section of the module.
Branch Coverage for Module :
edn_core
| Line No. | Total | Covered | Percent |
Branches |
|
104 |
104 |
100.00 |
TERNARY |
497 |
6 |
6 |
100.00 |
TERNARY |
506 |
4 |
4 |
100.00 |
TERNARY |
517 |
7 |
7 |
100.00 |
TERNARY |
533 |
5 |
5 |
100.00 |
TERNARY |
552 |
6 |
6 |
100.00 |
TERNARY |
563 |
6 |
6 |
100.00 |
TERNARY |
574 |
3 |
3 |
100.00 |
TERNARY |
582 |
4 |
4 |
100.00 |
TERNARY |
594 |
3 |
3 |
100.00 |
TERNARY |
600 |
3 |
3 |
100.00 |
TERNARY |
607 |
5 |
5 |
100.00 |
TERNARY |
617 |
5 |
5 |
100.00 |
TERNARY |
627 |
2 |
2 |
100.00 |
TERNARY |
656 |
2 |
2 |
100.00 |
TERNARY |
660 |
2 |
2 |
100.00 |
TERNARY |
699 |
2 |
2 |
100.00 |
TERNARY |
703 |
2 |
2 |
100.00 |
TERNARY |
777 |
6 |
6 |
100.00 |
TERNARY |
866 |
3 |
3 |
100.00 |
TERNARY |
883 |
2 |
2 |
100.00 |
TERNARY |
885 |
3 |
3 |
100.00 |
TERNARY |
923 |
3 |
3 |
100.00 |
TERNARY |
923 |
3 |
3 |
100.00 |
TERNARY |
923 |
3 |
3 |
100.00 |
TERNARY |
923 |
3 |
3 |
100.00 |
TERNARY |
923 |
3 |
3 |
100.00 |
TERNARY |
923 |
3 |
3 |
100.00 |
TERNARY |
923 |
3 |
3 |
100.00 |
IF |
217 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_edn_0.1/rtl/edn_core.sv' or '../src/lowrisc_ip_edn_0.1/rtl/edn_core.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 497 ((!edn_enable_fo[CsrngCmdReq])) ?
-2-: 497 (boot_wr_ins_cmd) ?
-3-: 497 (boot_wr_gen_cmd) ?
-4-: 497 (boot_wr_uni_cmd) ?
-5-: 497 (sw_cmd_req_load) ?
Branches:
-1- | -2- | -3- | -4- | -5- | Status | Tests |
1 |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
0 |
1 |
- |
- |
- |
Covered |
T2,T24,T6 |
0 |
0 |
1 |
- |
- |
Covered |
T2,T24,T6 |
0 |
0 |
0 |
1 |
- |
Covered |
T24,T47,T46 |
0 |
0 |
0 |
0 |
1 |
Covered |
T1,T3,T7 |
0 |
0 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 506 ((!edn_enable_fo[CsrngCmdReqValid])) ?
-2-: 506 (cs_cmd_handshake) ?
-3-: 506 ((((sw_cmd_req_load || boot_wr_ins_cmd) || boot_wr_gen_cmd) || boot_wr_uni_cmd)) ?
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T1,T2,T3 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 517 ((!edn_enable_fo[CsrngCmdReqOut])) ?
-2-: 517 ((send_rescmd || capt_rescmd_fifo_cnt)) ?
-3-: 517 (sfifo_rescmd_pop) ?
-4-: 517 ((send_gencmd || capt_gencmd_fifo_cnt)) ?
-5-: 517 (sfifo_gencmd_pop) ?
-6-: 517 ((cs_cmd_req_vld_q && (!cs_cmd_handshake))) ?
Branches:
-1- | -2- | -3- | -4- | -5- | -6- | Status | Tests |
1 |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
0 |
1 |
1 |
- |
- |
- |
Covered |
T7,T10,T14 |
0 |
1 |
0 |
- |
- |
- |
Covered |
T7,T10,T14 |
0 |
0 |
- |
1 |
1 |
- |
Covered |
T7,T10,T14 |
0 |
0 |
- |
1 |
0 |
- |
Covered |
T7,T10,T14 |
0 |
0 |
- |
0 |
- |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
- |
0 |
- |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 533 ((!edn_enable_fo[CsrngCmdReqValidOut])) ?
-2-: 533 (cmd_sent) ?
-3-: 533 ((send_rescmd || capt_rescmd_fifo_cnt)) ?
-4-: 533 ((send_gencmd || capt_gencmd_fifo_cnt)) ?
Branches:
-1- | -2- | -3- | -4- | Status | Tests |
1 |
- |
- |
- |
Covered |
T1,T2,T3 |
0 |
1 |
- |
- |
Covered |
T7,T10,T14 |
0 |
0 |
1 |
- |
Covered |
T7,T10,T14 |
0 |
0 |
0 |
1 |
Covered |
T7,T10,T14 |
0 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 552 ((!edn_enable_fo[SwCmdSts])) ?
-2-: 552 ((!sw_cmd_valid)) ?
-3-: 552 (sw_cmd_req_load) ?
-4-: 552 (accept_sw_cmds_pulse) ?
-5-: 552 (csrng_cmd_i.csrng_rsp_ack) ?
Branches:
-1- | -2- | -3- | -4- | -5- | Status | Tests |
1 |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
0 |
1 |
- |
- |
- |
Covered |
T2,T7,T24 |
0 |
0 |
1 |
- |
- |
Covered |
T1,T3,T7 |
0 |
0 |
0 |
1 |
- |
Covered |
T1,T3,T7 |
0 |
0 |
0 |
0 |
1 |
Covered |
T1,T3,T7 |
0 |
0 |
0 |
0 |
0 |
Covered |
T1,T3,T7 |
LineNo. Expression
-1-: 563 ((!edn_enable_fo[SwCmdSts])) ?
-2-: 563 ((!sw_cmd_valid)) ?
-3-: 563 (sw_cmd_req_load) ?
-4-: 563 (accept_sw_cmds_pulse) ?
-5-: 563 (cs_cmd_handshake) ?
Branches:
-1- | -2- | -3- | -4- | -5- | Status | Tests |
1 |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
0 |
1 |
- |
- |
- |
Covered |
T2,T7,T24 |
0 |
0 |
1 |
- |
- |
Covered |
T1,T3,T7 |
0 |
0 |
0 |
1 |
- |
Covered |
T1,T3,T7 |
0 |
0 |
0 |
0 |
1 |
Covered |
T1,T3,T7 |
0 |
0 |
0 |
0 |
0 |
Covered |
T1,T3,T7 |
LineNo. Expression
-1-: 574 ((!edn_enable_fo[SwCmdSts])) ?
-2-: 574 ((csrng_cmd_i.csrng_rsp_ack && sw_cmd_valid)) ?
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Covered |
T1,T3,T7 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 582 ((!edn_enable_fo[SwCmdSts])) ?
-2-: 582 (sw_cmd_req_load) ?
-3-: 582 ((csrng_cmd_i.csrng_rsp_ack && sw_cmd_valid)) ?
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T1,T2,T3 |
0 |
1 |
- |
Covered |
T1,T3,T7 |
0 |
0 |
1 |
Covered |
T1,T3,T7 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 594 ((main_sm_done_pulse || (!edn_enable_fo[HwCmdSts]))) ?
-2-: 594 (boot_wr_ins_cmd) ?
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Covered |
T2,T24,T6 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 600 ((main_sm_done_pulse || (!edn_enable_fo[HwCmdSts]))) ?
-2-: 600 (auto_req_mode_busy) ?
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Covered |
T7,T10,T14 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 607 ((!edn_enable_fo[HwCmdSts])) ?
-2-: 607 (sw_cmd_valid) ?
-3-: 607 ((cs_cmd_req_vld_out_q && csrng_cmd_i.csrng_req_ready)) ?
-4-: 607 ((csrng_cmd_i.csrng_rsp_ack && csrng_cmd_i.csrng_rsp_sts)) ?
Branches:
-1- | -2- | -3- | -4- | Status | Tests |
1 |
- |
- |
- |
Covered |
T1,T2,T3 |
0 |
1 |
- |
- |
Covered |
T1,T3,T7 |
0 |
0 |
1 |
- |
Covered |
T2,T7,T24 |
0 |
0 |
0 |
1 |
Covered |
T31,T32,T33 |
0 |
0 |
0 |
0 |
Covered |
T2,T7,T24 |
LineNo. Expression
-1-: 617 ((!edn_enable_fo[HwCmdSts])) ?
-2-: 617 (sw_cmd_valid) ?
-3-: 617 ((cs_cmd_req_vld_out_q && csrng_cmd_i.csrng_req_ready)) ?
-4-: 617 (csrng_cmd_i.csrng_rsp_ack) ?
Branches:
-1- | -2- | -3- | -4- | Status | Tests |
1 |
- |
- |
- |
Covered |
T1,T2,T3 |
0 |
1 |
- |
- |
Covered |
T1,T3,T7 |
0 |
0 |
1 |
- |
Covered |
T2,T7,T24 |
0 |
0 |
0 |
1 |
Covered |
T2,T7,T24 |
0 |
0 |
0 |
0 |
Covered |
T2,T7,T24 |
LineNo. Expression
-1-: 627 ((((edn_enable_fo[HwCmdSts] && (!sw_cmd_valid)) && cs_cmd_req_vld_out_q) && csrng_cmd_i.csrng_req_ready)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T2,T7,T24 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 656 (rescmd_handshake) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T7,T10,T14 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 660 (auto_req_mode_busy) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T7,T10,T14 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 699 (gencmd_handshake) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T7,T10,T14 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 703 (auto_req_mode_busy) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T7,T10,T14 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 777 ((!edn_enable_fo[CmdFifoCnt])) ?
-2-: 777 ((cmd_fifo_rst_fo[3] || main_sm_done_pulse)) ?
-3-: 777 (capt_gencmd_fifo_cnt) ?
-4-: 777 (capt_rescmd_fifo_cnt) ?
-5-: 777 ((sfifo_gencmd_pop || sfifo_rescmd_pop)) ?
Branches:
-1- | -2- | -3- | -4- | -5- | Status | Tests |
1 |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
0 |
1 |
- |
- |
- |
Covered |
T1,T3,T7 |
0 |
0 |
1 |
- |
- |
Covered |
T7,T10,T14 |
0 |
0 |
0 |
1 |
- |
Covered |
T7,T10,T14 |
0 |
0 |
0 |
0 |
1 |
Covered |
T10,T14,T100 |
0 |
0 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 866 ((!edn_enable_fo[CsrngFipsEn])) ?
-2-: 866 ((packer_cs_push && packer_cs_wready)) ?
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 883 (cs_rdata_capt_vld) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 885 ((!edn_enable_fo[CsrngDataVld])) ?
-2-: 885 (cs_rdata_capt_vld) ?
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 923 (packer_ep_clr[0]) ?
-2-: 923 ((packer_ep_push[0] && packer_ep_wready[0])) ?
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Covered |
T3,T7,T24 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 923 (packer_ep_clr[1]) ?
-2-: 923 ((packer_ep_push[1] && packer_ep_wready[1])) ?
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Covered |
T24,T45,T46 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 923 (packer_ep_clr[2]) ?
-2-: 923 ((packer_ep_push[2] && packer_ep_wready[2])) ?
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Covered |
T24,T47,T48 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 923 (packer_ep_clr[3]) ?
-2-: 923 ((packer_ep_push[3] && packer_ep_wready[3])) ?
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Covered |
T1,T24,T27 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 923 (packer_ep_clr[4]) ?
-2-: 923 ((packer_ep_push[4] && packer_ep_wready[4])) ?
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Covered |
T2,T27,T49 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 923 (packer_ep_clr[5]) ?
-2-: 923 ((packer_ep_push[5] && packer_ep_wready[5])) ?
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Covered |
T27,T47,T46 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 923 (packer_ep_clr[6]) ?
-2-: 923 ((packer_ep_push[6] && packer_ep_wready[6])) ?
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Covered |
T27,T39,T46 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 217 if ((!rst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Module :
edn_core
Assertion Details
CsErrAcceptNoEntropy_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
252892838 |
7057 |
0 |
0 |
T8 |
2331 |
0 |
0 |
0 |
T20 |
3335 |
0 |
0 |
0 |
T31 |
2047 |
157 |
0 |
0 |
T32 |
2159 |
150 |
0 |
0 |
T33 |
0 |
149 |
0 |
0 |
T50 |
954 |
0 |
0 |
0 |
T56 |
0 |
160 |
0 |
0 |
T57 |
0 |
129 |
0 |
0 |
T83 |
599 |
0 |
0 |
0 |
T85 |
997 |
0 |
0 |
0 |
T100 |
5055 |
0 |
0 |
0 |
T109 |
0 |
140 |
0 |
0 |
T110 |
0 |
138 |
0 |
0 |
T140 |
0 |
143 |
0 |
0 |
T156 |
1729 |
0 |
0 |
0 |
T158 |
0 |
149 |
0 |
0 |
T161 |
0 |
149 |
0 |
0 |
T162 |
3712 |
0 |
0 |
0 |
CsErrIssueNoCommands_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
252892838 |
7057 |
0 |
0 |
T8 |
2331 |
0 |
0 |
0 |
T20 |
3335 |
0 |
0 |
0 |
T31 |
2047 |
157 |
0 |
0 |
T32 |
2159 |
150 |
0 |
0 |
T33 |
0 |
149 |
0 |
0 |
T50 |
954 |
0 |
0 |
0 |
T56 |
0 |
160 |
0 |
0 |
T57 |
0 |
129 |
0 |
0 |
T83 |
599 |
0 |
0 |
0 |
T85 |
997 |
0 |
0 |
0 |
T100 |
5055 |
0 |
0 |
0 |
T109 |
0 |
140 |
0 |
0 |
T110 |
0 |
138 |
0 |
0 |
T140 |
0 |
143 |
0 |
0 |
T156 |
1729 |
0 |
0 |
0 |
T158 |
0 |
149 |
0 |
0 |
T161 |
0 |
149 |
0 |
0 |
T162 |
3712 |
0 |
0 |
0 |