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

Module : spi_tpm
SCORELINECONDTOGGLEFSMBRANCHASSERT
95.87 99.52 93.66 91.67 94.50 100.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 95.87 99.52 93.66 91.67 94.50 100.00



Module Instance : tb.dut.u_spi_tpm

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
95.87 99.52 93.66 91.67 94.50 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.43 99.76 93.53 91.67 97.18 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
93.71 95.79 89.19 96.92 91.18 95.45 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_cmdaddr_buffer 98.08 100.00 92.31 100.00 100.00
u_hw_reg_slice 100.00 100.00 100.00
u_rdfifo 98.44 100.00 93.75 100.00 100.00
u_wrfifo 98.44 100.00 93.75 100.00 100.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
TOTAL20920899.52
CONT_ASSIGN31011100.00
CONT_ASSIGN32411100.00
CONT_ASSIGN34811100.00
CONT_ASSIGN35411100.00
CONT_ASSIGN45511100.00
CONT_ASSIGN45611100.00
CONT_ASSIGN46211100.00
ALWAYS46688100.00
ALWAYS48333100.00
ALWAYS49644100.00
CONT_ASSIGN50511100.00
CONT_ASSIGN50711100.00
CONT_ASSIGN50911100.00
CONT_ASSIGN53411100.00
ALWAYS53733100.00
ALWAYS54544100.00
CONT_ASSIGN55211100.00
CONT_ASSIGN55511100.00
ALWAYS56066100.00
CONT_ASSIGN57711100.00
CONT_ASSIGN58411100.00
ALWAYS58844100.00
CONT_ASSIGN59511100.00
ALWAYS59844100.00
CONT_ASSIGN60511100.00
CONT_ASSIGN60711100.00
ALWAYS61255100.00
ALWAYS64044100.00
ALWAYS65366100.00
ALWAYS67066100.00
ALWAYS68633100.00
ALWAYS69266100.00
ALWAYS70344100.00
ALWAYS71344100.00
ALWAYS72244100.00
CONT_ASSIGN72911100.00
CONT_ASSIGN73011100.00
CONT_ASSIGN73311100.00
ALWAYS74077100.00
ALWAYS7821515100.00
ALWAYS85933100.00
CONT_ASSIGN86811100.00
ALWAYS87133100.00
CONT_ASSIGN89111100.00
CONT_ASSIGN89211100.00
CONT_ASSIGN89711100.00
CONT_ASSIGN91011100.00
ALWAYS91444100.00
CONT_ASSIGN92211100.00
ALWAYS94633100.00
ALWAYS954686798.53
CONT_ASSIGN120811100.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 1 1
324 1 1
348 1 1
354 1 1
455 1 1
456 1 1
462 1 1
466 1 1
467 1 1
468 1 1
470 1 1
471 1 1
472 1 1
473 1 1
474 1 1
MISSING_ELSE
483 1 1
484 1 1
486 1 1
496 1 1
497 1 1
498 1 1
499 1 1
MISSING_ELSE
505 1 1
507 1 1
509 1 1
534 1 1
537 1 1
538 1 1
540 1 1
545 1 1
546 1 1
547 1 1
548 1 1
MISSING_ELSE
552 1 1
555 1 1
560 1 1
561 1 1
562 1 1
564 1 1
565 1 1
566 1 1
MISSING_ELSE
577 1 1
584 1 1
588 1 1
589 1 1
590 1 1
591 1 1
MISSING_ELSE
595 1 1
598 1 1
599 1 1
600 1 1
601 1 1
MISSING_ELSE
605 1 1
607 1 1
612 1 1
613 1 1
617 1 1
624 1 1
630 1 1
640 1 1
641 1 1
642 1 1
644 1 1
MISSING_ELSE
653 1 1
654 1 1
655 1 1
656 1 1
664 1 1
665 1 1
MISSING_ELSE
670 1 1
671 1 1
673 1 1
674 1 1
675 1 1
676 1 1
MISSING_ELSE
686 2 2
687 1 1
692 1 1
693 1 1
694 1 1
695 1 1
696 1 1
697 1 1
MISSING_ELSE
703 1 1
704 1 1
705 1 1
707 1 1
MISSING_ELSE
713 1 1
714 1 1
715 1 1
716 1 1
MISSING_ELSE
722 1 1
723 1 1
724 1 1
726 1 1
MISSING_ELSE
729 1 1
730 1 1
733 1 1
740 1 1
742 1 1
744 1 1
748 1 1
752 1 1
756 1 1
760 1 1
782 1 1
784 1 1
786 1 1
787 1 1
788 1 1
MISSING_ELSE
795 1 1
799 1 1
803 1 1
807 1 1
812 1 1
814 1 1
816 1 1
821 1 1
825 1 1
829 1 1
859 1 1
860 1 1
862 1 1
868 1 1
871 2 2
872 1 1
891 1 1
892 1 1
897 1 1
910 1 1
914 1 1
915 1 1
916 1 1
917 1 1
MISSING_ELSE
922 1 1
946 1 1
947 1 1
949 1 1
954 1 1
957 1 1
958 1 1
960 1 1
961 1 1
962 1 1
964 1 1
965 1 1
971 1 1
973 1 1
975 1 1
977 1 1
978 1 1
979 1 1
981 1 1
989 0 1
MISSING_ELSE
996 1 1
999 1 1
1000 1 1
MISSING_ELSE
1003 1 1
1005 1 1
1006 1 1
MISSING_ELSE
1010 1 1
1011 1 1
1014 1 1
1016 1 1
1017 1 1
1020 1 1
1021 1 1
1024 1 1
1027 1 1
1029 1 1
MISSING_ELSE
1033 1 1
1035 1 1
1037 1 1
1042 1 1
1046 1 1
MISSING_ELSE
1052 1 1
1053 1 1
1056 1 1
1059 1 1
MISSING_ELSE
1064 1 1
1065 1 1
1067 1 1
1069 1 1
1070 1 1
1071 1 1
1072 1 1
1073 1 1
1074 1 1
==> MISSING_ELSE
MISSING_ELSE
1080 1 1
1082 1 1
1083 1 1
1088 1 1
1089 1 1
MISSING_ELSE
1094 1 1
1095 1 1
1099 1 1
1100 1 1
MISSING_ELSE
1105 1 1
1109 1 1
1110 1 1
MISSING_ELSE
1116 1 1
1117 1 1
1118 1 1
==> MISSING_ELSE
1125 1 1
1126 1 1
1127 1 1
MISSING_ELSE
1208 1 1


