Unified Coverage Report :: Module :: kmac_errchk

Module : kmac_errchk

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_errchk.sv

Module self-instances :

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

---

Module Instance : tb.dut.u_errchk

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_state_regs	0.00	0.00				0.00

Line Coverage for Module : kmac_errchk

	Line No.	Total	Covered	Percent
TOTAL		72	0	0.00
ALWAYS	185	15	0	0.00
CONT_ASSIGN	234	1	0	0.00
ALWAYS	242	4	0	0.00
ALWAYS	248	4	0	0.00
ALWAYS	264	4	0	0.00
ALWAYS	276	6	0	0.00
ALWAYS	284	4	0	0.00
ALWAYS	307	6	0	0.00
ALWAYS	320	6	0	0.00
CONT_ASSIGN	374	1	0	0.00
ALWAYS	389	3	0	0.00
CONT_ASSIGN	397	1	0	0.00
ALWAYS	400	17	0	0.00

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

Line No.	Covered	Statements
185	0	1
186	0	1
188	0	1
191	0	1
192	0	1
			==> MISSING_ELSE
198	0	1
199	0	1
			==> MISSING_ELSE
204	0	1
205	0	1
			==> MISSING_ELSE
211	0	1
212	0	1
			==> MISSING_ELSE
217	0	1
218	0	1
			==> MISSING_ELSE
223	0	1
224	0	1
234	0	1
242	0	2
243	0	2
			==> MISSING_ELSE
248	0	1
250	0	1
252	0	1
256	0	1
			==> MISSING_ELSE
			==> MISSING_ELSE
264	0	1
266	0	1
267	0	1
268	0	1
			==> MISSING_ELSE
			==> MISSING_ELSE
276	0	2
277	0	2
278	0	1
279	0	1
			==> MISSING_ELSE
284	0	1
286	0	1
287	0	1
288	0	1
			==> MISSING_ELSE
			==> MISSING_ELSE
307	0	1
308	0	1
309	0	1
310	0	1
311	0	1
312	0	1
320	0	1
322	0	1
324	0	1
335	0	1
347	0	1
357	0	1
374	0	1
389	0	3
397	0	1
400	0	1
402	0	1
404	0	1
407	0	1
			==> MISSING_ELSE
412	0	1
413	0	1
			==> MISSING_ELSE
418	0	1
419	0	1
			==> MISSING_ELSE
424	0	1
425	0	1
426	0	1
427	0	1
			==> MISSING_ELSE
432	0	1
433	0	1
			==> MISSING_ELSE
439	0	1
451	0	1
452	0	1
			==> MISSING_ELSE

---

