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 | 617 | 1 | 1 | 100.00 |
CONT_ASSIGN | 618 | 1 | 1 | 100.00 |
CONT_ASSIGN | 627 | 1 | 1 | 100.00 |
CONT_ASSIGN | 628 | 1 | 1 | 100.00 |
CONT_ASSIGN | 655 | 1 | 1 | 100.00 |
CONT_ASSIGN | 657 | 1 | 1 | 100.00 |
CONT_ASSIGN | 661 | 1 | 1 | 100.00 |
CONT_ASSIGN | 665 | 1 | 1 | 100.00 |
CONT_ASSIGN | 667 | 1 | 1 | 100.00 |
CONT_ASSIGN | 669 | 1 | 1 | 100.00 |
CONT_ASSIGN | 698 | 1 | 1 | 100.00 |
CONT_ASSIGN | 700 | 1 | 1 | 100.00 |
CONT_ASSIGN | 704 | 1 | 1 | 100.00 |
CONT_ASSIGN | 708 | 1 | 1 | 100.00 |
CONT_ASSIGN | 710 | 1 | 1 | 100.00 |
CONT_ASSIGN | 712 | 1 | 1 | 100.00 |
CONT_ASSIGN | 771 | 1 | 1 | 100.00 |
CONT_ASSIGN | 775 | 1 | 1 | 100.00 |
CONT_ASSIGN | 778 | 1 | 1 | 100.00 |
CONT_ASSIGN | 788 | 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 | 796 | 1 | 1 | 100.00 |
CONT_ASSIGN | 799 | 1 | 1 | 100.00 |
CONT_ASSIGN | 835 | 1 | 1 | 100.00 |
CONT_ASSIGN | 835 | 1 | 1 | 100.00 |
CONT_ASSIGN | 835 | 1 | 1 | 100.00 |
CONT_ASSIGN | 835 | 1 | 1 | 100.00 |
CONT_ASSIGN | 835 | 1 | 1 | 100.00 |
CONT_ASSIGN | 835 | 1 | 1 | 100.00 |
CONT_ASSIGN | 835 | 1 | 1 | 100.00 |
CONT_ASSIGN | 859 | 1 | 1 | 100.00 |
CONT_ASSIGN | 860 | 1 | 1 | 100.00 |
CONT_ASSIGN | 863 | 1 | 1 | 100.00 |
CONT_ASSIGN | 864 | 1 | 1 | 100.00 |
CONT_ASSIGN | 865 | 1 | 1 | 100.00 |
CONT_ASSIGN | 866 | 1 | 1 | 100.00 |
CONT_ASSIGN | 868 | 1 | 1 | 100.00 |
CONT_ASSIGN | 883 | 1 | 1 | 100.00 |
CONT_ASSIGN | 885 | 1 | 1 | 100.00 |
CONT_ASSIGN | 887 | 1 | 1 | 100.00 |
CONT_ASSIGN | 893 | 1 | 1 | 100.00 |
CONT_ASSIGN | 896 | 1 | 1 | 100.00 |
CONT_ASSIGN | 897 | 1 | 1 | 100.00 |
CONT_ASSIGN | 921 | 1 | 1 | 100.00 |
CONT_ASSIGN | 921 | 1 | 1 | 100.00 |
CONT_ASSIGN | 921 | 1 | 1 | 100.00 |
CONT_ASSIGN | 921 | 1 | 1 | 100.00 |
CONT_ASSIGN | 921 | 1 | 1 | 100.00 |
CONT_ASSIGN | 921 | 1 | 1 | 100.00 |
CONT_ASSIGN | 921 | 1 | 1 | 100.00 |
CONT_ASSIGN | 922 | 1 | 1 | 100.00 |
CONT_ASSIGN | 922 | 1 | 1 | 100.00 |
CONT_ASSIGN | 922 | 1 | 1 | 100.00 |
CONT_ASSIGN | 922 | 1 | 1 | 100.00 |
CONT_ASSIGN | 922 | 1 | 1 | 100.00 |
CONT_ASSIGN | 922 | 1 | 1 | 100.00 |
CONT_ASSIGN | 922 | 1 | 1 | 100.00 |
CONT_ASSIGN | 925 | 1 | 1 | 100.00 |
CONT_ASSIGN | 925 | 1 | 1 | 100.00 |
CONT_ASSIGN | 925 | 1 | 1 | 100.00 |
CONT_ASSIGN | 925 | 1 | 1 | 100.00 |
CONT_ASSIGN | 925 | 1 | 1 | 100.00 |
CONT_ASSIGN | 925 | 1 | 1 | 100.00 |
CONT_ASSIGN | 925 | 1 | 1 | 100.00 |
CONT_ASSIGN | 928 | 1 | 1 | 100.00 |
CONT_ASSIGN | 928 | 1 | 1 | 100.00 |
CONT_ASSIGN | 928 | 1 | 1 | 100.00 |
CONT_ASSIGN | 928 | 1 | 1 | 100.00 |
CONT_ASSIGN | 928 | 1 | 1 | 100.00 |
CONT_ASSIGN | 928 | 1 | 1 | 100.00 |
CONT_ASSIGN | 928 | 1 | 1 | 100.00 |
CONT_ASSIGN | 931 | 1 | 1 | 100.00 |
CONT_ASSIGN | 931 | 1 | 1 | 100.00 |
CONT_ASSIGN | 931 | 1 | 1 | 100.00 |
CONT_ASSIGN | 931 | 1 | 1 | 100.00 |
CONT_ASSIGN | 931 | 1 | 1 | 100.00 |
CONT_ASSIGN | 931 | 1 | 1 | 100.00 |
CONT_ASSIGN | 931 | 1 | 1 | 100.00 |
CONT_ASSIGN | 932 | 1 | 1 | 100.00 |
CONT_ASSIGN | 932 | 1 | 1 | 100.00 |
CONT_ASSIGN | 932 | 1 | 1 | 100.00 |
CONT_ASSIGN | 932 | 1 | 1 | 100.00 |
CONT_ASSIGN | 932 | 1 | 1 | 100.00 |
CONT_ASSIGN | 932 | 1 | 1 | 100.00 |
CONT_ASSIGN | 932 | 1 | 1 | 100.00 |
CONT_ASSIGN | 952 | 1 | 1 | 100.00 |
CONT_ASSIGN | 968 | 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 |
617 |
1 |
1 |
618 |
1 |
1 |
627 |
1 |
1 |
628 |
1 |
1 |
655 |
1 |
1 |
657 |
1 |
1 |
661 |
1 |
1 |
665 |
1 |
1 |
667 |
1 |
1 |
669 |
1 |
1 |
698 |
1 |
1 |
700 |
1 |
1 |
704 |
1 |
1 |
708 |
1 |
1 |
710 |
1 |
1 |
712 |
1 |
1 |
771 |
1 |
1 |
775 |
1 |
1 |
778 |
1 |
1 |
788 |
1 |
1 |
793 |
1 |
1 |
794 |
1 |
1 |
795 |
1 |
1 |
796 |
1 |
1 |
799 |
1 |
1 |
835 |
7 |
7 |
859 |
1 |
1 |
860 |
1 |
1 |
863 |
1 |
1 |
864 |
1 |
1 |
865 |
1 |
1 |
866 |
1 |
1 |
868 |
1 |
1 |
883 |
1 |
1 |
885 |
1 |
1 |
887 |
1 |
1 |
893 |
1 |
1 |
896 |
1 |
1 |
897 |
1 |
1 |
921 |
7 |
7 |
922 |
7 |
7 |
925 |
7 |
7 |
928 |
7 |
7 |
931 |
7 |
7 |
932 |
7 |
7 |
952 |
1 |
1 |
968 |
1 |
1 |
Cond Coverage for Module :
edn_core
| Total | Covered | Percent |
Conditions | 635 | 574 | 90.39 |
Logical | 635 | 574 | 90.39 |
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 |
618 |
5 |
5 |
100.00 |
TERNARY |
628 |
2 |
2 |
100.00 |
TERNARY |
657 |
2 |
2 |
100.00 |
TERNARY |
661 |
2 |
2 |
100.00 |
TERNARY |
700 |
2 |
2 |
100.00 |
TERNARY |
704 |
2 |
2 |
100.00 |
TERNARY |
778 |
6 |
6 |
100.00 |
TERNARY |
868 |
3 |
3 |
100.00 |
TERNARY |
885 |
2 |
2 |
100.00 |
TERNARY |
887 |
3 |
3 |
100.00 |
TERNARY |
925 |
3 |
3 |
100.00 |
TERNARY |
925 |
3 |
3 |
100.00 |
TERNARY |
925 |
3 |
3 |
100.00 |
TERNARY |
925 |
3 |
3 |
100.00 |
TERNARY |
925 |
3 |
3 |
100.00 |
TERNARY |
925 |
3 |
3 |
100.00 |
TERNARY |
925 |
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,T3,T4 |
0 |
0 |
1 |
- |
- |
Covered |
T2,T3,T4 |
0 |
0 |
0 |
1 |
- |
Covered |
T3,T4,T79 |
0 |
0 |
0 |
0 |
1 |
Covered |
T1,T3,T22 |
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 |
T9,T10,T13 |
0 |
1 |
0 |
- |
- |
- |
Covered |
T9,T10,T13 |
0 |
0 |
- |
1 |
1 |
- |
Covered |
T9,T10,T13 |
0 |
0 |
- |
1 |
0 |
- |
Covered |
T9,T10,T13 |
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 |
T9,T10,T13 |
0 |
0 |
1 |
- |
Covered |
T9,T10,T13 |
0 |
0 |
0 |
1 |
Covered |
T9,T10,T13 |
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,T3,T9 |
0 |
0 |
1 |
- |
- |
Covered |
T1,T3,T22 |
0 |
0 |
0 |
1 |
- |
Covered |
T1,T3,T22 |
0 |
0 |
0 |
0 |
1 |
Covered |
T1,T3,T22 |
0 |
0 |
0 |
0 |
0 |
Covered |
T1,T3,T22 |
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,T3,T9 |
0 |
0 |
1 |
- |
- |
Covered |
T1,T3,T22 |
0 |
0 |
0 |
1 |
- |
Covered |
T1,T3,T22 |
0 |
0 |
0 |
0 |
1 |
Covered |
T1,T3,T22 |
0 |
0 |
0 |
0 |
0 |
Covered |
T1,T3,T22 |
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,T22 |
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,T22 |
0 |
0 |
1 |
Covered |
T1,T3,T22 |
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,T3,T4 |
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 |
T9,T10,T13 |
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 != CMD_STS_SUCCESS))) ?
Branches:
-1- | -2- | -3- | -4- | Status | Tests |
1 |
- |
- |
- |
Covered |
T1,T2,T3 |
0 |
1 |
- |
- |
Covered |
T1,T3,T22 |
0 |
0 |
1 |
- |
Covered |
T2,T3,T9 |
0 |
0 |
0 |
1 |
Covered |
T28,T29,T30 |
0 |
0 |
0 |
0 |
Covered |
T2,T3,T9 |
LineNo. Expression
-1-: 618 ((!edn_enable_fo[HwCmdSts])) ?
-2-: 618 (sw_cmd_valid) ?
-3-: 618 ((cs_cmd_req_vld_out_q && csrng_cmd_i.csrng_req_ready)) ?
-4-: 618 (csrng_cmd_i.csrng_rsp_ack) ?
Branches:
-1- | -2- | -3- | -4- | Status | Tests |
1 |
- |
- |
- |
Covered |
T1,T2,T3 |
0 |
1 |
- |
- |
Covered |
T1,T3,T22 |
0 |
0 |
1 |
- |
Covered |
T2,T3,T9 |
0 |
0 |
0 |
1 |
Covered |
T2,T3,T9 |
0 |
0 |
0 |
0 |
Covered |
T2,T3,T9 |
LineNo. Expression
-1-: 628 ((((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,T3,T9 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 657 (rescmd_handshake) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T9,T10,T13 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 661 (auto_req_mode_busy) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T9,T10,T13 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 700 (gencmd_handshake) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T9,T10,T13 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 704 (auto_req_mode_busy) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T9,T10,T13 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 778 ((!edn_enable_fo[CmdFifoCnt])) ?
-2-: 778 ((cmd_fifo_rst_fo[3] || main_sm_done_pulse)) ?
-3-: 778 (capt_gencmd_fifo_cnt) ?
-4-: 778 (capt_rescmd_fifo_cnt) ?
-5-: 778 ((sfifo_gencmd_pop || sfifo_rescmd_pop)) ?
Branches:
-1- | -2- | -3- | -4- | -5- | Status | Tests |
1 |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
0 |
1 |
- |
- |
- |
Covered |
T1,T3,T22 |
0 |
0 |
1 |
- |
- |
Covered |
T9,T10,T13 |
0 |
0 |
0 |
1 |
- |
Covered |
T9,T10,T13 |
0 |
0 |
0 |
0 |
1 |
Covered |
T9,T10,T13 |
0 |
0 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 868 ((!edn_enable_fo[CsrngFipsEn])) ?
-2-: 868 ((packer_cs_push && packer_cs_wready)) ?
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Covered |
T1,T3,T22 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 885 (cs_rdata_capt_vld) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T3,T22 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 887 ((!edn_enable_fo[CsrngDataVld])) ?
-2-: 887 (cs_rdata_capt_vld) ?
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Covered |
T1,T3,T22 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 925 (packer_ep_clr[0]) ?
-2-: 925 ((packer_ep_push[0] && packer_ep_wready[0])) ?
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Covered |
T3,T22,T23 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 925 (packer_ep_clr[1]) ?
-2-: 925 ((packer_ep_push[1] && packer_ep_wready[1])) ?
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Covered |
T23,T5,T13 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 925 (packer_ep_clr[2]) ?
-2-: 925 ((packer_ep_push[2] && packer_ep_wready[2])) ?
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Covered |
T1,T41,T28 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 925 (packer_ep_clr[3]) ?
-2-: 925 ((packer_ep_push[3] && packer_ep_wready[3])) ?
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Covered |
T1,T13,T41 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 925 (packer_ep_clr[4]) ?
-2-: 925 ((packer_ep_push[4] && packer_ep_wready[4])) ?
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Covered |
T1,T9,T14 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 925 (packer_ep_clr[5]) ?
-2-: 925 ((packer_ep_push[5] && packer_ep_wready[5])) ?
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Covered |
T9,T13,T41 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 925 (packer_ep_clr[6]) ?
-2-: 925 ((packer_ep_push[6] && packer_ep_wready[6])) ?
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Covered |
T9,T42,T43 |
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 |
230342208 |
7015 |
0 |
0 |
T21 |
2197 |
0 |
0 |
0 |
T28 |
1866 |
117 |
0 |
0 |
T29 |
0 |
148 |
0 |
0 |
T30 |
0 |
136 |
0 |
0 |
T40 |
186533 |
0 |
0 |
0 |
T46 |
1593 |
0 |
0 |
0 |
T50 |
0 |
117 |
0 |
0 |
T53 |
20871 |
0 |
0 |
0 |
T60 |
3761 |
0 |
0 |
0 |
T61 |
2802 |
0 |
0 |
0 |
T62 |
931 |
0 |
0 |
0 |
T63 |
2712 |
0 |
0 |
0 |
T73 |
0 |
156 |
0 |
0 |
T75 |
3191 |
0 |
0 |
0 |
T94 |
0 |
151 |
0 |
0 |
T145 |
0 |
162 |
0 |
0 |
T146 |
0 |
129 |
0 |
0 |
T166 |
0 |
147 |
0 |
0 |
T171 |
0 |
117 |
0 |
0 |
CsErrIssueNoCommands_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
230342208 |
7015 |
0 |
0 |
T21 |
2197 |
0 |
0 |
0 |
T28 |
1866 |
117 |
0 |
0 |
T29 |
0 |
148 |
0 |
0 |
T30 |
0 |
136 |
0 |
0 |
T40 |
186533 |
0 |
0 |
0 |
T46 |
1593 |
0 |
0 |
0 |
T50 |
0 |
117 |
0 |
0 |
T53 |
20871 |
0 |
0 |
0 |
T60 |
3761 |
0 |
0 |
0 |
T61 |
2802 |
0 |
0 |
0 |
T62 |
931 |
0 |
0 |
0 |
T63 |
2712 |
0 |
0 |
0 |
T73 |
0 |
156 |
0 |
0 |
T75 |
3191 |
0 |
0 |
0 |
T94 |
0 |
151 |
0 |
0 |
T145 |
0 |
162 |
0 |
0 |
T146 |
0 |
129 |
0 |
0 |
T166 |
0 |
147 |
0 |
0 |
T171 |
0 |
117 |
0 |
0 |