Unified Coverage Report :: Module :: kmac_app

Module : kmac_app

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
0.00	0.00	0.00		0.00	0.00

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

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.u_app_intf	0.00	0.00	0.00		0.00	0.00

---

Module Instance : tb.dut.u_app_intf

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
0.00	0.00	0.00		0.00	0.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
0.00	0.00	0.00		0.00	0.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
1.74	0.00	0.00	8.70	0.00	0.00		dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
u_appid_arb	0.00	0.00	0.00			0.00
u_prim_buf_state_err_check	0.00	0.00
u_prim_buf_state_kmac_sel	0.00	0.00
u_prim_buf_state_output_sel	0.00	0.00
u_prim_buf_state_output_valid	0.00	0.00
u_state_regs	0.00	0.00				0.00

Line Coverage for Module : kmac_app

	Line No.	Total	Covered	Percent
TOTAL		187	0	0.00
ALWAYS	294	6	0	0.00
ALWAYS	308	0	0
ALWAYS	308	4	0	0.00
ALWAYS	333	6	0	0.00
ALWAYS	352	3	0	0.00
CONT_ASSIGN	376	1	0	0.00
CONT_ASSIGN	377	1	0	0.00
ALWAYS	380	3	0	0.00
ALWAYS	389	3	0	0.00
ALWAYS	392	1	0	0.00
ALWAYS	397	73	0	0.00
ALWAYS	604	18	0	0.00
ALWAYS	648	5	0	0.00
CONT_ASSIGN	668	1	0	0.00
CONT_ASSIGN	679	1	0	0.00
CONT_ASSIGN	690	1	0	0.00
ALWAYS	712	13	0	0.00
ALWAYS	737	6	0	0.00
ALWAYS	765	3	0	0.00
ALWAYS	775	11	0	0.00
ALWAYS	805	8	0	0.00
ALWAYS	834	16	0	0.00
ALWAYS	861	3	0	0.00

WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_kmac_0.1/rtl/kmac_app.sv' or '../src/lowrisc_ip_kmac_0.1/rtl/kmac_app.sv' was not found, so annotated line coverage report could not be generated.

Line No.	Covered	Statements
294	0	2
295	0	2
296	0	2
			==> MISSING_ELSE
308	0	1
309	0	1
310	0	1
320	0	1
333	0	2
334	0	2
335	0	2
			==> MISSING_ELSE
352	0	1
353	0	1
354	0	1
376	0	1
377	0	1
380	0	2
381	0	1
389	0	3
392	0	1
397	0	1
399	0	1
402	0	1
403	0	1
406	0	1
409	0	1
412	0	1
413	0	1
415	0	1
416	0	1
419	0	1
420	0	1
422	0	1
424	0	1
425	0	1
428	0	1
429	0	1
430	0	1
432	0	1
434	0	1
439	0	1
446	0	1
448	0	1
450	0	1
452	0	1
459	0	1
462	0	1
467	0	1
468	0	1
469	0	1
470	0	1
472	0	1
475	0	1
480	0	1
482	0	1
483	0	1
485	0	1
490	0	1
491	0	1
495	0	1
497	0	1
498	0	1
500	0	1
502	0	1
507	0	1
509	0	1
510	0	1
512	0	1
513	0	1
515	0	1
520	0	1
524	0	1
525	0	1
526	0	1
531	0	1
533	0	1
535	0	1
536	0	1
539	0	1
			==> MISSING_ELSE
542	0	1
544	0	1
546	0	1
550	0	1
			==> MISSING_ELSE
			==> MISSING_ELSE
559	0	1
561	0	1
562	0	1
567	0	1
568	0	1
569	0	1
570	0	1
571	0	1
583	0	1
584	0	1
			==> MISSING_ELSE
604	0	1
605	0	1
607	0	1
608	0	1
609	0	1
611	0	1
614	0	1
615	0	1
617	0	1
618	0	1
620	0	1
625	0	1
626	0	1
627	0	1
631	0	1
632	0	1
633	0	1
634	0	1
648	0	1
650	0	1
652	0	1
657	0	1
659	0	1
			==> MISSING_ELSE
668	0	1
679	0	1
690	0	1
712	0	1
713	0	1
714	0	1
716	0	1
717	0	1
720	0	1
721	0	1
722	0	1
723	0	1
724	0	1
725	0	1
726	0	1
727	0	1
			==> MISSING_ELSE
			==> MISSING_ELSE
737	0	1
738	0	1
739	0	1
742	0	1
745	0	1
747	0	1
			==> MISSING_ELSE