Cond Coverage for Module : kmac_errchk

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

 LINE       204
 EXPRESSION (sw_cmd_i != CmdNone)
            ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       217
 EXPRESSION (sw_cmd_i != CmdNone)
            ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       234
 EXPRESSION (err_swsequence || (err_modestrength && ((!cfg_en_unsupported_modestrength_i))) || err_entropy_ready)
             -------1------    ------------------------------2-----------------------------    --------3--------

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

 LINE       234
 SUB-EXPRESSION (err_modestrength && ((!cfg_en_unsupported_modestrength_i)))
                 --------1-------    -------------------2------------------

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

 LINE       250
 EXPRESSION ((st == StIdle) && (st_d == StMsgFeed))
             -------1------    ---------2---------

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

 LINE       250
 SUB-EXPRESSION (st == StIdle)
                -------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       250
 SUB-EXPRESSION (st_d == StMsgFeed)
                ---------1---------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       252
 EXPRESSION 
 Number  Term
      1  (((cfg_mode_i == Sha3) && (cfg_strength_i inside {L224, L256, L384, L512})) || (((cfg_mode_i == Shake) || (cfg_mode_i == CShake)) && (cfg_strength_i inside {L128, L256}))) )

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       252
 SUB-EXPRESSION 
 Number  Term
      1  ((cfg_mode_i == Sha3) && (cfg_strength_i inside {L224, L256, L384, L512})) || 
      2  (((cfg_mode_i == Shake) || (cfg_mode_i == CShake)) && (cfg_strength_i inside {L128, L256})))

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

 LINE       252
 SUB-EXPRESSION ((cfg_mode_i == Sha3) && (cfg_strength_i inside {L224, L256, L384, L512}))
                 ----------1---------    ------------------------2-----------------------

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

 LINE       252
 SUB-EXPRESSION (cfg_mode_i == Sha3)
                ----------1---------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       252
 SUB-EXPRESSION (((cfg_mode_i == Shake) || (cfg_mode_i == CShake)) && (cfg_strength_i inside {L128, L256}))
                 ------------------------1------------------------    ------------------2-----------------

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

 LINE       252
 SUB-EXPRESSION ((cfg_mode_i == Shake) || (cfg_mode_i == CShake))
                 ----------1----------    -----------2----------

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

 LINE       252
 SUB-EXPRESSION (cfg_mode_i == Shake)
                ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       252
 SUB-EXPRESSION (cfg_mode_i == CShake)
                -----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       266
 EXPRESSION ((st == StIdle) && (st_d == StMsgFeed) && kmac_en_i)
             -------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       266
 SUB-EXPRESSION (st == StIdle)
                -------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       266
 SUB-EXPRESSION (st_d == StMsgFeed)
                ---------1---------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       267
 EXPRESSION (cfg_prefix_6B_i != kmac_pkg::EncodedStringKMAC)
            ------------------------1-----------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       278
 EXPRESSION (entropy_ready_pulse_i && (st == StIdle))
             ----------1----------    -------2------

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

 LINE       278
 SUB-EXPRESSION (st == StIdle)
                -------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       286
 EXPRESSION ((st == StIdle) && (st_d == StMsgFeed) && kmac_en_i)
             -------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       286
 SUB-EXPRESSION (st == StIdle)
                -------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       286
 SUB-EXPRESSION (st_d == StMsgFeed)
                ---------1---------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       397
 EXPRESSION (block_swcmd ? st : st_d)
             -----1-----

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       404
 EXPRESSION (((!app_active_i)) && (sw_cmd_i == CmdStart))
             --------1--------    -----------2----------

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

 LINE       404
 SUB-EXPRESSION (sw_cmd_i == CmdStart)
                -----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       412
 EXPRESSION (sw_cmd_i == CmdProcess)
            ------------1-----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       424
 EXPRESSION (sw_cmd_i == CmdManualRun)
            -------------1------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

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

-1-	Status	Tests
0	Not Covered
1	Not Covered

---

FSM Coverage for Module : kmac_errchk

Summary for FSM :: st

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

State, Transition and Sequence Details for FSM :: st

---

states	Line No.	Covered	Tests
StAbsorbed	419	Not Covered
StIdle	427	Not Covered
StMsgFeed	407	Not Covered
StProcessing	413	Not Covered
StSqueezing	425	Not Covered
StTerminalError	452	Not Covered

transitions	Line No.	Covered	Tests
StAbsorbed->StIdle	427	Not Covered
StAbsorbed->StSqueezing	425	Not Covered
StAbsorbed->StTerminalError	452	Not Covered
StIdle->StMsgFeed	407	Not Covered
StIdle->StTerminalError	452	Not Covered
StMsgFeed->StProcessing	413	Not Covered
StMsgFeed->StTerminalError	452	Not Covered
StProcessing->StAbsorbed	419	Not Covered
StProcessing->StTerminalError	452	Not Covered
StSqueezing->StAbsorbed	433	Not Covered
StSqueezing->StTerminalError	452	Not Covered

---

Branch Coverage for Module : kmac_errchk

	Line No.	Total	Covered	Percent
Branches		58	0	0.00
TERNARY	397	2	0	0.00
CASE	188	12	0	0.00
IF	242	3	0	0.00
IF	250	3	0	0.00
IF	266	3	0	0.00
CASE	307	6	0	0.00
CASE	322	5	0	0.00
IF	389	2	0	0.00
CASE	402	13	0	0.00
IF	451	2	0	0.00
IF	276	4	0	0.00
IF	286	3	0	0.00

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

	LineNo.	Expression
