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.32	0.00	0.00	6.61	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

---

Since this is the module's only instance, the coverage report is the same as for the module.

Line Coverage for Module : kmac_app

	Line No.	Total	Covered	Percent
TOTAL		221	0	0.00
ALWAYS	290	6	0	0.00
ALWAYS	304	0	0
ALWAYS	304	4	0	0.00
ALWAYS	329	6	0	0.00
ALWAYS	348	3	0	0.00
CONT_ASSIGN	372	1	0	0.00
CONT_ASSIGN	373	1	0	0.00
ALWAYS	376	3	0	0.00
ALWAYS	385	3	0	0.00
ALWAYS	388	1	0	0.00
ALWAYS	393	95	0	0.00
CONT_ASSIGN	653	1	0	0.00
ALWAYS	659	3	0	0.00
ALWAYS	682	18	0	0.00
ALWAYS	726	5	0	0.00
CONT_ASSIGN	746	1	0	0.00
CONT_ASSIGN	757	1	0	0.00
CONT_ASSIGN	768	1	0	0.00
ALWAYS	790	13	0	0.00
ALWAYS	815	6	0	0.00
CONT_ASSIGN	839	1	0	0.00
CONT_ASSIGN	839	1	0	0.00
ALWAYS	853	20	0	0.00
ALWAYS	904	8	0	0.00
ALWAYS	933	16	0	0.00
ALWAYS	960	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
290	0	2
291	0	2
292	0	2
			==> MISSING_ELSE
304	0	1
305	0	1
306	0	1
316	0	1
329	0	2
330	0	2
331	0	2
			==> MISSING_ELSE
348	0	1
349	0	1
350	0	1
372	0	1
373	0	1
376	0	2
377	0	1
385	0	3
388	0	1
393	0	1
395	0	1
398	0	1
399	0	1
402	0	1
405	0	1
408	0	1
409	0	1
411	0	1
413	0	1
414	0	1
417	0	1
418	0	1
420	0	1
422	0	1
423	0	1
426	0	1
427	0	1
428	0	1
430	0	1
432	0	1
437	0	1
444	0	1
446	0	1
450	0	1
453	0	1
458	0	1
459	0	1
460	0	1
461	0	1
463	0	1
466	0	1
471	0	1
473	0	1
474	0	1
476	0	1
481	0	1
482	0	1
486	0	1
488	0	1
489	0	1
491	0	1
493	0	1
498	0	1
500	0	1
501	0	1
503	0	1
504	0	1
506	0	1
511	0	1
515	0	1
516	0	1
517	0	1
522	0	1
525	0	1
532	0	1
536	0	1
542	0	1
543	0	1
550	0	1
553	0	1
558	0	1
564	0	1
567	0	1
568	0	1
576	0	1
579	0	1
580	0	1
			==> MISSING_ELSE
586	0	1
587	0	1
590	0	1
593	0	1
594	0	1
			==> MISSING_ELSE
599	0	1
601	0	1
602	0	1
603	0	1
604	0	1
605	0	1
607	0	1
608	0	1
			==> MISSING_ELSE
			==> MISSING_ELSE
615	0	1
616	0	1
617	0	1
618	0	1
623	0	1
624	0	1
625	0	1
626	0	1
627	0	1
639	0	1
640	0	1
			==> MISSING_ELSE
644	0	1
646	0	1
647	0	1
			==> MISSING_ELSE
			==> MISSING_ELSE
653	0	1
659	0	1
660	0	1
662	0	1
682	0	1
683	0	1
685	0	1
686	0	1
687	0	1
689	0	1
692	0	1
693	0	1
695	0	1
696	0	1
698	0	1
703	0	1
704	0	1
705	0	1
709	0	1
710	0	1
711	0	1
712	0	1
726	0	1
728	0	1
730	0	1
735	0	1
737	0	1
			==> MISSING_ELSE
746	0	1
757	0	1
768	0	1
790	0	1
791	0	1
792	0	1
794	0	1
795	0	1
798	0	1
799	0	1
800	0	1
801	0	1
802	0	1
803	0	1
804	0	1
805	0	1
			==> MISSING_ELSE
			==> MISSING_ELSE
