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

---

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

Line Coverage for Module : kmac_errchk

	Line No.	Total	Covered	Percent
TOTAL		74	0	0.00
ALWAYS	187	15	0	0.00
CONT_ASSIGN	236	1	0	0.00
ALWAYS	244	4	0	0.00
ALWAYS	250	4	0	0.00
ALWAYS	266	4	0	0.00
ALWAYS	278	6	0	0.00
ALWAYS	286	4	0	0.00
ALWAYS	309	6	0	0.00
ALWAYS	322	6	0	0.00
CONT_ASSIGN	376	1	0	0.00
ALWAYS	391	3	0	0.00
CONT_ASSIGN	399	1	0	0.00
ALWAYS	402	19	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
187	0	1
188	0	1
190	0	1
193	0	1
194	0	1
			==> MISSING_ELSE
200	0	1
201	0	1
			==> MISSING_ELSE
206	0	1
207	0	1
			==> MISSING_ELSE
213	0	1
214	0	1
			==> MISSING_ELSE
219	0	1
220	0	1
			==> MISSING_ELSE
225	0	1
226	0	1
236	0	1
244	0	2
245	0	2
			==> MISSING_ELSE
250	0	1
252	0	1
254	0	1
258	0	1
			==> MISSING_ELSE
			==> MISSING_ELSE
266	0	1
268	0	1
269	0	1
270	0	1
			==> MISSING_ELSE
			==> MISSING_ELSE
278	0	2
279	0	2
280	0	1
281	0	1
			==> MISSING_ELSE
286	0	1
288	0	1
289	0	1
290	0	1
			==> MISSING_ELSE
			==> MISSING_ELSE
309	0	1
310	0	1
311	0	1
312	0	1
313	0	1
314	0	1
322	0	1
324	0	1
326	0	1
337	0	1
349	0	1
359	0	1
376	0	1
391	0	3
399	0	1
402	0	1
404	0	1
406	0	1
409	0	1
			==> MISSING_ELSE
414	0	1
415	0	1
			==> MISSING_ELSE
420	0	1
421	0	1
			==> MISSING_ELSE
426	0	1
427	0	1
428	0	1
429	0	1
			==> MISSING_ELSE
434	0	1
435	0	1
			==> MISSING_ELSE
441	0	1
453	0	1
454	0	1
			==> MISSING_ELSE
457	0	1
459	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       206
 EXPRESSION (sw_cmd_i != CmdNone)
            ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

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

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       236
 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       236
 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       252
 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       252
 SUB-EXPRESSION (st == StIdle)
                -------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

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

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       254
 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       254
 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       254
 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       254
 SUB-EXPRESSION (cfg_mode_i == Sha3)
                ----------1---------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       254
 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       254
 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       254
 SUB-EXPRESSION (cfg_mode_i == Shake)
                ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

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

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       268
 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       268
 SUB-EXPRESSION (st == StIdle)
                -------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

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

-1-	Status	Tests
0	Not Covered
1	Not Covered

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

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       280
 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       280
 SUB-EXPRESSION (st == StIdle)
                -------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       288
 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       288
 SUB-EXPRESSION (st == StIdle)
                -------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

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

-1-	Status	Tests
0	Not Covered
1	Not Covered

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

-1-	Status	Tests
0	Not Covered
1	Not Covered

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

-1-	Status	Tests
0	Not Covered
1	Not Covered

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

-1-	Status	Tests
0	Not Covered
1	Not Covered

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

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       428
 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	15	0	0.00
Sequences	0	0

State, Transition and Sequence Details for FSM :: st

---

states	Line No.	Covered	Tests
StAbsorbed	421	Not Covered
StIdle	429	Not Covered
StMsgFeed	409	Not Covered
StProcessing	415	Not Covered
StSqueezing	427	Not Covered
StTerminalError	454	Not Covered

transitions	Line No.	Covered	Tests
StAbsorbed->StIdle	429	Not Covered
StAbsorbed->StSqueezing	427	Not Covered
StAbsorbed->StTerminalError	454	Not Covered
StIdle->StMsgFeed	409	Not Covered
StIdle->StTerminalError	454	Not Covered
StMsgFeed->StIdle	459	Not Covered
StMsgFeed->StProcessing	415	Not Covered
StMsgFeed->StTerminalError	454	Not Covered
StProcessing->StAbsorbed	421	Not Covered
StProcessing->StIdle	459	Not Covered
StProcessing->StTerminalError	454	Not Covered
StSqueezing->StAbsorbed	435	Not Covered
StSqueezing->StIdle	459	Not Covered
StSqueezing->StTerminalError	454	Not Covered
StTerminalError->StIdle	459	Not Covered

---

Branch Coverage for Module : kmac_errchk

	Line No.	Total	Covered	Percent
Branches		60	0	0.00
TERNARY	399	2	0	0.00
CASE	190	12	0	0.00
IF	244	3	0	0.00
IF	252	3	0	0.00
IF	268	3	0	0.00
CASE	309	6	0	0.00
CASE	324	5	0	0.00
IF	391	2	0	0.00
CASE	404	13	0	0.00
IF	453	2	0	0.00
IF	457	2	0	0.00
IF	278	4	0	0.00
IF	288	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-:	399	(block_swcmd) ? 

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	190	case (st)
-2-:	193	if ((!(sw_cmd_i inside {CmdNone, CmdStart})))
-3-:	200	if ((!(sw_cmd_i inside {CmdNone, CmdProcess})))
-4-:	206	if ((sw_cmd_i != CmdNone))
-5-:	213	if ((!(sw_cmd_i inside {CmdNone, CmdManualRun, CmdDone})))
-6-:	219	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-:	244	if ((!rst_ni))
-2-:	245	if ((!block_swcmd))

Branches:

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

	LineNo.	Expression
-1-:	252	if (((st == StIdle) && (st_d == StMsgFeed)))
-2-:	254	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-:	268	if ((((st == StIdle) && (st_d == StMsgFeed)) && kmac_en_i))
-2-:	269	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-:	309	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-:	324	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-:	391	if ((!rst_ni))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	404	case (st)
-2-:	406	if (((!app_active_i) && (sw_cmd_i == CmdStart)))
-3-:	414	if ((sw_cmd_i == CmdProcess))
-4-:	420	if (prim_mubi_pkg::mubi4_test_true_strict(sha3_absorbed_i))
-5-:	426	if ((sw_cmd_i == CmdManualRun))
-6-:	428	if ((sw_cmd_i == CmdDone))
-7-:	434	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-:	453	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-:	457	if (((st_d != StTerminalError) && prim_mubi_pkg::mubi4_test_true_strict(clear_after_error_i)))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	278	if ((!rst_ni))
-2-:	279	if (err_processed_i)
-3-:	280	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-:	288	if ((((st == StIdle) && (st_d == StMsgFeed)) && kmac_en_i))
-2-:	289	if ((!cfg_entropy_ready))

Branches:

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