-1-:	397	(block_swcmd) ? 

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	188	case (st)
-2-:	191	if ((!(sw_cmd_i inside {CmdNone, CmdStart})))
-3-:	198	if ((!(sw_cmd_i inside {CmdNone, CmdProcess})))
-4-:	204	if ((sw_cmd_i != CmdNone))
-5-:	211	if ((!(sw_cmd_i inside {CmdNone, CmdManualRun, CmdDone})))
-6-:	217	if ((sw_cmd_i != CmdNone))

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	Status	Tests
StIdle	1	-	-	-	-	Not Covered
StIdle	0	-	-	-	-	Not Covered
StMsgFeed	-	1	-	-	-	Not Covered
StMsgFeed	-	0	-	-	-	Not Covered
StProcessing	-	-	1	-	-	Not Covered
StProcessing	-	-	0	-	-	Not Covered
StAbsorbed	-	-	-	1	-	Not Covered
StAbsorbed	-	-	-	0	-	Not Covered
StSqueezing	-	-	-	-	1	Not Covered
StSqueezing	-	-	-	-	0	Not Covered
StTerminalError	-	-	-	-	-	Not Covered
default	-	-	-	-	-	Not Covered

	LineNo.	Expression
-1-:	242	if ((!rst_ni))
-2-:	243	if ((!block_swcmd))

Branches:

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

	LineNo.	Expression
-1-:	250	if (((st == StIdle) && (st_d == StMsgFeed)))
-2-:	252	if ((!(((cfg_mode_i == Sha3) && (cfg_strength_i inside {L224, L256, L384, L512})) || (((cfg_mode_i == Shake) || (cfg_mode_i == CShake)) && (cfg_strength_i inside {L128, L256})))))

Branches:

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

	LineNo.	Expression
-1-:	266	if ((((st == StIdle) && (st_d == StMsgFeed)) && kmac_en_i))
-2-:	267	if ((cfg_prefix_6B_i != kmac_pkg::EncodedStringKMAC))

Branches:

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

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

Branches:

-1-	Status	Tests
StIdle	Not Covered
StMsgFeed	Not Covered
StProcessing	Not Covered
StAbsorbed	Not Covered
StSqueezing	Not Covered
default	Not Covered

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

Branches:

-1-	Status	Tests
err_swsequence	Not Covered
err_modestrength	Not Covered
err_prefix	Not Covered
err_entropy_ready	Not Covered
default	Not Covered

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	402	case (st)
-2-:	404	if (((!app_active_i) && (sw_cmd_i == CmdStart)))
-3-:	412	if ((sw_cmd_i == CmdProcess))
-4-:	418	if (prim_mubi_pkg::mubi4_test_true_strict(sha3_absorbed_i))
-5-:	424	if ((sw_cmd_i == CmdManualRun))
-6-:	426	if ((sw_cmd_i == CmdDone))
-7-:	432	if (keccak_done_i)

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	Status	Tests
StIdle	1	-	-	-	-	-	Not Covered
StIdle	0	-	-	-	-	-	Not Covered
StMsgFeed	-	1	-	-	-	-	Not Covered
StMsgFeed	-	0	-	-	-	-	Not Covered
StProcessing	-	-	1	-	-	-	Not Covered
StProcessing	-	-	0	-	-	-	Not Covered
StAbsorbed	-	-	-	1	-	-	Not Covered
StAbsorbed	-	-	-	0	1	-	Not Covered
StAbsorbed	-	-	-	0	0	-	Not Covered
StSqueezing	-	-	-	-	-	1	Not Covered
StSqueezing	-	-	-	-	-	0	Not Covered
StTerminalError	-	-	-	-	-	-	Not Covered
default	-	-	-	-	-	-	Not Covered

	LineNo.	Expression
-1-:	451	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-:	276	if ((!rst_ni))
-2-:	277	if (err_processed_i)
-3-:	278	if ((entropy_ready_pulse_i && (st == StIdle)))

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-:	286	if ((((st == StIdle) && (st_d == StMsgFeed)) && kmac_en_i))
-2-:	287	if ((!cfg_entropy_ready))

Branches:

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

