Unified Coverage Report :: Module :: keccak_round

Module : keccak_round

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
75.45	71.25	100.00		26.67	79.31	100.00

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

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.u_sha3.u_keccak	78.11	71.25	100.00		40.00	79.31	100.00

---

Module Instance : tb.dut.u_sha3.u_keccak

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
78.11	71.25	100.00		40.00	79.31	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
82.17	85.98	88.24	100.00	40.00	78.79	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
94.09	97.30	81.25		100.00	91.89	100.00	u_sha3

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
u_keccak_p	81.25	100.00	75.00			50.00	100.00
u_prim_sec_anchor_buf	100.00	100.00
u_round_count	100.00			100.00
u_state_regs	100.00	100.00				100.00	100.00

Line Coverage for Module : keccak_round

	Line No.	Total	Covered	Percent
TOTAL		80	57	71.25
CONT_ASSIGN	134	0	0
ALWAYS	137	3	3	100.00
ALWAYS	143	53	31	58.49
CONT_ASSIGN	309	1	1	100.00
ALWAYS	327	6	6	100.00
CONT_ASSIGN	336	1	1	100.00
ALWAYS	344	7	7	100.00
ALWAYS	366	4	3	75.00
CONT_ASSIGN	377	1	1	100.00
CONT_ASSIGN	401	1	1	100.00
CONT_ASSIGN	403	0	0
CONT_ASSIGN	404	0	0
ALWAYS	428	3	3	100.00

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

Line No.	Covered	Statements
134		unreachable
137	3	3
143	1	1
145	1	1
146	1	1
147	1	1
149	1	1
150	1	1
152	1	1
154	1	1
155	1	1
157	1	1
159	1	1
161	1	1
163	1	1
165	1	1
167	1	1
168	1	1
169	1	1
174	1	1
176	1	1
177	1	1
179		unreachable
180	1	1
182	1	1
184	1	1
190	1	1
192	1	1
193		unreachable
195		unreachable
196		unreachable
198	1	1
200	1	1
206	0	1
207	0	1
216	0	1
217	0	1
218	0	1
220		unreachable
226	0	1
227	0	1
230	0	1
233	0	1
239	0	1
246	0	1
247	0	1
250	0	1
253	0	1
255	0	1
257		unreachable
258		unreachable
264	0	1
265	0	1
268	0	1
270	0	1
271		unreachable
273		unreachable
274		unreachable
276	0	1
278	0	1
283	0	1
288	1	1
289	1	1
301	1	1
302	1	1
			MISSING_ELSE
309	1	1
327	1	1
328	1	1
329	1	1
330	1	1
331	1	1
332	1	1
			MISSING_ELSE
336	1	1
344	1	1
345	1	1
346	1	1
347	1	1
351	1	1
352	1	1
355	1	1
			MISSING_ELSE
366	1	1
368	1	1
370	1	1
372	0	1
			MISSING_ELSE
			MISSING_ELSE
377	1	1
401	1	1
403		unreachable
404		unreachable
428	1	1
429	1	1
431	1	1

---

Cond Coverage for Module : keccak_round

	Total	Covered	Percent
