Unified Coverage Report :: Module :: spi_tpm

Module : spi_tpm

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
95.79	99.29	91.20		91.67	96.77	100.00

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

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.u_spi_tpm	95.79	99.29	91.20		91.67	96.77	100.00

---

Module Instance : tb.dut.u_spi_tpm

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
95.79	99.29	91.20		91.67	96.77	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
92.81	99.28	85.25		91.67	95.68	92.16

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
91.63	93.89	84.31	97.00		87.50	95.45	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
u_arbiter	87.57	100.00	76.47			92.86	80.95
u_cmdaddr_buffer	92.67	100.00	76.92			93.75	100.00
u_csb_sync_rst	100.00	100.00	100.00			100.00
u_hw_reg_slice	100.00	100.00					100.00
u_rdfifo_ready	100.00	100.00				100.00
u_sram_fifo	89.23	95.00	78.57			83.33	100.00
u_tpm_rd_buffer	89.74	100.00	69.23			100.00
u_tpm_wr_buffer	96.15	100.00	84.62			100.00	100.00
u_wrfifo_busy_sync	100.00	100.00				100.00
u_wrfifo_release_reqack	87.50	100.00	50.00			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.	Total	Covered	Percent
TOTAL		282	280	99.29
CONT_ASSIGN	335	1	1	100.00
CONT_ASSIGN	349	1	1	100.00
CONT_ASSIGN	374	1	1	100.00
CONT_ASSIGN	492	1	1	100.00
CONT_ASSIGN	493	1	1	100.00
CONT_ASSIGN	521	1	1	100.00
ALWAYS	525	8	8	100.00
ALWAYS	542	3	3	100.00
ALWAYS	555	4	4	100.00
CONT_ASSIGN	564	1	1	100.00
CONT_ASSIGN	566	1	1	100.00
CONT_ASSIGN	591	1	1	100.00
ALWAYS	594	3	3	100.00
ALWAYS	602	4	4	100.00
ALWAYS	610	3	3	100.00
ALWAYS	620	6	6	100.00
CONT_ASSIGN	637	1	1	100.00
CONT_ASSIGN	644	1	1	100.00
ALWAYS	648	4	4	100.00
CONT_ASSIGN	655	1	1	100.00
ALWAYS	658	4	4	100.00
CONT_ASSIGN	665	1	1	100.00
CONT_ASSIGN	667	1	1	100.00
CONT_ASSIGN	680	1	1	100.00
ALWAYS	683	6	6	100.00
CONT_ASSIGN	706	1	1	100.00
ALWAYS	709	6	6	100.00
ALWAYS	721	4	4	100.00
ALWAYS	743	3	3	100.00
ALWAYS	751	3	3	100.00
ALWAYS	763	6	6	100.00
ALWAYS	780	6	6	100.00
ALWAYS	796	3	3	100.00
ALWAYS	802	6	6	100.00
ALWAYS	813	4	4	100.00
ALWAYS	823	4	4	100.00
ALWAYS	832	4	4	100.00
CONT_ASSIGN	839	1	1	100.00
CONT_ASSIGN	840	1	1	100.00
ALWAYS	852	6	6	100.00
ALWAYS	863	6	6	100.00
ALWAYS	873	3	3	100.00
ALWAYS	893	7	7	100.00
ALWAYS	935	15	15	100.00
ALWAYS	1012	3	3	100.00
CONT_ASSIGN	1021	1	1	100.00
ALWAYS	1024	3	3	100.00
CONT_ASSIGN	1044	1	1	100.00
CONT_ASSIGN	1045	1	1	100.00
CONT_ASSIGN	1049	1	1	100.00
ALWAYS	1052	3	3	100.00
ALWAYS	1064	4	4	100.00
CONT_ASSIGN	1073	1	1	100.00
ALWAYS	1095	3	3	100.00
ALWAYS	1123	72	71	98.61
CONT_ASSIGN	1373	1	1	100.00
CONT_ASSIGN	1375	1	1	100.00
ALWAYS	1382	6	6	100.00
ALWAYS	1394	8	8	100.00
ALWAYS	1409	6	6	100.00
CONT_ASSIGN	1425	1	1	100.00
CONT_ASSIGN	1428	1	0	0.00
CONT_ASSIGN	1459	1	1	100.00
CONT_ASSIGN	1465	1	1	100.00
ALWAYS	1470	6	6	100.00
ALWAYS	1480	4	4	100.00
CONT_ASSIGN	1489	1	1	100.00
CONT_ASSIGN	1490	1	1	100.00
CONT_ASSIGN	1522	1	1	100.00
CONT_ASSIGN	1556	1	1	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, so annotated line coverage report could not be generated.

Line No.	Covered	Statements
335	1	1
349	1	1
374	1	1
492	1	1
493	1	1
521	1	1
525	1	1
526	1	1
527	1	1
529	1	1
530	1	1
531	1	1
532	1	1
533	1	1
			MISSING_ELSE
542	1	1
543	1	1
545	1	1
555	1	1
556	1	1
557	1	1
558	1	1
			MISSING_ELSE
564	1	1
566	1	1
591	1	1
594	1	1
595	1	1
597	1	1
602	1	1
603	1	1
604	1	1
605	1	1
			MISSING_ELSE
610	1	1
611	1	1
613	1	1
620	1	1
621	1	1
622	1	1
624	1	1
625	1	1
626	1	1
			MISSING_ELSE
637	1	1
644	1	1
648	1	1
649	1	1
650	1	1
651	1	1
			MISSING_ELSE
655	1	1
658	1	1
659	1	1
660	1	1
661	1	1
			MISSING_ELSE
665	1	1
667	1	1
680	1	1
683	1	1
684	1	1
685	1	1
686	1	1
687	1	1
688	1	1
			MISSING_ELSE
706	1	1
709	1	1
710	1	1
711	1	1
712	1	1
713	1	1
714	1	1
			MISSING_ELSE
721	1	1
722	1	1
727	1	1
733	1	1
743	1	1
744	1	1
746	1	1
			MISSING_ELSE
751	1	1
752	1	1
754	1	1
763	1	1
764	1	1
765	1	1
766	1	1
774	1	1
775	1	1
			MISSING_ELSE
780	1	1
781	1	1
783	1	1
784	1	1
785	1	1
786	1	1
			MISSING_ELSE
796	2	2
797	1	1
802	1	1
803	1	1
804	1	1
805	1	1
806	1	1
807	1	1
			MISSING_ELSE
813	1	1
814	1	1
815	1	1
817	1	1
			MISSING_ELSE
823	1	1
824	1	1
825	1	1
826	1	1
			MISSING_ELSE
832	1	1
833	1	1
834	1	1
836	1	1
			MISSING_ELSE