Line Coverage for Instance : tb.dut.u_errchk

	Line No.	Total	Covered	Percent
TOTAL		72	0	0.00
ALWAYS	185	15	0	0.00
CONT_ASSIGN	234	1	0	0.00
ALWAYS	242	4	0	0.00
ALWAYS	248	4	0	0.00
ALWAYS	264	4	0	0.00
ALWAYS	276	6	0	0.00
ALWAYS	284	4	0	0.00
ALWAYS	307	6	0	0.00
ALWAYS	320	6	0	0.00
CONT_ASSIGN	374	1	0	0.00
ALWAYS	389	3	0	0.00
CONT_ASSIGN	397	1	0	0.00
ALWAYS	400	17	0	0.00

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

Line No.	Covered	Statements
185	0	1
186	0	1
188	0	1
191	0	1
192	0	1
			==> MISSING_ELSE
198	0	1
199	0	1
			==> MISSING_ELSE
204	0	1
205	0	1
			==> MISSING_ELSE
211	0	1
212	0	1
			==> MISSING_ELSE
217	0	1
218	0	1
			==> MISSING_ELSE
223	0	1
224	0	1
234	0	1
242	0	2
243	0	2
			==> MISSING_ELSE
248	0	1
250	0	1
252	0	1
256	0	1
			==> MISSING_ELSE
			==> MISSING_ELSE
264	0	1
266	0	1
267	0	1
268	0	1
			==> MISSING_ELSE
			==> MISSING_ELSE
276	0	2
277	0	2
278	0	1
279	0	1
			==> MISSING_ELSE
284	0	1
286	0	1
287	0	1
288	0	1
			==> MISSING_ELSE
			==> MISSING_ELSE
307	0	1
308	0	1
309	0	1
310	0	1
311	0	1
312	0	1
320	0	1
322	0	1
324	0	1
335	0	1
347	0	1
357	0	1
374	0	1
389	0	3
397	0	1
400	0	1
402	0	1
404	0	1
407	0	1
			==> MISSING_ELSE
412	0	1
413	0	1
			==> MISSING_ELSE
418	0	1
419	0	1
			==> MISSING_ELSE
424	0	1
425	0	1
426	0	1
427	0	1
			==> MISSING_ELSE
432	0	1
433	0	1
			==> MISSING_ELSE
439	0	1
451	0	1
452	0	1
			==> MISSING_ELSE

---

