Line Coverage for Module :
edn_core
| Line No. | Total | Covered | Percent |
| TOTAL | | 240 | 240 | 100.00 |
| ALWAYS | 224 | 31 | 31 | 100.00 |
| CONT_ASSIGN | 294 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 299 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 304 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 311 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 313 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 315 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 317 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 319 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 321 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 324 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 329 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 334 | 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 | 352 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 355 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 358 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 360 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 361 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 366 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 369 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 372 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 382 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 385 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 389 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 398 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 399 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 400 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 401 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 404 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 404 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 404 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 404 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 404 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 404 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 404 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 404 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 404 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 404 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 404 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 404 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 404 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 404 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 404 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 404 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 404 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 404 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 404 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 404 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 404 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 419 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 420 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 421 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 422 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 425 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 425 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 425 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 439 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 446 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 447 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 448 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 449 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 450 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 465 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 466 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 468 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 469 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 471 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 472 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 474 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 475 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 477 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 484 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 488 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 494 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 503 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 504 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 508 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 518 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 519 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 524 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 529 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 530 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 537 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 538 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 565 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 567 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 571 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 575 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 577 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 579 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 605 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 607 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 612 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 617 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 619 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 621 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 647 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 648 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 650 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 651 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 652 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 653 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 655 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 712 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 716 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 719 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 727 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 731 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 732 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 733 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 734 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 737 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 773 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 773 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 773 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 773 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 773 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 773 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 773 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 797 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 798 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 799 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 800 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 801 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 802 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 804 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 819 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 821 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 823 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 829 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 847 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 848 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 872 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 872 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 872 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 872 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 872 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 872 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 872 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 873 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 873 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 873 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 873 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 873 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 873 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 873 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 876 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 876 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 876 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 876 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 876 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 876 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 876 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 879 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 879 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 879 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 879 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 879 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 879 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 879 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 882 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 882 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 882 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 882 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 882 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 882 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 882 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 883 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 883 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 883 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 883 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 883 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 883 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 883 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 903 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 909 | 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 | |
| 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 |
| 235 |
1 |
1 |
| 236 |
1 |
1 |
| 237 |
1 |
1 |
| 238 |
1 |
1 |
| 239 |
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 |
| 254 |
1 |
1 |
| 255 |
1 |
1 |
| 294 |
1 |
1 |
| 299 |
1 |
1 |
| 304 |
1 |
1 |
| 311 |
1 |
1 |
| 313 |
1 |
1 |
| 315 |
1 |
1 |
| 317 |
1 |
1 |
| 319 |
1 |
1 |
| 321 |
1 |
1 |
| 324 |
1 |
1 |
| 329 |
1 |
1 |
| 334 |
1 |
1 |
| 343 |
1 |
1 |
| 346 |
1 |
1 |
| 349 |
1 |
1 |
| 352 |
1 |
1 |
| 355 |
1 |
1 |
| 358 |
1 |
1 |
| 360 |
1 |
1 |
| 361 |
1 |
1 |
| 366 |
1 |
1 |
| 369 |
1 |
1 |
| 372 |
1 |
1 |
| 377 |
31 |
31 |
| 382 |
1 |
1 |
| 385 |
1 |
1 |
| 389 |
1 |
1 |
| 398 |
1 |
1 |
| 399 |
1 |
1 |
| 400 |
1 |
1 |
| 401 |
1 |
1 |
| 404 |
21 |
21 |
| 419 |
1 |
1 |
| 420 |
1 |
1 |
| 421 |
1 |
1 |
| 422 |
1 |
1 |
| 425 |
3 |
3 |
| 439 |
1 |
1 |
| 446 |
1 |
1 |
| 447 |
1 |
1 |
| 448 |
1 |
1 |
| 449 |
1 |
1 |
| 450 |
1 |
1 |
| 465 |
1 |
1 |
| 466 |
1 |
1 |
| 468 |
1 |
1 |
| 469 |
1 |
1 |
| 471 |
1 |
1 |
| 472 |
1 |
1 |
| 474 |
1 |
1 |
| 475 |
1 |
1 |
| 477 |
1 |
1 |
| 484 |
1 |
1 |
| 488 |
1 |
1 |
| 494 |
1 |
1 |
| 503 |
1 |
1 |
| 504 |
1 |
1 |
| 508 |
1 |
1 |
| 518 |
1 |
1 |
| 519 |
1 |
1 |
| 524 |
1 |
1 |
| 529 |
1 |
1 |
| 530 |
1 |
1 |
| 537 |
1 |
1 |
| 538 |
1 |
1 |
| 565 |
1 |
1 |
| 567 |
1 |
1 |
| 571 |
1 |
1 |
| 575 |
1 |
1 |
| 577 |
1 |
1 |
| 579 |
1 |
1 |
| 605 |
1 |
1 |
| 607 |
1 |
1 |
| 612 |
1 |
1 |
| 617 |
1 |
1 |
| 619 |
1 |
1 |
| 621 |
1 |
1 |
| 647 |
1 |
1 |
| 648 |
1 |
1 |
| 650 |
1 |
1 |
| 651 |
1 |
1 |
| 652 |
1 |
1 |
| 653 |
1 |
1 |
| 655 |
1 |
1 |
| 712 |
1 |
1 |
| 716 |
1 |
1 |
| 719 |
1 |
1 |
| 727 |
1 |
1 |
| 731 |
1 |
1 |
| 732 |
1 |
1 |
| 733 |
1 |
1 |
| 734 |
1 |
1 |
| 737 |
1 |
1 |
| 773 |
7 |
7 |
| 797 |
1 |
1 |
| 798 |
1 |
1 |
| 799 |
1 |
1 |
| 800 |
1 |
1 |
| 801 |
1 |
1 |
| 802 |
1 |
1 |
| 804 |
1 |
1 |
| 819 |
1 |
1 |
| 821 |
1 |
1 |
| 823 |
1 |
1 |
| 829 |
1 |
1 |
| 847 |
1 |
1 |
| 848 |
1 |
1 |
| 872 |
7 |
7 |
| 873 |
7 |
7 |
| 876 |
7 |
7 |
| 879 |
7 |
7 |
| 882 |
7 |
7 |
| 883 |
7 |
7 |
| 903 |
1 |
1 |
| 909 |
1 |
1 |
Cond Coverage for Module :
edn_core
| Total | Covered | Percent |
| Conditions | 527 | 450 | 85.39 |
| Logical | 527 | 450 | 85.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 |
|
77 |
77 |
100.00 |
| TERNARY |
477 |
5 |
5 |
100.00 |
| TERNARY |
484 |
2 |
2 |
100.00 |
| TERNARY |
488 |
4 |
4 |
100.00 |
| TERNARY |
494 |
3 |
3 |
100.00 |
| TERNARY |
508 |
6 |
6 |
100.00 |
| TERNARY |
519 |
3 |
3 |
100.00 |
| TERNARY |
530 |
3 |
3 |
100.00 |
| TERNARY |
538 |
4 |
4 |
100.00 |
| TERNARY |
567 |
2 |
2 |
100.00 |
| TERNARY |
571 |
2 |
2 |
100.00 |
| TERNARY |
607 |
3 |
3 |
100.00 |
| TERNARY |
612 |
3 |
3 |
100.00 |
| TERNARY |
719 |
6 |
6 |
100.00 |
| TERNARY |
804 |
3 |
3 |
100.00 |
| TERNARY |
821 |
2 |
2 |
100.00 |
| TERNARY |
823 |
3 |
3 |
100.00 |
| TERNARY |
876 |
3 |
3 |
100.00 |
| TERNARY |
876 |
3 |
3 |
100.00 |
| TERNARY |
876 |
3 |
3 |
100.00 |
| TERNARY |
876 |
3 |
3 |
100.00 |
| TERNARY |
876 |
3 |
3 |
100.00 |
| TERNARY |
876 |
3 |
3 |
100.00 |
| TERNARY |
876 |
3 |
3 |
100.00 |
| IF |
224 |
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-: 477 ((!edn_enable_fo[CsrngCmdReq])) ?
-2-: 477 (boot_wr_cmd_reg) ?
-3-: 477 (sw_cmd_req_load) ?
-4-: 477 (boot_wr_cmd_uni) ?
Branches:
| -1- | -2- | -3- | -4- | Status | Tests |
| 1 |
- |
- |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
- |
- |
Covered |
T34,T108,T106 |
| 0 |
0 |
1 |
- |
Covered |
T2,T3,T6 |
| 0 |
0 |
0 |
1 |
Covered |
T34,T39,T115 |
| 0 |
0 |
0 |
0 |
Covered |
T2,T3,T6 |
LineNo. Expression
-1-: 484 ((!edn_enable_fo[CsrngCmdReqValid])) ?
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T2,T3,T6 |
LineNo. Expression
-1-: 488 ((!edn_enable_fo[CsrngCmdReqOut])) ?
-2-: 488 (send_rescmd) ?
-3-: 488 ((send_gencmd || boot_send_gencmd)) ?
Branches:
| -1- | -2- | -3- | Status | Tests |
| 1 |
- |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
- |
Covered |
T3,T10,T11 |
| 0 |
0 |
1 |
Covered |
T3,T34,T10 |
| 0 |
0 |
0 |
Covered |
T2,T3,T6 |
LineNo. Expression
-1-: 494 ((!edn_enable_fo[CsrngCmdReqValidOut])) ?
-2-: 494 (((send_rescmd || send_gencmd) || (boot_send_gencmd && cmd_sent))) ?
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Covered |
T3,T34,T10 |
| 0 |
0 |
Covered |
T2,T3,T6 |
LineNo. Expression
-1-: 508 ((!edn_enable_fo[SwCmdSts])) ?
-2-: 508 ((!sw_cmd_valid)) ?
-3-: 508 (sw_cmd_req_load) ?
-4-: 508 (accept_sw_cmds_pulse) ?
-5-: 508 (csrng_cmd_i.csrng_rsp_ack) ?
Branches:
| -1- | -2- | -3- | -4- | -5- | Status | Tests |
| 1 |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
- |
- |
- |
Covered |
T3,T34,T10 |
| 0 |
0 |
1 |
- |
- |
Covered |
T2,T3,T6 |
| 0 |
0 |
0 |
1 |
- |
Covered |
T2,T3,T6 |
| 0 |
0 |
0 |
0 |
1 |
Covered |
T2,T3,T6 |
| 0 |
0 |
0 |
0 |
0 |
Covered |
T2,T3,T6 |
LineNo. Expression
-1-: 519 ((!edn_enable_fo[SwCmdSts])) ?
-2-: 519 ((!sw_cmd_valid)) ?
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Covered |
T3,T34,T10 |
| 0 |
0 |
Covered |
T2,T3,T6 |
LineNo. Expression
-1-: 530 ((!edn_enable_fo[SwCmdSts])) ?
-2-: 530 ((csrng_cmd_i.csrng_rsp_ack && sw_cmd_valid)) ?
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Covered |
T2,T3,T6 |
| 0 |
0 |
Covered |
T2,T3,T6 |
LineNo. Expression
-1-: 538 ((!edn_enable_fo[SwCmdSts])) ?
-2-: 538 (sw_cmd_req_load) ?
-3-: 538 ((csrng_cmd_i.csrng_rsp_ack && sw_cmd_valid)) ?
Branches:
| -1- | -2- | -3- | Status | Tests |
| 1 |
- |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
- |
Covered |
T2,T3,T6 |
| 0 |
0 |
1 |
Covered |
T2,T3,T6 |
| 0 |
0 |
0 |
Covered |
T2,T3,T6 |
LineNo. Expression
-1-: 567 ((send_rescmd_q & edn_enable_fo[SendReseedCmd])) ?
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T3,T10,T11 |
| 0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 571 (auto_req_mode_busy) ?
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T3,T10,T11 |
| 0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 607 ((boot_wr_cmd_genfifo & edn_enable_fo[SendGenCmd])) ?
-2-: 607 ((send_gencmd_q & edn_enable_fo[SendGenCmd])) ?
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T34,T108,T106 |
| 0 |
1 |
Covered |
T3,T10,T11 |
| 0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 612 (boot_wr_cmd_genfifo) ?
-2-: 612 (auto_req_mode_busy) ?
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T34,T108,T106 |
| 0 |
1 |
Covered |
T3,T10,T11 |
| 0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 719 ((!edn_enable_fo[CmdFifoCnt])) ?
-2-: 719 ((cmd_fifo_rst_fo[3] || main_sm_done_pulse)) ?
-3-: 719 (capt_gencmd_fifo_cnt) ?
-4-: 719 (capt_rescmd_fifo_cnt) ?
-5-: 719 (((send_gencmd || boot_send_gencmd) || send_rescmd)) ?
Branches:
| -1- | -2- | -3- | -4- | -5- | Status | Tests |
| 1 |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
- |
- |
- |
Covered |
T2,T3,T6 |
| 0 |
0 |
1 |
- |
- |
Covered |
T3,T34,T10 |
| 0 |
0 |
0 |
1 |
- |
Covered |
T3,T10,T11 |
| 0 |
0 |
0 |
0 |
1 |
Covered |
T3,T34,T10 |
| 0 |
0 |
0 |
0 |
0 |
Covered |
T2,T3,T6 |
LineNo. Expression
-1-: 804 ((!edn_enable_fo[CsrngFipsEn])) ?
-2-: 804 ((packer_cs_push && packer_cs_wready)) ?
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Covered |
T2,T3,T6 |
| 0 |
0 |
Covered |
T2,T3,T6 |
LineNo. Expression
-1-: 821 (cs_rdata_capt_vld) ?
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T2,T3,T6 |
| 0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 823 ((!edn_enable_fo[CsrngDataVld])) ?
-2-: 823 (cs_rdata_capt_vld) ?
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Covered |
T2,T3,T6 |
| 0 |
0 |
Covered |
T2,T3,T6 |
LineNo. Expression
-1-: 876 (packer_ep_clr[0]) ?
-2-: 876 ((packer_ep_push[0] && packer_ep_wready[0])) ?
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T2,T3,T6 |
| 0 |
1 |
Covered |
T2,T3,T31 |
| 0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 876 (packer_ep_clr[1]) ?
-2-: 876 ((packer_ep_push[1] && packer_ep_wready[1])) ?
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T2,T3,T6 |
| 0 |
1 |
Covered |
T6,T32,T33 |
| 0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 876 (packer_ep_clr[2]) ?
-2-: 876 ((packer_ep_push[2] && packer_ep_wready[2])) ?
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T2,T3,T6 |
| 0 |
1 |
Covered |
T17,T32,T34 |
| 0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 876 (packer_ep_clr[3]) ?
-2-: 876 ((packer_ep_push[3] && packer_ep_wready[3])) ?
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T2,T3,T6 |
| 0 |
1 |
Covered |
T33,T34,T35 |
| 0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 876 (packer_ep_clr[4]) ?
-2-: 876 ((packer_ep_push[4] && packer_ep_wready[4])) ?
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T2,T3,T6 |
| 0 |
1 |
Covered |
T18,T5,T36 |
| 0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 876 (packer_ep_clr[5]) ?
-2-: 876 ((packer_ep_push[5] && packer_ep_wready[5])) ?
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T2,T3,T6 |
| 0 |
1 |
Covered |
T33,T37,T35 |
| 0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 876 (packer_ep_clr[6]) ?
-2-: 876 ((packer_ep_push[6] && packer_ep_wready[6])) ?
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T2,T3,T6 |
| 0 |
1 |
Covered |
T33,T37,T38 |
| 0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 224 if ((!rst_ni))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |