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
95.39 96.31 94.03 97.00 93.33 96.30 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
01CoveredT7,T13,T8
10CoveredT7,T13,T8
11CoveredT4,T1,T5

 LINE       505
 SUB-EXPRESSION (cmdaddr_bitcnt == 5'b0)
                ------------1-----------
-1-StatusTests
0CoveredT4,T1,T5
1CoveredT4,T1,T5

 LINE       505
 SUB-EXPRESSION (sck_st_q == StIdle)
                ----------1---------
-1-StatusTests
0CoveredT4,T1,T5
1CoveredT4,T1,T5

 LINE       507
 EXPRESSION (cmdaddr_bitcnt == 5'h0f)
            ------------1------------
-1-StatusTests
0CoveredT4,T1,T5
1CoveredT7,T13,T8

 LINE       509
 EXPRESSION (cmdaddr_bitcnt == 5'h1d)
            ------------1------------
-1-StatusTests
0CoveredT4,T1,T5
1CoveredT7,T13,T8

 LINE       534
 EXPRESSION (cmdaddr_bitcnt == 5'h1f)
            ------------1------------
-1-StatusTests
0CoveredT4,T1,T5
1CoveredT7,T13,T8

 LINE       584
 EXPRESSION (isck_p2s_sent && (isck_data_sel == SelHwReg))
             ------1------    -------------2-------------
-1--2-StatusTests
01CoveredT7,T13,T23
10CoveredT7,T13,T8
11CoveredT7,T13,T23

 LINE       584
 SUB-EXPRESSION (isck_data_sel == SelHwReg)
                -------------1-------------
-1-StatusTests
0CoveredT4,T1,T5
1CoveredT7,T13,T23

 LINE       595
 EXPRESSION (wrdata_bitcnt == 3'h7)
            -----------1-----------
-1-StatusTests
0CoveredT4,T1,T5
1CoveredT7,T13,T8

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

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

 LINE       642
 SUB-EXPRESSION (addr[23:16] == TpmAddr)
                ------------1-----------
-1-StatusTests
0CoveredT7,T13,T8
1CoveredT7,T13,T8

 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
011111CoveredT8,T23,T15
101111CoveredT7,T13,T23
110111CoveredT7,T13,T23
111011CoveredT7,T13,T23
111101CoveredT7,T13,T23
111110CoveredT7,T13,T23
111111CoveredT7,T13,T23

 LINE       656
 SUB-EXPRESSION (cmd_type == Read)
                ---------1--------
-1-StatusTests
0CoveredT7,T13,T8
1CoveredT7,T13,T8

 LINE       674
 EXPRESSION (TpmReturnByHwAddr[i][11:2] == addr[11:2])
            ---------------------1--------------------
-1-StatusTests
0CoveredT4,T1,T5
1CoveredT4,T1,T5

 LINE       695
 EXPRESSION (latch_locality && is_tpm_reg)
             -------1------    -----2----
-1--2-StatusTests
01CoveredT7,T13,T8
10CoveredT7,T13,T8
11CoveredT7,T13,T8

 LINE       697
 EXPRESSION ((addr[15:12] < 4'(spi_device_reg_pkg::NumLocality)) ? 1'b0 : 1'b1)
             -------------------------1-------------------------
-1-StatusTests
0CoveredT7,T13,T8
1CoveredT7,T13,T8

 LINE       724
 EXPRESSION ((isck_p2s_sent && sck_rddata_shift_en) || (sck_wrfifo_wvalid && wrdata_shift_en))
             -------------------1------------------    -------------------2------------------
-1--2-StatusTests
00CoveredT7,T13,T8
01CoveredT7,T13,T8
10CoveredT7,T13,T8

 LINE       724
 SUB-EXPRESSION (isck_p2s_sent && sck_rddata_shift_en)
                 ------1------    ---------2---------
-1--2-StatusTests
01CoveredT7,T13,T8
10CoveredT7,T13,T8
11CoveredT7,T13,T8

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

 LINE       730
 EXPRESSION (xfer_bytes_q == xfer_size)
            -------------1-------------
-1-StatusTests
0CoveredT4,T1,T5
1CoveredT4,T1,T5

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

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

 LINE       787
 SUB-EXPRESSION (4'(i) == locality)
                ---------1---------
-1-StatusTests
0CoveredT4,T1,T5
1CoveredT4,T1,T5

 LINE       812
 EXPRESSION (((!invalid_locality)) && sys_active_locality[locality[2:0]])
             ----------1----------    -----------------2----------------
-1--2-StatusTests
01Not Covered
10CoveredT13,T23,T89
11CoveredT7,T13,T23

 LINE       868
 EXPRESSION (isck_p2s_valid && (isck_p2s_bitcnt == '0))
             -------1------    -----------2-----------
-1--2-StatusTests
01CoveredT7,T13,T8
10CoveredT7,T13,T8
11CoveredT7,T13,T8

 LINE       868
 SUB-EXPRESSION (isck_p2s_bitcnt == '0)
                -----------1-----------
-1-StatusTests
0CoveredT4,T1,T5
1CoveredT7,T13,T8

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

 LINE       897
 SUB-EXPRESSION (isck_data_sel == SelRdFifo)
                --------------1-------------
-1-StatusTests
0CoveredT4,T1,T5
1CoveredT7,T13,T8

 LINE       922
 EXPRESSION (isck_rd_byte_sent && ((&isck_rdfifo_idx)))
             --------1--------    ----------2---------
-1--2-StatusTests
01CoveredT7,T13,T8
10CoveredT7,T13,T8
11CoveredT7,T13,T8

 LINE       977
 EXPRESSION (cmdaddr_bitcnt == 5'h07)
            ------------1------------
-1-StatusTests
0CoveredT4,T1,T5
1CoveredT7,T13,T8

 LINE       999
 EXPRESSION (cmdaddr_bitcnt == 5'h13)
            ------------1------------
-1-StatusTests
0CoveredT7,T13,T8
1CoveredT7,T13,T8

 LINE       1010
 EXPRESSION ((cmdaddr_bitcnt == 5'h1f) && (cmd_type == Read))
             ------------1------------    ---------2--------
-1--2-StatusTests
01CoveredT7,T13,T8
10CoveredT7,T13,T8
11CoveredT7,T13,T8

 LINE       1010
 SUB-EXPRESSION (cmdaddr_bitcnt == 5'h1f)
                ------------1------------
-1-StatusTests
0CoveredT7,T13,T8
1CoveredT7,T13,T8

 LINE       1010
 SUB-EXPRESSION (cmd_type == Read)
                ---------1--------
-1-StatusTests
0CoveredT7,T13,T8
1CoveredT7,T13,T8

 LINE       1011
 EXPRESSION (((!is_tpm_reg)) || sys_clk_tpm_cfg.tpm_mode)
             -------1-------    ------------2-----------
-1--2-StatusTests
00CoveredT7,T13,T23
01CoveredT8,T23,T15
10CoveredT7,T13,T23

 LINE       1021
 EXPRESSION (invalid_locality && sys_clk_tpm_cfg.invalid_locality)
             --------1-------    ----------------2---------------
-1--2-StatusTests
01CoveredT7,T13,T23
10CoveredT7,T13,T23
11CoveredT7,T13,T23

 LINE       1033
 EXPRESSION ((cmdaddr_bitcnt == 5'h1f) && (cmd_type == Write))
             ------------1------------    ---------2---------
-1--2-StatusTests
01CoveredT7,T13,T8
10CoveredT7,T13,T8
11CoveredT7,T13,T8

 LINE       1033
 SUB-EXPRESSION (cmdaddr_bitcnt == 5'h1f)
                ------------1------------
-1-StatusTests
0CoveredT7,T13,T8
1CoveredT7,T13,T8

 LINE       1033
 SUB-EXPRESSION (cmd_type == Write)
                ---------1---------
-1-StatusTests
0CoveredT7,T13,T8
1CoveredT7,T13,T8

 LINE       1056
 EXPRESSION (isck_p2s_sent && (((cmd_type == Read) && enough_payload_in_rdfifo) || ((cmd_type == Write) && ((~|sck_wrfifo_wdepth)))))
             ------1------    ---------------------------------------------------2--------------------------------------------------
-1--2-StatusTests
01CoveredT7,T13,T8
10CoveredT7,T13,T8
11CoveredT7,T13,T8

 LINE       1056
 SUB-EXPRESSION (((cmd_type == Read) && enough_payload_in_rdfifo) || ((cmd_type == Write) && ((~|sck_wrfifo_wdepth))))
                 ------------------------1-----------------------    ------------------------2-----------------------
-1--2-StatusTests
00CoveredT7,T13,T8
01CoveredT7,T13,T8
10CoveredT7,T13,T8

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

 LINE       1056
 SUB-EXPRESSION (cmd_type == Read)
                ---------1--------
-1-StatusTests
0CoveredT7,T13,T8
1CoveredT7,T13,T8

 LINE       1056
 SUB-EXPRESSION ((cmd_type == Write) && ((~|sck_wrfifo_wdepth)))
                 ---------1---------    -----------2-----------
-1--2-StatusTests
01CoveredT7,T13,T8
10CoveredT7,T13,T8
11CoveredT7,T13,T8

 LINE       1056
 SUB-EXPRESSION (cmd_type == Write)
                ---------1---------
-1-StatusTests
0CoveredT7,T13,T8
1CoveredT7,T13,T8

 LINE       1069
 EXPRESSION ((cmd_type == Read) && is_hw_reg)
             ---------1--------    ----2----
-1--2-StatusTests
01Not Covered
10CoveredT7,T13,T8
11CoveredT7,T13,T23

 LINE       1069
 SUB-EXPRESSION (cmd_type == Read)
                ---------1--------
-1-StatusTests
0CoveredT7,T13,T8
1CoveredT7,T13,T8

 LINE       1071
 EXPRESSION (cmd_type == Read)
            ---------1--------
-1-StatusTests
0CoveredT7,T13,T8
1CoveredT7,T13,T8

 LINE       1073
 EXPRESSION (cmd_type == Write)
            ---------1---------
-1-StatusTests
0Not Covered
1CoveredT7,T13,T8

 LINE       1088
 EXPRESSION (isck_p2s_sent && xfer_size_met)
             ------1------    ------2------
-1--2-StatusTests
01CoveredT7,T13,T8
10CoveredT7,T13,T8
11CoveredT7,T13,T8

 LINE       1099
 EXPRESSION (isck_p2s_sent && xfer_size_met)
             ------1------    ------2------
-1--2-StatusTests
01CoveredT7,T13,T23
10CoveredT7,T13,T23
11CoveredT7,T13,T23

 LINE       1109
 EXPRESSION (sck_wrfifo_wvalid && xfer_size_met)
             --------1--------    ------2------
-1--2-StatusTests
01CoveredT7,T13,T8
10CoveredT7,T13,T8
11CoveredT7,T13,T8

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

 LINE       1125
 EXPRESSION (cmd_type == Read)
            ---------1--------
-1-StatusTests
0CoveredT7,T13,T8
1CoveredT7,T13,T8

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 T7,T13,T8
StEnd 989 Covered T7,T13,T8
StIdle 974 Covered T4,T1,T5
StInvalid 1024 Covered T7,T13,T23
StReadFifo 1072 Covered T7,T13,T8
StReadHwReg 1070 Covered T7,T13,T23
StStartByte 1020 Covered T7,T13,T8
StWait 1014 Covered T7,T13,T8
StWrite 1074 Covered T7,T13,T8


transitionsLine No.CoveredTests
StAddr->StInvalid 1024 Covered T7,T13,T23
StAddr->StStartByte 1020 Covered T7,T13,T8
StAddr->StWait 1014 Covered T7,T13,T8
StIdle->StAddr 979 Covered T7,T13,T8
StIdle->StEnd 989 Not Covered
StReadFifo->StEnd 1089 Covered T7,T13,T8
StReadHwReg->StEnd 1100 Covered T7,T13,T23
StStartByte->StReadFifo 1072 Covered T7,T13,T8
StStartByte->StReadHwReg 1070 Covered T7,T13,T23
StStartByte->StWrite 1074 Covered T7,T13,T8
StWait->StStartByte 1059 Covered T7,T13,T8
StWrite->StEnd 1110 Covered T7,T13,T8



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 T4,T1,T5
0 1 Covered T7,T13,T8
0 0 Covered T4,T1,T5


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

Branches:
-1-StatusTests
1 Covered T4,T1,T5
0 Covered T7,T13,T8


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

Branches:
-1--2-StatusTests
1 - Covered T4,T1,T5
0 1 Covered T7,T13,T8
0 0 Covered T7,T13,T8


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

Branches:
-1-StatusTests
1 Covered T4,T1,T5
0 Covered T7,T13,T8


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

Branches:
-1--2-StatusTests
1 - Covered T4,T1,T5
0 1 Covered T7,T13,T8
0 0 Covered T7,T13,T8


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 T4,T1,T5
0 1 - Covered T7,T13,T8
0 0 1 Covered T7,T13,T23
0 0 0 Covered T7,T13,T8


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

Branches:
-1--2-StatusTests
1 - Covered T4,T1,T5
0 1 Covered T7,T13,T8
0 0 Covered T7,T13,T8


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

Branches:
-1--2-StatusTests
1 - Covered T4,T1,T5
0 1 Covered T7,T13,T8
0 0 Covered T7,T13,T8


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

Branches:
-1-StatusTests
check_tpm_reg Covered T7,T13,T8
latch_locality Covered T7,T13,T8
check_hw_reg Covered T7,T13,T8
default Covered T4,T1,T5


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 T4,T1,T5
0 1 Covered T7,T13,T8
0 0 Covered T7,T13,T8


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 T4,T1,T5
0 1 Covered T7,T13,T23
0 0 Covered T7,T13,T8


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

Branches:
-1-StatusTests
1 Covered T4,T1,T5
0 Covered T4,T1,T5


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

Branches:
-1-StatusTests
1 Covered T4,T1,T5
0 Covered T7,T13,T8


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 T4,T1,T5
0 1 1 Covered T7,T13,T8
0 1 0 Covered T7,T13,T8
0 0 - Covered T7,T13,T8


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

Branches:
-1--2-StatusTests
1 - Covered T4,T1,T5
0 1 Covered T7,T13,T8
0 0 Covered T7,T13,T8


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

Branches:
-1--2-StatusTests
1 - Covered T4,T1,T5
0 1 Covered T7,T13,T8
0 0 Covered T7,T13,T8


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 T4,T1,T5
0 1 Covered T7,T13,T8
0 0 Covered T7,T13,T8


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

Branches:
-1-StatusTests
SelWait Covered T4,T1,T5
SelStart Covered T7,T13,T8
SelInvalid Covered T7,T13,T23
SelHwReg Covered T7,T13,T23
SelRdFifo Covered T7,T13,T8
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 T4,T1,T5
RegIntEn - Covered T13,T23,T93
RegIntVect - Covered T13,T23,T91
RegIntSts - Covered T7,T13,T23
RegIntfCap - Covered T93,T95,T96
RegSts 1 Covered T7,T13,T23
RegSts 0 Covered T13,T23,T89
RegHashStart - Covered T13,T23,T91
RegId - Covered T13,T23,T91
RegRid - Covered T7,T13,T23
default - Not Covered


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

Branches:
-1-StatusTests
1 Covered T4,T1,T5
0 Covered T7,T13,T8


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

Branches:
-1-StatusTests
1 Covered T4,T1,T5
0 Covered T7,T13,T8


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

Branches:
-1-StatusTests
1 Covered T4,T1,T5
0 Covered T7,T13,T8


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 T7,T13,T8
StIdle 1 0 - - - - - - - - - - - - - - - - - - Not Covered
StIdle 0 - - - - - - - - - - - - - - - - - - - Covered T4,T1,T5
StAddr - - 1 - - - - - - - - - - - - - - - - - Covered T7,T13,T8
StAddr - - 0 - - - - - - - - - - - - - - - - - Covered T7,T13,T8
StAddr - - - 1 - - - - - - - - - - - - - - - - Covered T7,T13,T8
StAddr - - - 0 - - - - - - - - - - - - - - - - Covered T7,T13,T8
StAddr - - - - 1 1 - - - - - - - - - - - - - - Covered T7,T13,T8
StAddr - - - - 1 0 1 - - - - - - - - - - - - - Covered T7,T13,T23
StAddr - - - - 1 0 0 1 - - - - - - - - - - - - Covered T7,T13,T23
StAddr - - - - 1 0 0 0 - - - - - - - - - - - - Covered T7,T13,T23
StAddr - - - - 0 - - - - - - - - - - - - - - - Covered T7,T13,T8
StAddr - - - - - - - - 1 1 - - - - - - - - - - Covered T7,T13,T8
StAddr - - - - - - - - 1 0 - - - - - - - - - - Covered T7,T13,T8
StAddr - - - - - - - - 0 - - - - - - - - - - - Covered T7,T13,T8
StWait - - - - - - - - - - 1 - - - - - - - - - Covered T7,T13,T8
StWait - - - - - - - - - - 0 - - - - - - - - - Covered T7,T13,T8
StStartByte - - - - - - - - - - - 1 1 - - - - - - - Covered T7,T13,T23
StStartByte - - - - - - - - - - - 1 0 1 - - - - - - Covered T7,T13,T8
StStartByte - - - - - - - - - - - 1 0 0 1 - - - - - Covered T7,T13,T8
StStartByte - - - - - - - - - - - 1 0 0 0 - - - - - Not Covered
StStartByte - - - - - - - - - - - 0 - - - - - - - - Covered T7,T13,T8
StReadFifo - - - - - - - - - - - - - - - 1 - - - - Covered T7,T13,T8
StReadFifo - - - - - - - - - - - - - - - 0 - - - - Covered T7,T13,T8
StReadHwReg - - - - - - - - - - - - - - - - 1 - - - Covered T7,T13,T23
StReadHwReg - - - - - - - - - - - - - - - - 0 - - - Covered T7,T13,T23
StWrite - - - - - - - - - - - - - - - - - 1 - - Covered T7,T13,T8
StWrite - - - - - - - - - - - - - - - - - 0 - - Covered T7,T13,T8
StInvalid - - - - - - - - - - - - - - - - - - 1 - Covered T7,T13,T23
StInvalid - - - - - - - - - - - - - - - - - - 0 - Not Covered
StEnd - - - - - - - - - - - - - - - - - - - 1 Covered T7,T13,T8
StEnd - - - - - - - - - - - - - - - - - - - 0 Covered T7,T13,T8
default - - - - - - - - - - - - - - - - - - - - Not Covered


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

Branches:
-1--2-StatusTests
1 - Covered T4,T1,T5
0 1 Covered T7,T13,T8
0 0 Covered T7,T13,T8


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 397838743 57153 0 0
CmdAddrBitCntInAddrSt_A 397838743 654328 0 0
CmdAddrInfo_A 397838743 67092 0 0
CmdPowerof2_A 1612 1612 0 0
DataFifoLessThan64_A 1612 1612 0 0
DataSelKnown_A 397839971 33116566 0 0
HwRegCondition2_a 397838743 15514 0 0
HwRegCondition_A 397838743 81791 0 0
HwRegIdxKnown_A 397839971 33116566 0 0
LocalityLatchCondition_A 397838743 81791 0 0
RdFifoDepthPoT_A 1612 1612 0 0
RdFifoNumBytesPoT_A 1612 1612 0 0
RdPowerof2_A 1612 1612 0 0
SckFifoAddrLatchCondition_A 397838743 81791 0 0
TpmRegCondition_A 397838743 81791 0 0
TpmRegSizeMatch_A 1612 1612 0 0
WrDepthSpec_A 1612 1612 0 0
WrFifoAvailable_A 397838743 487924 0 0


CmdAddrAvailable_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 397838743 57153 0 0
T7 131277 74 0 0
T8 146466 123 0 0
T12 148629 0 0 0
T13 122009 153 0 0
T15 0 558 0 0
T16 0 93 0 0
T18 0 233 0 0
T23 114645 622 0 0
T24 29758 0 0 0
T25 4737 0 0 0
T26 67201 0 0 0
T37 33 0 0 0
T91 0 168 0 0
T92 11440 0 0 0
T93 0 611 0 0
T94 0 5 0 0

CmdAddrBitCntInAddrSt_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 397838743 654328 0 0
T7 131277 688 0 0
T8 146466 984 0 0
T12 148629 0 0 0
T13 122009 1680 0 0
T15 0 4464 0 0
T16 0 768 0 0
T18 0 1864 0 0
T23 114645 5592 0 0
T24 29758 0 0 0
T25 4737 0 0 0
T26 67201 0 0 0
T37 33 0 0 0
T89 0 64 0 0
T90 0 88 0 0
T91 0 1480 0 0
T92 11440 0 0 0

CmdAddrInfo_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 397838743 67092 0 0
T7 131277 63 0 0
T8 146466 85 0 0
T12 148629 0 0 0
T13 122009 182 0 0
T15 0 439 0 0
T16 0 53 0 0
T18 0 143 0 0
T23 114645 554 0 0
T24 29758 0 0 0
T25 4737 0 0 0
T26 67201 0 0 0
T37 33 0 0 0
T89 0 8 0 0
T90 0 11 0 0
T91 0 131 0 0
T92 11440 0 0 0

CmdPowerof2_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1612 1612 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T27 1 1 0 0

DataFifoLessThan64_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1612 1612 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T27 1 1 0 0

DataSelKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 397839971 33116566 0 0
T7 131277 25464 0 0
T8 146466 62768 0 0
T12 148630 0 0 0
T13 122010 119896 0 0
T15 0 431776 0 0
T16 0 30128 0 0
T18 0 113800 0 0
T23 114645 246480 0 0
T24 29759 0 0 0
T25 4737 0 0 0
T26 67202 0 0 0
T37 34 0 0 0
T89 0 576 0 0
T90 0 792 0 0
T91 0 47664 0 0
T92 11441 0 0 0

HwRegCondition2_a
NameAttemptsReal SuccessesFailuresIncomplete
Total 397838743 15514 0 0
T7 131277 6 0 0
T12 148629 0 0 0
T13 122009 32 0 0
T14 860874 0 0 0
T23 114645 38 0 0
T24 29758 0 0 0
T25 4737 0 0 0
T26 67201 0 0 0
T37 33 0 0 0
T89 0 8 0 0
T90 0 11 0 0
T91 0 12 0 0
T92 11440 0 0 0
T93 0 76 0 0
T97 0 235 0 0
T98 0 16 0 0
T99 0 439 0 0

HwRegCondition_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 397838743 81791 0 0
T7 131277 86 0 0
T8 146466 123 0 0
T12 148629 0 0 0
T13 122009 210 0 0
T15 0 558 0 0
T16 0 96 0 0
T18 0 233 0 0
T23 114645 699 0 0
T24 29758 0 0 0
T25 4737 0 0 0
T26 67201 0 0 0
T37 33 0 0 0
T89 0 8 0 0
T90 0 11 0 0
T91 0 185 0 0
T92 11440 0 0 0

HwRegIdxKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 397839971 33116566 0 0
T7 131277 25464 0 0
T8 146466 62768 0 0
T12 148630 0 0 0
T13 122010 119896 0 0
T15 0 431776 0 0
T16 0 30128 0 0
T18 0 113800 0 0
T23 114645 246480 0 0
T24 29759 0 0 0
T25 4737 0 0 0
T26 67202 0 0 0
T37 34 0 0 0
T89 0 576 0 0
T90 0 792 0 0
T91 0 47664 0 0
T92 11441 0 0 0

LocalityLatchCondition_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 397838743 81791 0 0
T7 131277 86 0 0
T8 146466 123 0 0
T12 148629 0 0 0
T13 122009 210 0 0
T15 0 558 0 0
T16 0 96 0 0
T18 0 233 0 0
T23 114645 699 0 0
T24 29758 0 0 0
T25 4737 0 0 0
T26 67201 0 0 0
T37 33 0 0 0
T89 0 8 0 0
T90 0 11 0 0
T91 0 185 0 0
T92 11440 0 0 0

RdFifoDepthPoT_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1612 1612 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T27 1 1 0 0

RdFifoNumBytesPoT_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1612 1612 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T27 1 1 0 0

RdPowerof2_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1612 1612 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T27 1 1 0 0

SckFifoAddrLatchCondition_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 397838743 81791 0 0
T7 131277 86 0 0
T8 146466 123 0 0
T12 148629 0 0 0
T13 122009 210 0 0
T15 0 558 0 0
T16 0 96 0 0
T18 0 233 0 0
T23 114645 699 0 0
T24 29758 0 0 0
T25 4737 0 0 0
T26 67201 0 0 0
T37 33 0 0 0
T89 0 8 0 0
T90 0 11 0 0
T91 0 185 0 0
T92 11440 0 0 0

TpmRegCondition_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 397838743 81791 0 0
T7 131277 86 0 0
T8 146466 123 0 0
T12 148629 0 0 0
T13 122009 210 0 0
T15 0 558 0 0
T16 0 96 0 0
T18 0 233 0 0
T23 114645 699 0 0
T24 29758 0 0 0
T25 4737 0 0 0
T26 67201 0 0 0
T37 33 0 0 0
T89 0 8 0 0
T90 0 11 0 0
T91 0 185 0 0
T92 11440 0 0 0

TpmRegSizeMatch_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1612 1612 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T27 1 1 0 0

WrDepthSpec_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1612 1612 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T27 1 1 0 0

WrFifoAvailable_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 397838743 487924 0 0
T7 131277 652 0 0
T8 146466 781 0 0
T12 148629 0 0 0
T13 122009 1313 0 0
T15 0 4092 0 0
T16 0 789 0 0
T18 0 2456 0 0
T23 114645 4953 0 0
T24 29758 0 0 0
T25 4737 0 0 0
T26 67201 0 0 0
T37 33 0 0 0
T91 0 1198 0 0
T92 11440 0 0 0
T93 0 5618 0 0
T94 0 4 0 0

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