Cond Coverage for Instance : tb.dut.u_errchk

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

 LINE       204
 EXPRESSION (sw_cmd_i != CmdNone)
            ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       217
 EXPRESSION (sw_cmd_i != CmdNone)
            ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       234
 EXPRESSION (err_swsequence || (err_modestrength && ((!cfg_en_unsupported_modestrength_i))) || err_entropy_ready)
             -------1------    ------------------------------2-----------------------------    --------3--------

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

 LINE       234
 SUB-EXPRESSION (err_modestrength && ((!cfg_en_unsupported_modestrength_i)))
                 --------1-------    -------------------2------------------

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

 LINE       250
 EXPRESSION ((st == StIdle) && (st_d == StMsgFeed))
             -------1------    ---------2---------

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

 LINE       250
 SUB-EXPRESSION (st == StIdle)
                -------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       250
 SUB-EXPRESSION (st_d == StMsgFeed)
                ---------1---------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       252
 EXPRESSION 
 Number  Term
      1  (((cfg_mode_i == Sha3) && (cfg_strength_i inside {L224, L256, L384, L512})) || (((cfg_mode_i == Shake) || (cfg_mode_i == CShake)) && (cfg_strength_i inside {L128, L256}))) )

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       252
 SUB-EXPRESSION 
 Number  Term
      1  ((cfg_mode_i == Sha3) && (cfg_strength_i inside {L224, L256, L384, L512})) || 
      2  (((cfg_mode_i == Shake) || (cfg_mode_i == CShake)) && (cfg_strength_i inside {L128, L256})))

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

 LINE       252
 SUB-EXPRESSION ((cfg_mode_i == Sha3) && (cfg_strength_i inside {L224, L256, L384, L512}))
                 ----------1---------    ------------------------2-----------------------

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

 LINE       252
 SUB-EXPRESSION (cfg_mode_i == Sha3)
                ----------1---------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       252
 SUB-EXPRESSION (((cfg_mode_i == Shake) || (cfg_mode_i == CShake)) && (cfg_strength_i inside {L128, L256}))
                 ------------------------1------------------------    ------------------2-----------------

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

 LINE       252
 SUB-EXPRESSION ((cfg_mode_i == Shake) || (cfg_mode_i == CShake))
                 ----------1----------    -----------2----------

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

 LINE       252
 SUB-EXPRESSION (cfg_mode_i == Shake)
                ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       252
 SUB-EXPRESSION (cfg_mode_i == CShake)
                -----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       266
 EXPRESSION ((st == StIdle) && (st_d == StMsgFeed) && kmac_en_i)
             -------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       266
 SUB-EXPRESSION (st == StIdle)
                -------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       266
 SUB-EXPRESSION (st_d == StMsgFeed)
                ---------1---------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       267
 EXPRESSION (cfg_prefix_6B_i != kmac_pkg::EncodedStringKMAC)
            ------------------------1-----------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       278
 EXPRESSION (entropy_ready_pulse_i && (st == StIdle))
             ----------1----------    -------2------

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

 LINE       278
 SUB-EXPRESSION (st == StIdle)
                -------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       286
 EXPRESSION ((st == StIdle) && (st_d == StMsgFeed) && kmac_en_i)
             -------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       286
 SUB-EXPRESSION (st == StIdle)
                -------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       286
 SUB-EXPRESSION (st_d == StMsgFeed)
                ---------1---------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       397
 EXPRESSION (block_swcmd ? st : st_d)
             -----1-----

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       404
 EXPRESSION (((!app_active_i)) && (sw_cmd_i == CmdStart))
             --------1--------    -----------2----------

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

 LINE       404
 SUB-EXPRESSION (sw_cmd_i == CmdStart)
                -----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       412
 EXPRESSION (sw_cmd_i == CmdProcess)
            ------------1-----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       424
 EXPRESSION (sw_cmd_i == CmdManualRun)
            -------------1------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

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

-1-	Status	Tests
0	Not Covered
1	Not Covered

---

FSM Coverage for Instance : tb.dut.u_errchk

Summary for FSM :: st

	Total	Covered	Percent
States	6	0	0.00	(Not included in score)
Transitions	10	0	0.00
Sequences	0	0

State, Transition and Sequence Details for FSM :: st

---

states	Line No.	Covered	Tests
StAbsorbed	419	Not Covered
StIdle	427	Not Covered
StMsgFeed	407	Not Covered
StProcessing	413	Not Covered
StSqueezing	425	Not Covered
StTerminalError	452	Not Covered

transitions	Line No.	Covered	Tests	Exclude Annotation
StAbsorbed->StIdle	427	Not Covered
StAbsorbed->StSqueezing	425	Not Covered
StAbsorbed->StTerminalError	452	Not Covered
StIdle->StMsgFeed	407	Not Covered
StIdle->StTerminalError	452	Not Covered
StMsgFeed->StProcessing	413	Not Covered
StMsgFeed->StTerminalError	452	Not Covered
StProcessing->StAbsorbed	419	Not Covered
StProcessing->StTerminalError	452	Not Covered
StSqueezing->StAbsorbed	433	Not Covered
StSqueezing->StTerminalError	452	Excluded		[LOW_RISK] The transition from any state to error_terminal state is fully verified in FPV.

---

Branch Coverage for Instance : tb.dut.u_errchk

	Line No.	Total	Covered	Percent
Branches		58	0	0.00
TERNARY	397	2	0	0.00
CASE	188	12	0	0.00
IF	242	3	0	0.00
IF	250	3	0	0.00
IF	266	3	0	0.00
CASE	307	6	0	0.00
CASE	322	5	0	0.00
IF	389	2	0	0.00
CASE	402	13	0	0.00
IF	451	2	0	0.00
IF	276	4	0	0.00
IF	286	3	0	0.00

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

	LineNo.	Expression