765	0	1
766	0	1
767	0	1
775	0	1
776	0	1
777	0	1
780	0	1
782	0	1
783	0	1
784	0	1
789	0	1
790	0	1
791	0	1
792	0	1
			==> MISSING_ELSE
805	0	1
807	0	1
810	0	1
811	0	1
812	0	1
813	0	1
815	0	1
			==> MISSING_ELSE
822	0	1
834	0	1
835	0	1
836	0	1
837	0	1
838	0	1
840	0	1
841	0	1
842	0	1
843	0	1
844	0	1
845	0	1
847	0	1
848	0	1
849	0	1
850	0	1
851	0	1
			==> MISSING_ELSE
861	0	1
862	0	1
863	0	1

---

Cond Coverage for Module : kmac_app

	Total	Covered	Percent
Conditions	57	0	0.00
Logical	57	0	0.00
Non-Logical	0	0
Event	0	0

 LINE       309
 EXPRESSION (i == app_id)
            ------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       310
 EXPRESSION (app_data_ready | fsm_data_ready)
             -------1------   -------2------

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Not Covered
1	0	Not Covered

 LINE       310
 EXPRESSION (app_digest_done | fsm_digest_done_q)
             -------1-------   --------2--------

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Not Covered
1	0	Not Covered

 LINE       310
 EXPRESSION (error_i | fsm_digest_done_q | sparse_fsm_error_o | service_rejected_error)
             ---1---   --------2--------   ---------3--------   -----------4----------

-1-	-2-	-3-	-4-	Status	Tests
0	0	0	0	Not Covered
0	0	0	1	Not Covered
0	0	1	0	Not Covered
0	1	0	0	Not Covered
1	0	0	0	Not Covered

 LINE       429
 EXPRESSION (sw_cmd_i == CmdStart)
            -----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       450
 EXPRESSION ((kmac_pkg::AppCfg[app_id].Mode == AppKMAC) && ((!keymgr_key_i.valid)))
             ---------------------1--------------------    -----------2-----------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       450
 SUB-EXPRESSION (kmac_pkg::AppCfg[app_id].Mode == AppKMAC)
                ---------------------1--------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       468
 EXPRESSION (app_i[app_id].valid && app_o[app_id].ready && app_i[app_id].last)
             ---------1---------    ---------2---------    ---------3--------

-1-	-2-	-3-	Status	Tests
0	1	1	Not Covered
1	0	1	Not Covered
1	1	0	Not Covered
1	1	1	Not Covered

 LINE       469
 EXPRESSION (kmac_pkg::AppCfg[app_id].Mode == AppKMAC)
            ---------------------1--------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       482
 EXPRESSION (kmac_valid_o && kmac_ready_i)
             ------1-----    ------2-----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Unreachable