Conditions	9	9	100.00
Logical	9	9	100.00
Non-Logical	0	0
Event	0	0

 LINE       134
 EXPRESSION (int'(round) == (MaxRound - 1))
            ---------------1---------------

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

 LINE       180
 EXPRESSION (((!EnMasking)) && run_i)
             -------1------    --2--

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

 LINE       216
 EXPRESSION (rand_early_i || rand_valid_i)
             ------1-----    ------2-----

-1-	-2-	Status	Tests
0	0	Unreachable
0	1	Unreachable
1	0	Unreachable

 LINE       309
 EXPRESSION ((keccak_st == KeccakStIdle) ? 1'b1 : 1'b0)
             -------------1-------------

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

 LINE       309
 SUB-EXPRESSION (keccak_st == KeccakStIdle)
                -------------1-------------

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

 LINE       351
 EXPRESSION (addr_i == i[(DInAddr - 1):0])
            ---------------1--------------

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

---

FSM Coverage for Module : keccak_round

Summary for FSM :: keccak_st

	Total	Covered	Percent
States	8	3	37.50	(Not included in score)
Transitions	15	4	26.67
Sequences	0	0

State, Transition and Sequence Details for FSM :: keccak_st

---

states	Line No.	Covered	Tests
KeccakStActive	182	Covered	T1,T2,T3
KeccakStError	283	Not Covered
KeccakStIdle	165	Covered	T1,T2,T3
KeccakStPhase1	179	Not Covered
KeccakStPhase2Cycle1	217	Not Covered
KeccakStPhase2Cycle2	233	Not Covered
KeccakStPhase2Cycle3	255	Not Covered
KeccakStTerminalError	302	Covered	T4,T5,T6

transitions	Line No.	Covered	Tests
KeccakStActive->KeccakStIdle	193	Covered	T1,T2,T3
KeccakStActive->KeccakStTerminalError	302	Covered	T5,T7,T8
KeccakStError->KeccakStTerminalError	302	Not Covered
KeccakStIdle->KeccakStActive	182	Covered	T1,T2,T3
KeccakStIdle->KeccakStPhase1	179	Not Covered
KeccakStIdle->KeccakStTerminalError	302	Covered	T4,T6,T9
KeccakStPhase1->KeccakStPhase2Cycle1	217	Not Covered
KeccakStPhase1->KeccakStTerminalError	302	Not Covered
KeccakStPhase2Cycle1->KeccakStPhase2Cycle2	233	Not Covered
KeccakStPhase2Cycle1->KeccakStTerminalError	302	Not Covered
KeccakStPhase2Cycle2->KeccakStPhase2Cycle3	255	Not Covered
KeccakStPhase2Cycle2->KeccakStTerminalError	302	Not Covered
KeccakStPhase2Cycle3->KeccakStIdle	271	Not Covered
KeccakStPhase2Cycle3->KeccakStPhase1	276	Not Covered
KeccakStPhase2Cycle3->KeccakStTerminalError	302	Not Covered

---

Branch Coverage for Module : keccak_round

	Line No.	Total	Covered	Percent
Branches		29	23	79.31
TERNARY	309	2	2	100.00
IF	137	2	2	100.00
CASE	161	12	7	58.33
IF	301	2	2	100.00
IF	327	4	4	100.00
IF	345	2	2	100.00
IF	368	3	2	66.67
IF	428	2	2	100.00

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

	LineNo.	Expression
-1-:	309	((keccak_st == KeccakStIdle)) ? 

Branches:

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

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

Branches:

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

	LineNo.	Expression
-1-:	161	case (keccak_st)
-2-:	163	if (valid_i)
-3-:	169	if (prim_mubi_pkg::mubi4_test_true_strict(clear_i))
-4-:	177	if ((EnMasking && run_i))
-5-:	180	if (((!EnMasking) && run_i))
-6-:	192	if (rnd_eq_end)
-7-:	216	if ((rand_early_i || rand_valid_i))
-8-:	246	if (rand_valid_i)
-9-:	270	if (rnd_eq_end)

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	Status	Tests
KeccakStIdle	1	-	-	-	-	-	-	-	Covered	T1,T2,T3
KeccakStIdle	0	1	-	-	-	-	-	-	Covered	T1,T2,T3
KeccakStIdle	0	0	1	-	-	-	-	-	Unreachable
KeccakStIdle	0	0	0	1	-	-	-	-	Covered	T1,T2,T3
KeccakStIdle	0	0	0	0	-	-	-	-	Covered	T1,T2,T3
KeccakStActive	-	-	-	-	1	-	-	-	Unreachable	T1,T2,T3
KeccakStActive	-	-	-	-	0	-	-	-	Covered	T1,T2,T3
KeccakStPhase1	-	-	-	-	-	1	-	-	Not Covered
KeccakStPhase1	-	-	-	-	-	0	-	-	Unreachable
KeccakStPhase2Cycle1	-	-	-	-	-	-	-	-	Not Covered
KeccakStPhase2Cycle2	-	-	-	-	-	-	1	-	Not Covered
KeccakStPhase2Cycle2	-	-	-	-	-	-	0	-	Unreachable
KeccakStPhase2Cycle3	-	-	-	-	-	-	-	1	Unreachable
KeccakStPhase2Cycle3	-	-	-	-	-	-	-	0	Not Covered
KeccakStError	-	-	-	-	-	-	-	-	Not Covered
KeccakStTerminalError	-	-	-	-	-	-	-	-	Covered	T4,T5,T6
default	-	-	-	-	-	-	-	-	Covered	T4,T10,T11

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

Branches:

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

	LineNo.	Expression
-1-:	327	if ((!rst_n))
-2-:	329	if (rst_storage)
-3-:	331	if (update_storage)

Branches:

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

	LineNo.	Expression
-1-:	345	if (xor_message)

Branches:

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

	LineNo.	Expression
-1-:	368	if (rst_storage)
-2-:	370	if (((keccak_st != KeccakStIdle) || prim_mubi_pkg::mubi4_test_false_loose(clear_i)))

Branches:

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

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

Branches:

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

---

Assert Coverage for Module : keccak_round

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
ClearAssertStIdle_A	2147483647	347696	0	0
OneHot0ValidAndRun_A	2147483647	2147483647	0	0
ValidRunAssertStIdle_A	2147483647	56296688	0	0
WidthDivisableByDInWidth_A	1037	1037	0	0
gen_unmask_st_chk.UnmaskValidStates_A	2147483647	2147483647	0	0
u_state_regs_A	2147483647	2147483647	0	0

ClearAssertStIdle_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	347696	0	0
T1	111939	12	0	0
T2	235741	31	0	0
T3	864325	79	0	0
T12	144622	2265	0	0
T13	93753	41	0	0
T14	147894	2265	0	0
T15	798984	67	0	0
T16	322364	4	0	0
T17	0	38	0	0
T18	0	2337	0	0
T19	1439	0	0	0
T20	29487	0	0	0

OneHot0ValidAndRun_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	2147483647	0	0
T1	111939	111886	0	0
T2	235741	235684	0	0
T3	864325	864254	0	0
T12	144622	144621	0	0
T13	93753	93690	0	0
T14	147894	147894	0	0
T15	798984	798885	0	0
T16	322364	322277	0	0
T19	1439	1342	0	0
T20	29487	29428	0	0

ValidRunAssertStIdle_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	56296688	0	0
T1	111939	1196	0	0
T2	235741	3292	0	0
T3	864325	7889	0	0
T12	144622	234193	0	0
T13	93753	4207	0	0
T14	147894	234193	0	0
T15	798984	7540	0	0
T16	322364	3149	0	0
T17	0	4181	0	0
T18	0	289234	0	0
T19	1439	0	0	0
T20	29487	0	0	0

WidthDivisableByDInWidth_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1037	1037	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0
T14	1	1	0	0
T15	1	1	0	0
T16	1	1	0	0
T19	1	1	0	0
T20	1	1	0	0

gen_unmask_st_chk.UnmaskValidStates_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	2147483647	0	0
T1	111939	111886	0	0
T2	235741	235684	0	0
T3	864325	864254	0	0
T12	144622	144621	0	0
T13	93753	93690	0	0
T14	147894	147894	0	0
T15	798984	798885	0	0
T16	322364	322277	0	0
T19	1439	1342	0	0
T20	29487	29428	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	2147483647	0	0
T1	111939	111886	0	0
T2	235741	235684	0	0
T3	864325	864254	0	0
T12	144622	144621	0	0
T13	93753	93690	0	0
T14	147894	147894	0	0
T15	798984	798885	0	0
T16	322364	322277	0	0
T19	1439	1342	0	0
T20	29487	29428	0	0

Line Coverage for Instance : tb.dut.u_sha3.u_keccak

	Line No.	Total	Covered	Percent
TOTAL		80	57	71.25
CONT_ASSIGN	134	0	0
ALWAYS	137	3	3	100.00
ALWAYS	143	53	31	58.49
CONT_ASSIGN	309	1	1	100.00
ALWAYS	327	6	6	100.00
CONT_ASSIGN	336	1	1	100.00
ALWAYS	344	7	7	100.00
ALWAYS	366	4	3	75.00
CONT_ASSIGN	377	1	1	100.00
CONT_ASSIGN	401	1	1	100.00
CONT_ASSIGN	403	0	0
CONT_ASSIGN	404	0	0
ALWAYS	428	3	3	100.00

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

Line No.	Covered	Statements
134		unreachable
137	3	3
143	1	1
145	1	1
146	1	1
147	1	1
149	1	1
150	1	1
152	1	1
154	1	1
155	1	1
157	1	1
159	1	1
161	1	1
163	1	1
165	1	1
167	1	1
168	1	1
169	1	1
174	1	1
176	1	1
177	1	1
179		unreachable
180	1	1
182	1	1
184	1	1
190	1	1
192	1	1
193		unreachable
195		unreachable
196		unreachable
198	1	1
200	1	1
206	0	1
207	0	1
216	0	1
217	0	1
218	0	1
220		unreachable
226	0	1
227	0	1
230	0	1
233	0	1
239	0	1
246	0	1
247	0	1
250	0	1
253	0	1
255	0	1
257		unreachable
258		unreachable
264	0	1
265	0	1
268	0	1
270	0	1
271		unreachable
273		unreachable
274		unreachable
276	0	1
278	0	1
283	0	1
288	1	1
289	1	1
301	1	1
302	1	1
			MISSING_ELSE
309	1	1
327	1	1
328	1	1
329	1	1
330	1	1
331	1	1
332	1	1
			MISSING_ELSE
336	1	1
344	1	1
345	1	1
346	1	1
347	1	1
351	1	1
352	1	1
355	1	1
			MISSING_ELSE
366	1	1
368	1	1
370	1	1
372	0	1
			MISSING_ELSE
			MISSING_ELSE
377	1	1
401	1	1
403		unreachable
404		unreachable
428	1	1
429	1	1
431	1	1

---

Cond Coverage for Instance : tb.dut.u_sha3.u_keccak

	Total	Covered	Percent
Conditions	9	9	100.00
Logical	9	9	100.00
Non-Logical	0	0
Event	0	0

 LINE       134
 EXPRESSION (int'(round) == (MaxRound - 1))
            ---------------1---------------

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

 LINE       180
 EXPRESSION (((!EnMasking)) && run_i)
             -------1------    --2--

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

 LINE       216
 EXPRESSION (rand_early_i || rand_valid_i)
             ------1-----    ------2-----

-1-	-2-	Status	Tests
0	0	Unreachable
0	1	Unreachable
1	0	Unreachable

 LINE       309
 EXPRESSION ((keccak_st == KeccakStIdle) ? 1'b1 : 1'b0)
             -------------1-------------

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

 LINE       309
 SUB-EXPRESSION (keccak_st == KeccakStIdle)
                -------------1-------------

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

 LINE       351
 EXPRESSION (addr_i == i[(DInAddr - 1):0])
            ---------------1--------------

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

---

FSM Coverage for Instance : tb.dut.u_sha3.u_keccak

Summary for FSM :: keccak_st

	Total	Covered	Percent
States	8	3	37.50	(Not included in score)
Transitions	10	4	40.00
Sequences	0	0

State, Transition and Sequence Details for FSM :: keccak_st

---

states	Line No.	Covered	Tests
KeccakStActive	182	Covered	T1,T2,T3
KeccakStError	283	Excluded
KeccakStIdle	165	Covered	T1,T2,T3
KeccakStPhase1	179	Not Covered
KeccakStPhase2Cycle1	217	Not Covered
KeccakStPhase2Cycle2	233	Not Covered
KeccakStPhase2Cycle3	255	Not Covered
KeccakStTerminalError	302	Covered	T4,T5,T6

transitions	Line No.	Covered	Tests	Exclude Annotation
KeccakStActive->KeccakStIdle	193	Covered	T1,T2,T3
KeccakStActive->KeccakStTerminalError	302	Covered	T5,T7,T8
KeccakStError->KeccakStTerminalError	302	Excluded		[LOW_RISK] The transition from any state to error_terminal state is fully verified in FPV.
KeccakStIdle->KeccakStActive	182	Covered	T1,T2,T3
KeccakStIdle->KeccakStPhase1	179	Not Covered
KeccakStIdle->KeccakStTerminalError	302	Covered	T4,T6,T9
KeccakStPhase1->KeccakStPhase2Cycle1	217	Not Covered
KeccakStPhase1->KeccakStTerminalError	302	Excluded		[LOW_RISK] The transition from any state to error_terminal state is fully verified in FPV.
KeccakStPhase2Cycle1->KeccakStPhase2Cycle2	233	Not Covered
KeccakStPhase2Cycle1->KeccakStTerminalError	302	Excluded		[LOW_RISK] The transition from any state to error_terminal state is fully verified in FPV.
KeccakStPhase2Cycle2->KeccakStPhase2Cycle3	255	Not Covered
KeccakStPhase2Cycle2->KeccakStTerminalError	302	Excluded		[LOW_RISK] The transition from any state to error_terminal state is fully verified in FPV.
KeccakStPhase2Cycle3->KeccakStIdle	271	Not Covered
KeccakStPhase2Cycle3->KeccakStPhase1	276	Not Covered
KeccakStPhase2Cycle3->KeccakStTerminalError	302	Excluded		[LOW_RISK] The transition from any state to error_terminal state is fully verified in FPV.

---

Branch Coverage for Instance : tb.dut.u_sha3.u_keccak

	Line No.	Total	Covered	Percent
Branches		29	23	79.31
TERNARY	309	2	2	100.00
IF	137	2	2	100.00
CASE	161	12	7	58.33
IF	301	2	2	100.00
IF	327	4	4	100.00
IF	345	2	2	100.00
IF	368	3	2	66.67
IF	428	2	2	100.00

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

	LineNo.	Expression
-1-:	309	((keccak_st == KeccakStIdle)) ? 

Branches:

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

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

Branches:

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

	LineNo.	Expression
-1-:	161	case (keccak_st)
-2-:	163	if (valid_i)
-3-:	169	if (prim_mubi_pkg::mubi4_test_true_strict(clear_i))
-4-:	177	if ((EnMasking && run_i))
-5-:	180	if (((!EnMasking) && run_i))
-6-:	192	if (rnd_eq_end)
-7-:	216	if ((rand_early_i || rand_valid_i))
-8-:	246	if (rand_valid_i)
-9-:	270	if (rnd_eq_end)

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	Status	Tests
KeccakStIdle	1	-	-	-	-	-	-	-	Covered	T1,T2,T3
KeccakStIdle	0	1	-	-	-	-	-	-	Covered	T1,T2,T3
KeccakStIdle	0	0	1	-	-	-	-	-	Unreachable
KeccakStIdle	0	0	0	1	-	-	-	-	Covered	T1,T2,T3
KeccakStIdle	0	0	0	0	-	-	-	-	Covered	T1,T2,T3
KeccakStActive	-	-	-	-	1	-	-	-	Unreachable	T1,T2,T3
KeccakStActive	-	-	-	-	0	-	-	-	Covered	T1,T2,T3
KeccakStPhase1	-	-	-	-	-	1	-	-	Not Covered
KeccakStPhase1	-	-	-	-	-	0	-	-	Unreachable
KeccakStPhase2Cycle1	-	-	-	-	-	-	-	-	Not Covered
KeccakStPhase2Cycle2	-	-	-	-	-	-	1	-	Not Covered
KeccakStPhase2Cycle2	-	-	-	-	-	-	0	-	Unreachable
KeccakStPhase2Cycle3	-	-	-	-	-	-	-	1	Unreachable
KeccakStPhase2Cycle3	-	-	-	-	-	-	-	0	Not Covered
KeccakStError	-	-	-	-	-	-	-	-	Not Covered
KeccakStTerminalError	-	-	-	-	-	-	-	-	Covered	T4,T5,T6
default	-	-	-	-	-	-	-	-	Covered	T4,T10,T11

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

Branches:

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

	LineNo.	Expression
-1-:	327	if ((!rst_n))
-2-:	329	if (rst_storage)
-3-:	331	if (update_storage)

Branches:

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

	LineNo.	Expression
-1-:	345	if (xor_message)

Branches:

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

	LineNo.	Expression
-1-:	368	if (rst_storage)
-2-:	370	if (((keccak_st != KeccakStIdle) || prim_mubi_pkg::mubi4_test_false_loose(clear_i)))

Branches:

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

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

Branches:

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

---

Assert Coverage for Instance : tb.dut.u_sha3.u_keccak

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
ClearAssertStIdle_A	2147483647	347696	0	0
OneHot0ValidAndRun_A	2147483647	2147483647	0	0
ValidRunAssertStIdle_A	2147483647	56296688	0	0
WidthDivisableByDInWidth_A	1037	1037	0	0
gen_unmask_st_chk.UnmaskValidStates_A	2147483647	2147483647	0	0
u_state_regs_A	2147483647	2147483647	0	0

ClearAssertStIdle_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	347696	0	0
T1	111939	12	0	0
T2	235741	31	0	0
T3	864325	79	0	0
T12	144622	2265	0	0
T13	93753	41	0	0
T14	147894	2265	0	0
T15	798984	67	0	0
T16	322364	4	0	0
T17	0	38	0	0
T18	0	2337	0	0
T19	1439	0	0	0
T20	29487	0	0	0

OneHot0ValidAndRun_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	2147483647	0	0
T1	111939	111886	0	0
T2	235741	235684	0	0
T3	864325	864254	0	0
T12	144622	144621	0	0
T13	93753	93690	0	0
T14	147894	147894	0	0
T15	798984	798885	0	0
T16	322364	322277	0	0
T19	1439	1342	0	0
T20	29487	29428	0	0

ValidRunAssertStIdle_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	56296688	0	0
T1	111939	1196	0	0
T2	235741	3292	0	0
T3	864325	7889	0	0
T12	144622	234193	0	0
T13	93753	4207	0	0
T14	147894	234193	0	0
T15	798984	7540	0	0
T16	322364	3149	0	0
T17	0	4181	0	0
T18	0	289234	0	0
T19	1439	0	0	0
T20	29487	0	0	0

WidthDivisableByDInWidth_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1037	1037	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0
T14	1	1	0	0
T15	1	1	0	0
T16	1	1	0	0
T19	1	1	0	0
T20	1	1	0	0

gen_unmask_st_chk.UnmaskValidStates_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	2147483647	0	0
T1	111939	111886	0	0
T2	235741	235684	0	0
T3	864325	864254	0	0
T12	144622	144621	0	0
T13	93753	93690	0	0
T14	147894	147894	0	0
T15	798984	798885	0	0
T16	322364	322277	0	0
T19	1439	1342	0	0
T20	29487	29428	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	2147483647	0	0
T1	111939	111886	0	0
T2	235741	235684	0	0
T3	864325	864254	0	0
T12	144622	144621	0	0
T13	93753	93690	0	0
T14	147894	147894	0	0
T15	798984	798885	0	0
T16	322364	322277	0	0
T19	1439	1342	0	0
T20	29487	29428	0	0