815	0	1
816	0	1
817	0	1
820	0	1
823	0	1
825	0	1
			==> MISSING_ELSE
839	0	2
853	0	1
854	0	1
855	0	1
856	0	1
860	0	1
862	0	1
865	0	1
866	0	1
867	0	1
868	0	1
872	0	1
876	0	1
878	0	1
879	0	1
880	0	1
881	0	1
			==> MISSING_ELSE
885	0	1
886	0	1
888	0	1
891	0	1
			==> MISSING_ELSE
904	0	1
906	0	1
909	0	1
910	0	1
911	0	1
912	0	1
914	0	1
			==> MISSING_ELSE
921	0	1
933	0	1
934	0	1
935	0	1
936	0	1
937	0	1
939	0	1
940	0	1
941	0	1
942	0	1
943	0	1
944	0	1
946	0	1
947	0	1
948	0	1
949	0	1
950	0	1
			==> MISSING_ELSE
960	0	1
961	0	1
962	0	1

---

Cond Coverage for Module : kmac_app

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

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

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       306
 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       306
 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       306
 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       427
 EXPRESSION (sw_cmd_i == CmdStart)
            -----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       459
 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       460
 EXPRESSION (kmac_pkg::AppCfg[app_id].Mode == AppKMAC)
            ---------------------1--------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       473
 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       503
 EXPRESSION (sw_cmd_i == CmdDone)
            ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       587
 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       644
 EXPRESSION (st_d != StTerminalError)
            ------------1------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       646
 EXPRESSION (keymgr_key_used && ((!keymgr_key_i.valid)))
             -------1-------    -----------2-----------

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

 LINE       653
 EXPRESSION (((mux_sel == SelSw) && (st_d inside {StError, StKeyMgrErrKeyNotValid})) ? 1'b1 : ((st_d == StIdle) ? 1'b0 : err_during_sw_q))
             -----------------------------------1-----------------------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       653
 SUB-EXPRESSION ((mux_sel == SelSw) && (st_d inside {StError, StKeyMgrErrKeyNotValid}))
                 ---------1--------    -----------------------2-----------------------

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

 LINE       653
 SUB-EXPRESSION (mux_sel == SelSw)
                ---------1--------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       653
 SUB-EXPRESSION ((st_d == StIdle) ? 1'b0 : err_during_sw_q)
                 --------1-------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       653
 SUB-EXPRESSION (st_d == StIdle)
                --------1-------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       728
 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       728
 SUB-EXPRESSION (mux_sel_buf_err_check != SelSw)
                ----------------1---------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       735
 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       735
 SUB-EXPRESSION (sw_cmd_i != CmdNone)
                ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

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

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       872
 EXPRESSION (keymgr_key_used && keymgr_key_i.valid)
             -------1-------    ---------2--------

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

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

-1-	Status	Tests
0	Not Covered
1	Not Covered

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

-1-	Status	Tests
0	Not Covered
1	Not Covered

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

-1-	Status	Tests
0	Not Covered
1	Not Covered

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

-1-	Status	Tests
0	Not Covered
1	Not Covered

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

-1-	Status	Tests
0	Not Covered
1	Not Covered

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

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       947
 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	14	0	0.00	(Not included in score)
Transitions	45	0	0.00
Sequences	0	0

State, Transition and Sequence Details for FSM :: st

---

states	Line No.	Covered	Tests
StAppCfg	423	Not Covered
StAppMsg	450	Not Covered
StAppOutLen	461	Not Covered
StAppProcess	463	Not Covered
StAppWait	482	Not Covered
StError	444	Not Covered
StErrorAwaitApp	558	Not Covered
StErrorAwaitSw	553	Not Covered
StErrorServiceRejected	550	Not Covered
StErrorWaitAbsorbed	568	Not Covered
StIdle	432	Not Covered
StKeyMgrErrKeyNotValid	647	Not Covered
StSw	428	Not Covered
StTerminalError	640	Not Covered

transitions	Line No.	Covered	Tests
StAppCfg->StAppMsg	450	Not Covered
StAppCfg->StError	444	Not Covered
StAppCfg->StKeyMgrErrKeyNotValid	647	Not Covered
StAppCfg->StTerminalError	640	Not Covered
StAppMsg->StAppOutLen	461	Not Covered
StAppMsg->StAppProcess	463	Not Covered
StAppMsg->StKeyMgrErrKeyNotValid	647	Not Covered
StAppMsg->StTerminalError	640	Not Covered
StAppOutLen->StAppProcess	474	Not Covered
StAppOutLen->StKeyMgrErrKeyNotValid	647	Not Covered
StAppOutLen->StTerminalError	640	Not Covered
StAppProcess->StAppWait	482	Not Covered
StAppProcess->StKeyMgrErrKeyNotValid	647	Not Covered
StAppProcess->StTerminalError	640	Not Covered
StAppWait->StIdle	488	Not Covered
StAppWait->StKeyMgrErrKeyNotValid	647	Not Covered
StAppWait->StTerminalError	640	Not Covered
StError->StErrorAwaitApp	558	Not Covered
StError->StErrorAwaitSw	553	Not Covered
StError->StErrorServiceRejected	550	Not Covered
StError->StErrorWaitAbsorbed	568	Not Covered
StError->StKeyMgrErrKeyNotValid	647	Not Covered
StError->StTerminalError	640	Not Covered
StErrorAwaitApp->StErrorWaitAbsorbed	594	Not Covered
StErrorAwaitApp->StKeyMgrErrKeyNotValid	647	Not Covered
StErrorAwaitApp->StTerminalError	640	Not Covered
StErrorAwaitSw->StErrorWaitAbsorbed	580	Not Covered
StErrorAwaitSw->StKeyMgrErrKeyNotValid	647	Not Covered
StErrorAwaitSw->StTerminalError	640	Not Covered
StErrorServiceRejected->StIdle	618	Not Covered
StErrorServiceRejected->StKeyMgrErrKeyNotValid	647	Not Covered
StErrorServiceRejected->StTerminalError	640	Not Covered
StErrorWaitAbsorbed->StIdle	605	Not Covered
StErrorWaitAbsorbed->StKeyMgrErrKeyNotValid	647	Not Covered
StErrorWaitAbsorbed->StTerminalError	640	Not Covered
StIdle->StAppCfg	423	Not Covered
StIdle->StKeyMgrErrKeyNotValid	647	Not Covered
StIdle->StSw	428	Not Covered
StIdle->StTerminalError	640	Not Covered
StKeyMgrErrKeyNotValid->StError	511	Not Covered
StKeyMgrErrKeyNotValid->StTerminalError	640	Not Covered
StSw->StIdle	504	Not Covered
StSw->StKeyMgrErrKeyNotValid	647	Not Covered
StSw->StTerminalError	640	Not Covered
StTerminalError->StKeyMgrErrKeyNotValid	647	Not Covered

---

Branch Coverage for Module : kmac_app

	Line No.	Total	Covered	Percent
Branches		89	0	0.00
TERNARY	653	3	0	0.00
IF	290	4	0	0.00
IF	305	2	0	0.00
IF	329	4	0	0.00
IF	376	2	0	0.00
IF	385	2	0	0.00
CASE	420	32	0	0.00
IF	639	2	0	0.00
IF	644	3	0	0.00
IF	659	2	0	0.00
CASE	689	4	0	0.00
IF	728	3	0	0.00
IF	792	3	0	0.00
IF	817	2	0	0.00
CASE	862	7	0	0.00
CASE	906	3	0	0.00
IF	933	8	0	0.00
CASE	960	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-:	653	(((mux_sel == SelSw) && (st_d inside {StError, StKeyMgrErrKeyNotValid}))) ? 
-2-:	653	((st_d == StIdle)) ? 

Branches:

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

	LineNo.	Expression
-1-:	290	if ((!rst_ni))
-2-:	291	if (service_rejected_error_set)
-3-:	292	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-:	305	if ((i == app_id))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	329	if ((!rst_ni))
-2-:	330	if (clr_appid)
-3-:	331	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-:	376	if ((!rst_ni))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	420	case (st)
-2-:	422	if (arb_valid)
-3-:	427	if ((sw_cmd_i == CmdStart))
-4-:	437	if (((kmac_pkg::AppCfg[app_id].Mode == AppKMAC) && prim_mubi_pkg::mubi4_test_false_strict(entropy_ready_i)))
-5-:	459	if (((app_i[app_id].valid && app_o[app_id].ready) && app_i[app_id].last))
-6-:	460	if ((kmac_pkg::AppCfg[app_id].Mode == AppKMAC))
-7-:	473	if ((kmac_valid_o && kmac_ready_i))
-8-:	486	if (prim_mubi_pkg::mubi4_test_true_strict(absorbed_i))
-9-:	503	if ((sw_cmd_i == CmdDone))
-10-:	532	case ({err_processed_i, ((app_i[app_id].valid && app_i[app_id].last) || err_during_sw_q)})
-11-:	543	if (service_rejected_error)
-12-:	576	if (err_processed_i)
-13-:	587	if ((app_i[app_id].valid && app_i[app_id].last))
-14-:	599	if (prim_mubi_pkg::mubi4_test_true_strict(absorbed_i))
-15-:	607	if (err_during_sw_q)

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	-10-	-11-	-12-	-13-	-14-	-15-	Status	Tests
StIdle	1	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
StIdle	0	1	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
StIdle	0	0	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
StAppCfg	-	-	1	-	-	-	-	-	-	-	-	-	-	-	Not Covered
StAppCfg	-	-	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	-	-	-	-	-	-	-	-	2'b00	-	-	-	-	-	Not Covered
StError	-	-	-	-	-	-	-	-	2'b01	1	-	-	-	-	Not Covered
StError	-	-	-	-	-	-	-	-	2'b01	0	-	-	-	-	Not Covered
StError	-	-	-	-	-	-	-	-	2'b10	-	-	-	-	-	Not Covered
StError	-	-	-	-	-	-	-	-	2'b11	-	-	-	-	-	Not Covered
StError	-	-	-	-	-	-	-	-	default	-	-	-	-	-	Not Covered
StErrorAwaitSw	-	-	-	-	-	-	-	-	-	-	1	-	-	-	Not Covered
StErrorAwaitSw	-	-	-	-	-	-	-	-	-	-	0	-	-	-	Not Covered
StErrorAwaitApp	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Not Covered
StErrorAwaitApp	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Not Covered
StErrorWaitAbsorbed	-	-	-	-	-	-	-	-	-	-	-	-	1	1	Not Covered
StErrorWaitAbsorbed	-	-	-	-	-	-	-	-	-	-	-	-	1	0	Not Covered
StErrorWaitAbsorbed	-	-	-	-	-	-	-	-	-	-	-	-	0	-	Not Covered
StErrorServiceRejected	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
StTerminalError	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered

	LineNo.	Expression
-1-:	639	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-:	644	if ((st_d != StTerminalError))
-2-:	646	if ((keymgr_key_used && (!keymgr_key_i.valid)))

Branches:

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

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

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

Branches:

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

	LineNo.	Expression
-1-:	728	if (((mux_sel_buf_err_check != SelSw) && sw_valid_i))
-2-:	735	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-:	792	if (((mux_sel_buf_output == SelSw) && lc_ctrl_pkg::lc_tx_test_false_strict(lc_escalate_en_i)))
-2-:	798	if (keymgr_key_en_i)

Branches:

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

	LineNo.	Expression
-1-:	817	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-:	862	case (st)
-2-:	876	if (keymgr_key_en_i)
-3-:	885	if (kmac_en_o)
-4-:	886	if ((!keymgr_key_en_i))

Branches:

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

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

Branches:

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

	LineNo.	Expression
-1-:	933	if ((!rst_ni))
-2-:	937	if (clr_appid)
-3-:	942	if (set_appid)
-4-:	943	((kmac_pkg::AppCfg[arb_idx].Mode == AppKMAC)) ? 
-5-:	944	((kmac_pkg::AppCfg[arb_idx].Mode == AppSHA3)) ? 
-6-:	947	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-:	960	case ({fsm_err.valid, mux_err.valid})

Branches:

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