Line Coverage for Module :
spi_tpm
| Line No. | Total | Covered | Percent |
TOTAL | | 209 | 0 | 0.00 |
CONT_ASSIGN | 310 | 1 | 0 | 0.00 |
CONT_ASSIGN | 324 | 1 | 0 | 0.00 |
CONT_ASSIGN | 348 | 1 | 0 | 0.00 |
CONT_ASSIGN | 354 | 1 | 0 | 0.00 |
CONT_ASSIGN | 455 | 1 | 0 | 0.00 |
CONT_ASSIGN | 456 | 1 | 0 | 0.00 |
CONT_ASSIGN | 462 | 1 | 0 | 0.00 |
ALWAYS | 466 | 8 | 0 | 0.00 |
ALWAYS | 483 | 3 | 0 | 0.00 |
ALWAYS | 496 | 4 | 0 | 0.00 |
CONT_ASSIGN | 505 | 1 | 0 | 0.00 |
CONT_ASSIGN | 507 | 1 | 0 | 0.00 |
CONT_ASSIGN | 509 | 1 | 0 | 0.00 |
CONT_ASSIGN | 534 | 1 | 0 | 0.00 |
ALWAYS | 537 | 3 | 0 | 0.00 |
ALWAYS | 545 | 4 | 0 | 0.00 |
CONT_ASSIGN | 552 | 1 | 0 | 0.00 |
CONT_ASSIGN | 555 | 1 | 0 | 0.00 |
ALWAYS | 560 | 6 | 0 | 0.00 |
CONT_ASSIGN | 577 | 1 | 0 | 0.00 |
CONT_ASSIGN | 584 | 1 | 0 | 0.00 |
ALWAYS | 588 | 4 | 0 | 0.00 |
CONT_ASSIGN | 595 | 1 | 0 | 0.00 |
ALWAYS | 598 | 4 | 0 | 0.00 |
CONT_ASSIGN | 605 | 1 | 0 | 0.00 |
CONT_ASSIGN | 607 | 1 | 0 | 0.00 |
ALWAYS | 612 | 5 | 0 | 0.00 |
ALWAYS | 640 | 4 | 0 | 0.00 |
ALWAYS | 653 | 6 | 0 | 0.00 |
ALWAYS | 670 | 6 | 0 | 0.00 |
ALWAYS | 686 | 3 | 0 | 0.00 |
ALWAYS | 692 | 6 | 0 | 0.00 |
ALWAYS | 703 | 4 | 0 | 0.00 |
ALWAYS | 713 | 4 | 0 | 0.00 |
ALWAYS | 722 | 4 | 0 | 0.00 |
CONT_ASSIGN | 729 | 1 | 0 | 0.00 |
CONT_ASSIGN | 730 | 1 | 0 | 0.00 |
CONT_ASSIGN | 733 | 1 | 0 | 0.00 |
ALWAYS | 740 | 7 | 0 | 0.00 |
ALWAYS | 782 | 15 | 0 | 0.00 |
ALWAYS | 859 | 3 | 0 | 0.00 |
CONT_ASSIGN | 868 | 1 | 0 | 0.00 |
ALWAYS | 871 | 3 | 0 | 0.00 |
CONT_ASSIGN | 891 | 1 | 0 | 0.00 |
CONT_ASSIGN | 892 | 1 | 0 | 0.00 |
CONT_ASSIGN | 897 | 1 | 0 | 0.00 |
CONT_ASSIGN | 910 | 1 | 0 | 0.00 |
ALWAYS | 914 | 4 | 0 | 0.00 |
CONT_ASSIGN | 922 | 1 | 0 | 0.00 |
ALWAYS | 946 | 3 | 0 | 0.00 |
ALWAYS | 954 | 68 | 0 | 0.00 |
CONT_ASSIGN | 1208 | 1 | 0 | 0.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_spi_device_0.1/rtl/spi_tpm.sv' or '../src/lowrisc_ip_spi_device_0.1/rtl/spi_tpm.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
310 |
0 |
1 |
324 |
0 |
1 |
348 |
0 |
1 |
354 |
0 |
1 |
455 |
0 |
1 |
456 |
0 |
1 |
462 |
0 |
1 |
466 |
0 |
1 |
467 |
0 |
1 |
468 |
0 |
1 |
470 |
0 |
1 |
471 |
0 |
1 |
472 |
0 |
1 |
473 |
0 |
1 |
474 |
0 |
1 |
|
|
|
==> MISSING_ELSE |
483 |
0 |
1 |
484 |
0 |
1 |
486 |
0 |
1 |
496 |
0 |
1 |
497 |
0 |
1 |
498 |
0 |
1 |
499 |
0 |
1 |
|
|
|
==> MISSING_ELSE |
505 |
0 |
1 |
507 |
0 |
1 |
509 |
0 |
1 |
534 |
0 |
1 |
537 |
0 |
1 |
538 |
0 |
1 |
540 |
0 |
1 |
545 |
0 |
1 |
546 |
0 |
1 |
547 |
0 |
1 |
548 |
0 |
1 |
|
|
|
==> MISSING_ELSE |
552 |
0 |
1 |
555 |
0 |
1 |
560 |
0 |
1 |
561 |
0 |
1 |
562 |
0 |
1 |
564 |
0 |
1 |
565 |
0 |
1 |
566 |
0 |
1 |
|
|
|
==> MISSING_ELSE |
577 |
0 |
1 |
584 |
0 |
1 |
588 |
0 |
1 |
589 |
0 |
1 |
590 |
0 |
1 |
591 |
0 |
1 |
|
|
|
==> MISSING_ELSE |
595 |
0 |
1 |
598 |
0 |
1 |
599 |
0 |
1 |
600 |
0 |
1 |
601 |
0 |
1 |
|
|
|
==> MISSING_ELSE |
605 |
0 |
1 |
607 |
0 |
1 |
612 |
0 |
1 |
613 |
0 |
1 |
617 |
0 |
1 |
624 |
0 |
1 |
630 |
0 |
1 |
640 |
0 |
1 |
641 |
0 |
1 |
642 |
0 |
1 |
644 |
0 |
1 |
|
|
|
==> MISSING_ELSE |
653 |
0 |
1 |
654 |
0 |
1 |
655 |
0 |
1 |
656 |
0 |
1 |
664 |
0 |
1 |
665 |
0 |
1 |
|
|
|
==> MISSING_ELSE |
670 |
0 |
1 |
671 |
0 |
1 |
673 |
0 |
1 |
674 |
0 |
1 |
675 |
0 |
1 |
676 |
0 |
1 |
|
|
|
==> MISSING_ELSE |
686 |
0 |
2 |
687 |
0 |
1 |
692 |
0 |
1 |
693 |
0 |
1 |
694 |
0 |
1 |
695 |
0 |
1 |
696 |
0 |
1 |
697 |
0 |
1 |
|
|
|
==> MISSING_ELSE |
703 |
0 |
1 |
704 |
0 |
1 |
705 |
0 |
1 |
707 |
0 |
1 |
|
|
|
==> MISSING_ELSE |
713 |
0 |
1 |
714 |
0 |
1 |
715 |
0 |
1 |
716 |
0 |
1 |
|
|
|
==> MISSING_ELSE |
722 |
0 |
1 |
723 |
0 |
1 |
724 |
0 |
1 |
726 |
0 |
1 |
|
|
|
==> MISSING_ELSE |
729 |
0 |
1 |
730 |
0 |
1 |
733 |
0 |
1 |
740 |
0 |
1 |
742 |
0 |
1 |
744 |
0 |
1 |
748 |
0 |
1 |
752 |
0 |
1 |
756 |
0 |
1 |
760 |
0 |
1 |
782 |
0 |
1 |
784 |
0 |
1 |
786 |
0 |
1 |
787 |
0 |
1 |
788 |
0 |
1 |
|
|
|
==> MISSING_ELSE |
795 |
0 |
1 |
799 |
0 |
1 |
803 |
0 |
1 |
807 |
0 |
1 |
812 |
0 |
1 |
814 |
0 |
1 |
816 |
0 |
1 |
821 |
0 |
1 |
825 |
0 |
1 |
829 |
0 |
1 |
859 |
0 |
1 |
860 |
0 |
1 |
862 |
0 |
1 |
868 |
0 |
1 |
871 |
0 |
2 |
872 |
0 |
1 |
891 |
0 |
1 |
892 |
0 |
1 |
897 |
0 |
1 |
910 |
0 |
1 |
914 |
0 |
1 |
915 |
0 |
1 |
916 |
0 |
1 |
917 |
0 |
1 |
|
|
|
==> MISSING_ELSE |
922 |
0 |
1 |
946 |
0 |
1 |
947 |
0 |
1 |
949 |
0 |
1 |
954 |
0 |
1 |
957 |
0 |
1 |
958 |
0 |
1 |
960 |
0 |
1 |
961 |
0 |
1 |
962 |
0 |
1 |
964 |
0 |
1 |
965 |
0 |
1 |
971 |
0 |
1 |
973 |
0 |
1 |
975 |
0 |
1 |
977 |
0 |
1 |
978 |
0 |
1 |
979 |
0 |
1 |
981 |
0 |
1 |
989 |
0 |
1 |
|
|
|
==> MISSING_ELSE |
996 |
0 |
1 |
999 |
0 |
1 |
1000 |
0 |
1 |
|
|
|
==> MISSING_ELSE |
1003 |
0 |
1 |
1005 |
0 |
1 |
1006 |
0 |
1 |
|
|
|
==> MISSING_ELSE |
1010 |
0 |
1 |
1011 |
0 |
1 |
1014 |
0 |
1 |
1016 |
0 |
1 |
1017 |
0 |
1 |
1020 |
0 |
1 |
1021 |
0 |
1 |
1024 |
0 |
1 |
1027 |
0 |
1 |
1029 |
0 |
1 |
|
|
|
==> MISSING_ELSE |
1033 |
0 |
1 |
1035 |
0 |
1 |
1037 |
0 |
1 |
1042 |
0 |
1 |
1046 |
0 |
1 |
|
|
|
==> MISSING_ELSE |
1052 |
0 |
1 |
1053 |
0 |
1 |
1056 |
0 |
1 |
1059 |
0 |
1 |
|
|
|
==> MISSING_ELSE |
1064 |
0 |
1 |
1065 |
0 |
1 |
1067 |
0 |
1 |
1069 |
0 |
1 |
1070 |
0 |
1 |
1071 |
0 |
1 |
1072 |
0 |
1 |
1073 |
0 |
1 |
1074 |
0 |
1 |
|
|
|
==> MISSING_ELSE |
|
|
|
==> MISSING_ELSE |
1080 |
0 |
1 |
1082 |
0 |
1 |
1083 |
0 |
1 |
1088 |
0 |
1 |
1089 |
0 |
1 |
|
|
|
==> MISSING_ELSE |
1094 |
0 |
1 |
1095 |
0 |
1 |
1099 |
0 |
1 |
1100 |
0 |
1 |
|
|
|
==> MISSING_ELSE |
1105 |
0 |
1 |
1109 |
0 |
1 |
1110 |
0 |
1 |
|
|
|
==> MISSING_ELSE |
1116 |
0 |
1 |
1117 |
0 |
1 |
1118 |
0 |
1 |
|
|
|
==> MISSING_ELSE |
1125 |
0 |
1 |
1126 |
0 |
1 |
1127 |
0 |
1 |
|
|
|
==> MISSING_ELSE |
1208 |
0 |
1 |
Cond Coverage for Module :
spi_tpm
| Total | Covered | Percent |
Conditions | 142 | 0 | 0.00 |
Logical | 142 | 0 | 0.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 505
EXPRESSION ((cmdaddr_bitcnt == 5'b0) && (sck_st_q == StIdle))
------------1----------- ----------2---------
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 505
SUB-EXPRESSION (cmdaddr_bitcnt == 5'b0)
------------1-----------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
LINE 505
SUB-EXPRESSION (sck_st_q == StIdle)
----------1---------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
LINE 507
EXPRESSION (cmdaddr_bitcnt == 5'h0f)
------------1------------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
LINE 509
EXPRESSION (cmdaddr_bitcnt == 5'h1d)
------------1------------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
LINE 534
EXPRESSION (cmdaddr_bitcnt == 5'h1f)
------------1------------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
LINE 584
EXPRESSION (isck_p2s_sent && (isck_data_sel == SelHwReg))
------1------ -------------2-------------
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 584
SUB-EXPRESSION (isck_data_sel == SelHwReg)
-------------1-------------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
LINE 595
EXPRESSION (wrdata_bitcnt == 3'h7)
-----------1-----------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
LINE 642
EXPRESSION (check_tpm_reg && (sys_clk_tpm_cfg.tpm_reg_chk_dis || (addr[23:16] == TpmAddr)))
------1------ ------------------------------2------------------------------
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 642
SUB-EXPRESSION (sys_clk_tpm_cfg.tpm_reg_chk_dis || (addr[23:16] == TpmAddr))
---------------1--------------- ------------2-----------
-1- | -2- | Status | Tests |
0 | 0 | Not Covered | |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
LINE 642
SUB-EXPRESSION (addr[23:16] == TpmAddr)
------------1-----------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
LINE 656
EXPRESSION (((!sys_clk_tpm_cfg.tpm_mode)) && check_hw_reg && (cmd_type == Read) && is_tpm_reg && ((!invalid_locality)) && ((!sys_clk_tpm_cfg.hw_reg_dis)))
--------------1-------------- ------2----- ---------3-------- -----4---- ----------5---------- ---------------6---------------
-1- | -2- | -3- | -4- | -5- | -6- | Status | Tests |
0 | 1 | 1 | 1 | 1 | 1 | Not Covered | |
1 | 0 | 1 | 1 | 1 | 1 | Not Covered | |
1 | 1 | 0 | 1 | 1 | 1 | Not Covered | |
1 | 1 | 1 | 0 | 1 | 1 | Not Covered | |
1 | 1 | 1 | 1 | 0 | 1 | Not Covered | |
1 | 1 | 1 | 1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | 1 | 1 | 1 | Not Covered | |
LINE 656
SUB-EXPRESSION (cmd_type == Read)
---------1--------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
LINE 674
EXPRESSION (TpmReturnByHwAddr[i][11:2] == addr[11:2])
---------------------1--------------------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
LINE 695
EXPRESSION (latch_locality && is_tpm_reg)
-------1------ -----2----
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 697
EXPRESSION ((addr[15:12] < 4'(spi_device_reg_pkg::NumLocality)) ? 1'b0 : 1'b1)
-------------------------1-------------------------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
LINE 724
EXPRESSION ((isck_p2s_sent && sck_rddata_shift_en) || (sck_wrfifo_wvalid && wrdata_shift_en))
-------------------1------------------ -------------------2------------------
-1- | -2- | Status | Tests |
0 | 0 | Not Covered | |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
LINE 724
SUB-EXPRESSION (isck_p2s_sent && sck_rddata_shift_en)
------1------ ---------2---------
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 724
SUB-EXPRESSION (sck_wrfifo_wvalid && wrdata_shift_en)
--------1-------- -------2-------
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 730
EXPRESSION (xfer_bytes_q == xfer_size)
-------------1-------------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
LINE 733
EXPRESSION ((7'({isck_rdfifo_rdepth, 2'(0)}) > {1'b0, xfer_size}) | (7'(RdFifoSize) <= 7'(xfer_size)))
--------------------------1-------------------------- ----------------2----------------
-1- | -2- | Status | Tests |
0 | 0 | Not Covered | |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
LINE 787
EXPRESSION (((!invalid_locality)) && (4'(i) == locality))
----------1---------- ---------2---------
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 787
SUB-EXPRESSION (4'(i) == locality)
---------1---------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
LINE 812
EXPRESSION (((!invalid_locality)) && sys_active_locality[locality[2:0]])
----------1---------- -----------------2----------------
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 868
EXPRESSION (isck_p2s_valid && (isck_p2s_bitcnt == '0))
-------1------ -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 868
SUB-EXPRESSION (isck_p2s_bitcnt == '0)
-----------1-----------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
LINE 897
EXPRESSION (isck_rdfifo_rvalid && isck_p2s_sent && (isck_data_sel == SelRdFifo))
---------1-------- ------2------ --------------3-------------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Not Covered | |
1 | 0 | 1 | Not Covered | |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Not Covered | |
LINE 897
SUB-EXPRESSION (isck_data_sel == SelRdFifo)
--------------1-------------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
LINE 922
EXPRESSION (isck_rd_byte_sent && ((&isck_rdfifo_idx)))
--------1-------- ----------2---------
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 977
EXPRESSION (cmdaddr_bitcnt == 5'h07)
------------1------------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
LINE 999
EXPRESSION (cmdaddr_bitcnt == 5'h13)
------------1------------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
LINE 1010
EXPRESSION ((cmdaddr_bitcnt == 5'h1f) && (cmd_type == Read))
------------1------------ ---------2--------
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 1010
SUB-EXPRESSION (cmdaddr_bitcnt == 5'h1f)
------------1------------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
LINE 1010
SUB-EXPRESSION (cmd_type == Read)
---------1--------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
LINE 1011
EXPRESSION (((!is_tpm_reg)) || sys_clk_tpm_cfg.tpm_mode)
-------1------- ------------2-----------
-1- | -2- | Status | Tests |
0 | 0 | Not Covered | |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
LINE 1021
EXPRESSION (invalid_locality && sys_clk_tpm_cfg.invalid_locality)
--------1------- ----------------2---------------
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 1033
EXPRESSION ((cmdaddr_bitcnt == 5'h1f) && (cmd_type == Write))
------------1------------ ---------2---------
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 1033
SUB-EXPRESSION (cmdaddr_bitcnt == 5'h1f)
------------1------------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
LINE 1033
SUB-EXPRESSION (cmd_type == Write)
---------1---------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
LINE 1056
EXPRESSION (isck_p2s_sent && (((cmd_type == Read) && enough_payload_in_rdfifo) || ((cmd_type == Write) && ((~|sck_wrfifo_wdepth)))))
------1------ ---------------------------------------------------2--------------------------------------------------
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 1056
SUB-EXPRESSION (((cmd_type == Read) && enough_payload_in_rdfifo) || ((cmd_type == Write) && ((~|sck_wrfifo_wdepth))))
------------------------1----------------------- ------------------------2-----------------------
-1- | -2- | Status | Tests |
0 | 0 | Not Covered | |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
LINE 1056
SUB-EXPRESSION ((cmd_type == Read) && enough_payload_in_rdfifo)
---------1-------- ------------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 1056
SUB-EXPRESSION (cmd_type == Read)
---------1--------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
LINE 1056
SUB-EXPRESSION ((cmd_type == Write) && ((~|sck_wrfifo_wdepth)))
---------1--------- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 1056
SUB-EXPRESSION (cmd_type == Write)
---------1---------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
LINE 1069
EXPRESSION ((cmd_type == Read) && is_hw_reg)
---------1-------- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 1069
SUB-EXPRESSION (cmd_type == Read)
---------1--------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
LINE 1071
EXPRESSION (cmd_type == Read)
---------1--------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
LINE 1073
EXPRESSION (cmd_type == Write)
---------1---------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
LINE 1088
EXPRESSION (isck_p2s_sent && xfer_size_met)
------1------ ------2------
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 1099
EXPRESSION (isck_p2s_sent && xfer_size_met)
------1------ ------2------
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 1109
EXPRESSION (sck_wrfifo_wvalid && xfer_size_met)
--------1-------- ------2------
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 1116
EXPRESSION (cmd_type == Read)
---------1--------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
LINE 1125
EXPRESSION (cmd_type == Read)
---------1--------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
FSM Coverage for Module :
spi_tpm
Summary for FSM :: sck_st_q
| Total | Covered | Percent | |
States |
9 |
0 |
0.00 |
(Not included in score) |
Transitions |
12 |
0 |
0.00 |
|
Sequences |
0 |
0 |
|
|
State, Transition and Sequence Details for FSM :: sck_st_q
states | Line No. | Covered | Tests |
StAddr |
979 |
Not Covered |
|
StEnd |
989 |
Not Covered |
|
StIdle |
974 |
Not Covered |
|
StInvalid |
1024 |
Not Covered |
|
StReadFifo |
1072 |
Not Covered |
|
StReadHwReg |
1070 |
Not Covered |
|
StStartByte |
1020 |
Not Covered |
|
StWait |
1014 |
Not Covered |
|
StWrite |
1074 |
Not Covered |
|
transitions | Line No. | Covered | Tests |
StAddr->StInvalid |
1024 |
Not Covered |
|
StAddr->StStartByte |
1020 |
Not Covered |
|
StAddr->StWait |
1014 |
Not Covered |
|
StIdle->StAddr |
979 |
Not Covered |
|
StIdle->StEnd |
989 |
Not Covered |
|
StReadFifo->StEnd |
1089 |
Not Covered |
|
StReadHwReg->StEnd |
1100 |
Not Covered |
|
StStartByte->StReadFifo |
1072 |
Not Covered |
|
StStartByte->StReadHwReg |
1070 |
Not Covered |
|
StStartByte->StWrite |
1074 |
Not Covered |
|
StWait->StStartByte |
1059 |
Not Covered |
|
StWrite->StEnd |
1110 |
Not Covered |
|
Branch Coverage for Module :
spi_tpm
| Line No. | Total | Covered | Percent |
Branches |
|
109 |
0 |
0.00 |
IF |
466 |
3 |
0 |
0.00 |
IF |
483 |
2 |
0 |
0.00 |
IF |
496 |
3 |
0 |
0.00 |
IF |
537 |
2 |
0 |
0.00 |
IF |
545 |
3 |
0 |
0.00 |
IF |
560 |
4 |
0 |
0.00 |
IF |
588 |
3 |
0 |
0.00 |
IF |
598 |
3 |
0 |
0.00 |
CASE |
613 |
4 |
0 |
0.00 |
IF |
640 |
3 |
0 |
0.00 |
IF |
653 |
3 |
0 |
0.00 |
IF |
674 |
2 |
0 |
0.00 |
IF |
686 |
2 |
0 |
0.00 |
IF |
692 |
4 |
0 |
0.00 |
IF |
703 |
3 |
0 |
0.00 |
IF |
713 |
3 |
0 |
0.00 |
IF |
722 |
3 |
0 |
0.00 |
CASE |
742 |
6 |
0 |
0.00 |
CASE |
784 |
11 |
0 |
0.00 |
IF |
859 |
2 |
0 |
0.00 |
IF |
871 |
2 |
0 |
0.00 |
IF |
946 |
2 |
0 |
0.00 |
CASE |
973 |
33 |
0 |
0.00 |
IF |
914 |
3 |
0 |
0.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_spi_device_0.1/rtl/spi_tpm.sv' or '../src/lowrisc_ip_spi_device_0.1/rtl/spi_tpm.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 466 if ((!sys_rst_ni))
-2-: 470 if (sys_csb_pulse_stretch)
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Not Covered |
|
0 |
1 |
Not Covered |
|
0 |
0 |
Not Covered |
|
LineNo. Expression
-1-: 483 if ((!rst_n))
Branches:
-1- | Status | Tests |
1 |
Not Covered |
|
0 |
Not Covered |
|
LineNo. Expression
-1-: 496 if ((!rst_n))
-2-: 498 if (cmdaddr_shift_en)
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Not Covered |
|
0 |
1 |
Not Covered |
|
0 |
0 |
Not Covered |
|
LineNo. Expression
-1-: 537 if ((!rst_n))
Branches:
-1- | Status | Tests |
1 |
Not Covered |
|
0 |
Not Covered |
|
LineNo. Expression
-1-: 545 if ((!rst_n))
-2-: 547 if (cmdaddr_shift_en)
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Not Covered |
|
0 |
1 |
Not Covered |
|
0 |
0 |
Not Covered |
|
LineNo. Expression
-1-: 560 if ((!rst_n))
-2-: 562 if (isck_fifoaddr_latch)
-3-: 565 if (isck_fifoaddr_inc)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Not Covered |
|
0 |
1 |
- |
Not Covered |
|
0 |
0 |
1 |
Not Covered |
|
0 |
0 |
0 |
Not Covered |
|
LineNo. Expression
-1-: 588 if ((!rst_n))
-2-: 590 if (wrdata_shift_en)
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Not Covered |
|
0 |
1 |
Not Covered |
|
0 |
0 |
Not Covered |
|
LineNo. Expression
-1-: 598 if ((!rst_n))
-2-: 600 if (wrdata_shift_en)
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Not Covered |
|
0 |
1 |
Not Covered |
|
0 |
0 |
Not Covered |
|
LineNo. Expression
-1-: 613 case (1'b1)
Branches:
-1- | Status | Tests |
check_tpm_reg |
Not Covered |
|
latch_locality |
Not Covered |
|
check_hw_reg |
Not Covered |
|
default |
Not Covered |
|
LineNo. Expression
-1-: 640 if ((!rst_n))
-2-: 642 if ((check_tpm_reg && (sys_clk_tpm_cfg.tpm_reg_chk_dis || (addr[23:16] == TpmAddr))))
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Not Covered |
|
0 |
1 |
Not Covered |
|
0 |
0 |
Not Covered |
|
LineNo. Expression
-1-: 653 if ((!rst_n))
-2-: 656 if (((((((!sys_clk_tpm_cfg.tpm_mode) && check_hw_reg) && (cmd_type == Read)) && is_tpm_reg) && (!invalid_locality)) && (!sys_clk_tpm_cfg.hw_reg_dis)))
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Not Covered |
|
0 |
1 |
Not Covered |
|
0 |
0 |
Not Covered |
|
LineNo. Expression
-1-: 674 if ((TpmReturnByHwAddr[i][11:2] == addr[11:2]))
Branches:
-1- | Status | Tests |
1 |
Not Covered |
|
0 |
Not Covered |
|
LineNo. Expression
-1-: 686 if ((!rst_n))
Branches:
-1- | Status | Tests |
1 |
Not Covered |
|
0 |
Not Covered |
|
LineNo. Expression
-1-: 692 if ((!rst_n))
-2-: 695 if ((latch_locality && is_tpm_reg))
-3-: 697 ((addr[15:12] < 4'(spi_device_reg_pkg::NumLocality))) ?
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Not Covered |
|
0 |
1 |
1 |
Not Covered |
|
0 |
1 |
0 |
Not Covered |
|
0 |
0 |
- |
Not Covered |
|
LineNo. Expression
-1-: 703 if ((!rst_n))
-2-: 705 if (latch_cmd_type)
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Not Covered |
|
0 |
1 |
Not Covered |
|
0 |
0 |
Not Covered |
|
LineNo. Expression
-1-: 713 if ((!rst_n))
-2-: 715 if (latch_xfer_size)
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Not Covered |
|
0 |
1 |
Not Covered |
|
0 |
0 |
Not Covered |
|
LineNo. Expression
-1-: 722 if ((!rst_n))
-2-: 724 if (((isck_p2s_sent && sck_rddata_shift_en) || (sck_wrfifo_wvalid && wrdata_shift_en)))
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Not Covered |
|
0 |
1 |
Not Covered |
|
0 |
0 |
Not Covered |
|
LineNo. Expression
-1-: 742 case (isck_data_sel)
Branches:
-1- | Status | Tests |
SelWait |
Not Covered |
|
SelStart |
Not Covered |
|
SelInvalid |
Not Covered |
|
SelHwReg |
Not Covered |
|
SelRdFifo |
Not Covered |
|
default |
Not Covered |
|
LineNo. Expression
-1-: 784 case (isck_hw_reg_idx)
-2-: 812 if (((!invalid_locality) && sys_active_locality[locality[2:0]]))
Branches:
-1- | -2- | Status | Tests |
RegAccess |
- |
Not Covered |
|
RegIntEn |
- |
Not Covered |
|
RegIntVect |
- |
Not Covered |
|
RegIntSts |
- |
Not Covered |
|
RegIntfCap |
- |
Not Covered |
|
RegSts |
1 |
Not Covered |
|
RegSts |
0 |
Not Covered |
|
RegHashStart |
- |
Not Covered |
|
RegId |
- |
Not Covered |
|
RegRid |
- |
Not Covered |
|
default |
- |
Not Covered |
|
LineNo. Expression
-1-: 859 if ((!rst_n))
Branches:
-1- | Status | Tests |
1 |
Not Covered |
|
0 |
Not Covered |
|
LineNo. Expression
-1-: 871 if ((!rst_n))
Branches:
-1- | Status | Tests |
1 |
Not Covered |
|
0 |
Not Covered |
|
LineNo. Expression
-1-: 946 if ((!rst_n))
Branches:
-1- | Status | Tests |
1 |
Not Covered |
|
0 |
Not Covered |
|
LineNo. Expression
-1-: 973 case (sck_st_q)
-2-: 977 if ((cmdaddr_bitcnt == 5'h07))
-3-: 978 if (sys_clk_tpm_en)
-4-: 999 if ((cmdaddr_bitcnt == 5'h13))
-5-: 1003 if ((cmdaddr_bitcnt >= 5'h18))
-6-: 1010 if (((cmdaddr_bitcnt == 5'h1f) && (cmd_type == Read)))
-7-: 1011 if (((!is_tpm_reg) || sys_clk_tpm_cfg.tpm_mode))
-8-: 1017 if (is_hw_reg)
-9-: 1021 if ((invalid_locality && sys_clk_tpm_cfg.invalid_locality))
-10-: 1033 if (((cmdaddr_bitcnt == 5'h1f) && (cmd_type == Write)))
-11-: 1037 if ((~|sck_wrfifo_wdepth))
-12-: 1056 if ((isck_p2s_sent && (((cmd_type == Read) && enough_payload_in_rdfifo) || ((cmd_type == Write) && (~|sck_wrfifo_wdepth)))))
-13-: 1067 if (isck_p2s_sent)
-14-: 1069 if (((cmd_type == Read) && is_hw_reg))
-15-: 1071 if ((cmd_type == Read))
-16-: 1073 if ((cmd_type == Write))
-17-: 1088 if ((isck_p2s_sent && xfer_size_met))
-18-: 1099 if ((isck_p2s_sent && xfer_size_met))
-19-: 1109 if ((sck_wrfifo_wvalid && xfer_size_met))
-20-: 1116 if ((cmd_type == Read))
-21-: 1125 if ((cmd_type == Read))
Branches:
-1- | -2- | -3- | -4- | -5- | -6- | -7- | -8- | -9- | -10- | -11- | -12- | -13- | -14- | -15- | -16- | -17- | -18- | -19- | -20- | -21- | Status | Tests |
StIdle |
1 |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
StIdle |
1 |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
StIdle |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
StAddr |
- |
- |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
StAddr |
- |
- |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
StAddr |
- |
- |
- |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
StAddr |
- |
- |
- |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
StAddr |
- |
- |
- |
- |
1 |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
StAddr |
- |
- |
- |
- |
1 |
0 |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
StAddr |
- |
- |
- |
- |
1 |
0 |
0 |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
StAddr |
- |
- |
- |
- |
1 |
0 |
0 |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
StAddr |
- |
- |
- |
- |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
StAddr |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
StAddr |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
StAddr |
- |
- |
- |
- |
- |
- |
- |
- |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
StWait |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
StWait |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
StStartByte |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
1 |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
StStartByte |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
0 |
1 |
- |
- |
- |
- |
- |
- |
Not Covered |
|
StStartByte |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
0 |
0 |
1 |
- |
- |
- |
- |
- |
Not Covered |
|
StStartByte |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
0 |
0 |
0 |
- |
- |
- |
- |
- |
Not Covered |
|
StStartByte |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
StReadFifo |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
- |
- |
- |
- |
Not Covered |
|
StReadFifo |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
0 |
- |
- |
- |
- |
Not Covered |
|
StReadHwReg |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
- |
- |
- |
Not Covered |
|
StReadHwReg |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
0 |
- |
- |
- |
Not Covered |
|
StWrite |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
- |
- |
Not Covered |
|
StWrite |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
0 |
- |
- |
Not Covered |
|
StInvalid |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
- |
Not Covered |
|
StInvalid |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
0 |
- |
Not Covered |
|
StEnd |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
Not Covered |
|
StEnd |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
0 |
Not Covered |
|
default |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
LineNo. Expression
-1-: 914 if ((!rst_n))
-2-: 916 if (isck_rd_byte_sent)
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Not Covered |
|
0 |
1 |
Not Covered |
|
0 |
0 |
Not Covered |
|