839	1	1
840	1	1
852	1	1
853	1	1
854	1	1
855	1	1
856	1	1
857	1	1
			MISSING_ELSE
863	1	1
864	1	1
865	1	1
866	1	1
867	1	1
868	1	1
			MISSING_ELSE
873	1	1
874	1	1
876	1	1
893	1	1
895	1	1
897	1	1
901	1	1
905	1	1
909	1	1
913	1	1
935	1	1
937	1	1
939	1	1
940	1	1
941	1	1
			MISSING_ELSE
948	1	1
952	1	1
956	1	1
960	1	1
965	1	1
967	1	1
969	1	1
974	1	1
978	1	1
982	1	1
1012	1	1
1013	1	1
1015	1	1
1021	1	1
1024	2	2
1025	1	1
1044	1	1
1045	1	1
1049	1	1
1052	1	1
1053	1	1
1055	1	1
1064	1	1
1065	1	1
1066	1	1
1067	1	1
			MISSING_ELSE
1073	1	1
1095	1	1
1096	1	1
1098	1	1
1123	1	1
1126	1	1
1127	1	1
1129	1	1
1130	1	1
1131	1	1
1133	1	1
1134	1	1
1140	1	1
1142	1	1
1144	1	1
1146	1	1
1147	1	1
1148	1	1
1150	1	1
1158	0	1
			MISSING_ELSE
1165	1	1
1167	1	1
1169	1	1
1170	1	1
			MISSING_ELSE
1174	1	1
1175	1	1
			MISSING_ELSE
1179	1	1
1180	1	1
1183	1	1
1188	1	1
1189	1	1
			MISSING_ELSE
1191	1	1
1194	1	1
1195	1	1
1198	1	1
1201	1	1
1206	1	1
1207	1	1
			MISSING_ELSE
			MISSING_ELSE
1212	1	1
1213	1	1
1215	1	1
1219	1	1
			MISSING_ELSE
1225	1	1
1226	1	1
1229	1	1
1230	1	1
			MISSING_ELSE
1234	1	1
1237	1	1
			MISSING_ELSE
1242	1	1
1243	1	1
1245	1	1
1247	1	1
1248	1	1
1249	1	1
1250	1	1
1251	1	1
1252	1	1
			==> MISSING_ELSE
			MISSING_ELSE
1258	1	1
1260	1	1
1261	1	1
1263	1	1
1264	1	1
			MISSING_ELSE
1269	1	1
1270	1	1
1274	1	1
1275	1	1
			MISSING_ELSE
1280	1	1
1283	1	1
1285	1	1
1286	1	1
			MISSING_ELSE
1292	1	1
1293	1	1
1294	1	1
			==> MISSING_ELSE
1299	1	1
1300	1	1
1301	1	1
			MISSING_ELSE
1373	1	1
1375	1	1
1382	1	1
1383	1	1
1384	1	1
1385	1	1
1386	1	1
1387	1	1
			MISSING_ELSE
1394	1	1
1395	1	1
1396	1	1
1400	1	1
1401	1	1
1402	1	1
1403	1	1
1404	1	1
			MISSING_ELSE
1409	1	1
1410	1	1
1411	1	1
1417	1	1
1418	1	1
1419	1	1
			MISSING_ELSE
1425	1	1
1428	0	1
1459	1	1
1465	1	1
1470	1	1
1471	1	1
1472	1	1
1473	1	1
1474	1	1
1475	1	1
			MISSING_ELSE
1480	1	1
1481	1	1
1482	1	1
1483	1	1
			MISSING_ELSE
1489	1	1
1490	1	1
1522	1	1
1556	1	1

---

Cond Coverage for Module : spi_tpm

	Total	Covered	Percent