-1-:	397	(block_swcmd) ? 

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	188	case (st)
-2-:	191	if ((!(sw_cmd_i inside {CmdNone, CmdStart})))
-3-:	198	if ((!(sw_cmd_i inside {CmdNone, CmdProcess})))
-4-:	204	if ((sw_cmd_i != CmdNone))
-5-:	211	if ((!(sw_cmd_i inside {CmdNone, CmdManualRun, CmdDone})))
-6-:	217	if ((sw_cmd_i != CmdNone))

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	Status	Tests
StIdle	1	-	-	-	-	Not Covered
StIdle	0	-	-	-	-	Not Covered
StMsgFeed	-	1	-	-	-	Not Covered
StMsgFeed	-	0	-	-	-	Not Covered
StProcessing	-	-	1	-	-	Not Covered
StProcessing	-	-	0	-	-	Not Covered
StAbsorbed	-	-	-	1	-	Not Covered
StAbsorbed	-	-	-	0	-	Not Covered
StSqueezing	-	-	-	-	1	Not Covered
StSqueezing	-	-	-	-	0	Not Covered
StTerminalError	-	-	-	-	-	Not Covered
default	-	-	-	-	-	Not Covered

	LineNo.	Expression
-1-:	242	if ((!rst_ni))
-2-:	243	if ((!block_swcmd))

Branches:

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

	LineNo.	Expression
-1-:	250	if (((st == StIdle) && (st_d == StMsgFeed)))
-2-:	252	if ((!(((cfg_mode_i == Sha3) && (cfg_strength_i inside {L224, L256, L384, L512})) || (((cfg_mode_i == Shake) || (cfg_mode_i == CShake)) && (cfg_strength_i inside {L128, L256})))))

Branches:

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

	LineNo.	Expression
-1-:	266	if ((((st == StIdle) && (st_d == StMsgFeed)) && kmac_en_i))
-2-:	267	if ((cfg_prefix_6B_i != kmac_pkg::EncodedStringKMAC))

Branches:

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

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

Branches:

-1-	Status	Tests
StIdle	Not Covered
StMsgFeed	Not Covered
StProcessing	Not Covered
StAbsorbed	Not Covered
StSqueezing	Not Covered
default	Not Covered

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

Branches:

-1-	Status	Tests
err_swsequence	Not Covered
err_modestrength	Not Covered
err_prefix	Not Covered
err_entropy_ready	Not Covered
default	Not Covered

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	402	case (st)
-2-:	404	if (((!app_active_i) && (sw_cmd_i == CmdStart)))
-3-:	412	if ((sw_cmd_i == CmdProcess))
-4-:	418	if (prim_mubi_pkg::mubi4_test_true_strict(sha3_absorbed_i))
-5-:	424	if ((sw_cmd_i == CmdManualRun))
-6-:	426	if ((sw_cmd_i == CmdDone))
-7-:	432	if (keccak_done_i)

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	Status	Tests
StIdle	1	-	-	-	-	-	Not Covered
StIdle	0	-	-	-	-	-	Not Covered
StMsgFeed	-	1	-	-	-	-	Not Covered
StMsgFeed	-	0	-	-	-	-	Not Covered
StProcessing	-	-	1	-	-	-	Not Covered
StProcessing	-	-	0	-	-	-	Not Covered
StAbsorbed	-	-	-	1	-	-	Not Covered
StAbsorbed	-	-	-	0	1	-	Not Covered
StAbsorbed	-	-	-	0	0	-	Not Covered
StSqueezing	-	-	-	-	-	1	Not Covered
StSqueezing	-	-	-	-	-	0	Not Covered
StTerminalError	-	-	-	-	-	-	Not Covered
default	-	-	-	-	-	-	Not Covered

	LineNo.	Expression
-1-:	451	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-:	276	if ((!rst_ni))
-2-:	277	if (err_processed_i)
-3-:	278	if ((entropy_ready_pulse_i && (st == StIdle)))

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-:	286	if ((((st == StIdle) && (st_d == StMsgFeed)) && kmac_en_i))
-2-:	287	if ((!cfg_entropy_ready))

Branches:

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