Line Coverage for Module :
usbdev_reg_top
| Line No. | Total | Covered | Percent |
TOTAL | | 738 | 735 | 99.59 |
ALWAYS | 75 | 4 | 4 | 100.00 |
CONT_ASSIGN | 84 | 1 | 1 | 100.00 |
CONT_ASSIGN | 102 | 1 | 1 | 100.00 |
CONT_ASSIGN | 103 | 1 | 1 | 100.00 |
CONT_ASSIGN | 105 | 1 | 1 | 100.00 |
CONT_ASSIGN | 106 | 1 | 1 | 100.00 |
ALWAYS | 132 | 3 | 2 | 66.67 |
CONT_ASSIGN | 169 | 1 | 1 | 100.00 |
CONT_ASSIGN | 170 | 1 | 1 | 100.00 |
ALWAYS | 745 | 1 | 0 | 0.00 |
CONT_ASSIGN | 772 | 1 | 1 | 100.00 |
ALWAYS | 788 | 10 | 10 | 100.00 |
CONT_ASSIGN | 1805 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1820 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1836 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1852 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1868 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1884 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1900 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1916 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1932 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1948 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1964 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1980 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1996 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2012 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2028 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2044 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2060 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2076 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2092 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2098 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2112 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2180 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3053 | 1 | 1 | 100.00 |
CONT_ASSIGN | 3093 | 1 | 1 | 100.00 |
CONT_ASSIGN | 7433 | 1 | 1 | 100.00 |
CONT_ASSIGN | 7448 | 1 | 1 | 100.00 |
CONT_ASSIGN | 7464 | 1 | 1 | 100.00 |
CONT_ASSIGN | 7470 | 1 | 1 | 100.00 |
CONT_ASSIGN | 7485 | 1 | 1 | 100.00 |
CONT_ASSIGN | 7501 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8053 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8068 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8084 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8089 | 1 | 0 | 0.00 |
CONT_ASSIGN | 8237 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8265 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8293 | 1 | 1 | 100.00 |
ALWAYS | 8299 | 40 | 40 | 100.00 |
CONT_ASSIGN | 8341 | 1 | 1 | 100.00 |
ALWAYS | 8345 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8388 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8390 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8392 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8394 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8396 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8398 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8400 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8402 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8404 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8406 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8408 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8410 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8412 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8414 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8415 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8417 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8419 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8421 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8423 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8425 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8427 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8429 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8431 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8433 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8435 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8437 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8439 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8441 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8443 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8445 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8447 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8449 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8451 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8452 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8454 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8456 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8458 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8460 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8462 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8464 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8466 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8468 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8470 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8472 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8474 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8476 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8478 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8480 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8482 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8484 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8486 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8488 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8489 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8491 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8492 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8494 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8496 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8498 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8499 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8501 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8503 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8505 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8507 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8509 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8511 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8513 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8515 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8517 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8519 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8521 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8523 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8524 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8526 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8528 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8530 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8532 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8534 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8536 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8538 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8540 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8542 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8544 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8546 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8548 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8549 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8550 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8552 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8553 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8555 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8556 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8557 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8559 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8561 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8563 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8565 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8567 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8569 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8571 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8573 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8575 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8577 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8579 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8581 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8582 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8584 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8586 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8588 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8590 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8592 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8594 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8596 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8598 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8600 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8602 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8604 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8606 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8607 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8609 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8611 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8613 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8615 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8617 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8619 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8621 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8623 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8625 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8627 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8629 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8631 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8632 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8634 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8636 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8638 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8640 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8642 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8644 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8646 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8648 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8650 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8652 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8654 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8656 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8657 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8659 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8661 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8663 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8665 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8667 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8669 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8671 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8673 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8675 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8677 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8679 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8681 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8682 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8684 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8686 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8688 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8690 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8692 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8694 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8696 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8698 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8700 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8702 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8704 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8706 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8707 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8709 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8711 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8713 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8715 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8717 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8718 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8720 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8722 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8724 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8726 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8728 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8729 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8731 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8733 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8735 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8737 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8739 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8740 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8742 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8744 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8746 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8748 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8750 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8751 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8753 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8755 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8757 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8759 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8761 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8762 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8764 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8766 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8768 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8770 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8772 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8773 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8775 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8777 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8779 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8781 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8783 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8784 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8786 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8788 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8790 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8792 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8794 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8795 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8797 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8799 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8801 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8803 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8805 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8806 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8808 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8810 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8812 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8814 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8816 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8817 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8819 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8821 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8823 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8825 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8827 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8828 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8830 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8832 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8834 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8836 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8838 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8839 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8841 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8843 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8845 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8847 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8849 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8851 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8853 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8855 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8857 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8859 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8861 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8863 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8864 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8866 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8868 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8870 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8872 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8874 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8876 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8878 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8880 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8882 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8884 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8886 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8888 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8889 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8890 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8892 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8894 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8895 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8896 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8898 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8900 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8901 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8902 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8904 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8906 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8908 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8910 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8912 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8914 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8916 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8918 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8920 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8921 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8923 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8925 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8927 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8929 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8931 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8933 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8934 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8937 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8939 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8941 | 1 | 1 | 100.00 |
CONT_ASSIGN | 8943 | 1 | 1 | 100.00 |
ALWAYS | 8947 | 40 | 40 | 100.00 |
ALWAYS | 8991 | 289 | 289 | 100.00 |
CONT_ASSIGN | 9407 | 1 | 1 | 100.00 |
ALWAYS | 9409 | 4 | 4 | 100.00 |
CONT_ASSIGN | 9430 | 1 | 1 | 100.00 |
CONT_ASSIGN | 9431 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_usbdev_0.1/rtl/usbdev_reg_top.sv' or '../src/lowrisc_ip_usbdev_0.1/rtl/usbdev_reg_top.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
75 |
1 |
1 |
76 |
1 |
1 |
77 |
1 |
1 |
78 |
1 |
1 |
|
|
|
MISSING_ELSE |
84 |
1 |
1 |
102 |
1 |
1 |
103 |
1 |
1 |
105 |
1 |
1 |
106 |
1 |
1 |
132 |
1 |
1 |
138 |
1 |
1 |
139 |
0 |
1 |
|
|
|
MISSING_ELSE |
169 |
1 |
1 |
170 |
1 |
1 |
745 |
0 |
1 |
772 |
1 |
1 |
788 |
1 |
1 |
789 |
1 |
1 |
790 |
1 |
1 |
791 |
1 |
1 |
792 |
1 |
1 |
793 |
1 |
1 |
794 |
1 |
1 |
795 |
1 |
1 |
796 |
1 |
1 |
797 |
1 |
1 |
1805 |
1 |
1 |
1820 |
1 |
1 |
1836 |
1 |
1 |
1852 |
1 |
1 |
1868 |
1 |
1 |
1884 |
1 |
1 |
1900 |
1 |
1 |
1916 |
1 |
1 |
1932 |
1 |
1 |
1948 |
1 |
1 |
1964 |
1 |
1 |
1980 |
1 |
1 |
1996 |
1 |
1 |
2012 |
1 |
1 |
2028 |
1 |
1 |
2044 |
1 |
1 |
2060 |
1 |
1 |
2076 |
1 |
1 |
2092 |
1 |
1 |
2098 |
1 |
1 |
2112 |
1 |
1 |
2180 |
1 |
1 |
3053 |
1 |
1 |
3093 |
1 |
1 |
7433 |
1 |
1 |
7448 |
1 |
1 |
7464 |
1 |
1 |
7470 |
1 |
1 |
7485 |
1 |
1 |
7501 |
1 |
1 |
8053 |
1 |
1 |
8068 |
1 |
1 |
8084 |
1 |
1 |
8089 |
0 |
1 |
8237 |
1 |
1 |
8265 |
1 |
1 |
8293 |
1 |
1 |
8299 |
1 |
1 |
8300 |
1 |
1 |
8301 |
1 |
1 |
8302 |
1 |
1 |
8303 |
1 |
1 |
8304 |
1 |
1 |
8305 |
1 |
1 |
8306 |
1 |
1 |
8307 |
1 |
1 |
8308 |
1 |
1 |
8309 |
1 |
1 |
8310 |
1 |
1 |
8311 |
1 |
1 |
8312 |
1 |
1 |
8313 |
1 |
1 |
8314 |
1 |
1 |
8315 |
1 |
1 |
8316 |
1 |
1 |
8317 |
1 |
1 |
8318 |
1 |
1 |
8319 |
1 |
1 |
8320 |
1 |
1 |
8321 |
1 |
1 |
8322 |
1 |
1 |
8323 |
1 |
1 |
8324 |
1 |
1 |
8325 |
1 |
1 |
8326 |
1 |
1 |
8327 |
1 |
1 |
8328 |
1 |
1 |
8329 |
1 |
1 |
8330 |
1 |
1 |
8331 |
1 |
1 |
8332 |
1 |
1 |
8333 |
1 |
1 |
8334 |
1 |
1 |
8335 |
1 |
1 |
8336 |
1 |
1 |
8337 |
1 |
1 |
8338 |
1 |
1 |
8341 |
1 |
1 |
8345 |
1 |
1 |
8388 |
1 |
1 |
8390 |
1 |
1 |
8392 |
1 |
1 |
8394 |
1 |
1 |
8396 |
1 |
1 |
8398 |
1 |
1 |
8400 |
1 |
1 |
8402 |
1 |
1 |
8404 |
1 |
1 |
8406 |
1 |
1 |
8408 |
1 |
1 |
8410 |
1 |
1 |
8412 |
1 |
1 |
8414 |
1 |
1 |
8415 |
1 |
1 |
8417 |
1 |
1 |
8419 |
1 |
1 |
8421 |
1 |
1 |
8423 |
1 |
1 |
8425 |
1 |
1 |
8427 |
1 |
1 |
8429 |
1 |
1 |
8431 |
1 |
1 |
8433 |
1 |
1 |
8435 |
1 |
1 |
8437 |
1 |
1 |
8439 |
1 |
1 |
8441 |
1 |
1 |
8443 |
1 |
1 |
8445 |
1 |
1 |
8447 |
1 |
1 |
8449 |
1 |
1 |
8451 |
1 |
1 |
8452 |
1 |
1 |
8454 |
1 |
1 |
8456 |
1 |
1 |
8458 |
1 |
1 |
8460 |
1 |
1 |
8462 |
1 |
1 |
8464 |
1 |
1 |
8466 |
1 |
1 |
8468 |
1 |
1 |
8470 |
1 |
1 |
8472 |
1 |
1 |
8474 |
1 |
1 |
8476 |
1 |
1 |
8478 |
1 |
1 |
8480 |
1 |
1 |
8482 |
1 |
1 |
8484 |
1 |
1 |
8486 |
1 |
1 |
8488 |
1 |
1 |
8489 |
1 |
1 |
8491 |
1 |
1 |
8492 |
1 |
1 |
8494 |
1 |
1 |
8496 |
1 |
1 |
8498 |
1 |
1 |
8499 |
1 |
1 |
8501 |
1 |
1 |
8503 |
1 |
1 |
8505 |
1 |
1 |
8507 |
1 |
1 |
8509 |
1 |
1 |
8511 |
1 |
1 |
8513 |
1 |
1 |
8515 |
1 |
1 |
8517 |
1 |
1 |
8519 |
1 |
1 |
8521 |
1 |
1 |
8523 |
1 |
1 |
8524 |
1 |
1 |
8526 |
1 |
1 |
8528 |
1 |
1 |
8530 |
1 |
1 |
8532 |
1 |
1 |
8534 |
1 |
1 |
8536 |
1 |
1 |
8538 |
1 |
1 |
8540 |
1 |
1 |
8542 |
1 |
1 |
8544 |
1 |
1 |
8546 |
1 |
1 |
8548 |
1 |
1 |
8549 |
1 |
1 |
8550 |
1 |
1 |
8552 |
1 |
1 |
8553 |
1 |
1 |
8555 |
1 |
1 |
8556 |
1 |
1 |
8557 |
1 |
1 |
8559 |
1 |
1 |
8561 |
1 |
1 |
8563 |
1 |
1 |
8565 |
1 |
1 |
8567 |
1 |
1 |
8569 |
1 |
1 |
8571 |
1 |
1 |
8573 |
1 |
1 |
8575 |
1 |
1 |
8577 |
1 |
1 |
8579 |
1 |
1 |
8581 |
1 |
1 |
8582 |
1 |
1 |
8584 |
1 |
1 |
8586 |
1 |
1 |
8588 |
1 |
1 |
8590 |
1 |
1 |
8592 |
1 |
1 |
8594 |
1 |
1 |
8596 |
1 |
1 |
8598 |
1 |
1 |
8600 |
1 |
1 |
8602 |
1 |
1 |
8604 |
1 |
1 |
8606 |
1 |
1 |
8607 |
1 |
1 |
8609 |
1 |
1 |
8611 |
1 |
1 |
8613 |
1 |
1 |
8615 |
1 |
1 |
8617 |
1 |
1 |
8619 |
1 |
1 |
8621 |
1 |
1 |
8623 |
1 |
1 |
8625 |
1 |
1 |
8627 |
1 |
1 |
8629 |
1 |
1 |
8631 |
1 |
1 |
8632 |
1 |
1 |
8634 |
1 |
1 |
8636 |
1 |
1 |
8638 |
1 |
1 |
8640 |
1 |
1 |
8642 |
1 |
1 |
8644 |
1 |
1 |
8646 |
1 |
1 |
8648 |
1 |
1 |
8650 |
1 |
1 |
8652 |
1 |
1 |
8654 |
1 |
1 |
8656 |
1 |
1 |
8657 |
1 |
1 |
8659 |
1 |
1 |
8661 |
1 |
1 |
8663 |
1 |
1 |
8665 |
1 |
1 |
8667 |
1 |
1 |
8669 |
1 |
1 |
8671 |
1 |
1 |
8673 |
1 |
1 |
8675 |
1 |
1 |
8677 |
1 |
1 |
8679 |
1 |
1 |
8681 |
1 |
1 |
8682 |
1 |
1 |
8684 |
1 |
1 |
8686 |
1 |
1 |
8688 |
1 |
1 |
8690 |
1 |
1 |
8692 |
1 |
1 |
8694 |
1 |
1 |
8696 |
1 |
1 |
8698 |
1 |
1 |
8700 |
1 |
1 |
8702 |
1 |
1 |
8704 |
1 |
1 |
8706 |
1 |
1 |
8707 |
1 |
1 |
8709 |
1 |
1 |
8711 |
1 |
1 |
8713 |
1 |
1 |
8715 |
1 |
1 |
8717 |
1 |
1 |
8718 |
1 |
1 |
8720 |
1 |
1 |
8722 |
1 |
1 |
8724 |
1 |
1 |
8726 |
1 |
1 |
8728 |
1 |
1 |
8729 |
1 |
1 |
8731 |
1 |
1 |
8733 |
1 |
1 |
8735 |
1 |
1 |
8737 |
1 |
1 |
8739 |
1 |
1 |
8740 |
1 |
1 |
8742 |
1 |
1 |
8744 |
1 |
1 |
8746 |
1 |
1 |
8748 |
1 |
1 |
8750 |
1 |
1 |
8751 |
1 |
1 |
8753 |
1 |
1 |
8755 |
1 |
1 |
8757 |
1 |
1 |
8759 |
1 |
1 |
8761 |
1 |
1 |
8762 |
1 |
1 |
8764 |
1 |
1 |
8766 |
1 |
1 |
8768 |
1 |
1 |
8770 |
1 |
1 |
8772 |
1 |
1 |
8773 |
1 |
1 |
8775 |
1 |
1 |
8777 |
1 |
1 |
8779 |
1 |
1 |
8781 |
1 |
1 |
8783 |
1 |
1 |
8784 |
1 |
1 |
8786 |
1 |
1 |
8788 |
1 |
1 |
8790 |
1 |
1 |
8792 |
1 |
1 |
8794 |
1 |
1 |
8795 |
1 |
1 |
8797 |
1 |
1 |
8799 |
1 |
1 |
8801 |
1 |
1 |
8803 |
1 |
1 |
8805 |
1 |
1 |
8806 |
1 |
1 |
8808 |
1 |
1 |
8810 |
1 |
1 |
8812 |
1 |
1 |
8814 |
1 |
1 |
8816 |
1 |
1 |
8817 |
1 |
1 |
8819 |
1 |
1 |
8821 |
1 |
1 |
8823 |
1 |
1 |
8825 |
1 |
1 |
8827 |
1 |
1 |
8828 |
1 |
1 |
8830 |
1 |
1 |
8832 |
1 |
1 |
8834 |
1 |
1 |
8836 |
1 |
1 |
8838 |
1 |
1 |
8839 |
1 |
1 |
8841 |
1 |
1 |
8843 |
1 |
1 |
8845 |
1 |
1 |
8847 |
1 |
1 |
8849 |
1 |
1 |
8851 |
1 |
1 |
8853 |
1 |
1 |
8855 |
1 |
1 |
8857 |
1 |
1 |
8859 |
1 |
1 |
8861 |
1 |
1 |
8863 |
1 |
1 |
8864 |
1 |
1 |
8866 |
1 |
1 |
8868 |
1 |
1 |
8870 |
1 |
1 |
8872 |
1 |
1 |
8874 |
1 |
1 |
8876 |
1 |
1 |
8878 |
1 |
1 |
8880 |
1 |
1 |
8882 |
1 |
1 |
8884 |
1 |
1 |
8886 |
1 |
1 |
8888 |
1 |
1 |
8889 |
1 |
1 |
8890 |
1 |
1 |
8892 |
1 |
1 |
8894 |
1 |
1 |
8895 |
1 |
1 |
8896 |
1 |
1 |
8898 |
1 |
1 |
8900 |
1 |
1 |
8901 |
1 |
1 |
8902 |
1 |
1 |
8904 |
1 |
1 |
8906 |
1 |
1 |
8908 |
1 |
1 |
8910 |
1 |
1 |
8912 |
1 |
1 |
8914 |
1 |
1 |
8916 |
1 |
1 |
8918 |
1 |
1 |
8920 |
1 |
1 |
8921 |
1 |
1 |
8923 |
1 |
1 |
8925 |
1 |
1 |
8927 |
1 |
1 |
8929 |
1 |
1 |
8931 |
1 |
1 |
8933 |
1 |
1 |
8934 |
1 |
1 |
8937 |
1 |
1 |
8939 |
1 |
1 |
8941 |
1 |
1 |
8943 |
1 |
1 |
8947 |
1 |
1 |
8948 |
1 |
1 |
8949 |
1 |
1 |
8950 |
1 |
1 |
8951 |
1 |
1 |
8952 |
1 |
1 |
8953 |
1 |
1 |
8954 |
1 |
1 |
8955 |
1 |
1 |
8956 |
1 |
1 |
8957 |
1 |
1 |
8958 |
1 |
1 |
8959 |
1 |
1 |
8960 |
1 |
1 |
8961 |
1 |
1 |
8962 |
1 |
1 |
8963 |
1 |
1 |
8964 |
1 |
1 |
8965 |
1 |
1 |
8966 |
1 |
1 |
8967 |
1 |
1 |
8968 |
1 |
1 |
8969 |
1 |
1 |
8970 |
1 |
1 |
8971 |
1 |
1 |
8972 |
1 |
1 |
8973 |
1 |
1 |
8974 |
1 |
1 |
8975 |
1 |
1 |
8976 |
1 |
1 |
8977 |
1 |
1 |
8978 |
1 |
1 |
8979 |
1 |
1 |
8980 |
1 |
1 |
8981 |
1 |
1 |
8982 |
1 |
1 |
8983 |
1 |
1 |
8984 |
1 |
1 |
8985 |
1 |
1 |
8986 |
1 |
1 |
8991 |
1 |
1 |
8992 |
1 |
1 |
8994 |
1 |
1 |
8995 |
1 |
1 |
8996 |
1 |
1 |
8997 |
1 |
1 |
8998 |
1 |
1 |
8999 |
1 |
1 |
9000 |
1 |
1 |
9001 |
1 |
1 |
9002 |
1 |
1 |
9003 |
1 |
1 |
9004 |
1 |
1 |
9005 |
1 |
1 |
9006 |
1 |
1 |
9007 |
1 |
1 |
9008 |
1 |
1 |
9009 |
1 |
1 |
9010 |
1 |
1 |
9011 |
1 |
1 |
9015 |
1 |
1 |
9016 |
1 |
1 |
9017 |
1 |
1 |
9018 |
1 |
1 |
9019 |
1 |
1 |
9020 |
1 |
1 |
9021 |
1 |
1 |
9022 |
1 |
1 |
9023 |
1 |
1 |
9024 |
1 |
1 |
9025 |
1 |
1 |
9026 |
1 |
1 |
9027 |
1 |
1 |
9028 |
1 |
1 |
9029 |
1 |
1 |
9030 |
1 |
1 |
9031 |
1 |
1 |
9032 |
1 |
1 |
9036 |
1 |
1 |
9037 |
1 |
1 |
9038 |
1 |
1 |
9039 |
1 |
1 |
9040 |
1 |
1 |
9041 |
1 |
1 |
9042 |
1 |
1 |
9043 |
1 |
1 |
9044 |
1 |
1 |
9045 |
1 |
1 |
9046 |
1 |
1 |
9047 |
1 |
1 |
9048 |
1 |
1 |
9049 |
1 |
1 |
9050 |
1 |
1 |
9051 |
1 |
1 |
9052 |
1 |
1 |
9053 |
1 |
1 |
9057 |
1 |
1 |
9061 |
1 |
1 |
9062 |
1 |
1 |
9063 |
1 |
1 |
9067 |
1 |
1 |
9068 |
1 |
1 |
9069 |
1 |
1 |
9070 |
1 |
1 |
9071 |
1 |
1 |
9072 |
1 |
1 |
9073 |
1 |
1 |
9074 |
1 |
1 |
9075 |
1 |
1 |
9076 |
1 |
1 |
9077 |
1 |
1 |
9078 |
1 |
1 |
9082 |
1 |
1 |
9083 |
1 |
1 |
9084 |
1 |
1 |
9085 |
1 |
1 |
9086 |
1 |
1 |
9087 |
1 |
1 |
9088 |
1 |
1 |
9089 |
1 |
1 |
9090 |
1 |
1 |
9091 |
1 |
1 |
9092 |
1 |
1 |
9093 |
1 |
1 |
9097 |
1 |
1 |
9098 |
1 |
1 |
9099 |
1 |
1 |
9100 |
1 |
1 |
9101 |
1 |
1 |
9102 |
1 |
1 |
9103 |
1 |
1 |
9104 |
1 |
1 |
9105 |
1 |
1 |
9106 |
1 |
1 |
9110 |
1 |
1 |
9114 |
1 |
1 |
9118 |
1 |
1 |
9119 |
1 |
1 |
9120 |
1 |
1 |
9121 |
1 |
1 |
9125 |
1 |
1 |
9126 |
1 |
1 |
9127 |
1 |
1 |
9128 |
1 |
1 |
9129 |
1 |
1 |
9130 |
1 |
1 |
9131 |
1 |
1 |
9132 |
1 |
1 |
9133 |
1 |
1 |
9134 |
1 |
1 |
9135 |
1 |
1 |
9136 |
1 |
1 |
9140 |
1 |
1 |
9141 |
1 |
1 |
9142 |
1 |
1 |
9143 |
1 |
1 |
9144 |
1 |
1 |
9145 |
1 |
1 |
9146 |
1 |
1 |
9147 |
1 |
1 |
9148 |
1 |
1 |
9149 |
1 |
1 |
9150 |
1 |
1 |
9151 |
1 |
1 |
9155 |
1 |
1 |
9156 |
1 |
1 |
9157 |
1 |
1 |
9158 |
1 |
1 |
9159 |
1 |
1 |
9160 |
1 |
1 |
9161 |
1 |
1 |
9162 |
1 |
1 |
9163 |
1 |
1 |
9164 |
1 |
1 |
9165 |
1 |
1 |
9166 |
1 |
1 |
9170 |
1 |
1 |
9171 |
1 |
1 |
9172 |
1 |
1 |
9173 |
1 |
1 |
9174 |
1 |
1 |
9175 |
1 |
1 |
9176 |
1 |
1 |
9177 |
1 |
1 |
9178 |
1 |
1 |
9179 |
1 |
1 |
9180 |
1 |
1 |
9181 |
1 |
1 |
9185 |
1 |
1 |
9186 |
1 |
1 |
9187 |
1 |
1 |
9188 |
1 |
1 |
9189 |
1 |
1 |
9190 |
1 |
1 |
9191 |
1 |
1 |
9192 |
1 |
1 |
9193 |
1 |
1 |
9194 |
1 |
1 |
9195 |
1 |
1 |
9196 |
1 |
1 |
9200 |
1 |
1 |
9201 |
1 |
1 |
9202 |
1 |
1 |
9203 |
1 |
1 |
9204 |
1 |
1 |
9205 |
1 |
1 |
9206 |
1 |
1 |
9207 |
1 |
1 |
9208 |
1 |
1 |
9209 |
1 |
1 |
9210 |
1 |
1 |
9211 |
1 |
1 |
9215 |
1 |
1 |
9216 |
1 |
1 |
9217 |
1 |
1 |
9218 |
1 |
1 |
9219 |
1 |
1 |
9223 |
1 |
1 |
9224 |
1 |
1 |
9225 |
1 |
1 |
9226 |
1 |
1 |
9227 |
1 |
1 |
9231 |
1 |
1 |
9232 |
1 |
1 |
9233 |
1 |
1 |
9234 |
1 |
1 |
9235 |
1 |
1 |
9239 |
1 |
1 |
9240 |
1 |
1 |
9241 |
1 |
1 |
9242 |
1 |
1 |
9243 |
1 |
1 |
9247 |
1 |
1 |
9248 |
1 |
1 |
9249 |
1 |
1 |
9250 |
1 |
1 |
9251 |
1 |
1 |
9255 |
1 |
1 |
9256 |
1 |
1 |
9257 |
1 |
1 |
9258 |
1 |
1 |
9259 |
1 |
1 |
9263 |
1 |
1 |
9264 |
1 |
1 |
9265 |
1 |
1 |
9266 |
1 |
1 |
9267 |
1 |
1 |
9271 |
1 |
1 |
9272 |
1 |
1 |
9273 |
1 |
1 |
9274 |
1 |
1 |
9275 |
1 |
1 |
9279 |
1 |
1 |
9280 |
1 |
1 |
9281 |
1 |
1 |
9282 |
1 |
1 |
9283 |
1 |
1 |
9287 |
1 |
1 |
9288 |
1 |
1 |
9289 |
1 |
1 |
9290 |
1 |
1 |
9291 |
1 |
1 |
9295 |
1 |
1 |
9296 |
1 |
1 |
9297 |
1 |
1 |
9298 |
1 |
1 |
9299 |
1 |
1 |
9303 |
1 |
1 |
9304 |
1 |
1 |
9305 |
1 |
1 |
9306 |
1 |
1 |
9307 |
1 |
1 |
9311 |
1 |
1 |
9312 |
1 |
1 |
9313 |
1 |
1 |
9314 |
1 |
1 |
9315 |
1 |
1 |
9316 |
1 |
1 |
9317 |
1 |
1 |
9318 |
1 |
1 |
9319 |
1 |
1 |
9320 |
1 |
1 |
9321 |
1 |
1 |
9322 |
1 |
1 |
9326 |
1 |
1 |
9327 |
1 |
1 |
9328 |
1 |
1 |
9329 |
1 |
1 |
9330 |
1 |
1 |
9331 |
1 |
1 |
9332 |
1 |
1 |
9333 |
1 |
1 |
9334 |
1 |
1 |
9335 |
1 |
1 |
9336 |
1 |
1 |
9337 |
1 |
1 |
9341 |
1 |
1 |
9342 |
1 |
1 |
9346 |
1 |
1 |
9347 |
1 |
1 |
9351 |
1 |
1 |
9352 |
1 |
1 |
9353 |
1 |
1 |
9354 |
1 |
1 |
9355 |
1 |
1 |
9356 |
1 |
1 |
9357 |
1 |
1 |
9358 |
1 |
1 |
9359 |
1 |
1 |
9363 |
1 |
1 |
9364 |
1 |
1 |
9365 |
1 |
1 |
9366 |
1 |
1 |
9367 |
1 |
1 |
9368 |
1 |
1 |
9369 |
1 |
1 |
9370 |
1 |
1 |
9371 |
1 |
1 |
9375 |
1 |
1 |
9376 |
1 |
1 |
9377 |
1 |
1 |
9378 |
1 |
1 |
9379 |
1 |
1 |
9380 |
1 |
1 |
9384 |
1 |
1 |
9387 |
1 |
1 |
9390 |
1 |
1 |
9391 |
1 |
1 |
9392 |
1 |
1 |
9407 |
1 |
1 |
9409 |
1 |
1 |
9410 |
1 |
1 |
9412 |
1 |
1 |
9415 |
1 |
1 |
9430 |
1 |
1 |
9431 |
1 |
1 |
Cond Coverage for Module :
usbdev_reg_top
| Total | Covered | Percent |
Conditions | 421 | 413 | 98.10 |
Logical | 421 | 413 | 98.10 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 65
EXPRESSION (reg_we && ((!addrmiss)))
---1-- ------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T45,T47,T183 |
1 | 1 | Covered | T1,T2,T3 |
LINE 77
EXPRESSION (intg_err || reg_we_err)
----1--- -----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T48,T49,T50 |
1 | 0 | Not Covered | |
LINE 84
EXPRESSION (err_q | intg_err | reg_we_err)
--1-- ----2--- -----3----
-1- | -2- | -3- | Status | Tests |
0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 1 | Covered | T48,T49,T50 |
0 | 1 | 0 | Not Covered | |
1 | 0 | 0 | Covered | T48,T49,T50 |
LINE 132
EXPRESSION ((tl_i.a_address[(AW - 1):0] inside {[2048:4095]}) ? 1'b0 : 1'b1)
------------------------1------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T3,T5 |
LINE 170
EXPRESSION (addrmiss | wr_err | intg_err)
----1--- ---2-- ----3---
-1- | -2- | -3- | Status | Tests |
0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 1 | Not Covered | |
0 | 1 | 0 | Covered | T45,T46,T47 |
1 | 0 | 0 | Covered | T45,T47,T183 |
LINE 8300
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_INTR_STATE_OFFSET)
---------------------------1--------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 8301
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_INTR_ENABLE_OFFSET)
---------------------------1---------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T5,T9 |
LINE 8302
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_INTR_TEST_OFFSET)
--------------------------1--------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T203,T204,T205 |
LINE 8303
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_ALERT_TEST_OFFSET)
---------------------------1--------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T205,T206,T207 |
LINE 8304
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_USBCTRL_OFFSET)
-------------------------1-------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 8305
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_EP_OUT_ENABLE_OFFSET)
----------------------------1----------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 8306
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_EP_IN_ENABLE_OFFSET)
----------------------------1---------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T5,T9 |
LINE 8307
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_USBSTAT_OFFSET)
-------------------------1-------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T10,T43,T44 |
LINE 8308
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_AVOUTBUFFER_OFFSET)
---------------------------1---------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 8309
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_AVSETUPBUFFER_OFFSET)
----------------------------1----------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T5,T10 |
LINE 8310
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_RXFIFO_OFFSET)
-------------------------1------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T3,T5 |
LINE 8311
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_RXENABLE_SETUP_OFFSET)
-----------------------------1----------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T5,T11 |
LINE 8312
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_RXENABLE_OUT_OFFSET)
----------------------------1---------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 8313
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_SET_NAK_OUT_OFFSET)
---------------------------1---------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T7,T109,T203 |
LINE 8314
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_IN_SENT_OFFSET)
-------------------------1-------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T5,T9 |
LINE 8315
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_OUT_STALL_OFFSET)
--------------------------1--------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T8,T17,T18 |
LINE 8316
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_IN_STALL_OFFSET)
--------------------------1-------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T11,T21,T22 |
LINE 8317
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_0_OFFSET)
---------------------------1--------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T20,T204,T205 |
LINE 8318
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_1_OFFSET)
---------------------------1--------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T116,T37 |
LINE 8319
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_2_OFFSET)
---------------------------1--------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T5,T12,T27 |
LINE 8320
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_3_OFFSET)
---------------------------1--------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T24,T21,T159 |
LINE 8321
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_4_OFFSET)
---------------------------1--------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T19,T22,T203 |
LINE 8322
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_5_OFFSET)
---------------------------1--------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T3,T42,T121 |
LINE 8323
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_6_OFFSET)
---------------------------1--------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T208,T34,T203 |
LINE 8324
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_7_OFFSET)
---------------------------1--------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T9,T124,T125 |
LINE 8325
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_8_OFFSET)
---------------------------1--------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T203,T126,T209 |
LINE 8326
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_9_OFFSET)
---------------------------1--------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T41,T23,T129 |
LINE 8327
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_10_OFFSET)
---------------------------1---------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T26,T34,T203 |
LINE 8328
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_11_OFFSET)
---------------------------1---------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T28,T132,T180 |
LINE 8329
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_OUT_ISO_OFFSET)
-------------------------1-------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T34,T210,T203 |
LINE 8330
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_IN_ISO_OFFSET)
-------------------------1------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T211,T205,T212 |
LINE 8331
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_OUT_DATA_TOGGLE_OFFSET)
-----------------------------1-----------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T205,T213,T214 |
LINE 8332
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_IN_DATA_TOGGLE_OFFSET)
-----------------------------1----------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T215,T204,T205 |
LINE 8333
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_PHY_PINS_SENSE_OFFSET)
-----------------------------1----------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T4,T24,T12 |
LINE 8334
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_PHY_PINS_DRIVE_OFFSET)
-----------------------------1----------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T4,T24,T25 |
LINE 8335
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_PHY_CONFIG_OFFSET)
---------------------------1--------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T203,T204,T216 |
LINE 8336
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_WAKE_CONTROL_OFFSET)
----------------------------1---------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T29,T204,T213 |
LINE 8337
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_WAKE_EVENTS_OFFSET)
---------------------------1---------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T203,T204,T217 |
LINE 8338
EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_FIFO_CTRL_OFFSET)
--------------------------1--------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T10,T43,T44 |
LINE 8341
EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
---------1--------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 8341
SUB-EXPRESSION (reg_re || reg_we)
---1-- ---2--
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
LINE 8345
EXPRESSION
Number Term
1 reg_we &
2 ((addr_hit[0] & ((|(4'b0111 & (~reg_be))))) | (addr_hit[1] & ((|(4'b0111 & (~reg_be))))) | (addr_hit[2] & ((|(4'b0111 & (~reg_be))))) | (addr_hit[3] & ((|(4'b1 & (~reg_be))))) | (addr_hit[4] & ((|(4'b0111 & (~reg_be))))) | (addr_hit[5] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[6] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[7] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[8] & ((|(4'b1 & (~reg_be))))) | (addr_hit[9] & ((|(4'b1 & (~reg_be))))) | (addr_hit[10] & ((|(4'b0111 & (~reg_be))))) | (addr_hit[11] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[12] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[13] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[14] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[15] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[16] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[17] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[18] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[19] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[20] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[21] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[22] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[23] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[24] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[25] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[26] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[27] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[28] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[29] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[30] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[31] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[32] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[33] & ((|(4'b0111 & (~reg_be))))) | (addr_hit[34] & ((|(4'b0111 & (~reg_be))))) | (addr_hit[35] & ((|(4'b1 & (~reg_be))))) | (addr_hit[36] & ((|(4'b1 & (~reg_be))))) | (addr_hit[37] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[38] & ((|(4'b1 & (~reg_be)))))))
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T45,T46,T47 |
LINE 8345
SUB-EXPRESSION
Number Term
1 (addr_hit[0] & ((|(4'b0111 & (~reg_be))))) |
2 (addr_hit[1] & ((|(4'b0111 & (~reg_be))))) |
3 (addr_hit[2] & ((|(4'b0111 & (~reg_be))))) |
4 (addr_hit[3] & ((|(4'b1 & (~reg_be))))) |
5 (addr_hit[4] & ((|(4'b0111 & (~reg_be))))) |
6 (addr_hit[5] & ((|(4'b0011 & (~reg_be))))) |
7 (addr_hit[6] & ((|(4'b0011 & (~reg_be))))) |
8 (addr_hit[7] & ((|(4'b1111 & (~reg_be))))) |
9 (addr_hit[8] & ((|(4'b1 & (~reg_be))))) |
10 (addr_hit[9] & ((|(4'b1 & (~reg_be))))) |
11 (addr_hit[10] & ((|(4'b0111 & (~reg_be))))) |
12 (addr_hit[11] & ((|(4'b0011 & (~reg_be))))) |
13 (addr_hit[12] & ((|(4'b0011 & (~reg_be))))) |
14 (addr_hit[13] & ((|(4'b0011 & (~reg_be))))) |
15 (addr_hit[14] & ((|(4'b0011 & (~reg_be))))) |
16 (addr_hit[15] & ((|(4'b0011 & (~reg_be))))) |
17 (addr_hit[16] & ((|(4'b0011 & (~reg_be))))) |
18 (addr_hit[17] & ((|(4'b1111 & (~reg_be))))) |
19 (addr_hit[18] & ((|(4'b1111 & (~reg_be))))) |
20 (addr_hit[19] & ((|(4'b1111 & (~reg_be))))) |
21 (addr_hit[20] & ((|(4'b1111 & (~reg_be))))) |
22 (addr_hit[21] & ((|(4'b1111 & (~reg_be))))) |
23 (addr_hit[22] & ((|(4'b1111 & (~reg_be))))) |
24 (addr_hit[23] & ((|(4'b1111 & (~reg_be))))) |
25 (addr_hit[24] & ((|(4'b1111 & (~reg_be))))) |
26 (addr_hit[25] & ((|(4'b1111 & (~reg_be))))) |
27 (addr_hit[26] & ((|(4'b1111 & (~reg_be))))) |
28 (addr_hit[27] & ((|(4'b1111 & (~reg_be))))) |
29 (addr_hit[28] & ((|(4'b1111 & (~reg_be))))) |
30 (addr_hit[29] & ((|(4'b0011 & (~reg_be))))) |
31 (addr_hit[30] & ((|(4'b0011 & (~reg_be))))) |
32 (addr_hit[31] & ((|(4'b1111 & (~reg_be))))) |
33 (addr_hit[32] & ((|(4'b1111 & (~reg_be))))) |
34 (addr_hit[33] & ((|(4'b0111 & (~reg_be))))) |
35 (addr_hit[34] & ((|(4'b0111 & (~reg_be))))) |
36 (addr_hit[35] & ((|(4'b1 & (~reg_be))))) |
37 (addr_hit[36] & ((|(4'b1 & (~reg_be))))) |
38 (addr_hit[37] & ((|(4'b0011 & (~reg_be))))) |
39 (addr_hit[38] & ((|(4'b1 & (~reg_be))))))
Sensitive Expression == 1 | Status | Tests |
ALL ZEROS | Covered | T1,T2,T3 |
39 (addr_hit[38] & ((|(4'... | Covered | T213,T218,T219 |
38 (addr_hit[37] & ((|(4'... | Covered | T203,T204,T217 |
37 (addr_hit[36] & ((|(4'... | Covered | T29,T204,T220 |
36 (addr_hit[35] & ((|(4'... | Covered | T203,T216,T213 |
35 (addr_hit[34] & ((|(4'... | Covered | T203,T221,T204 |
34 (addr_hit[33] & ((|(4'... | Covered | T4,T24,T12 |
33 (addr_hit[32] & ((|(4'... | Covered | T215,T204,T205 |
32 (addr_hit[31] & ((|(4'... | Covered | T205,T214,T222 |
31 (addr_hit[30] & ((|(4'... | Covered | T211,T205,T206 |
30 (addr_hit[29] & ((|(4'... | Covered | T34,T210,T204 |
29 (addr_hit[28] & ((|(4'... | Covered | T204,T211,T205 |
28 (addr_hit[27] & ((|(4'... | Covered | T34,T203,T223 |
27 (addr_hit[26] & ((|(4'... | Covered | T204,T213,T90 |
26 (addr_hit[25] & ((|(4'... | Covered | T203,T209,T213 |
25 (addr_hit[24] & ((|(4'... | Covered | T213,T222,T224 |
24 (addr_hit[23] & ((|(4'... | Covered | T208,T203,T204 |
23 (addr_hit[22] & ((|(4'... | Covered | T3,T203,T205 |
22 (addr_hit[21] & ((|(4'... | Covered | T203,T204,T223 |
21 (addr_hit[20] & ((|(4'... | Covered | T24,T204,T205 |
20 (addr_hit[19] & ((|(4'... | Covered | T205,T213,T206 |
19 (addr_hit[18] & ((|(4'... | Covered | T203,T204,T205 |
18 (addr_hit[17] & ((|(4'... | Covered | T204,T205,T225 |
17 (addr_hit[16] & ((|(4'... | Covered | T204,T213,T218 |
16 (addr_hit[15] & ((|(4'... | Covered | T203,T204,T205 |
15 (addr_hit[14] & ((|(4'... | Covered | T1,T5,T19 |
14 (addr_hit[13] & ((|(4'... | Covered | T203,T204,T226 |
13 (addr_hit[12] & ((|(4'... | Covered | T7,T201,T109 |
12 (addr_hit[11] & ((|(4'... | Covered | T204,T205,T222 |
11 (addr_hit[10] & ((|(4'... | Covered | T1,T3,T5 |
10 (addr_hit[9] & ((|(4'b... | Covered | T204,T218,T227 |
9 (addr_hit[8] & ((|(4'b... | Covered | T222,T218,T220 |
8 (addr_hit[7] & ((|(4'b... | Covered | T10,T43,T44 |
7 (addr_hit[6] & ((|(4'b... | Covered | T204,T205,T213 |
6 (addr_hit[5] & ((|(4'b... | Covered | T203,T205,T228 |
5 (addr_hit[4] & ((|(4'b... | Covered | T213,T96,T218 |
4 (addr_hit[3] & ((|(4'b... | Covered | T205,T206,T207 |
3 (addr_hit[2] & ((|(4'b... | Covered | T203,T204,T205 |
2 (addr_hit[1] & ((|(4'b... | Covered | T203,T221,T213 |
1 (addr_hit[0] & ((|(4'b... | Covered | T1,T2,T3 |
LINE 8345
SUB-EXPRESSION (addr_hit[0] & ((|(4'b0111 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 8345
SUB-EXPRESSION (addr_hit[1] & ((|(4'b0111 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T5,T9 |
1 | 1 | Covered | T203,T221,T213 |
LINE 8345
SUB-EXPRESSION (addr_hit[2] & ((|(4'b0111 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T60,T61,T62 |
1 | 1 | Covered | T203,T204,T205 |
LINE 8345
SUB-EXPRESSION (addr_hit[3] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T229,T230,T227 |
1 | 1 | Covered | T205,T206,T207 |
LINE 8345
SUB-EXPRESSION (addr_hit[4] & ((|(4'b0111 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T213,T96,T218 |
LINE 8345
SUB-EXPRESSION (addr_hit[5] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T203,T205,T228 |
LINE 8345
SUB-EXPRESSION (addr_hit[6] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T5,T9 |
1 | 1 | Covered | T204,T205,T213 |
LINE 8345
SUB-EXPRESSION (addr_hit[7] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T10,T43,T44 |
1 | 1 | Covered | T10,T43,T44 |
LINE 8345
SUB-EXPRESSION (addr_hit[8] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T222,T218,T220 |
LINE 8345
SUB-EXPRESSION (addr_hit[9] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T5,T10 |
1 | 1 | Covered | T204,T218,T227 |
LINE 8345
SUB-EXPRESSION (addr_hit[10] & ((|(4'b0111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T5,T19 |
1 | 1 | Covered | T1,T3,T5 |
LINE 8345
SUB-EXPRESSION (addr_hit[11] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T5,T11 |
1 | 1 | Covered | T204,T205,T222 |
LINE 8345
SUB-EXPRESSION (addr_hit[12] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T7,T201,T109 |
LINE 8345
SUB-EXPRESSION (addr_hit[13] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T7,T109,T203 |
1 | 1 | Covered | T203,T204,T226 |
LINE 8345
SUB-EXPRESSION (addr_hit[14] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T5,T9 |
1 | 1 | Covered | T1,T5,T19 |
LINE 8345
SUB-EXPRESSION (addr_hit[15] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T8,T17,T18 |
1 | 1 | Covered | T203,T204,T205 |
LINE 8345
SUB-EXPRESSION (addr_hit[16] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T11,T21,T22 |
1 | 1 | Covered | T204,T213,T218 |
LINE 8345
SUB-EXPRESSION (addr_hit[17] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T20,T150,T114 |
1 | 1 | Covered | T204,T205,T225 |
LINE 8345
SUB-EXPRESSION (addr_hit[18] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T116,T37 |
1 | 1 | Covered | T203,T204,T205 |
LINE 8345
SUB-EXPRESSION (addr_hit[19] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T5,T12,T27 |
1 | 1 | Covered | T205,T213,T206 |
LINE 8345
SUB-EXPRESSION (addr_hit[20] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T21,T159,T117 |
1 | 1 | Covered | T24,T204,T205 |
LINE 8345
SUB-EXPRESSION (addr_hit[21] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T19,T22,T119 |
1 | 1 | Covered | T203,T204,T223 |
LINE 8345
SUB-EXPRESSION (addr_hit[22] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T42,T121,T35 |
1 | 1 | Covered | T3,T203,T205 |
LINE 8345
SUB-EXPRESSION (addr_hit[23] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T34,T167,T122 |
1 | 1 | Covered | T208,T203,T204 |
LINE 8345
SUB-EXPRESSION (addr_hit[24] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T9,T124,T125 |
1 | 1 | Covered | T213,T222,T224 |
LINE 8345
SUB-EXPRESSION (addr_hit[25] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T126,T172,T173 |
1 | 1 | Covered | T203,T209,T213 |
LINE 8345
SUB-EXPRESSION (addr_hit[26] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T41,T23,T129 |
1 | 1 | Covered | T204,T213,T90 |
LINE 8345
SUB-EXPRESSION (addr_hit[27] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T26,T130,T76 |
1 | 1 | Covered | T34,T203,T223 |
LINE 8345
SUB-EXPRESSION (addr_hit[28] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T28,T132,T180 |
1 | 1 | Covered | T204,T211,T205 |
LINE 8345
SUB-EXPRESSION (addr_hit[29] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T203,T204,T115 |
1 | 1 | Covered | T34,T210,T204 |
LINE 8345
SUB-EXPRESSION (addr_hit[30] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T212,T231,T232 |
1 | 1 | Covered | T211,T205,T206 |
LINE 8345
SUB-EXPRESSION (addr_hit[31] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T213,T206,T46 |
1 | 1 | Covered | T205,T214,T222 |
LINE 8345
SUB-EXPRESSION (addr_hit[32] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T205,T130,T233 |
1 | 1 | Covered | T215,T204,T205 |
LINE 8345
SUB-EXPRESSION (addr_hit[33] & ((|(4'b0111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T205,T46,T47 |
1 | 1 | Covered | T4,T24,T12 |
LINE 8345
SUB-EXPRESSION (addr_hit[34] & ((|(4'b0111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T4,T24,T25 |
1 | 1 | Covered | T203,T221,T204 |
LINE 8345
SUB-EXPRESSION (addr_hit[35] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T204,T205,T213 |
1 | 1 | Covered | T203,T216,T213 |
LINE 8345
SUB-EXPRESSION (addr_hit[36] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T213,T70,T222 |
1 | 1 | Covered | T29,T204,T220 |
LINE 8345
SUB-EXPRESSION (addr_hit[37] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T203,T222,T206 |
1 | 1 | Covered | T203,T204,T217 |
LINE 8345
SUB-EXPRESSION (addr_hit[38] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T10,T43,T44 |
1 | 1 | Covered | T213,T218,T219 |
LINE 8388
EXPRESSION (addr_hit[0] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T45,T47,T184 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 8415
EXPRESSION (addr_hit[1] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T5,T9 |
1 | 1 | 0 | Covered | T47,T183,T184 |
1 | 1 | 1 | Covered | T1,T5,T9 |
LINE 8452
EXPRESSION (addr_hit[2] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T203,T204,T205 |
1 | 1 | 0 | Covered | T183,T184,T185 |
1 | 1 | 1 | Covered | T60,T61,T62 |
LINE 8489
EXPRESSION (addr_hit[3] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T205,T206,T207 |
1 | 1 | 0 | Covered | T47,T183,T184 |
1 | 1 | 1 | Covered | T46,T53,T55 |
LINE 8492
EXPRESSION (addr_hit[4] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T45,T47,T184 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 8499
EXPRESSION (addr_hit[5] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T45,T47,T183 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 8524
EXPRESSION (addr_hit[6] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T5,T9 |
1 | 1 | 0 | Covered | T45,T47,T184 |
1 | 1 | 1 | Covered | T1,T5,T9 |
LINE 8549
EXPRESSION (addr_hit[7] & reg_re & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T10,T43,T44 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T10,T43,T44 |
LINE 8550
EXPRESSION (addr_hit[8] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T45,T46,T47 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 8553
EXPRESSION (addr_hit[9] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T5,T10 |
1 | 1 | 0 | Covered | T47,T183,T184 |
1 | 1 | 1 | Covered | T1,T5,T10 |
LINE 8556
EXPRESSION (addr_hit[10] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T3,T5 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T1,T3,T5 |
LINE 8557
EXPRESSION (addr_hit[11] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T5,T11 |
1 | 1 | 0 | Covered | T47,T183,T185 |
1 | 1 | 1 | Covered | T1,T5,T11 |
LINE 8582
EXPRESSION (addr_hit[12] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T45,T183,T184 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 8607
EXPRESSION (addr_hit[13] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T7,T109,T203 |
1 | 1 | 0 | Covered | T45,T47,T183 |
1 | 1 | 1 | Covered | T7,T109,T106 |
LINE 8632
EXPRESSION (addr_hit[14] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T5,T9 |
1 | 1 | 0 | Covered | T47,T183,T184 |
1 | 1 | 1 | Covered | T1,T5,T9 |
LINE 8657
EXPRESSION (addr_hit[15] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T8,T17,T18 |
1 | 1 | 0 | Covered | T183,T184,T185 |
1 | 1 | 1 | Covered | T8,T17,T18 |
LINE 8682
EXPRESSION (addr_hit[16] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T11,T21,T22 |
1 | 1 | 0 | Covered | T45,T47,T183 |
1 | 1 | 1 | Covered | T21,T22,T23 |
LINE 8707
EXPRESSION (addr_hit[17] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T20,T204,T205 |
1 | 1 | 0 | Covered | T47,T183,T184 |
1 | 1 | 1 | Covered | T20,T150,T114 |
LINE 8718
EXPRESSION (addr_hit[18] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T116,T37 |
1 | 1 | 0 | Covered | T45,T184,T185 |
1 | 1 | 1 | Covered | T1,T116,T37 |
LINE 8729
EXPRESSION (addr_hit[19] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T5,T12,T27 |
1 | 1 | 0 | Covered | T47,T183,T184 |
1 | 1 | 1 | Covered | T5,T12,T27 |
LINE 8740
EXPRESSION (addr_hit[20] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T24,T21,T159 |
1 | 1 | 0 | Covered | T45,T47,T183 |
1 | 1 | 1 | Covered | T21,T159,T117 |
LINE 8751
EXPRESSION (addr_hit[21] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T19,T22,T203 |
1 | 1 | 0 | Covered | T47,T183,T184 |
1 | 1 | 1 | Covered | T19,T22,T119 |
LINE 8762
EXPRESSION (addr_hit[22] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T3,T42,T121 |
1 | 1 | 0 | Covered | T47,T183,T185 |
1 | 1 | 1 | Covered | T42,T121,T35 |
LINE 8773
EXPRESSION (addr_hit[23] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T208,T34,T203 |
1 | 1 | 0 | Covered | T47,T183,T184 |
1 | 1 | 1 | Covered | T34,T167,T122 |
LINE 8784
EXPRESSION (addr_hit[24] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T9,T124,T125 |
1 | 1 | 0 | Covered | T47,T183,T184 |
1 | 1 | 1 | Covered | T9,T124,T125 |
LINE 8795
EXPRESSION (addr_hit[25] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T203,T126,T209 |
1 | 1 | 0 | Covered | T45,T47,T183 |
1 | 1 | 1 | Covered | T126,T172,T173 |
LINE 8806
EXPRESSION (addr_hit[26] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T41,T23,T129 |
1 | 1 | 0 | Covered | T45,T47,T184 |
1 | 1 | 1 | Covered | T41,T23,T129 |
LINE 8817
EXPRESSION (addr_hit[27] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T26,T34,T203 |
1 | 1 | 0 | Covered | T47,T183,T184 |
1 | 1 | 1 | Covered | T26,T130,T76 |
LINE 8828
EXPRESSION (addr_hit[28] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T28,T132,T180 |
1 | 1 | 0 | Covered | T45,T47,T53 |
1 | 1 | 1 | Covered | T28,T132,T180 |
LINE 8839
EXPRESSION (addr_hit[29] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T34,T210,T203 |
1 | 1 | 0 | Covered | T47,T184,T185 |
1 | 1 | 1 | Covered | T46,T53,T55 |
LINE 8864
EXPRESSION (addr_hit[30] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T211,T205,T212 |
1 | 1 | 0 | Covered | T45,T46,T183 |
1 | 1 | 1 | Covered | T46,T53,T55 |
LINE 8889
EXPRESSION (addr_hit[31] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T205,T213,T214 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T46,T53,T56 |
LINE 8890
EXPRESSION (addr_hit[31] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T205,T213,T214 |
1 | 1 | 0 | Covered | T45,T47,T183 |
1 | 1 | 1 | Covered | T57,T51,T58 |
LINE 8895
EXPRESSION (addr_hit[32] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T215,T204,T205 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T46,T53,T56 |
LINE 8896
EXPRESSION (addr_hit[32] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T215,T204,T205 |
1 | 1 | 0 | Covered | T47,T185,T234 |
1 | 1 | 1 | Covered | T57,T51,T58 |
LINE 8901
EXPRESSION (addr_hit[33] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T4,T24,T12 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T4,T24,T25 |
LINE 8902
EXPRESSION (addr_hit[34] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T4,T24,T25 |
1 | 1 | 0 | Covered | T47,T183,T184 |
1 | 1 | 1 | Covered | T4,T24,T25 |
LINE 8921
EXPRESSION (addr_hit[35] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T203,T204,T216 |
1 | 1 | 0 | Covered | T47,T183,T185 |
1 | 1 | 1 | Covered | T46,T53,T55 |
LINE 8934
EXPRESSION (addr_hit[36] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T29,T204,T213 |
1 | 1 | 0 | Covered | T47,T184,T185 |
1 | 1 | 1 | Covered | T46,T53,T55 |
LINE 8937
EXPRESSION (addr_hit[38] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T10,T43,T44 |
1 | 1 | 0 | Covered | T47,T183,T184 |
1 | 1 | 1 | Covered | T10,T43,T44 |
LINE 9407
EXPRESSION (reg_busy_sel | shadow_busy)
------1----- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T46,T53,T55 |
Branch Coverage for Module :
usbdev_reg_top
| Line No. | Total | Covered | Percent |
Branches |
|
52 |
51 |
98.08 |
TERNARY |
8341 |
2 |
2 |
100.00 |
IF |
75 |
3 |
3 |
100.00 |
TERNARY |
132 |
2 |
2 |
100.00 |
IF |
138 |
2 |
1 |
50.00 |
CASE |
8992 |
40 |
40 |
100.00 |
CASE |
9410 |
3 |
3 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_usbdev_0.1/rtl/usbdev_reg_top.sv' or '../src/lowrisc_ip_usbdev_0.1/rtl/usbdev_reg_top.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 8341 ((reg_re || reg_we)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 75 if ((!rst_ni))
-2-: 77 if ((intg_err || reg_we_err))
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Covered |
T48,T49,T50 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 132 ((tl_i.a_address[(AW - 1):0] inside {[2048:4095]})) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T3,T5 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 138 if (intg_err)
Branches:
-1- | Status | Tests |
1 |
Not Covered |
|
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 8992 case (1'b1)
Branches:
-1- | Status | Tests |
addr_hit[0] |
Covered |
T1,T2,T3 |
addr_hit[1] |
Covered |
T1,T2,T4 |
addr_hit[2] |
Covered |
T1,T2,T4 |
addr_hit[3] |
Covered |
T1,T2,T4 |
addr_hit[4] |
Covered |
T1,T2,T3 |
addr_hit[5] |
Covered |
T1,T2,T3 |
addr_hit[6] |
Covered |
T1,T2,T4 |
addr_hit[7] |
Covered |
T1,T2,T4 |
addr_hit[8] |
Covered |
T1,T2,T3 |
addr_hit[9] |
Covered |
T1,T2,T4 |
addr_hit[10] |
Covered |
T1,T2,T3 |
addr_hit[11] |
Covered |
T1,T2,T4 |
addr_hit[12] |
Covered |
T1,T2,T3 |
addr_hit[13] |
Covered |
T1,T2,T4 |
addr_hit[14] |
Covered |
T1,T2,T4 |
addr_hit[15] |
Covered |
T1,T2,T4 |
addr_hit[16] |
Covered |
T1,T2,T4 |
addr_hit[17] |
Covered |
T1,T2,T4 |
addr_hit[18] |
Covered |
T1,T2,T4 |
addr_hit[19] |
Covered |
T1,T2,T4 |
addr_hit[20] |
Covered |
T1,T2,T4 |
addr_hit[21] |
Covered |
T1,T2,T4 |
addr_hit[22] |
Covered |
T1,T2,T3 |
addr_hit[23] |
Covered |
T1,T2,T4 |
addr_hit[24] |
Covered |
T1,T2,T4 |
addr_hit[25] |
Covered |
T1,T2,T4 |
addr_hit[26] |
Covered |
T1,T2,T4 |
addr_hit[27] |
Covered |
T1,T2,T4 |
addr_hit[28] |
Covered |
T1,T2,T4 |
addr_hit[29] |
Covered |
T1,T2,T4 |
addr_hit[30] |
Covered |
T1,T2,T4 |
addr_hit[31] |
Covered |
T1,T2,T4 |
addr_hit[32] |
Covered |
T1,T2,T4 |
addr_hit[33] |
Covered |
T1,T2,T4 |
addr_hit[34] |
Covered |
T1,T2,T4 |
addr_hit[35] |
Covered |
T1,T2,T4 |
addr_hit[36] |
Covered |
T1,T2,T4 |
addr_hit[37] |
Covered |
T1,T2,T4 |
addr_hit[38] |
Covered |
T1,T2,T4 |
default |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 9410 case (1'b1)
Branches:
-1- | Status | Tests |
addr_hit[36] |
Covered |
T1,T2,T4 |
addr_hit[37] |
Covered |
T1,T2,T4 |
default |
Covered |
T1,T2,T3 |
Assert Coverage for Module :
usbdev_reg_top
Assertion Details
en2addrHit
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
238619403 |
79074 |
0 |
0 |
T1 |
406890 |
21 |
0 |
0 |
T2 |
402104 |
12 |
0 |
0 |
T3 |
401528 |
8 |
0 |
0 |
T4 |
1298 |
11 |
0 |
0 |
T5 |
406609 |
21 |
0 |
0 |
T6 |
401468 |
8 |
0 |
0 |
T7 |
404742 |
16 |
0 |
0 |
T8 |
403339 |
10 |
0 |
0 |
T9 |
403549 |
17 |
0 |
0 |
T10 |
13556 |
1183 |
0 |
0 |
reAfterRv
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
238619403 |
79074 |
0 |
0 |
T1 |
406890 |
21 |
0 |
0 |
T2 |
402104 |
12 |
0 |
0 |
T3 |
401528 |
8 |
0 |
0 |
T4 |
1298 |
11 |
0 |
0 |
T5 |
406609 |
21 |
0 |
0 |
T6 |
401468 |
8 |
0 |
0 |
T7 |
404742 |
16 |
0 |
0 |
T8 |
403339 |
10 |
0 |
0 |
T9 |
403549 |
17 |
0 |
0 |
T10 |
13556 |
1183 |
0 |
0 |
rePulse
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
238619403 |
32118 |
0 |
0 |
T1 |
406890 |
8 |
0 |
0 |
T2 |
402104 |
4 |
0 |
0 |
T3 |
401528 |
3 |
0 |
0 |
T4 |
1298 |
4 |
0 |
0 |
T5 |
406609 |
8 |
0 |
0 |
T6 |
401468 |
3 |
0 |
0 |
T7 |
404742 |
6 |
0 |
0 |
T8 |
403339 |
3 |
0 |
0 |
T9 |
403549 |
6 |
0 |
0 |
T10 |
13556 |
240 |
0 |
0 |
wePulse
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
238619403 |
46956 |
0 |
0 |
T1 |
406890 |
13 |
0 |
0 |
T2 |
402104 |
8 |
0 |
0 |
T3 |
401528 |
5 |
0 |
0 |
T4 |
1298 |
7 |
0 |
0 |
T5 |
406609 |
13 |
0 |
0 |
T6 |
401468 |
5 |
0 |
0 |
T7 |
404742 |
10 |
0 |
0 |
T8 |
403339 |
7 |
0 |
0 |
T9 |
403549 |
11 |
0 |
0 |
T10 |
13556 |
943 |
0 |
0 |