1	1	Not Covered

 LINE       512
 EXPRESSION (sw_cmd_i == CmdDone)
            ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       542
 EXPRESSION (app_i[app_id].valid && app_i[app_id].last)
             ---------1---------    ---------2--------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       650
 EXPRESSION ((mux_sel_buf_err_check != SelSw) && sw_valid_i)
             ----------------1---------------    -----2----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       650
 SUB-EXPRESSION (mux_sel_buf_err_check != SelSw)
                ----------------1---------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       657
 EXPRESSION (app_active_o && (sw_cmd_i != CmdNone))
             ------1-----    ----------2----------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       657
 SUB-EXPRESSION (sw_cmd_i != CmdNone)
                ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       811
 EXPRESSION (app_id == i)
            ------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       812
 EXPRESSION (kmac_pkg::AppCfg[i].PrefixMode == 1'b0)
            --------------------1-------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       844
 EXPRESSION ((kmac_pkg::AppCfg[arb_idx].Mode == AppKMAC) ? 1'b1 : 1'b0)
             ---------------------1---------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       844
 SUB-EXPRESSION (kmac_pkg::AppCfg[arb_idx].Mode == AppKMAC)
                ---------------------1---------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       845
 EXPRESSION ((kmac_pkg::AppCfg[arb_idx].Mode == AppSHA3) ? Sha3 : CShake)
             ---------------------1---------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       845
 SUB-EXPRESSION (kmac_pkg::AppCfg[arb_idx].Mode == AppSHA3)
                ---------------------1---------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       848
 EXPRESSION (st == StIdle)
            -------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

---

FSM Coverage for Module : kmac_app

Summary for FSM :: st

	Total	Covered	Percent
States	11	0	0.00	(Not included in score)
Transitions	25	0	0.00
Sequences	0	0

State, Transition and Sequence Details for FSM :: st

---

states	Line No.	Covered	Tests
StAppCfg	425	Not Covered
StAppMsg	459	Not Covered
StAppOutLen	470	Not Covered
StAppProcess	472	Not Covered
StAppWait	491	Not Covered
StError	446	Not Covered
StIdle	434	Not Covered
StKeyMgrErrKeyNotValid	452	Not Covered
StServiceRejectedError	550	Not Covered
StSw	430	Not Covered
StTerminalError	584	Not Covered

transitions	Line No.	Covered	Tests
StAppCfg->StAppMsg	459	Not Covered
StAppCfg->StError	446	Not Covered
StAppCfg->StKeyMgrErrKeyNotValid	452	Not Covered
StAppCfg->StTerminalError	584	Not Covered
StAppMsg->StAppOutLen	470	Not Covered
StAppMsg->StAppProcess	472	Not Covered
StAppMsg->StTerminalError	584	Not Covered
StAppOutLen->StAppProcess	483	Not Covered
StAppOutLen->StTerminalError	584	Not Covered
StAppProcess->StAppWait	491	Not Covered
StAppProcess->StTerminalError	584	Not Covered
StAppWait->StIdle	497	Not Covered
StAppWait->StTerminalError	584	Not Covered
StError->StIdle	536	Not Covered
StError->StServiceRejectedError	550	Not Covered
StError->StTerminalError	584	Not Covered
StIdle->StAppCfg	425	Not Covered
StIdle->StSw	430	Not Covered
StIdle->StTerminalError	584	Not Covered
StKeyMgrErrKeyNotValid->StError	520	Not Covered
StKeyMgrErrKeyNotValid->StTerminalError	584	Not Covered
StServiceRejectedError->StIdle	559	Not Covered
StServiceRejectedError->StTerminalError	584	Not Covered
StSw->StIdle	513	Not Covered
StSw->StTerminalError	584	Not Covered

---

Branch Coverage for Module : kmac_app

	Line No.	Total	Covered	Percent
Branches		71	0	0.00
IF	294	4	0	0.00
IF	309	2	0	0.00
IF	333	4	0	0.00
IF	380	2	0	0.00
IF	389	2	0	0.00
CASE	422	25	0	0.00
IF	583	2	0	0.00
CASE	611	4	0	0.00
IF	650	3	0	0.00
IF	714	3	0	0.00
IF	739	2	0	0.00
CASE	780	4	0	0.00
CASE	807	3	0	0.00
IF	834	8	0	0.00
CASE	861	3	0	0.00

WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_kmac_0.1/rtl/kmac_app.sv' or '../src/lowrisc_ip_kmac_0.1/rtl/kmac_app.sv was not found/opened, so annotated branch coverage report could not be generated.

	LineNo.	Expression
-1-:	294	if ((!rst_ni))
-2-:	295	if (service_rejected_error_set)
-3-:	296	if (service_rejected_error_clr)

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Not Covered
0	1	-	Not Covered
0	0	1	Not Covered
0	0	0	Not Covered

	LineNo.	Expression
-1-:	309	if ((i == app_id))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	333	if ((!rst_ni))
-2-:	334	if (clr_appid)
-3-:	335	if (set_appid)

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Not Covered
0	1	-	Not Covered
0	0	1	Not Covered
0	0	0	Not Covered

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	422	case (st)
-2-:	424	if (arb_valid)
-3-:	429	if ((sw_cmd_i == CmdStart))
-4-:	439	if (((kmac_pkg::AppCfg[app_id].Mode == AppKMAC) && prim_mubi_pkg::mubi4_test_false_strict(entropy_ready_i)))
-5-:	450	if (((kmac_pkg::AppCfg[app_id].Mode == AppKMAC) && (!keymgr_key_i.valid)))
-6-:	468	if (((app_i[app_id].valid && app_o[app_id].ready) && app_i[app_id].last))
-7-:	469	if ((kmac_pkg::AppCfg[app_id].Mode == AppKMAC))
-8-:	482	if ((kmac_valid_o && kmac_ready_i))
-9-:	495	if (prim_mubi_pkg::mubi4_test_true_strict(absorbed_i))
-10-:	512	if ((sw_cmd_i == CmdDone))
-11-:	535	if (err_processed_i)
-12-:	542	if ((app_i[app_id].valid && app_i[app_id].last))
-13-:	546	if (service_rejected_error)

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	-10-	-11-	-12-	-13-	Status	Tests
StIdle	1	-	-	-	-	-	-	-	-	-	-	-	Not Covered
StIdle	0	1	-	-	-	-	-	-	-	-	-	-	Not Covered
StIdle	0	0	-	-	-	-	-	-	-	-	-	-	Not Covered
StAppCfg	-	-	1	-	-	-	-	-	-	-	-	-	Not Covered
StAppCfg	-	-	0	1	-	-	-	-	-	-	-	-	Not Covered
StAppCfg	-	-	0	0	-	-	-	-	-	-	-	-	Not Covered
StAppMsg	-	-	-	-	1	1	-	-	-	-	-	-	Not Covered
StAppMsg	-	-	-	-	1	0	-	-	-	-	-	-	Not Covered
StAppMsg	-	-	-	-	0	-	-	-	-	-	-	-	Not Covered
StAppOutLen	-	-	-	-	-	-	1	-	-	-	-	-	Not Covered
StAppOutLen	-	-	-	-	-	-	0	-	-	-	-	-	Not Covered
StAppProcess	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
StAppWait	-	-	-	-	-	-	-	1	-	-	-	-	Not Covered
StAppWait	-	-	-	-	-	-	-	0	-	-	-	-	Not Covered
StSw	-	-	-	-	-	-	-	-	1	-	-	-	Not Covered
StSw	-	-	-	-	-	-	-	-	0	-	-	-	Not Covered
StKeyMgrErrKeyNotValid	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
StError	-	-	-	-	-	-	-	-	-	1	-	-	Not Covered
StError	-	-	-	-	-	-	-	-	-	0	-	-	Not Covered
StError	-	-	-	-	-	-	-	-	-	-	1	1	Not Covered
StError	-	-	-	-	-	-	-	-	-	-	1	0	Not Covered
StError	-	-	-	-	-	-	-	-	-	-	0	-	Not Covered
StServiceRejectedError	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
StTerminalError	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
default	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered

	LineNo.	Expression
-1-:	583	if (lc_ctrl_pkg::lc_tx_test_true_loose(lc_escalate_en_i))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	611	case (mux_sel_buf_kmac)

Branches:

-1-	Status	Tests
SelApp	Not Covered
SelOutLen	Not Covered
SelSw	Not Covered
default	Not Covered

	LineNo.	Expression
-1-:	650	if (((mux_sel_buf_err_check != SelSw) && sw_valid_i))
-2-:	657	if ((app_active_o && (sw_cmd_i != CmdNone)))

Branches:

-1-	-2-	Status	Tests
1	-	Not Covered
0	1	Not Covered
0	0	Not Covered

	LineNo.	Expression
-1-:	714	if (((mux_sel_buf_output == SelSw) && lc_ctrl_pkg::lc_tx_test_false_strict(lc_escalate_en_i)))
-2-:	720	if (keymgr_key_en_i)

Branches:

-1-	-2-	Status	Tests
1	1	Not Covered
1	0	Not Covered
0	-	Not Covered

	LineNo.	Expression
-1-:	739	if ((((st == StAppWait) && prim_mubi_pkg::mubi4_test_true_strict(absorbed_i)) && lc_ctrl_pkg::lc_tx_test_false_strict(lc_escalate_en_i)))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	780	case (st)
-2-:	789	if (keymgr_key_en_i)

Branches:

-1-	-2-	Status	Tests
StAppCfg StAppMsg StAppOutLen StAppProcess StAppWait	-	Not Covered
StSw	1	Not Covered
StSw	0	Not Covered
default	-	Not Covered

	LineNo.	Expression
-1-:	807	case (st)

Branches:

-1-	Status	Tests
StAppCfg StAppMsg StAppOutLen StAppProcess StAppWait	Not Covered
StSw	Not Covered
default	Not Covered

	LineNo.	Expression
-1-:	834	if ((!rst_ni))
-2-:	838	if (clr_appid)
-3-:	843	if (set_appid)
-4-:	844	((kmac_pkg::AppCfg[arb_idx].Mode == AppKMAC)) ? 
-5-:	845	((kmac_pkg::AppCfg[arb_idx].Mode == AppSHA3)) ? 
-6-:	848	if ((st == StIdle))

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	Status	Tests
1	-	-	-	-	-	Not Covered
0	1	-	-	-	-	Not Covered
0	0	1	1	-	-	Not Covered
0	0	1	0	-	-	Not Covered
0	0	1	-	1	-	Not Covered
0	0	1	-	0	-	Not Covered
0	0	0	-	-	1	Not Covered
0	0	0	-	-	0	Not Covered

	LineNo.	Expression
-1-:	861	case ({fsm_err.valid, mux_err.valid})

Branches:

-1-	Status	Tests
2'bz1	Not Covered
2'b10	Not Covered
default	Not Covered

Line Coverage for Instance : tb.dut.u_app_intf

	Line No.	Total	Covered	Percent
TOTAL		187	0	0.00
ALWAYS	294	6	0	0.00
ALWAYS	308	0	0
ALWAYS	308	4	0	0.00
ALWAYS	333	6	0	0.00
ALWAYS	352	3	0	0.00
CONT_ASSIGN	376	1	0	0.00
CONT_ASSIGN	377	1	0	0.00
ALWAYS	380	3	0	0.00
ALWAYS	389	3	0	0.00
ALWAYS	392	1	0	0.00
ALWAYS	397	73	0	0.00
ALWAYS	604	18	0	0.00
ALWAYS	648	5	0	0.00
CONT_ASSIGN	668	1	0	0.00
CONT_ASSIGN	679	1	0	0.00
CONT_ASSIGN	690	1	0	0.00
ALWAYS	712	13	0	0.00
ALWAYS	737	6	0	0.00
ALWAYS	765	3	0	0.00
ALWAYS	775	11	0	0.00
ALWAYS	805	8	0	0.00
ALWAYS	834	16	0	0.00
ALWAYS	861	3	0	0.00

WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_kmac_0.1/rtl/kmac_app.sv' or '../src/lowrisc_ip_kmac_0.1/rtl/kmac_app.sv' was not found, so annotated line coverage report could not be generated.

Line No.	Covered	Statements
294	0	2
295	0	2
296	0	2
			==> MISSING_ELSE
308	0	1
309	0	1
310	0	1
320	0	1
333	0	2
334	0	2
335	0	2
			==> MISSING_ELSE
352	0	1
353	0	1
354	0	1
376	0	1
377	0	1
380	0	2
381	0	1
389	0	3
392	0	1
397	0	1
399	0	1
402	0	1
403	0	1
406	0	1
409	0	1
412	0	1
413	0	1
415	0	1
416	0	1
419	0	1
420	0	1
422	0	1
424	0	1
425	0	1
428	0	1
429	0	1
430	0	1
432	0	1
434	0	1
439	0	1
446	0	1
448	0	1
450	0	1
452	0	1
459	0	1
462	0	1
467	0	1
468	0	1
469	0	1
470	0	1
472	0	1
475	0	1
480	0	1
482	0	1
483	0	1
485	0	1
490	0	1
491	0	1
495	0	1
497	0	1
498	0	1
500	0	1
502	0	1
507	0	1
509	0	1
510	0	1
512	0	1
513	0	1
515	0	1
520	0	1
524	0	1
525	0	1
526	0	1
531	0	1
533	0	1
535	0	1
536	0	1
539	0	1
			==> MISSING_ELSE
542	0	1
544	0	1
546	0	1
550	0	1
			==> MISSING_ELSE
			==> MISSING_ELSE
559	0	1
561	0	1
562	0	1
567	0	1
568	0	1
569	0	1
570	0	1
571	0	1
583	0	1
584	0	1
			==> MISSING_ELSE
604	0	1
605	0	1
607	0	1
608	0	1
609	0	1
611	0	1
614	0	1
615	0	1
617	0	1
618	0	1
620	0	1
625	0	1
626	0	1
627	0	1
631	0	1
632	0	1
633	0	1
634	0	1
648	0	1
650	0	1
652	0	1
657	0	1
659	0	1
			==> MISSING_ELSE
668	0	1
679	0	1
690	0	1
712	0	1
713	0	1
714	0	1
716	0	1
717	0	1
720	0	1
721	0	1
722	0	1
723	0	1
724	0	1
725	0	1
726	0	1
727	0	1
			==> MISSING_ELSE
			==> MISSING_ELSE
737	0	1
738	0	1
739	0	1
742	0	1
745	0	1
747	0	1
			==> MISSING_ELSE
765	0	1
766	0	1
767	0	1
775	0	1
776	0	1
777	0	1
780	0	1
782	0	1
783	0	1
784	0	1
789	0	1
790	0	1
791	0	1
792	0	1
			==> MISSING_ELSE
805	0	1
807	0	1
810	0	1
811	0	1
812	0	1
813	0	1
815	0	1
			==> MISSING_ELSE
822	0	1
834	0	1
835	0	1
836	0	1
837	0	1
838	0	1
840	0	1
841	0	1
842	0	1
843	0	1
844	0	1
845	0	1
847	0	1
848	0	1
849	0	1
850	0	1
851	0	1
			==> MISSING_ELSE
861	0	1
862	0	1
863	0	1

---

Cond Coverage for Instance : tb.dut.u_app_intf

	Total	Covered	Percent
Conditions	57	0	0.00
Logical	57	0	0.00
Non-Logical	0	0
Event	0	0

 LINE       309
 EXPRESSION (i == app_id)
            ------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       310
 EXPRESSION (app_data_ready | fsm_data_ready)
             -------1------   -------2------

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Not Covered
1	0	Not Covered

 LINE       310
 EXPRESSION (app_digest_done | fsm_digest_done_q)
             -------1-------   --------2--------

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Not Covered
1	0	Not Covered

 LINE       310
 EXPRESSION (error_i | fsm_digest_done_q | sparse_fsm_error_o | service_rejected_error)
             ---1---   --------2--------   ---------3--------   -----------4----------

-1-	-2-	-3-	-4-	Status	Tests
0	0	0	0	Not Covered
0	0	0	1	Not Covered
0	0	1	0	Not Covered
0	1	0	0	Not Covered
1	0	0	0	Not Covered

 LINE       429
 EXPRESSION (sw_cmd_i == CmdStart)
            -----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       450
 EXPRESSION ((kmac_pkg::AppCfg[app_id].Mode == AppKMAC) && ((!keymgr_key_i.valid)))
             ---------------------1--------------------    -----------2-----------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       450
 SUB-EXPRESSION (kmac_pkg::AppCfg[app_id].Mode == AppKMAC)
                ---------------------1--------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       468
 EXPRESSION (app_i[app_id].valid && app_o[app_id].ready && app_i[app_id].last)
             ---------1---------    ---------2---------    ---------3--------

-1-	-2-	-3-	Status	Tests
0	1	1	Not Covered
1	0	1	Not Covered
1	1	0	Not Covered
1	1	1	Not Covered

 LINE       469
 EXPRESSION (kmac_pkg::AppCfg[app_id].Mode == AppKMAC)
            ---------------------1--------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       482
 EXPRESSION (kmac_valid_o && kmac_ready_i)
             ------1-----    ------2-----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Unreachable
1	1	Not Covered

 LINE       512
 EXPRESSION (sw_cmd_i == CmdDone)
            ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       542
 EXPRESSION (app_i[app_id].valid && app_i[app_id].last)
             ---------1---------    ---------2--------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       650
 EXPRESSION ((mux_sel_buf_err_check != SelSw) && sw_valid_i)
             ----------------1---------------    -----2----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       650
 SUB-EXPRESSION (mux_sel_buf_err_check != SelSw)
                ----------------1---------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       657
 EXPRESSION (app_active_o && (sw_cmd_i != CmdNone))
             ------1-----    ----------2----------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       657
 SUB-EXPRESSION (sw_cmd_i != CmdNone)
                ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       811
 EXPRESSION (app_id == i)
            ------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       812
 EXPRESSION (kmac_pkg::AppCfg[i].PrefixMode == 1'b0)
            --------------------1-------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       844
 EXPRESSION ((kmac_pkg::AppCfg[arb_idx].Mode == AppKMAC) ? 1'b1 : 1'b0)
             ---------------------1---------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       844
 SUB-EXPRESSION (kmac_pkg::AppCfg[arb_idx].Mode == AppKMAC)
                ---------------------1---------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       845
 EXPRESSION ((kmac_pkg::AppCfg[arb_idx].Mode == AppSHA3) ? Sha3 : CShake)
             ---------------------1---------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       845
 SUB-EXPRESSION (kmac_pkg::AppCfg[arb_idx].Mode == AppSHA3)
                ---------------------1---------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       848
 EXPRESSION (st == StIdle)
            -------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

---

FSM Coverage for Instance : tb.dut.u_app_intf

Summary for FSM :: st

	Total	Covered	Percent
States	11	0	0.00	(Not included in score)
Transitions	17	0	0.00
Sequences	0	0

State, Transition and Sequence Details for FSM :: st

---

states	Line No.	Covered	Tests
StAppCfg	425	Not Covered
StAppMsg	459	Not Covered
StAppOutLen	470	Not Covered
StAppProcess	472	Not Covered
StAppWait	491	Not Covered
StError	446	Not Covered
StIdle	434	Not Covered
StKeyMgrErrKeyNotValid	452	Not Covered
StServiceRejectedError	550	Excluded
StSw	430	Not Covered
StTerminalError	584	Not Covered

transitions	Line No.	Covered	Tests	Exclude Annotation
StAppCfg->StAppMsg	459	Not Covered
StAppCfg->StError	446	Not Covered
StAppCfg->StKeyMgrErrKeyNotValid	452	Not Covered
StAppCfg->StTerminalError	584	Excluded		[LOW_RISK] The transition from any state to error_terminal state is fully verified in FPV.
StAppMsg->StAppOutLen	470	Not Covered
StAppMsg->StAppProcess	472	Not Covered
StAppMsg->StTerminalError	584	Not Covered
StAppOutLen->StAppProcess	483	Not Covered
StAppOutLen->StTerminalError	584	Excluded		[LOW_RISK] The transition from any state to error_terminal state is fully verified in FPV.
StAppProcess->StAppWait	491	Not Covered
StAppProcess->StTerminalError	584	Excluded		[LOW_RISK] The transition from any state to error_terminal state is fully verified in FPV.
StAppWait->StIdle	497	Not Covered
StAppWait->StTerminalError	584	Not Covered
StError->StIdle	536	Not Covered
StError->StServiceRejectedError	550	Excluded		[UNSUPPORTED]Unmasked version does not have ServiceRejectError.
StError->StTerminalError	584	Excluded		[LOW_RISK] The transition from any state to error_terminal state is fully verified in FPV.
StIdle->StAppCfg	425	Not Covered
StIdle->StSw	430	Not Covered
StIdle->StTerminalError	584	Not Covered
StKeyMgrErrKeyNotValid->StError	520	Not Covered
StKeyMgrErrKeyNotValid->StTerminalError	584	Excluded		[LOW_RISK] The transition from any state to error_terminal state is fully verified in FPV.
StServiceRejectedError->StIdle	559	Excluded		[UNSUPPORTED]Unmasked version does not have ServiceRejectError.
StServiceRejectedError->StTerminalError	584	Excluded		[UNSUPPORTED]Unmasked version does not have ServiceRejectError.
StSw->StIdle	513	Not Covered
StSw->StTerminalError	584	Not Covered

---

Branch Coverage for Instance : tb.dut.u_app_intf

	Line No.	Total	Covered	Percent
Branches		71	0	0.00
IF	294	4	0	0.00
IF	309	2	0	0.00
IF	333	4	0	0.00
IF	380	2	0	0.00
IF	389	2	0	0.00
CASE	422	25	0	0.00
IF	583	2	0	0.00
CASE	611	4	0	0.00
IF	650	3	0	0.00
IF	714	3	0	0.00
IF	739	2	0	0.00
CASE	780	4	0	0.00
CASE	807	3	0	0.00
IF	834	8	0	0.00
CASE	861	3	0	0.00

WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_kmac_0.1/rtl/kmac_app.sv' or '../src/lowrisc_ip_kmac_0.1/rtl/kmac_app.sv was not found/opened, so annotated branch coverage report could not be generated.

	LineNo.	Expression
-1-:	294	if ((!rst_ni))
-2-:	295	if (service_rejected_error_set)
-3-:	296	if (service_rejected_error_clr)

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Not Covered
0	1	-	Not Covered
0	0	1	Not Covered
0	0	0	Not Covered

	LineNo.	Expression
-1-:	309	if ((i == app_id))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	333	if ((!rst_ni))
-2-:	334	if (clr_appid)
-3-:	335	if (set_appid)

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Not Covered
0	1	-	Not Covered
0	0	1	Not Covered
0	0	0	Not Covered

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	422	case (st)
-2-:	424	if (arb_valid)
-3-:	429	if ((sw_cmd_i == CmdStart))
-4-:	439	if (((kmac_pkg::AppCfg[app_id].Mode == AppKMAC) && prim_mubi_pkg::mubi4_test_false_strict(entropy_ready_i)))
-5-:	450	if (((kmac_pkg::AppCfg[app_id].Mode == AppKMAC) && (!keymgr_key_i.valid)))
-6-:	468	if (((app_i[app_id].valid && app_o[app_id].ready) && app_i[app_id].last))
-7-:	469	if ((kmac_pkg::AppCfg[app_id].Mode == AppKMAC))
-8-:	482	if ((kmac_valid_o && kmac_ready_i))
-9-:	495	if (prim_mubi_pkg::mubi4_test_true_strict(absorbed_i))
-10-:	512	if ((sw_cmd_i == CmdDone))
-11-:	535	if (err_processed_i)
-12-:	542	if ((app_i[app_id].valid && app_i[app_id].last))
-13-:	546	if (service_rejected_error)

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	-10-	-11-	-12-	-13-	Status	Tests
StIdle	1	-	-	-	-	-	-	-	-	-	-	-	Not Covered
StIdle	0	1	-	-	-	-	-	-	-	-	-	-	Not Covered
StIdle	0	0	-	-	-	-	-	-	-	-	-	-	Not Covered
StAppCfg	-	-	1	-	-	-	-	-	-	-	-	-	Not Covered
StAppCfg	-	-	0	1	-	-	-	-	-	-	-	-	Not Covered
StAppCfg	-	-	0	0	-	-	-	-	-	-	-	-	Not Covered
StAppMsg	-	-	-	-	1	1	-	-	-	-	-	-	Not Covered
StAppMsg	-	-	-	-	1	0	-	-	-	-	-	-	Not Covered
StAppMsg	-	-	-	-	0	-	-	-	-	-	-	-	Not Covered
StAppOutLen	-	-	-	-	-	-	1	-	-	-	-	-	Not Covered
StAppOutLen	-	-	-	-	-	-	0	-	-	-	-	-	Not Covered
StAppProcess	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
StAppWait	-	-	-	-	-	-	-	1	-	-	-	-	Not Covered
StAppWait	-	-	-	-	-	-	-	0	-	-	-	-	Not Covered
StSw	-	-	-	-	-	-	-	-	1	-	-	-	Not Covered
StSw	-	-	-	-	-	-	-	-	0	-	-	-	Not Covered
StKeyMgrErrKeyNotValid	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
StError	-	-	-	-	-	-	-	-	-	1	-	-	Not Covered
StError	-	-	-	-	-	-	-	-	-	0	-	-	Not Covered
StError	-	-	-	-	-	-	-	-	-	-	1	1	Not Covered
StError	-	-	-	-	-	-	-	-	-	-	1	0	Not Covered
StError	-	-	-	-	-	-	-	-	-	-	0	-	Not Covered
StServiceRejectedError	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
StTerminalError	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
default	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered

	LineNo.	Expression
-1-:	583	if (lc_ctrl_pkg::lc_tx_test_true_loose(lc_escalate_en_i))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	611	case (mux_sel_buf_kmac)

Branches:

-1-	Status	Tests
SelApp	Not Covered
SelOutLen	Not Covered
SelSw	Not Covered
default	Not Covered

	LineNo.	Expression
-1-:	650	if (((mux_sel_buf_err_check != SelSw) && sw_valid_i))
-2-:	657	if ((app_active_o && (sw_cmd_i != CmdNone)))

Branches:

-1-	-2-	Status	Tests
1	-	Not Covered
0	1	Not Covered
0	0	Not Covered

	LineNo.	Expression
-1-:	714	if (((mux_sel_buf_output == SelSw) && lc_ctrl_pkg::lc_tx_test_false_strict(lc_escalate_en_i)))
-2-:	720	if (keymgr_key_en_i)

Branches:

-1-	-2-	Status	Tests
1	1	Not Covered
1	0	Not Covered
0	-	Not Covered

	LineNo.	Expression
-1-:	739	if ((((st == StAppWait) && prim_mubi_pkg::mubi4_test_true_strict(absorbed_i)) && lc_ctrl_pkg::lc_tx_test_false_strict(lc_escalate_en_i)))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	780	case (st)
-2-:	789	if (keymgr_key_en_i)

Branches:

-1-	-2-	Status	Tests
StAppCfg StAppMsg StAppOutLen StAppProcess StAppWait	-	Not Covered
StSw	1	Not Covered
StSw	0	Not Covered
default	-	Not Covered

	LineNo.	Expression
-1-:	807	case (st)

Branches:

-1-	Status	Tests
StAppCfg StAppMsg StAppOutLen StAppProcess StAppWait	Not Covered
StSw	Not Covered
default	Not Covered

	LineNo.	Expression
-1-:	834	if ((!rst_ni))
-2-:	838	if (clr_appid)
-3-:	843	if (set_appid)
-4-:	844	((kmac_pkg::AppCfg[arb_idx].Mode == AppKMAC)) ? 
-5-:	845	((kmac_pkg::AppCfg[arb_idx].Mode == AppSHA3)) ? 
-6-:	848	if ((st == StIdle))

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	Status	Tests
1	-	-	-	-	-	Not Covered
0	1	-	-	-	-	Not Covered
0	0	1	1	-	-	Not Covered
0	0	1	0	-	-	Not Covered
0	0	1	-	1	-	Not Covered
0	0	1	-	0	-	Not Covered
0	0	0	-	-	1	Not Covered
0	0	0	-	-	0	Not Covered

	LineNo.	Expression
-1-:	861	case ({fsm_err.valid, mux_err.valid})

Branches:

-1-	Status	Tests
2'bz1	Not Covered
2'b10	Not Covered
default	Not Covered