Module Definition
dashboard | hierarchy | modlist | groups | tests | asserts

Module : spi_tpm
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00 0.00

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_ip_spi_device_0.1/rtl/spi_tpm.sv

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.u_spi_tpm 0.00 0.00 0.00 0.00 0.00



Module Instance : tb.dut.u_spi_tpm

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00 0.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00 0.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
19.21 0.00 0.00 76.82 0.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_cmdaddr_buffer 0.00 0.00 0.00 0.00
u_hw_reg_slice 0.00 0.00
u_rdfifo 0.00 0.00 0.00 0.00
u_wrfifo 0.00 0.00 0.00 0.00


Since this is the module's only instance, the coverage report is the same as for the module.
Line Coverage for Module : spi_tpm
Line No.TotalCoveredPercent
TOTAL20900.00
CONT_ASSIGN310100.00
CONT_ASSIGN324100.00
CONT_ASSIGN348100.00
CONT_ASSIGN354100.00
CONT_ASSIGN455100.00
CONT_ASSIGN456100.00
CONT_ASSIGN462100.00
ALWAYS466800.00
ALWAYS483300.00
ALWAYS496400.00
CONT_ASSIGN505100.00
CONT_ASSIGN507100.00
CONT_ASSIGN509100.00
CONT_ASSIGN534100.00
ALWAYS537300.00
ALWAYS545400.00
CONT_ASSIGN552100.00
CONT_ASSIGN555100.00
ALWAYS560600.00
CONT_ASSIGN577100.00
CONT_ASSIGN584100.00
ALWAYS588400.00
CONT_ASSIGN595100.00
ALWAYS598400.00
CONT_ASSIGN605100.00
CONT_ASSIGN607100.00
ALWAYS612500.00
ALWAYS640400.00
ALWAYS653600.00
ALWAYS670600.00
ALWAYS686300.00
ALWAYS692600.00
ALWAYS703400.00
ALWAYS713400.00
ALWAYS722400.00
CONT_ASSIGN729100.00
CONT_ASSIGN730100.00
CONT_ASSIGN733100.00
ALWAYS740700.00
ALWAYS7821500.00
ALWAYS859300.00
CONT_ASSIGN868100.00
ALWAYS871300.00
CONT_ASSIGN891100.00
CONT_ASSIGN892100.00
CONT_ASSIGN897100.00
CONT_ASSIGN910100.00
ALWAYS914400.00
CONT_ASSIGN922100.00
ALWAYS946300.00
ALWAYS9546800.00
CONT_ASSIGN1208100.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.CoveredStatements
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
TotalCoveredPercent
Conditions14200.00
Logical14200.00
Non-Logical00
Event00

 LINE       505
 EXPRESSION ((cmdaddr_bitcnt == 5'b0) && (sck_st_q == StIdle))
             ------------1-----------    ----------2---------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       505
 SUB-EXPRESSION (cmdaddr_bitcnt == 5'b0)
                ------------1-----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       505
 SUB-EXPRESSION (sck_st_q == StIdle)
                ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       507
 EXPRESSION (cmdaddr_bitcnt == 5'h0f)
            ------------1------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       509
 EXPRESSION (cmdaddr_bitcnt == 5'h1d)
            ------------1------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       534
 EXPRESSION (cmdaddr_bitcnt == 5'h1f)
            ------------1------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       584
 EXPRESSION (isck_p2s_sent && (isck_data_sel == SelHwReg))
             ------1------    -------------2-------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       584
 SUB-EXPRESSION (isck_data_sel == SelHwReg)
                -------------1-------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       595
 EXPRESSION (wrdata_bitcnt == 3'h7)
            -----------1-----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       642
 EXPRESSION (check_tpm_reg && (sys_clk_tpm_cfg.tpm_reg_chk_dis || (addr[23:16] == TpmAddr)))
             ------1------    ------------------------------2------------------------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       642
 SUB-EXPRESSION (sys_clk_tpm_cfg.tpm_reg_chk_dis || (addr[23:16] == TpmAddr))
                 ---------------1---------------    ------------2-----------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       642
 SUB-EXPRESSION (addr[23:16] == TpmAddr)
                ------------1-----------
-1-StatusTests
0Not Covered
1Not 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-StatusTests
011111Not Covered
101111Not Covered
110111Not Covered
111011Not Covered
111101Not Covered
111110Not Covered
111111Not Covered

 LINE       656
 SUB-EXPRESSION (cmd_type == Read)
                ---------1--------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       674
 EXPRESSION (TpmReturnByHwAddr[i][11:2] == addr[11:2])
            ---------------------1--------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       695
 EXPRESSION (latch_locality && is_tpm_reg)
             -------1------    -----2----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       697
 EXPRESSION ((addr[15:12] < 4'(spi_device_reg_pkg::NumLocality)) ? 1'b0 : 1'b1)
             -------------------------1-------------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       724
 EXPRESSION ((isck_p2s_sent && sck_rddata_shift_en) || (sck_wrfifo_wvalid && wrdata_shift_en))
             -------------------1------------------    -------------------2------------------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       724
 SUB-EXPRESSION (isck_p2s_sent && sck_rddata_shift_en)
                 ------1------    ---------2---------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       724
 SUB-EXPRESSION (sck_wrfifo_wvalid && wrdata_shift_en)
                 --------1--------    -------2-------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       730
 EXPRESSION (xfer_bytes_q == xfer_size)
            -------------1-------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       733
 EXPRESSION ((7'({isck_rdfifo_rdepth, 2'(0)}) > {1'b0, xfer_size}) | (7'(RdFifoSize) <= 7'(xfer_size)))
             --------------------------1--------------------------   ----------------2----------------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       787
 EXPRESSION (((!invalid_locality)) && (4'(i) == locality))
             ----------1----------    ---------2---------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       787
 SUB-EXPRESSION (4'(i) == locality)
                ---------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       812
 EXPRESSION (((!invalid_locality)) && sys_active_locality[locality[2:0]])
             ----------1----------    -----------------2----------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       868
 EXPRESSION (isck_p2s_valid && (isck_p2s_bitcnt == '0))
             -------1------    -----------2-----------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       868
 SUB-EXPRESSION (isck_p2s_bitcnt == '0)
                -----------1-----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       897
 EXPRESSION (isck_rdfifo_rvalid && isck_p2s_sent && (isck_data_sel == SelRdFifo))
             ---------1--------    ------2------    --------------3-------------
-1--2--3-StatusTests
011Not Covered
101Not Covered
110Not Covered
111Not Covered

 LINE       897
 SUB-EXPRESSION (isck_data_sel == SelRdFifo)
                --------------1-------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       922
 EXPRESSION (isck_rd_byte_sent && ((&isck_rdfifo_idx)))
             --------1--------    ----------2---------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       977
 EXPRESSION (cmdaddr_bitcnt == 5'h07)
            ------------1------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       999
 EXPRESSION (cmdaddr_bitcnt == 5'h13)
            ------------1------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       1010
 EXPRESSION ((cmdaddr_bitcnt == 5'h1f) && (cmd_type == Read))
             ------------1------------    ---------2--------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       1010
 SUB-EXPRESSION (cmdaddr_bitcnt == 5'h1f)
                ------------1------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       1010
 SUB-EXPRESSION (cmd_type == Read)
                ---------1--------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       1011
 EXPRESSION (((!is_tpm_reg)) || sys_clk_tpm_cfg.tpm_mode)
             -------1-------    ------------2-----------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       1021
 EXPRESSION (invalid_locality && sys_clk_tpm_cfg.invalid_locality)
             --------1-------    ----------------2---------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       1033
 EXPRESSION ((cmdaddr_bitcnt == 5'h1f) && (cmd_type == Write))
             ------------1------------    ---------2---------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       1033
 SUB-EXPRESSION (cmdaddr_bitcnt == 5'h1f)
                ------------1------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       1033
 SUB-EXPRESSION (cmd_type == Write)
                ---------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       1056
 EXPRESSION (isck_p2s_sent && (((cmd_type == Read) && enough_payload_in_rdfifo) || ((cmd_type == Write) && ((~|sck_wrfifo_wdepth)))))
             ------1------    ---------------------------------------------------2--------------------------------------------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       1056
 SUB-EXPRESSION (((cmd_type == Read) && enough_payload_in_rdfifo) || ((cmd_type == Write) && ((~|sck_wrfifo_wdepth))))
                 ------------------------1-----------------------    ------------------------2-----------------------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       1056
 SUB-EXPRESSION ((cmd_type == Read) && enough_payload_in_rdfifo)
                 ---------1--------    ------------2-----------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       1056
 SUB-EXPRESSION (cmd_type == Read)
                ---------1--------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       1056
 SUB-EXPRESSION ((cmd_type == Write) && ((~|sck_wrfifo_wdepth)))
                 ---------1---------    -----------2-----------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       1056
 SUB-EXPRESSION (cmd_type == Write)
                ---------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       1069
 EXPRESSION ((cmd_type == Read) && is_hw_reg)
             ---------1--------    ----2----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       1069
 SUB-EXPRESSION (cmd_type == Read)
                ---------1--------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       1071
 EXPRESSION (cmd_type == Read)
            ---------1--------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       1073
 EXPRESSION (cmd_type == Write)
            ---------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       1088
 EXPRESSION (isck_p2s_sent && xfer_size_met)
             ------1------    ------2------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       1099
 EXPRESSION (isck_p2s_sent && xfer_size_met)
             ------1------    ------2------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       1109
 EXPRESSION (sck_wrfifo_wvalid && xfer_size_met)
             --------1--------    ------2------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       1116
 EXPRESSION (cmd_type == Read)
            ---------1--------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       1125
 EXPRESSION (cmd_type == Read)
            ---------1--------
-1-StatusTests
0Not Covered
1Not Covered

FSM Coverage for Module : spi_tpm
Summary for FSM :: sck_st_q
TotalCoveredPercent
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
statesLine No.CoveredTests
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


transitionsLine No.CoveredTests
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.TotalCoveredPercent
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-StatusTests
1 - Not Covered
0 1 Not Covered
0 0 Not Covered


LineNo. Expression -1-: 483 if ((!rst_n))

Branches:
-1-StatusTests
1 Not Covered
0 Not Covered


LineNo. Expression -1-: 496 if ((!rst_n)) -2-: 498 if (cmdaddr_shift_en)

Branches:
-1--2-StatusTests
1 - Not Covered
0 1 Not Covered
0 0 Not Covered


LineNo. Expression -1-: 537 if ((!rst_n))

Branches:
-1-StatusTests
1 Not Covered
0 Not Covered


LineNo. Expression -1-: 545 if ((!rst_n)) -2-: 547 if (cmdaddr_shift_en)

Branches:
-1--2-StatusTests
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-StatusTests
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-StatusTests
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-StatusTests
1 - Not Covered
0 1 Not Covered
0 0 Not Covered


LineNo. Expression -1-: 613 case (1'b1)

Branches:
-1-StatusTests
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-StatusTests
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-StatusTests
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-StatusTests
1 Not Covered
0 Not Covered


LineNo. Expression -1-: 686 if ((!rst_n))

Branches:
-1-StatusTests
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-StatusTests
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-StatusTests
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-StatusTests
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-StatusTests
1 - Not Covered
0 1 Not Covered
0 0 Not Covered


LineNo. Expression -1-: 742 case (isck_data_sel)

Branches:
-1-StatusTests
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-StatusTests
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-StatusTests
1 Not Covered
0 Not Covered


LineNo. Expression -1-: 871 if ((!rst_n))

Branches:
-1-StatusTests
1 Not Covered
0 Not Covered


LineNo. Expression -1-: 946 if ((!rst_n))

Branches:
-1-StatusTests
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-StatusTests
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-StatusTests
1 - Not Covered
0 1 Not Covered
0 0 Not Covered

0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%