Conditions	216	197	91.20
Logical	216	197	91.20
Non-Logical	0	0
Event	0	0

 LINE       564
 EXPRESSION ((cmdaddr_bitcnt == 5'b0) && (sck_st_q == StIdle))
             ------------1-----------    ----------2---------

-1-	-2-	Status	Tests
0	1	Covered	T2,T4,T6
1	0	Covered	T2,T4,T6
1	1	Covered	T1,T2,T3

 LINE       564
 SUB-EXPRESSION (cmdaddr_bitcnt == 5'b0)
                ------------1-----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       564
 SUB-EXPRESSION (sck_st_q == StIdle)
                ----------1---------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       566
 EXPRESSION (cmdaddr_bitcnt == 5'h1d)
            ------------1------------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T2,T4,T6

 LINE       591
 EXPRESSION (cmdaddr_bitcnt == 5'h1f)
            ------------1------------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T2,T4,T6

 LINE       644
 EXPRESSION (isck_p2s_sent && (isck_data_sel == SelHwReg))
             ------1------    -------------2-------------

-1-	-2-	Status	Tests
0	1	Covered	T2,T4,T16
1	0	Covered	T2,T4,T6
1	1	Covered	T2,T4,T16

 LINE       644
 SUB-EXPRESSION (isck_data_sel == SelHwReg)
                -------------1-------------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T2,T4,T16

 LINE       655
 EXPRESSION (wrdata_bitcnt == 3'h7)
            -----------1-----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T6,T16,T17

 LINE       711
 EXPRESSION (sck_cmdaddr_wvalid && (cmd_type == Write))
             ---------1--------    ---------2---------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T6,T16,T17
1	1	Covered	T6,T16,T17

 LINE       711
 SUB-EXPRESSION (cmd_type == Write)
                ---------1---------

-1-	Status	Tests
0	Covered	T2,T4,T6
1	Covered	T1,T2,T3

 LINE       744
 EXPRESSION (check_locality && (sys_clk_tpm_cfg.tpm_reg_chk_dis || (addr[23:16] == TpmAddr)))
             -------1------    ------------------------------2------------------------------

-1-	-2-	Status	Tests
0	1	Covered	T2,T4,T6
1	0	Covered	T6,T16,T17
1	1	Covered	T2,T4,T6

 LINE       744
 SUB-EXPRESSION (sys_clk_tpm_cfg.tpm_reg_chk_dis || (addr[23:16] == TpmAddr))
                 ---------------1---------------    ------------2-----------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T2,T4,T6
1	0	Covered	T6,T16,T17

 LINE       744
 SUB-EXPRESSION (addr[23:16] == TpmAddr)
                ------------1-----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T2,T4,T6

 LINE       766
 EXPRESSION (((!sys_clk_tpm_cfg.tpm_mode)) && check_hw_reg && (cmd_type == Read) && is_tpm_reg_q && ((!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	Covered	T6,T17,T29
1	0	1	1	1	1	Covered	T2,T4,T16
1	1	0	1	1	1	Covered	T16,T24,T26
1	1	1	0	1	1	Covered	T16,T24,T26
1	1	1	1	0	1	Covered	T2,T4,T16
1	1	1	1	1	0	Covered	T16,T26,T28
1	1	1	1	1	1	Covered	T2,T4,T16

 LINE       766
 SUB-EXPRESSION (cmd_type == Read)
                ---------1--------

-1-	Status	Tests
0	Covered	T2,T4,T6
1	Covered	T2,T4,T6

 LINE       784
 EXPRESSION (TpmReturnByHwAddr[i][11:2] == addr[11:2])
            ---------------------1--------------------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       805
 EXPRESSION (check_locality && is_tpm_reg_d)
             -------1------    ------2-----

-1-	-2-	Status	Tests
0	1	Covered	T2,T4,T6
1	0	Covered	T6,T16,T17
1	1	Covered	T2,T4,T6

 LINE       807
 EXPRESSION ((addr[15:12] < 4'(spi_device_reg_pkg::NumLocality)) ? 1'b0 : 1'b1)
             -------------------------1-------------------------

-1-	Status	Tests
0	Covered	T2,T4,T6
1	Covered	T2,T4,T6

 LINE       834
 EXPRESSION ((isck_p2s_sent && sck_rddata_shift_en) || (sck_wrfifo_wvalid && wrdata_shift_en))
             -------------------1------------------    -------------------2------------------

-1-	-2-	Status	Tests
0	0	Covered	T2,T4,T6
0	1	Covered	T6,T16,T17
1	0	Covered	T6,T16,T17

 LINE       834
 SUB-EXPRESSION (isck_p2s_sent && sck_rddata_shift_en)
                 ------1------    ---------2---------

-1-	-2-	Status	Tests
0	1	Covered	T6,T16,T17
1	0	Covered	T2,T4,T6
1	1	Covered	T6,T16,T17

 LINE       834
 SUB-EXPRESSION (sck_wrfifo_wvalid && wrdata_shift_en)
                 --------1--------    -------2-------

-1-	-2-	Status	Tests
0	1	Covered	T6,T16,T17
1	0	Not Covered
1	1	Covered	T6,T16,T17

 LINE       840
 EXPRESSION (xfer_bytes_q == xfer_size)
            -------------1-------------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       856
 EXPRESSION (sys_rdfifo_wvalid_i & sys_rdfifo_wready_o)
             ---------1---------   ---------2---------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Covered	T6,T16,T17

 LINE       867
 EXPRESSION (sys_cmdaddr_rvalid_o & sys_cmdaddr_rready_i)
             ----------1---------   ----------2---------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T6,T16,T17
1	1	Covered	T6,T16,T17

 LINE       940
 EXPRESSION (((!invalid_locality)) && (4'(i) == locality))
             ----------1----------    ---------2---------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T1,T2,T3
1	1	Covered	T1,T2,T3

 LINE       940
 SUB-EXPRESSION (4'(i) == locality)
                ---------1---------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       965
 EXPRESSION (((!invalid_locality)) && sys_active_locality[locality[2:0]])
             ----------1----------    -----------------2----------------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T2,T4,T16
1	1	Covered	T2,T4,T16

 LINE       1021
 EXPRESSION (isck_p2s_valid && (isck_p2s_bitcnt == '0))
             -------1------    -----------2-----------

-1-	-2-	Status	Tests
0	1	Covered	T2,T4,T6
1	0	Covered	T2,T4,T6
1	1	Covered	T2,T4,T6

 LINE       1021
 SUB-EXPRESSION (isck_p2s_bitcnt == '0)
                -----------1-----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T2,T4,T6

 LINE       1049
 EXPRESSION (isck_p2s_sent && (isck_data_sel == SelRdFifo))
             ------1------    --------------2-------------

-1-	-2-	Status	Tests
0	1	Covered	T6,T16,T17
1	0	Covered	T2,T4,T6
1	1	Covered	T6,T16,T17

 LINE       1049
 SUB-EXPRESSION (isck_data_sel == SelRdFifo)
                --------------1-------------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T6,T16,T17

 LINE       1073
 EXPRESSION (((&sck_rdfifo_idx)) && (isck_data_sel == SelRdFifo) && sck_p2s_valid && (isck_p2s_bitcnt == 3'b1))
             ---------1---------    --------------2-------------    ------3------    ------------4------------

-1-	-2-	-3-	-4-	Status	Tests
0	1	1	1	Covered	T6,T16,T17
1	0	1	1	Not Covered
1	1	0	1	Not Covered
1	1	1	0	Covered	T6,T16,T17
1	1	1	1	Covered	T6,T16,T17

 LINE       1073
 SUB-EXPRESSION (isck_data_sel == SelRdFifo)
                --------------1-------------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T6,T16,T17

 LINE       1073
 SUB-EXPRESSION (isck_p2s_bitcnt == 3'b1)
                ------------1------------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T2,T4,T6

 LINE       1146
 EXPRESSION (cmdaddr_bitcnt == 5'h07)
            ------------1------------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T2,T4,T6

 LINE       1174
 EXPRESSION (cmdaddr_bitcnt == 5'h1b)
            ------------1------------

-1-	Status	Tests
0	Covered	T2,T4,T6
1	Covered	T2,T4,T6

 LINE       1179
 EXPRESSION ((cmdaddr_bitcnt == 5'h1f) && (cmd_type == Read))
             ------------1------------    ---------2--------

-1-	-2-	Status	Tests
0	1	Covered	T2,T4,T6
1	0	Covered	T6,T16,T17
1	1	Covered	T2,T4,T6

 LINE       1179
 SUB-EXPRESSION (cmdaddr_bitcnt == 5'h1f)
                ------------1------------

-1-	Status	Tests
0	Covered	T2,T4,T6
1	Covered	T2,T4,T6

 LINE       1179
 SUB-EXPRESSION (cmd_type == Read)
                ---------1--------

-1-	Status	Tests
0	Covered	T6,T16,T17
1	Covered	T2,T4,T6

 LINE       1180
 EXPRESSION (((!is_tpm_reg_q)) || sys_clk_tpm_cfg.tpm_mode)
             --------1--------    ------------2-----------

-1-	-2-	Status	Tests
0	0	Covered	T2,T4,T16
0	1	Covered	T6,T17,T29
1	0	Covered	T16,T24,T26

 LINE       1188
 EXPRESSION (sck_cmdaddr_wdepth == '0)
            -------------1------------

-1-	Status	Tests
0	Covered	T6,T16,T17
1	Covered	T6,T16,T17

 LINE       1195
 EXPRESSION (invalid_locality && sys_clk_tpm_cfg.invalid_locality)
             --------1-------    ----------------2---------------

-1-	-2-	Status	Tests
0	1	Covered	T16,T26,T28
1	0	Covered	T16,T26,T28
1	1	Covered	T2,T4,T16

 LINE       1206
 EXPRESSION (sck_cmdaddr_wdepth == '0)
            -------------1------------

-1-	Status	Tests
0	Covered	T16,T24,T26
1	Covered	T16,T24,T26

 LINE       1212
 EXPRESSION ((cmdaddr_bitcnt == 5'h1f) && (cmd_type == Write))
             ------------1------------    ---------2---------

-1-	-2-	Status	Tests
0	1	Covered	T6,T16,T17
1	0	Covered	T2,T4,T6
1	1	Covered	T6,T16,T17

 LINE       1212
 SUB-EXPRESSION (cmdaddr_bitcnt == 5'h1f)
                ------------1------------

-1-	Status	Tests
0	Covered	T2,T4,T6
1	Covered	T2,T4,T6

 LINE       1212
 SUB-EXPRESSION (cmd_type == Write)
                ---------1---------

-1-	Status	Tests
0	Covered	T2,T4,T6
1	Covered	T6,T16,T17

 LINE       1213
 EXPRESSION (((!sck_wrfifo_busy)) && ((~|sck_cmdaddr_wdepth)))
             ----------1---------    ------------2-----------

-1-	-2-	Status	Tests
0	1	Covered	T17,T26,T28
1	0	Covered	T17,T26,T29
1	1	Covered	T6,T16,T17

 LINE       1229
 EXPRESSION ((cmd_type == Read) && ((!sck_rdfifo_cmd_pending)) && ((~|sck_cmdaddr_wdepth)))
             ---------1--------    -------------2-------------    ------------3-----------

-1-	-2-	-3-	Status	Tests
0	1	1	Covered	T6,T16,T17
1	0	1	Covered	T6,T16,T17
1	1	0	Covered	T6,T16,T17
1	1	1	Covered	T6,T16,T17

 LINE       1229
 SUB-EXPRESSION (cmd_type == Read)
                ---------1--------

-1-	Status	Tests
0	Covered	T6,T16,T17
1	Covered	T6,T16,T17

 LINE       1234
 EXPRESSION (isck_p2s_sent && (((cmd_type == Read) && enough_payload_in_rdfifo) || ((cmd_type == Write) && ((!sck_wrfifo_busy)) && ((~|sck_cmdaddr_wdepth)))))
             ------1------    ---------------------------------------------------------------2---------------------------------------------------------------

-1-	-2-	Status	Tests
0	1	Covered	T6,T16,T17
1	0	Covered	T6,T16,T17
1	1	Covered	T6,T16,T17

 LINE       1234
 SUB-EXPRESSION (((cmd_type == Read) && enough_payload_in_rdfifo) || ((cmd_type == Write) && ((!sck_wrfifo_busy)) && ((~|sck_cmdaddr_wdepth))))
                 ------------------------1-----------------------    ------------------------------------2------------------------------------

-1-	-2-	Status	Tests
0	0	Covered	T6,T16,T17
0	1	Covered	T6,T16,T17
1	0	Covered	T6,T16,T17

 LINE       1234
 SUB-EXPRESSION ((cmd_type == Read) && enough_payload_in_rdfifo)
                 ---------1--------    ------------2-----------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T6,T16,T17
1	1	Covered	T6,T16,T17

 LINE       1234
 SUB-EXPRESSION (cmd_type == Read)
                ---------1--------

-1-	Status	Tests
0	Covered	T6,T16,T17
1	Covered	T6,T16,T17

 LINE       1234
 SUB-EXPRESSION ((cmd_type == Write) && ((!sck_wrfifo_busy)) && ((~|sck_cmdaddr_wdepth)))
                 ---------1---------    ----------2---------    ------------3-----------

-1-	-2-	-3-	Status	Tests
0	1	1	Covered	T6,T16,T17
1	0	1	Covered	T6,T16,T17
1	1	0	Covered	T17,T26,T29
1	1	1	Covered	T6,T16,T17

 LINE       1234
 SUB-EXPRESSION (cmd_type == Write)
                ---------1---------

-1-	Status	Tests
0	Covered	T6,T16,T17
1	Covered	T6,T16,T17

 LINE       1247
 EXPRESSION ((cmd_type == Read) && is_hw_reg)
             ---------1--------    ----2----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T6,T16,T17
1	1	Covered	T2,T4,T16

 LINE       1247
 SUB-EXPRESSION (cmd_type == Read)
                ---------1--------

-1-	Status	Tests
0	Covered	T6,T16,T17
1	Covered	T2,T4,T6

 LINE       1249
 EXPRESSION (cmd_type == Read)
            ---------1--------

-1-	Status	Tests
0	Covered	T6,T16,T17
1	Covered	T6,T16,T17

 LINE       1251
 EXPRESSION (cmd_type == Write)
            ---------1---------

-1-	Status	Tests
0	Not Covered
1	Covered	T6,T16,T17

 LINE       1263
 EXPRESSION (isck_p2s_sent && xfer_size_met)
             ------1------    ------2------

-1-	-2-	Status	Tests
0	1	Covered	T6,T16,T17
1	0	Covered	T6,T16,T17
1	1	Covered	T6,T16,T17

 LINE       1274
 EXPRESSION (isck_p2s_sent && xfer_size_met)
             ------1------    ------2------

-1-	-2-	Status	Tests
0	1	Covered	T2,T4,T26
1	0	Covered	T2,T4,T16
1	1	Covered	T2,T4,T26

 LINE       1283
 EXPRESSION (sck_wrfifo_wvalid && xfer_size_met)
             --------1--------    ------2------

-1-	-2-	Status	Tests
0	1	Covered	T6,T16,T17
1	0	Covered	T6,T16,T17
1	1	Covered	T6,T16,T17

 LINE       1292
 EXPRESSION (cmd_type == Read)
            ---------1--------

-1-	Status	Tests
0	Not Covered
1	Covered	T2,T4,T16

 LINE       1299
 EXPRESSION (cmd_type == Read)
            ---------1--------

-1-	Status	Tests
0	Covered	T6,T16,T17
1	Covered	T2,T4,T6

 LINE       1386
 EXPRESSION (sys_cmdaddr.rnw & sys_cmdaddr_rvalid_o & sys_cmdaddr_rready_i)
             -------1-------   ----------2---------   ----------3---------

-1-	-2-	-3-	Status	Tests
0	1	1	Covered	T6,T16,T17
1	0	1	Not Covered
1	1	0	Covered	T6,T16,T17
1	1	1	Covered	T6,T16,T17

 LINE       1396
 EXPRESSION (cmdaddr_bitcnt == 5'h0f)
            ------------1------------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T2,T4,T6

 LINE       1401
 EXPRESSION (sck_cmdaddr_wvalid && (cmd_type == Read))
             ---------1--------    ---------2--------

-1-	-2-	Status	Tests
0	1	Covered	T2,T4,T6
1	0	Covered	T6,T16,T17
1	1	Covered	T6,T16,T17

 LINE       1401
 SUB-EXPRESSION (cmd_type == Read)
                ---------1--------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T2,T4,T6

 LINE       1403
 EXPRESSION (isck_p2s_sent && xfer_size_met && (sck_st_q == StReadFifo))
             ------1------    ------2------    ------------3-----------

-1-	-2-	-3-	Status	Tests
0	1	1	Covered	T6,T16,T17
1	0	1	Covered	T6,T16,T17
1	1	0	Covered	T2,T4,T6
1	1	1	Covered	T6,T16,T17

 LINE       1403
 SUB-EXPRESSION (sck_st_q == StReadFifo)
                ------------1-----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T6,T16,T17

 LINE       1411
 EXPRESSION (sys_csb_deasserted_pulse & ((!sys_rdfifo_sync_clr)))
             ------------1-----------   ------------2-----------

-1-	-2-	Status	Tests
0	1	Covered	T6,T16,T17
1	0	Covered	T2,T4,T6
1	1	Covered	T6,T16,T17

 LINE       1418
 EXPRESSION (sys_cmdaddr_rvalid_o & sys_cmdaddr_rready_i)
             ----------1---------   ----------2---------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T6,T16,T17
1	1	Covered	T6,T16,T17

 LINE       1425
 EXPRESSION (sys_csb_deasserted_pulse & ((!sys_rdfifo_sync_clr)))
             ------------1-----------   ------------2-----------

-1-	-2-	Status	Tests
0	1	Covered	T6,T16,T17
1	0	Covered	T2,T4,T6
1	1	Covered	T6,T16,T17

 LINE       1459
 EXPRESSION (sys_rdfifo_wvalid_i & ((!sys_rdfifo_wready_o)))
             ---------1---------   ------------2-----------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T6,T16,T17
1	1	Not Covered

 LINE       1465
 EXPRESSION (enough_payload_in_rdfifo && ((sck_st_q == StReadFifo) || (sck_st_q == StStartByte)))
             ------------1-----------    ---------------------------2---------------------------

-1-	-2-	Status	Tests
0	1	Covered	T2,T4,T6
1	0	Covered	T6,T16,T17
1	1	Covered	T6,T16,T17

 LINE       1465
 SUB-EXPRESSION ((sck_st_q == StReadFifo) || (sck_st_q == StStartByte))
                 ------------1-----------    ------------2------------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T2,T4,T6
1	0	Covered	T6,T16,T17

 LINE       1465
 SUB-EXPRESSION (sck_st_q == StReadFifo)
                ------------1-----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T6,T16,T17

 LINE       1465
 SUB-EXPRESSION (sck_st_q == StStartByte)
                ------------1------------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T2,T4,T6

 LINE       1472
 EXPRESSION (sck_sram_req[SramRdFifo] & sck_sram_gnt[SramRdFifo])
             ------------1-----------   ------------2-----------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Covered	T6,T16,T17

 LINE       1482
 EXPRESSION (sck_sram_req[SramRdFifo] & sck_sram_gnt[SramRdFifo])
             ------------1-----------   ------------2-----------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Covered	T6,T16,T17

 LINE       1489
 EXPRESSION (rdfifo_active && ((!sck_rdfifo_req_pending)) && ((!sck_rdfifo_full)))
             ------1------    -------------2-------------    ----------3---------

-1-	-2-	-3-	Status	Tests
0	1	1	Covered	T1,T2,T3
1	0	1	Covered	T6,T16,T17
1	1	0	Covered	T6,T16,T17
1	1	1	Covered	T6,T16,T17

---

FSM Coverage for Module : spi_tpm

Summary for FSM :: sck_st_q

	Total	Covered	Percent
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

---

states	Line No.	Covered	Tests
StAddr	1148	Covered	T2,T4,T6
StEnd	1158	Covered	T2,T4,T6
StIdle	1143	Covered	T1,T2,T3
StInvalid	1198	Covered	T2,T4,T16
StReadFifo	1250	Covered	T6,T16,T17
StReadHwReg	1248	Covered	T2,T4,T16
StStartByte	1194	Covered	T2,T4,T6
StWait	1183	Covered	T6,T16,T17
StWrite	1252	Covered	T6,T16,T17

transitions	Line No.	Covered	Tests
StAddr->StInvalid	1198	Covered	T2,T4,T16
StAddr->StStartByte	1194	Covered	T2,T4,T6
StAddr->StWait	1183	Covered	T6,T16,T17
StIdle->StAddr	1148	Covered	T2,T4,T6
StIdle->StEnd	1158	Not Covered
StReadFifo->StEnd	1264	Covered	T6,T16,T17
StReadHwReg->StEnd	1275	Covered	T2,T4,T26
StStartByte->StReadFifo	1250	Covered	T6,T16,T17
StStartByte->StReadHwReg	1248	Covered	T2,T4,T16
StStartByte->StWrite	1252	Covered	T6,T16,T17
StWait->StStartByte	1237	Covered	T6,T16,T17
StWrite->StEnd	1286	Covered	T6,T16,T17

---

Branch Coverage for Module : spi_tpm

	Line No.	Total	Covered	Percent
Branches		155	150	96.77
IF	525	3	3	100.00
IF	542	2	2	100.00
IF	555	3	3	100.00
IF	594	2	2	100.00
IF	602	3	3	100.00
IF	610	2	2	100.00
IF	620	4	4	100.00
IF	648	3	3	100.00
IF	658	3	3	100.00
IF	683	4	4	100.00
IF	709	4	4	100.00
CASE	722	3	3	100.00
IF	744	2	2	100.00
IF	751	2	2	100.00
IF	763	3	3	100.00
IF	784	2	2	100.00
IF	796	2	2	100.00
IF	802	4	4	100.00
IF	813	3	3	100.00
IF	823	3	3	100.00
IF	832	3	3	100.00
IF	852	4	4	100.00
IF	863	4	4	100.00
IF	873	2	2	100.00
CASE	895	6	5	83.33
CASE	937	11	11	100.00
IF	1012	2	2	100.00
IF	1024	2	2	100.00
IF	1052	2	2	100.00
IF	1064	3	3	100.00
IF	1095	2	2	100.00
CASE	1142	37	33	89.19
IF	1382	4	4	100.00
IF	1394	5	5	100.00
IF	1409	4	4	100.00
IF	1470	4	4	100.00
IF	1480	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-:	525	if ((!sys_rst_ni))
-2-:	529	if (sys_csb_asserted_pulse)

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T2,T4,T6
0	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	542	if ((!rst_out_ni))

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T2,T4,T6

	LineNo.	Expression
-1-:	555	if ((!rst_ni))
-2-:	557	if (cmdaddr_shift_en)

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T2,T4,T6
0	0	Covered	T2,T4,T6

	LineNo.	Expression
-1-:	594	if ((!rst_out_ni))

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T2,T4,T6

	LineNo.	Expression
-1-:	602	if ((!rst_ni))
-2-:	604	if (cmdaddr_shift_en)

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T2,T4,T6
0	0	Covered	T2,T4,T6

	LineNo.	Expression
-1-:	610	if (cmdaddr_shift_en)

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T2,T4,T6

	LineNo.	Expression
-1-:	620	if ((!rst_out_ni))
-2-:	622	if (isck_fifoaddr_latch)
-3-:	625	if (isck_fifoaddr_inc)

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Covered	T1,T2,T3
0	1	-	Covered	T2,T4,T6
0	0	1	Covered	T2,T4,T16
0	0	0	Covered	T2,T4,T6

	LineNo.	Expression
-1-:	648	if ((!rst_ni))
-2-:	650	if (wrdata_shift_en)

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T6,T16,T17
0	0	Covered	T2,T4,T6

	LineNo.	Expression
-1-:	658	if ((!rst_ni))
-2-:	660	if (wrdata_shift_en)

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T6,T16,T17
0	0	Covered	T2,T4,T6

	LineNo.	Expression
-1-:	683	if ((!sys_rst_ni))
-2-:	685	if (sys_wrfifo_release_i)
-3-:	687	if (sys_wrfifo_release_ack)

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Covered	T1,T2,T3
0	1	-	Covered	T6,T16,T17
0	0	1	Covered	T6,T16,T17
0	0	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	709	if ((!sys_rst_ni))
-2-:	711	if ((sck_cmdaddr_wvalid && (cmd_type == Write)))
-3-:	713	if (sck_wrfifo_release_req)

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Covered	T1,T2,T3
0	1	-	Covered	T6,T16,T17
0	0	1	Covered	T6,T16,T17
0	0	0	Covered	T1,T2,T3

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

Branches:

-1-	Status	Tests
check_locality	Covered	T2,T4,T6
check_hw_reg	Covered	T2,T4,T6
default	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	744	if ((check_locality && (sys_clk_tpm_cfg.tpm_reg_chk_dis || (addr[23:16] == TpmAddr))))

Branches:

-1-	Status	Tests
1	Covered	T2,T4,T6
0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	751	if ((!rst_ni))

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T2,T4,T6

	LineNo.	Expression
-1-:	763	if ((!rst_ni))
-2-:	766	if (((((((!sys_clk_tpm_cfg.tpm_mode) && check_hw_reg) && (cmd_type == Read)) && is_tpm_reg_q) && (!invalid_locality)) && (!sys_clk_tpm_cfg.hw_reg_dis)))

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T2,T4,T16
0	0	Covered	T2,T4,T6

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

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	796	if ((!rst_out_ni))

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T2,T4,T6

	LineNo.	Expression
-1-:	802	if ((!rst_ni))
-2-:	805	if ((check_locality && is_tpm_reg_d))
-3-:	807	((addr[15:12] < 4'(spi_device_reg_pkg::NumLocality))) ? 

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Covered	T1,T2,T3
0	1	1	Covered	T2,T4,T6
0	1	0	Covered	T2,T4,T6
0	0	-	Covered	T2,T4,T6

	LineNo.	Expression
-1-:	813	if ((!rst_ni))
-2-:	815	if (latch_cmd_type)

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T2,T4,T6
0	0	Covered	T2,T4,T6

	LineNo.	Expression
-1-:	823	if ((!rst_ni))
-2-:	825	if (latch_xfer_size)

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T2,T4,T6
0	0	Covered	T2,T4,T6

	LineNo.	Expression
-1-:	832	if ((!rst_ni))
-2-:	834	if (((isck_p2s_sent && sck_rddata_shift_en) || (sck_wrfifo_wvalid && wrdata_shift_en)))

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T6,T16,T17
0	0	Covered	T2,T4,T6

	LineNo.	Expression
-1-:	852	if ((!sys_rst_ni))
-2-:	854	if (sys_csb_asserted_pulse)
-3-:	856	if ((sys_rdfifo_wvalid_i & sys_rdfifo_wready_o))

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Covered	T1,T2,T3
0	1	-	Covered	T2,T4,T6
0	0	1	Covered	T6,T16,T17
0	0	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	863	if ((!sys_rst_ni))
-2-:	865	if (sys_csb_asserted_pulse)
-3-:	867	if ((sys_cmdaddr_rvalid_o & sys_cmdaddr_rready_i))

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Covered	T1,T2,T3
0	1	-	Covered	T2,T4,T6
0	0	1	Covered	T6,T16,T17
0	0	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	873	if ((!sys_rst_ni))

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

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

Branches:

-1-	Status	Tests
SelWait	Covered	T1,T2,T3
SelStart	Covered	T2,T4,T6
SelInvalid	Covered	T2,T4,T16
SelHwReg	Covered	T2,T4,T16
SelRdFifo	Covered	T6,T16,T17
default	Not Covered

	LineNo.	Expression
-1-:	937	case (isck_hw_reg_idx)
-2-:	965	if (((!invalid_locality) && sys_active_locality[locality[2:0]]))

Branches:

-1-	-2-	Status	Tests
RegAccess	-	Covered	T1,T2,T3
RegIntEn	-	Covered	T1,T2,T3
RegIntVect	-	Covered	T1,T2,T3
RegIntSts	-	Covered	T1,T2,T3
RegIntfCap	-	Covered	T1,T2,T3
RegSts	1	Covered	T1,T2,T3
RegSts	0	Covered	T1,T2,T3
RegHashStart	-	Covered	T1,T2,T3
RegId	-	Covered	T1,T2,T3
RegRid	-	Covered	T1,T2,T3
default	-	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	1012	if ((!rst_out_ni))

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T2,T4,T6

	LineNo.	Expression
-1-:	1024	if ((!rst_out_ni))

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T2,T4,T6

	LineNo.	Expression
-1-:	1052	if ((!rst_out_ni))

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T2,T4,T6

	LineNo.	Expression
-1-:	1064	if ((!rst_ni))
-2-:	1066	if (isck_rd_byte_sent)

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T6,T16,T17
0	0	Covered	T2,T4,T6

	LineNo.	Expression
-1-:	1095	if ((!rst_ni))

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T2,T4,T6

	LineNo.	Expression
-1-:	1142	case (sck_st_q)
-2-:	1146	if ((cmdaddr_bitcnt == 5'h07))
-3-:	1147	if (sys_clk_tpm_en)
-4-:	1167	if ((cmdaddr_bitcnt >= 5'h18))
-5-:	1174	if ((cmdaddr_bitcnt == 5'h1b))
-6-:	1179	if (((cmdaddr_bitcnt == 5'h1f) && (cmd_type == Read)))
-7-:	1180	if (((!is_tpm_reg_q) || sys_clk_tpm_cfg.tpm_mode))
-8-:	1188	if ((sck_cmdaddr_wdepth == '0))
-9-:	1191	if (is_hw_reg)
-10-:	1195	if ((invalid_locality && sys_clk_tpm_cfg.invalid_locality))
-11-:	1206	if ((sck_cmdaddr_wdepth == '0))
-12-:	1212	if (((cmdaddr_bitcnt == 5'h1f) && (cmd_type == Write)))
-13-:	1213	if (((!sck_wrfifo_busy) && (~|sck_cmdaddr_wdepth)))
-14-:	1229	if ((((cmd_type == Read) && (!sck_rdfifo_cmd_pending)) && (~|sck_cmdaddr_wdepth)))
-15-:	1234	if ((isck_p2s_sent && (((cmd_type == Read) && enough_payload_in_rdfifo) || (((cmd_type == Write) && (!sck_wrfifo_busy)) && (~|sck_cmdaddr_wdepth)))))
-16-:	1245	if (isck_p2s_sent)
-17-:	1247	if (((cmd_type == Read) && is_hw_reg))
-18-:	1249	if ((cmd_type == Read))
-19-:	1251	if ((cmd_type == Write))
-20-:	1263	if ((isck_p2s_sent && xfer_size_met))
-21-:	1274	if ((isck_p2s_sent && xfer_size_met))
-22-:	1283	if ((sck_wrfifo_wvalid && xfer_size_met))
-23-:	1292	if ((cmd_type == Read))
-24-:	1299	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-	-22-	-23-	-24-	Status	Tests
StIdle	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T2,T4,T6
StIdle	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
StIdle	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
StAddr	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T2,T4,T6
StAddr	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T2,T4,T6
StAddr	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T2,T4,T6
StAddr	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T2,T4,T6
StAddr	-	-	-	-	1	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T6,T16,T17
StAddr	-	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T6,T16,T17
StAddr	-	-	-	-	1	0	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T2,T4,T16
StAddr	-	-	-	-	1	0	-	0	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T2,T4,T16
StAddr	-	-	-	-	1	0	-	0	0	1	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T16,T24,T26
StAddr	-	-	-	-	1	0	-	0	0	0	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T16,T24,T26
StAddr	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T2,T4,T6
StAddr	-	-	-	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	-	-	-	-	-	Covered	T6,T16,T17
StAddr	-	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T6,T16,T17
StAddr	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T2,T4,T6
StWait	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	Covered	T6,T16,T17
StWait	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	Covered	T6,T16,T17
StWait	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	Covered	T6,T16,T17
StWait	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	Covered	T6,T16,T17
StStartByte	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	-	Covered	T2,T4,T16
StStartByte	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	1	-	-	-	-	-	-	Covered	T6,T16,T17
StStartByte	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	0	1	-	-	-	-	-	Covered	T6,T16,T17
StStartByte	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	0	0	-	-	-	-	-	Not Covered
StStartByte	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T2,T4,T6
StReadFifo	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	Covered	T6,T16,T17
StReadFifo	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	Covered	T6,T16,T17
StReadHwReg	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	Covered	T2,T4,T26
StReadHwReg	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	Covered	T2,T4,T16
StWrite	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T6,T16,T17
StWrite	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T6,T16,T17
StInvalid	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T2,T4,T16
StInvalid	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	Not Covered
StEnd	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	Covered	T2,T4,T6
StEnd	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	Covered	T6,T16,T17
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered

	LineNo.	Expression
-1-:	1382	if ((!sys_rst_ni))
-2-:	1384	if (sys_csb_deasserted_pulse)
-3-:	1386	if (((sys_cmdaddr.rnw & sys_cmdaddr_rvalid_o) & sys_cmdaddr_rready_i))

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Covered	T1,T2,T3
0	1	-	Covered	T2,T4,T6
0	0	1	Covered	T6,T16,T17
0	0	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	1394	if ((!sys_rst_ni))
-2-:	1396	if ((cmdaddr_bitcnt == 5'h0f))
-3-:	1401	if ((sck_cmdaddr_wvalid && (cmd_type == Read)))
-4-:	1403	if (((isck_p2s_sent && xfer_size_met) && (sck_st_q == StReadFifo)))

Branches:

-1-	-2-	-3-	-4-	Status	Tests
1	-	-	-	Covered	T1,T2,T3
0	1	-	-	Covered	T2,T4,T6
0	0	1	-	Covered	T6,T16,T17
0	0	0	1	Covered	T6,T16,T17
0	0	0	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	1409	if ((!sys_rst_ni))
-2-:	1411	if ((sys_csb_deasserted_pulse & (!sys_rdfifo_sync_clr)))
-3-:	1418	if ((sys_cmdaddr_rvalid_o & sys_cmdaddr_rready_i))

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Covered	T1,T2,T3
0	1	-	Covered	T6,T16,T17
0	0	1	Covered	T6,T16,T17
0	0	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	1470	if ((!rst_ni))
-2-:	1472	if ((sck_sram_req[SramRdFifo] & sck_sram_gnt[SramRdFifo]))
-3-:	1474	if (sck_sram_rvalid[SramRdFifo])

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Covered	T1,T2,T3
0	1	-	Covered	T6,T16,T17
0	0	1	Covered	T6,T16,T17
0	0	0	Covered	T2,T4,T6

	LineNo.	Expression
-1-:	1480	if ((!rst_ni))
-2-:	1482	if ((sck_sram_req[SramRdFifo] & sck_sram_gnt[SramRdFifo]))

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T6,T16,T17
0	0	Covered	T2,T4,T6

---

Assert Coverage for Module : spi_tpm

	Total	Attempted	Percent	Succeeded/Matched	Percent
Assertions	17	17	100.00	17	100.00
Cover properties	0	0		0
Cover sequences	0	0		0
Total	17	17	100.00	17	100.00

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
CmdAddrAvailable_A	118917160	44397	0	0
CmdAddrBitCntInAddrSt_A	118917160	504832	0	0
CmdAddrInfo_A	118917160	51631	0	0
CmdPowerof2_A	906	906	0	0
DataFifoLessThan64_A	906	906	0	0
DataSelKnown_A	118918049	26627251	0	0
HwRegCondition2_a	118917160	11694	0	0
HwRegCondition_A	118917160	63104	0	0
HwRegIdxKnown_A	118918049	26627251	0	0
LocalityLatchCondition_A	118917160	63104	0	0
RdFifoDepthPoT_A	906	906	0	0
RdFifoNumBytesPoT_A	906	906	0	0
RdPowerof2_A	906	906	0	0
SckFifoAddrLatchCondition_A	118917160	63104	0	0
TpmRegSizeMatch_A	906	906	0	0
WrDepthSpec_A	906	906	0	0
WrFifoAvailable_A	118917160	392457	0	0

CmdAddrAvailable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	118917160	44397	0	0
T6	70538	156	0	0
T7	678637	0	0	0
T8	19847	0	0	0
T10	12924	0	0	0
T11	43646	0	0	0
T12	4570	0	0	0
T13	21716	0	0	0
T14	58719	0	0	0
T15	150273	0	0	0
T16	0	190	0	0
T17	0	275	0	0
T24	0	36	0	0
T26	0	296	0	0
T27	0	1	0	0
T28	0	346	0	0
T29	0	74	0	0
T36	57932	0	0	0
T48	0	64	0	0
T49	0	361	0	0

CmdAddrBitCntInAddrSt_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	118917160	504832	0	0
T2	58002	1840	0	0
T3	20638	0	0	0
T4	48212	1712	0	0
T5	127664	0	0	0
T6	70538	1248	0	0
T7	678637	0	0	0
T8	19847	0	0	0
T10	12924	0	0	0
T11	43646	0	0	0
T12	4570	0	0	0
T16	0	1800	0	0
T17	0	2200	0	0
T24	0	312	0	0
T25	0	112	0	0
T26	0	2904	0	0
T27	0	8	0	0
T28	0	3112	0	0

CmdAddrInfo_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	118917160	51631	0	0
T2	58002	230	0	0
T3	20638	0	0	0
T4	48212	214	0	0
T5	127664	0	0	0
T6	70538	94	0	0
T7	678637	0	0	0
T8	19847	0	0	0
T10	12924	0	0	0
T11	43646	0	0	0
T12	4570	0	0	0
T16	0	151	0	0
T17	0	169	0	0
T24	0	14	0	0
T25	0	14	0	0
T26	0	234	0	0
T27	0	1	0	0
T28	0	216	0	0

CmdPowerof2_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	906	906	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
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

DataFifoLessThan64_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	906	906	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
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

DataSelKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	118918049	26627251	0	0
T2	58003	56392	0	0
T3	20639	0	0	0
T4	48213	45864	0	0
T5	127665	0	0	0
T6	70539	67800	0	0
T7	678638	0	0	0
T8	19848	0	0	0
T9	1	0	0	0
T10	12925	0	0	0
T11	43647	0	0	0
T16	0	55384	0	0
T17	0	331928	0	0
T24	0	18760	0	0
T25	0	1008	0	0
T26	0	116072	0	0
T27	0	424	0	0
T28	0	100504	0	0

HwRegCondition2_a

Name	Attempts	Real Successes	Failures	Incomplete
Total	118917160	11694	0	0
T2	58002	147	0	0
T3	20638	0	0	0
T4	48212	131	0	0
T5	127664	0	0	0
T6	70538	0	0	0
T7	678637	0	0	0
T8	19847	0	0	0
T10	12924	0	0	0
T11	43646	0	0	0
T12	4570	0	0	0
T16	0	19	0	0
T24	0	3	0	0
T25	0	14	0	0
T26	0	42	0	0
T28	0	15	0	0
T48	0	16	0	0
T49	0	31	0	0
T90	0	9	0	0

HwRegCondition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	118917160	63104	0	0
T2	58002	230	0	0
T3	20638	0	0	0
T4	48212	214	0	0
T5	127664	0	0	0
T6	70538	156	0	0
T7	678637	0	0	0
T8	19847	0	0	0
T10	12924	0	0	0
T11	43646	0	0	0
T12	4570	0	0	0
T16	0	225	0	0
T17	0	275	0	0
T24	0	39	0	0
T25	0	14	0	0
T26	0	363	0	0
T27	0	1	0	0
T28	0	389	0	0

HwRegIdxKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	118918049	26627251	0	0
T2	58003	56392	0	0
T3	20639	0	0	0
T4	48213	45864	0	0
T5	127665	0	0	0
T6	70539	67800	0	0
T7	678638	0	0	0
T8	19848	0	0	0
T9	1	0	0	0
T10	12925	0	0	0
T11	43647	0	0	0
T16	0	55384	0	0
T17	0	331928	0	0
T24	0	18760	0	0
T25	0	1008	0	0
T26	0	116072	0	0
T27	0	424	0	0
T28	0	100504	0	0

LocalityLatchCondition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	118917160	63104	0	0
T2	58002	230	0	0
T3	20638	0	0	0
T4	48212	214	0	0
T5	127664	0	0	0
T6	70538	156	0	0
T7	678637	0	0	0
T8	19847	0	0	0
T10	12924	0	0	0
T11	43646	0	0	0
T12	4570	0	0	0
T16	0	225	0	0
T17	0	275	0	0
T24	0	39	0	0
T25	0	14	0	0
T26	0	363	0	0
T27	0	1	0	0
T28	0	389	0	0

RdFifoDepthPoT_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	906	906	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
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

RdFifoNumBytesPoT_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	906	906	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
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

RdPowerof2_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	906	906	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
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

SckFifoAddrLatchCondition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	118917160	63104	0	0
T2	58002	230	0	0
T3	20638	0	0	0
T4	48212	214	0	0
T5	127664	0	0	0
T6	70538	156	0	0
T7	678637	0	0	0
T8	19847	0	0	0
T10	12924	0	0	0
T11	43646	0	0	0
T12	4570	0	0	0
T16	0	225	0	0
T17	0	275	0	0
T24	0	39	0	0
T25	0	14	0	0
T26	0	363	0	0
T27	0	1	0	0
T28	0	389	0	0

TpmRegSizeMatch_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	906	906	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
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

WrDepthSpec_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	906	906	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
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

WrFifoAvailable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	118917160	392457	0	0
T6	70538	946	0	0
T7	678637	0	0	0
T8	19847	0	0	0
T10	12924	0	0	0
T11	43646	0	0	0
T12	4570	0	0	0
T13	21716	0	0	0
T14	58719	0	0	0
T15	150273	0	0	0
T16	0	1443	0	0
T17	0	2007	0	0
T24	0	475	0	0
T26	0	3275	0	0
T27	0	48	0	0
T28	0	2931	0	0
T29	0	572	0	0
T36	57932	0	0	0
T48	0	865	0	0
T49	0	3548	0	0