Cond Coverage for Module : spi_tpm
TotalCoveredPercent
Conditions14213393.66
Logical14213393.66
Non-Logical00
Event00

 LINE       505
 EXPRESSION ((cmdaddr_bitcnt == 5'b0) && (sck_st_q == StIdle))
             ------------1-----------    ----------2---------
-1--2-StatusTests
01CoveredT2,T3,T17
10CoveredT2,T3,T17
11CoveredT1,T2,T3

 LINE       505
 SUB-EXPRESSION (cmdaddr_bitcnt == 5'b0)
                ------------1-----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       505
 SUB-EXPRESSION (sck_st_q == StIdle)
                ----------1---------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       507
 EXPRESSION (cmdaddr_bitcnt == 5'h0f)
            ------------1------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT2,T3,T17

 LINE       509
 EXPRESSION (cmdaddr_bitcnt == 5'h1d)
            ------------1------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT2,T3,T17

 LINE       534
 EXPRESSION (cmdaddr_bitcnt == 5'h1f)
            ------------1------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT2,T3,T17

 LINE       584
 EXPRESSION (isck_p2s_sent && (isck_data_sel == SelHwReg))
             ------1------    -------------2-------------
-1--2-StatusTests
01CoveredT3,T18,T22
10CoveredT2,T3,T17
11CoveredT3,T18,T22

 LINE       584
 SUB-EXPRESSION (isck_data_sel == SelHwReg)
                -------------1-------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T18,T22

 LINE       595
 EXPRESSION (wrdata_bitcnt == 3'h7)
            -----------1-----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT2,T3,T17

 LINE       642
 EXPRESSION (check_tpm_reg && (sys_clk_tpm_cfg.tpm_reg_chk_dis || (addr[23:16] == TpmAddr)))
             ------1------    ------------------------------2------------------------------
-1--2-StatusTests
01CoveredT3,T18,T22
10CoveredT2,T3,T17
11CoveredT3,T18,T22

 LINE       642
 SUB-EXPRESSION (sys_clk_tpm_cfg.tpm_reg_chk_dis || (addr[23:16] == TpmAddr))
                 ---------------1---------------    ------------2-----------
-1--2-StatusTests
00CoveredT2,T3,T17
01CoveredT3,T18,T22
10CoveredT3,T19,T5

 LINE       642
 SUB-EXPRESSION (addr[23:16] == TpmAddr)
                ------------1-----------
-1-StatusTests
0CoveredT2,T3,T17
1CoveredT3,T18,T22

 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
011111CoveredT5,T27,T29
101111CoveredT3,T18,T22
110111CoveredT3,T23,T28
111011CoveredT3,T23,T28
111101CoveredT3,T18,T23
111110CoveredT3,T23,T28
111111CoveredT3,T18,T22

 LINE       656
 SUB-EXPRESSION (cmd_type == Read)
                ---------1--------
-1-StatusTests
0CoveredT2,T3,T17
1CoveredT2,T3,T17

 LINE       674
 EXPRESSION (TpmReturnByHwAddr[i][11:2] == addr[11:2])
            ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       695
 EXPRESSION (latch_locality && is_tpm_reg)
             -------1------    -----2----
-1--2-StatusTests
01CoveredT3,T18,T22
10CoveredT2,T3,T17
11CoveredT3,T18,T22

 LINE       697
 EXPRESSION ((addr[15:12] < 4'(spi_device_reg_pkg::NumLocality)) ? 1'b0 : 1'b1)
             -------------------------1-------------------------
-1-StatusTests
0CoveredT3,T18,T19
1CoveredT3,T18,T22

 LINE       724
 EXPRESSION ((isck_p2s_sent && sck_rddata_shift_en) || (sck_wrfifo_wvalid && wrdata_shift_en))
             -------------------1------------------    -------------------2------------------
-1--2-StatusTests
00CoveredT2,T3,T17
01CoveredT2,T3,T17
10CoveredT2,T3,T17

 LINE       724
 SUB-EXPRESSION (isck_p2s_sent && sck_rddata_shift_en)
                 ------1------    ---------2---------
-1--2-StatusTests
01CoveredT2,T3,T17
10CoveredT2,T3,T17
11CoveredT2,T3,T17

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

 LINE       730
 EXPRESSION (xfer_bytes_q == xfer_size)
            -------------1-------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

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

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

 LINE       787
 SUB-EXPRESSION (4'(i) == locality)
                ---------1---------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       812
 EXPRESSION (((!invalid_locality)) && sys_active_locality[locality[2:0]])
             ----------1----------    -----------------2----------------
-1--2-StatusTests
01Not Covered
10CoveredT3,T18,T41
11CoveredT18,T22,T41

 LINE       868
 EXPRESSION (isck_p2s_valid && (isck_p2s_bitcnt == '0))
             -------1------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T3,T17
10CoveredT2,T3,T17
11CoveredT2,T3,T17

 LINE       868
 SUB-EXPRESSION (isck_p2s_bitcnt == '0)
                -----------1-----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT2,T3,T17

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

 LINE       897
 SUB-EXPRESSION (isck_data_sel == SelRdFifo)
                --------------1-------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT2,T3,T17

 LINE       922
 EXPRESSION (isck_rd_byte_sent && ((&isck_rdfifo_idx)))
             --------1--------    ----------2---------
-1--2-StatusTests
01CoveredT2,T3,T17
10CoveredT2,T3,T17
11CoveredT2,T3,T17

 LINE       977
 EXPRESSION (cmdaddr_bitcnt == 5'h07)
            ------------1------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT2,T3,T17

 LINE       999
 EXPRESSION (cmdaddr_bitcnt == 5'h13)
            ------------1------------
-1-StatusTests
0CoveredT2,T3,T17
1CoveredT2,T3,T17

 LINE       1010
 EXPRESSION ((cmdaddr_bitcnt == 5'h1f) && (cmd_type == Read))
             ------------1------------    ---------2--------
-1--2-StatusTests
01CoveredT2,T3,T17
10CoveredT2,T3,T17
11CoveredT2,T3,T17

 LINE       1010
 SUB-EXPRESSION (cmdaddr_bitcnt == 5'h1f)
                ------------1------------
-1-StatusTests
0CoveredT2,T3,T17
1CoveredT2,T3,T17

 LINE       1010
 SUB-EXPRESSION (cmd_type == Read)
                ---------1--------
-1-StatusTests
0CoveredT2,T3,T17
1CoveredT2,T3,T17

 LINE       1011
 EXPRESSION (((!is_tpm_reg)) || sys_clk_tpm_cfg.tpm_mode)
             -------1-------    ------------2-----------
-1--2-StatusTests
00CoveredT3,T18,T22
01CoveredT19,T5,T27
10CoveredT3,T23,T28

 LINE       1021
 EXPRESSION (invalid_locality && sys_clk_tpm_cfg.invalid_locality)
             --------1-------    ----------------2---------------
-1--2-StatusTests
01CoveredT3,T23,T28
10CoveredT3,T23,T28
11CoveredT3,T18,T23

 LINE       1033
 EXPRESSION ((cmdaddr_bitcnt == 5'h1f) && (cmd_type == Write))
             ------------1------------    ---------2---------
-1--2-StatusTests
01CoveredT2,T3,T17
10CoveredT2,T3,T17
11CoveredT2,T3,T17

 LINE       1033
 SUB-EXPRESSION (cmdaddr_bitcnt == 5'h1f)
                ------------1------------
-1-StatusTests
0CoveredT2,T3,T17
1CoveredT2,T3,T17

 LINE       1033
 SUB-EXPRESSION (cmd_type == Write)
                ---------1---------
-1-StatusTests
0CoveredT2,T3,T17
1CoveredT2,T3,T17

 LINE       1056
 EXPRESSION (isck_p2s_sent && (((cmd_type == Read) && enough_payload_in_rdfifo) || ((cmd_type == Write) && ((~|sck_wrfifo_wdepth)))))
             ------1------    ---------------------------------------------------2--------------------------------------------------
-1--2-StatusTests
01CoveredT2,T3,T17
10CoveredT2,T3,T17
11CoveredT2,T3,T17

 LINE       1056
 SUB-EXPRESSION (((cmd_type == Read) && enough_payload_in_rdfifo) || ((cmd_type == Write) && ((~|sck_wrfifo_wdepth))))
                 ------------------------1-----------------------    ------------------------2-----------------------
-1--2-StatusTests
00CoveredT2,T3,T17
01CoveredT3,T5,T27
10CoveredT2,T3,T17

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

 LINE       1056
 SUB-EXPRESSION (cmd_type == Read)
                ---------1--------
-1-StatusTests
0CoveredT3,T5,T27
1CoveredT2,T3,T17

 LINE       1056
 SUB-EXPRESSION ((cmd_type == Write) && ((~|sck_wrfifo_wdepth)))
                 ---------1---------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T3,T17
10CoveredT3,T5,T27
11CoveredT3,T5,T27

 LINE       1056
 SUB-EXPRESSION (cmd_type == Write)
                ---------1---------
-1-StatusTests
0CoveredT2,T3,T17
1CoveredT3,T5,T27

 LINE       1069
 EXPRESSION ((cmd_type == Read) && is_hw_reg)
             ---------1--------    ----2----
-1--2-StatusTests
01Not Covered
10CoveredT2,T3,T17
11CoveredT3,T18,T22

 LINE       1069
 SUB-EXPRESSION (cmd_type == Read)
                ---------1--------
-1-StatusTests
0CoveredT2,T3,T17
1CoveredT2,T3,T17

 LINE       1071
 EXPRESSION (cmd_type == Read)
            ---------1--------
-1-StatusTests
0CoveredT2,T3,T17
1CoveredT2,T3,T17

 LINE       1073
 EXPRESSION (cmd_type == Write)
            ---------1---------
-1-StatusTests
0Not Covered
1CoveredT2,T3,T17

 LINE       1088
 EXPRESSION (isck_p2s_sent && xfer_size_met)
             ------1------    ------2------
-1--2-StatusTests
01CoveredT2,T3,T17
10CoveredT2,T3,T17
11CoveredT2,T3,T17

 LINE       1099
 EXPRESSION (isck_p2s_sent && xfer_size_met)
             ------1------    ------2------
-1--2-StatusTests
01CoveredT3,T18,T41
10CoveredT3,T18,T22
11CoveredT3,T18,T41

 LINE       1109
 EXPRESSION (sck_wrfifo_wvalid && xfer_size_met)
             --------1--------    ------2------
-1--2-StatusTests
01CoveredT2,T3,T17
10CoveredT2,T3,T17
11CoveredT2,T3,T17

 LINE       1116
 EXPRESSION (cmd_type == Read)
            ---------1--------
-1-StatusTests
0Not Covered
1CoveredT3,T18,T23

 LINE       1125
 EXPRESSION (cmd_type == Read)
            ---------1--------
-1-StatusTests
0CoveredT2,T3,T17
1CoveredT2,T3,T17

FSM Coverage for Module : spi_tpm
Summary for FSM :: sck_st_q
TotalCoveredPercent
States 9 9 100.00 (Not included in score)
Transitions 12 11 91.67
Sequences 0 0

State, Transition and Sequence Details for FSM :: sck_st_q
statesLine No.CoveredTests
StAddr 979 Covered T2,T3,T17
StEnd 989 Covered T2,T3,T17
StIdle 974 Covered T1,T2,T3
StInvalid 1024 Covered T3,T18,T23
StReadFifo 1072 Covered T2,T3,T17
StReadHwReg 1070 Covered T3,T18,T22
StStartByte 1020 Covered T2,T3,T17
StWait 1014 Covered T2,T3,T17
StWrite 1074 Covered T2,T3,T17


transitionsLine No.CoveredTests
StAddr->StInvalid 1024 Covered T3,T18,T23
StAddr->StStartByte 1020 Covered T2,T3,T17
StAddr->StWait 1014 Covered T2,T3,T17
StIdle->StAddr 979 Covered T2,T3,T17
StIdle->StEnd 989 Not Covered
StReadFifo->StEnd 1089 Covered T2,T3,T17
StReadHwReg->StEnd 1100 Covered T3,T18,T41
StStartByte->StReadFifo 1072 Covered T2,T3,T17
StStartByte->StReadHwReg 1070 Covered T3,T18,T22
StStartByte->StWrite 1074 Covered T2,T3,T17
StWait->StStartByte 1059 Covered T2,T3,T17
StWrite->StEnd 1110 Covered T2,T3,T17



Branch Coverage for Module : spi_tpm
Line No.TotalCoveredPercent
Branches 109 103 94.50
IF 466 3 3 100.00
IF 483 2 2 100.00
IF 496 3 3 100.00
IF 537 2 2 100.00
IF 545 3 3 100.00
IF 560 4 4 100.00
IF 588 3 3 100.00
IF 598 3 3 100.00
CASE 613 4 4 100.00
IF 640 3 3 100.00
IF 653 3 3 100.00
IF 674 2 2 100.00
IF 686 2 2 100.00
IF 692 4 4 100.00
IF 703 3 3 100.00
IF 713 3 3 100.00
IF 722 3 3 100.00
CASE 742 6 5 83.33
CASE 784 11 10 90.91
IF 859 2 2 100.00
IF 871 2 2 100.00
IF 946 2 2 100.00
CASE 973 33 29 87.88
IF 914 3 3 100.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 - Covered T1,T2,T3
0 1 Covered T2,T3,T17
0 0 Covered T1,T2,T3


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

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T2,T3,T17


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

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T2,T3,T17
0 0 Covered T2,T3,T17


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

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T2,T3,T17


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

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T2,T3,T17
0 0 Covered T2,T3,T17


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 - - Covered T1,T2,T3
0 1 - Covered T2,T3,T17
0 0 1 Covered T3,T18,T22
0 0 0 Covered T2,T3,T17


LineNo. Expression -1-: 588 if ((!rst_n)) -2-: 590 if (wrdata_shift_en)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T2,T3,T17
0 0 Covered T2,T3,T17


LineNo. Expression -1-: 598 if ((!rst_n)) -2-: 600 if (wrdata_shift_en)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T2,T3,T17
0 0 Covered T2,T3,T17


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

Branches:
-1-StatusTests
check_tpm_reg Covered T2,T3,T17
latch_locality Covered T2,T3,T17
check_hw_reg Covered T2,T3,T17
default Covered T1,T2,T3


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 - Covered T1,T2,T3
0 1 Covered T3,T18,T22
0 0 Covered T2,T3,T17


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 - Covered T1,T2,T3
0 1 Covered T3,T18,T22
0 0 Covered T2,T3,T17


LineNo. Expression -1-: 674 if ((TpmReturnByHwAddr[i][11:2] == addr[11:2]))

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


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

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T2,T3,T17


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 - - Covered T1,T2,T3
0 1 1 Covered T3,T18,T22
0 1 0 Covered T3,T18,T19
0 0 - Covered T2,T3,T17


LineNo. Expression -1-: 703 if ((!rst_n)) -2-: 705 if (latch_cmd_type)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T2,T3,T17
0 0 Covered T2,T3,T17


LineNo. Expression -1-: 713 if ((!rst_n)) -2-: 715 if (latch_xfer_size)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T2,T3,T17
0 0 Covered T2,T3,T17


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 - Covered T1,T2,T3
0 1 Covered T2,T3,T17
0 0 Covered T2,T3,T17


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

Branches:
-1-StatusTests
SelWait Covered T1,T2,T3
SelStart Covered T2,T3,T17
SelInvalid Covered T3,T18,T23
SelHwReg Covered T3,T18,T22
SelRdFifo Covered T2,T3,T17
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 - Covered T1,T2,T3
RegIntEn - Covered T3,T18,T23
RegIntVect - Covered T3,T18,T41
RegIntSts - Covered T3,T18,T41
RegIntfCap - Covered T61,T62,T63
RegSts 1 Covered T18,T22,T41
RegSts 0 Covered T3,T18,T41
RegHashStart - Covered T3,T18,T41
RegId - Covered T3,T18,T23
RegRid - Covered T3,T18,T23
default - Not Covered


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

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T2,T3,T17


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

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T2,T3,T17


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

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T2,T3,T17


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 - - - - - - - - - - - - - - - - - - Covered T2,T3,T17
StIdle 1 0 - - - - - - - - - - - - - - - - - - Not Covered
StIdle 0 - - - - - - - - - - - - - - - - - - - Covered T1,T2,T3
StAddr - - 1 - - - - - - - - - - - - - - - - - Covered T2,T3,T17
StAddr - - 0 - - - - - - - - - - - - - - - - - Covered T2,T3,T17
StAddr - - - 1 - - - - - - - - - - - - - - - - Covered T2,T3,T17
StAddr - - - 0 - - - - - - - - - - - - - - - - Covered T2,T3,T17
StAddr - - - - 1 1 - - - - - - - - - - - - - - Covered T2,T3,T17
StAddr - - - - 1 0 1 - - - - - - - - - - - - - Covered T3,T18,T22
StAddr - - - - 1 0 0 1 - - - - - - - - - - - - Covered T3,T18,T23
StAddr - - - - 1 0 0 0 - - - - - - - - - - - - Covered T3,T23,T28
StAddr - - - - 0 - - - - - - - - - - - - - - - Covered T2,T3,T17
StAddr - - - - - - - - 1 1 - - - - - - - - - - Covered T2,T3,T17
StAddr - - - - - - - - 1 0 - - - - - - - - - - Covered T3,T5,T27
StAddr - - - - - - - - 0 - - - - - - - - - - - Covered T2,T3,T17
StWait - - - - - - - - - - 1 - - - - - - - - - Covered T2,T3,T17
StWait - - - - - - - - - - 0 - - - - - - - - - Covered T2,T3,T17
StStartByte - - - - - - - - - - - 1 1 - - - - - - - Covered T3,T18,T22
StStartByte - - - - - - - - - - - 1 0 1 - - - - - - Covered T2,T3,T17
StStartByte - - - - - - - - - - - 1 0 0 1 - - - - - Covered T2,T3,T17
StStartByte - - - - - - - - - - - 1 0 0 0 - - - - - Not Covered
StStartByte - - - - - - - - - - - 0 - - - - - - - - Covered T2,T3,T17
StReadFifo - - - - - - - - - - - - - - - 1 - - - - Covered T2,T3,T17
StReadFifo - - - - - - - - - - - - - - - 0 - - - - Covered T2,T3,T17
StReadHwReg - - - - - - - - - - - - - - - - 1 - - - Covered T3,T18,T41
StReadHwReg - - - - - - - - - - - - - - - - 0 - - - Covered T3,T18,T22
StWrite - - - - - - - - - - - - - - - - - 1 - - Covered T2,T3,T17
StWrite - - - - - - - - - - - - - - - - - 0 - - Covered T2,T3,T17
StInvalid - - - - - - - - - - - - - - - - - - 1 - Covered T3,T18,T23
StInvalid - - - - - - - - - - - - - - - - - - 0 - Not Covered
StEnd - - - - - - - - - - - - - - - - - - - 1 Covered T2,T3,T17
StEnd - - - - - - - - - - - - - - - - - - - 0 Covered T2,T3,T17
default - - - - - - - - - - - - - - - - - - - - Not Covered


LineNo. Expression -1-: 914 if ((!rst_n)) -2-: 916 if (isck_rd_byte_sent)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T2,T3,T17
0 0 Covered T2,T3,T17


Assert Coverage for Module : spi_tpm
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 18 18 100.00 18 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 18 18 100.00 18 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
CmdAddrAvailable_A 186997894 67477 0 0
CmdAddrBitCntInAddrSt_A 186997894 743936 0 0
CmdAddrInfo_A 186997894 74631 0 0
CmdPowerof2_A 922 922 0 0
DataFifoLessThan64_A 922 922 0 0
DataSelKnown_A 186998803 39346859 0 0
HwRegCondition2_a 186997894 15879 0 0
HwRegCondition_A 186997894 92992 0 0
HwRegIdxKnown_A 186998803 39346859 0 0
LocalityLatchCondition_A 186997894 92992 0 0
RdFifoDepthPoT_A 922 922 0 0
RdFifoNumBytesPoT_A 922 922 0 0
RdPowerof2_A 922 922 0 0
SckFifoAddrLatchCondition_A 186997894 92992 0 0
TpmRegCondition_A 186997894 92992 0 0
TpmRegSizeMatch_A 922 922 0 0
WrDepthSpec_A 922 922 0 0
WrFifoAvailable_A 186997894 579853 0 0


CmdAddrAvailable_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 186997894 67477 0 0
T2 3504 14 0 0
T3 51820 152 0 0
T4 100733 0 0 0
T5 0 499 0 0
T7 175857 0 0 0
T8 74526 0 0 0
T9 20428 0 0 0
T11 11749 0 0 0
T12 140178 0 0 0
T13 15516 0 0 0
T17 4250 16 0 0
T19 0 11 0 0
T23 0 83 0 0
T27 0 587 0 0
T28 0 430 0 0
T29 0 1162 0 0
T31 0 422 0 0

CmdAddrBitCntInAddrSt_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 186997894 743936 0 0
T2 3504 112 0 0
T3 51820 1416 0 0
T4 100733 0 0 0
T5 0 3992 0 0
T7 175857 0 0 0
T8 74526 0 0 0
T9 20428 0 0 0
T11 11749 0 0 0
T12 140178 0 0 0
T13 15516 0 0 0
T17 4250 128 0 0
T18 0 3288 0 0
T19 0 88 0 0
T22 0 8 0 0
T23 0 816 0 0
T27 0 4696 0 0
T41 0 3520 0 0

CmdAddrInfo_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 186997894 74631 0 0
T3 51820 165 0 0
T4 100733 0 0 0
T5 0 385 0 0
T7 175857 0 0 0
T8 74526 0 0 0
T9 20428 0 0 0
T11 11749 0 0 0
T12 140178 0 0 0
T13 15516 0 0 0
T17 4250 0 0 0
T18 101454 411 0 0
T19 0 11 0 0
T22 0 1 0 0
T23 0 73 0 0
T27 0 458 0 0
T28 0 282 0 0
T29 0 902 0 0
T41 0 440 0 0

CmdPowerof2_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 922 922 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0

DataFifoLessThan64_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 922 922 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0

DataSelKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 186998803 39346859 0 0
T2 3505 3504 0 0
T3 51821 47880 0 0
T5 0 245848 0 0
T7 175857 0 0 0
T8 74527 0 0 0
T9 20429 0 0 0
T10 1 0 0 0
T11 11750 0 0 0
T12 140179 0 0 0
T16 1 0 0 0
T17 4251 4112 0 0
T18 0 97072 0 0
T19 0 2896 0 0
T22 0 72 0 0
T23 0 33672 0 0
T27 0 631944 0 0
T41 0 88856 0 0

HwRegCondition2_a
NameAttemptsReal SuccessesFailuresIncomplete
Total 186997894 15879 0 0
T3 51820 14 0 0
T4 100733 0 0 0
T7 175857 0 0 0
T8 74526 0 0 0
T9 20428 0 0 0
T11 11749 0 0 0
T12 140178 0 0 0
T13 15516 0 0 0
T17 4250 0 0 0
T18 101454 262 0 0
T22 0 1 0 0
T23 0 5 0 0
T28 0 45 0 0
T29 0 30 0 0
T41 0 287 0 0
T64 0 306 0 0
T65 0 16 0 0
T66 0 339 0 0

HwRegCondition_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 186997894 92992 0 0
T2 3504 14 0 0
T3 51820 177 0 0
T4 100733 0 0 0
T5 0 499 0 0
T7 175857 0 0 0
T8 74526 0 0 0
T9 20428 0 0 0
T11 11749 0 0 0
T12 140178 0 0 0
T13 15516 0 0 0
T17 4250 16 0 0
T18 0 411 0 0
T19 0 11 0 0
T22 0 1 0 0
T23 0 102 0 0
T27 0 587 0 0
T41 0 440 0 0

HwRegIdxKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 186998803 39346859 0 0
T2 3505 3504 0 0
T3 51821 47880 0 0
T5 0 245848 0 0
T7 175857 0 0 0
T8 74527 0 0 0
T9 20429 0 0 0
T10 1 0 0 0
T11 11750 0 0 0
T12 140179 0 0 0
T16 1 0 0 0
T17 4251 4112 0 0
T18 0 97072 0 0
T19 0 2896 0 0
T22 0 72 0 0
T23 0 33672 0 0
T27 0 631944 0 0
T41 0 88856 0 0

LocalityLatchCondition_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 186997894 92992 0 0
T2 3504 14 0 0
T3 51820 177 0 0
T4 100733 0 0 0
T5 0 499 0 0
T7 175857 0 0 0
T8 74526 0 0 0
T9 20428 0 0 0
T11 11749 0 0 0
T12 140178 0 0 0
T13 15516 0 0 0
T17 4250 16 0 0
T18 0 411 0 0
T19 0 11 0 0
T22 0 1 0 0
T23 0 102 0 0
T27 0 587 0 0
T41 0 440 0 0

RdFifoDepthPoT_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 922 922 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0

RdFifoNumBytesPoT_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 922 922 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0

RdPowerof2_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 922 922 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0

SckFifoAddrLatchCondition_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 186997894 92992 0 0
T2 3504 14 0 0
T3 51820 177 0 0
T4 100733 0 0 0
T5 0 499 0 0
T7 175857 0 0 0
T8 74526 0 0 0
T9 20428 0 0 0
T11 11749 0 0 0
T12 140178 0 0 0
T13 15516 0 0 0
T17 4250 16 0 0
T18 0 411 0 0
T19 0 11 0 0
T22 0 1 0 0
T23 0 102 0 0
T27 0 587 0 0
T41 0 440 0 0

TpmRegCondition_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 186997894 92992 0 0
T2 3504 14 0 0
T3 51820 177 0 0
T4 100733 0 0 0
T5 0 499 0 0
T7 175857 0 0 0
T8 74526 0 0 0
T9 20428 0 0 0
T11 11749 0 0 0
T12 140178 0 0 0
T13 15516 0 0 0
T17 4250 16 0 0
T18 0 411 0 0
T19 0 11 0 0
T22 0 1 0 0
T23 0 102 0 0
T27 0 587 0 0
T41 0 440 0 0

TpmRegSizeMatch_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 922 922 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0

WrDepthSpec_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 922 922 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0

WrFifoAvailable_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 186997894 579853 0 0
T2 3504 32 0 0
T3 51820 1501 0 0
T4 100733 0 0 0
T5 0 3718 0 0
T7 175857 0 0 0
T8 74526 0 0 0
T9 20428 0 0 0
T11 11749 0 0 0
T12 140178 0 0 0
T13 15516 0 0 0
T17 4250 165 0 0
T19 0 140 0 0
T23 0 938 0 0
T27 0 4099 0 0
T28 0 4015 0 0
T29 0 9358 0 0
T31 0 3306 0 0

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