Unified Coverage Report :: Module :: sha3

Module : sha3

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
90.45	97.30	81.25		81.82	91.89	100.00

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

Module self-instances :

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

---

Module Instance : tb.dut.u_sha3

Instance :

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

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
96.94	98.84	95.67	100.00	90.48	96.64	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
98.55	98.71	96.05	100.00	100.00	96.55	100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
u_keccak	94.79	98.83	98.84	100.00	73.33	97.76	100.00
u_pad	97.27	99.45	88.37	100.00	100.00	95.79	100.00
u_state_regs	100.00	100.00				100.00	100.00

Line Coverage for Module : sha3

	Line No.	Total	Covered	Percent
TOTAL		74	72	97.30
CONT_ASSIGN	132	1	1	100.00
CONT_ASSIGN	138	1	1	100.00
CONT_ASSIGN	142	1	1	100.00
CONT_ASSIGN	160	1	1	100.00
ALWAYS	167	3	3	100.00
CONT_ASSIGN	172	1	1	100.00
ALWAYS	176	6	6	100.00
CONT_ASSIGN	183	1	1	100.00
CONT_ASSIGN	186	1	1	100.00
CONT_ASSIGN	187	1	1	100.00
CONT_ASSIGN	189	1	1	100.00
ALWAYS	196	3	3	100.00
ALWAYS	206	38	38	100.00
ALWAYS	301	3	3	100.00
ALWAYS	318	12	10	83.33

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

Line No.	Covered	Statements
132	1	1
138	1	1
142	1	1
160	1	1
167	2	2
168	1	1
172	1	1
176	2	2
177	2	2
178	1	1
179	1	1
			MISSING_ELSE
183	1	1
186	1	1
187	1	1
189	1	1
196	3	3
206	1	1
209	1	1
210	1	1
211	1	1
212	1	1
214	1	1
216	1	1
217	1	1
219	1	1
221	1	1
223	1	1
224	1	1
226	1	1
228	1	1
233	1	1
234	1	1
236	1	1
237	1	1
238	1	1
240	1	1
245	1	1
246	1	1
248	1	1
250	1	1
251	1	1
253	1	1
254	1	1
255	1	1
257	1	1
259	1	1
264	1	1
265	1	1
267	1	1
272	1	1
277	1	1
278	1	1
290	1	1
291	1	1
			MISSING_ELSE
301	1	1
302	1	1
303	1	1
318	1	1
320	1	1
322	1	1
324	1	1
			MISSING_ELSE
333	1	1
335	1	1
			MISSING_ELSE
344	1	1
345	0	1
			MISSING_ELSE
354	1	1
356	1	1
			MISSING_ELSE
365	1	1
367	0	1
			MISSING_ELSE

---

Cond Coverage for Module : sha3

	Total	Covered	Percent
Conditions	16	13	81.25
Logical	16	13	81.25
Non-Logical	0	0
Event	0	0

 LINE       132
 EXPRESSION (round_count_error | msg_count_error)
             --------1--------   -------2-------

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

 LINE       138
 EXPRESSION (sha3_state_error | keccak_round_state_error | sha3pad_state_error)
             --------1-------   ------------2-----------   ---------3---------

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

 LINE       160
 EXPRESSION (sha3pad_keccak_run | sw_keccak_run)
             ---------1--------   ------2------

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

 LINE       233
 EXPRESSION (process_i && ((!processing)))
             ----1----    -------2-------

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

 LINE       344
 EXPRESSION (start_i || process_i)
             ---1---    ----2----

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

---

FSM Coverage for Module : sha3

Summary for FSM :: st

	Total	Covered	Percent
States	6	6	100.00	(Not included in score)
Transitions	11	9	81.82
Sequences	0	0

State, Transition and Sequence Details for FSM :: st

---

states	Line No.	Covered	Tests
StAbsorb_sparse	224	Covered	T1,T2,T3
StFlush_sparse	255	Covered	T1,T2,T3
StIdle_sparse	228	Covered	T1,T2,T3
StManualRun_sparse	251	Covered	T3,T8,T9
StSqueeze_sparse	238	Covered	T1,T2,T3
StTerminalError_sparse	277	Covered	T9,T10,T11

transitions	Line No.	Covered	Tests
StAbsorb_sparse->StSqueeze_sparse	238	Covered	T1,T2,T3
StAbsorb_sparse->StTerminalError_sparse	291	Covered	T9,T10,T11
StFlush_sparse->StIdle_sparse	272	Covered	T1,T2,T3
StFlush_sparse->StTerminalError_sparse	291	Not Covered
StIdle_sparse->StAbsorb_sparse	224	Covered	T1,T2,T3
StIdle_sparse->StTerminalError_sparse	291	Covered	T4,T5,T6
StManualRun_sparse->StSqueeze_sparse	265	Covered	T3,T8,T9
StManualRun_sparse->StTerminalError_sparse	291	Not Covered
StSqueeze_sparse->StFlush_sparse	255	Covered	T1,T2,T3
StSqueeze_sparse->StManualRun_sparse	251	Covered	T3,T8,T9
StSqueeze_sparse->StTerminalError_sparse	291	Covered	T12

---

Branch Coverage for Module : sha3

	Line No.	Total	Covered	Percent
Branches		37	34	91.89
IF	167	2	2	100.00
IF	176	4	4	100.00
IF	196	2	2	100.00
CASE	221	13	13	100.00
IF	290	2	2	100.00
CASE	301	3	2	66.67
CASE	320	11	9	81.82

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

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

Branches:

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

	LineNo.	Expression
-1-:	176	if ((!rst_ni))
-2-:	177	if (process_i)
-3-:	178	if (prim_mubi_pkg::mubi4_test_true_strict(absorbed))

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-:	196	if ((!rst_ni))

Branches:

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

	LineNo.	Expression
-1-:	221	case (st)
-2-:	223	if (start_i)
-3-:	233	if ((process_i && (!processing)))
-4-:	237	if (prim_mubi_pkg::mubi4_test_true_strict(absorbed))
-5-:	250	if (run_i)
-6-:	254	if (prim_mubi_pkg::mubi4_test_true_strict(done_i))
-7-:	264	if (keccak_complete)

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	Status	Tests
StIdle_sparse	1	-	-	-	-	-	Covered	T1,T2,T3
StIdle_sparse	0	-	-	-	-	-	Covered	T1,T2,T3
StAbsorb_sparse	-	1	-	-	-	-	Covered	T1,T2,T3
StAbsorb_sparse	-	0	1	-	-	-	Covered	T1,T2,T3
StAbsorb_sparse	-	0	0	-	-	-	Covered	T1,T2,T3
StSqueeze_sparse	-	-	-	1	-	-	Covered	T3,T8,T9
StSqueeze_sparse	-	-	-	0	1	-	Covered	T1,T2,T3
StSqueeze_sparse	-	-	-	0	0	-	Covered	T1,T3,T7
StManualRun_sparse	-	-	-	-	-	1	Covered	T3,T8,T9
StManualRun_sparse	-	-	-	-	-	0	Covered	T3,T8,T9
StFlush_sparse	-	-	-	-	-	-	Covered	T1,T2,T3
StTerminalError_sparse	-	-	-	-	-	-	Covered	T9,T10,T11
default	-	-	-	-	-	-	Covered	T4,T5,T6

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

Branches:

-1-	Status	Tests
1	Covered	T9,T10,T11
0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	301	case (mux_sel)

Branches:

-1-	Status	Tests
MuxGuard	Covered	T1,T2,T3
MuxRelease	Covered	T1,T2,T3
default	Not Covered

	LineNo.	Expression
-1-:	320	case (st)
-2-:	322	if (((process_i || run_i) || prim_mubi_pkg::mubi4_test_true_loose(done_i)))
-3-:	333	if ((((start_i || run_i) || prim_mubi_pkg::mubi4_test_true_loose(done_i)) || (process_i && processing)))
-4-:	344	if ((start_i || process_i))
-5-:	354	if ((((start_i || process_i) || run_i) || prim_mubi_pkg::mubi4_test_true_loose(done_i)))
-6-:	365	if ((((start_i || process_i) || run_i) || prim_mubi_pkg::mubi4_test_true_loose(done_i)))

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	Status	Tests
StIdle_sparse	1	-	-	-	-	Covered	T3,T13,T14
StIdle_sparse	0	-	-	-	-	Covered	T1,T2,T3
StAbsorb_sparse	-	1	-	-	-	Covered	T3,T13,T14
StAbsorb_sparse	-	0	-	-	-	Covered	T1,T2,T3
StSqueeze_sparse	-	-	1	-	-	Not Covered
StSqueeze_sparse	-	-	0	-	-	Covered	T1,T2,T3
StManualRun_sparse	-	-	-	1	-	Covered	T3,T13,T14
StManualRun_sparse	-	-	-	0	-	Covered	T3,T8,T9
StFlush_sparse	-	-	-	-	1	Not Covered
StFlush_sparse	-	-	-	-	0	Covered	T1,T2,T3
default	-	-	-	-	-	Covered	T9,T10,T11

---

Assert Coverage for Module : sha3

	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
ErrDetection_A	2147483647	12345550	0	0
FsmKnown_A	2147483647	2147483647	0	0
MuxSelKnown_A	2147483647	2147483647	0	0
SwRunInSqueezing_a	2147483647	150565	0	0
gen_chk_digest_masked.StateZeroInvalid_A	2147483647	2147483647	0	0
u_state_regs_A	2147483647	2147483647	0	0

ErrDetection_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	12345550	0	0
T3	212276	235410	0	0
T7	20475	0	0	0
T8	546477	0	0	0
T9	23516	0	0	0
T13	0	190567	0	0
T14	0	531158	0	0
T15	0	79925	0	0
T16	0	142219	0	0
T17	0	208822	0	0
T18	0	546644	0	0
T19	0	265499	0	0
T20	0	178073	0	0
T21	0	66395	0	0
T22	377395	0	0	0
T23	201730	0	0	0
T24	105556	0	0	0
T25	357204	0	0	0
T26	25910	0	0	0
T27	165821	0	0	0

FsmKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	2147483647	0	0
T1	22278	22200	0	0
T2	380372	380288	0	0
T3	212276	212196	0	0
T7	20475	20383	0	0
T8	546477	546414	0	0
T9	23516	23356	0	0
T22	377395	377326	0	0
T23	201730	201723	0	0
T24	105556	105551	0	0
T25	357204	357139	0	0

MuxSelKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	2147483647	0	0
T1	22278	22200	0	0
T2	380372	380288	0	0
T3	212276	212196	0	0
T7	20475	20383	0	0
T8	546477	546414	0	0
T9	23516	23356	0	0
T22	377395	377326	0	0
T23	201730	201723	0	0
T24	105556	105551	0	0
T25	357204	357139	0	0

SwRunInSqueezing_a

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	150565	0	0
T3	212276	1016	0	0
T7	20475	0	0	0
T8	546477	112	0	0
T9	23516	3	0	0
T22	377395	0	0	0
T23	201730	0	0	0
T24	105556	0	0	0
T25	357204	279	0	0
T26	25910	0	0	0
T27	165821	289	0	0
T28	0	572	0	0
T29	0	188	0	0
T30	0	62	0	0
T31	0	93	0	0
T32	0	35	0	0

gen_chk_digest_masked.StateZeroInvalid_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	2147483647	0	0
T1	22278	15227	0	0
T2	380372	380224	0	0
T3	212276	176181	0	0
T7	20475	12948	0	0
T8	546477	435045	0	0
T9	23516	19226	0	0
T22	377395	178765	0	0
T23	201730	173044	0	0
T24	105556	926088	0	0
T25	357204	246356	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	2147483647	0	0
T1	22278	22200	0	0
T2	380372	380288	0	0
T3	212276	212196	0	0
T7	20475	20383	0	0
T8	546477	546414	0	0
T9	23516	23356	0	0
T22	377395	377326	0	0
T23	201730	201723	0	0
T24	105556	105551	0	0
T25	357204	357139	0	0

Line Coverage for Instance : tb.dut.u_sha3

	Line No.	Total	Covered	Percent
TOTAL		74	72	97.30
CONT_ASSIGN	132	1	1	100.00
CONT_ASSIGN	138	1	1	100.00
CONT_ASSIGN	142	1	1	100.00
CONT_ASSIGN	160	1	1	100.00
ALWAYS	167	3	3	100.00
CONT_ASSIGN	172	1	1	100.00
ALWAYS	176	6	6	100.00
CONT_ASSIGN	183	1	1	100.00
CONT_ASSIGN	186	1	1	100.00
CONT_ASSIGN	187	1	1	100.00
CONT_ASSIGN	189	1	1	100.00
ALWAYS	196	3	3	100.00
ALWAYS	206	38	38	100.00
ALWAYS	301	3	3	100.00
ALWAYS	318	12	10	83.33

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

Line No.	Covered	Statements
132	1	1
138	1	1
142	1	1
160	1	1
167	2	2
168	1	1
172	1	1
176	2	2
177	2	2
178	1	1
179	1	1
			MISSING_ELSE
183	1	1
186	1	1
187	1	1
189	1	1
196	3	3
206	1	1
209	1	1
210	1	1
211	1	1
212	1	1
214	1	1
216	1	1
217	1	1
219	1	1
221	1	1
223	1	1
224	1	1
226	1	1
228	1	1
233	1	1
234	1	1
236	1	1
237	1	1
238	1	1
240	1	1
245	1	1
246	1	1
248	1	1
250	1	1
251	1	1
253	1	1
254	1	1
255	1	1
257	1	1
259	1	1
264	1	1
265	1	1
267	1	1
272	1	1
277	1	1
278	1	1
290	1	1
291	1	1
			MISSING_ELSE
301	1	1
302	1	1
303	1	1
318	1	1
320	1	1
322	1	1
324	1	1
			MISSING_ELSE
333	1	1
335	1	1
			MISSING_ELSE
344	1	1
345	0	1
			MISSING_ELSE
354	1	1
356	1	1
			MISSING_ELSE
365	1	1
367	0	1
			MISSING_ELSE

---

Cond Coverage for Instance : tb.dut.u_sha3

	Total	Covered	Percent
Conditions	16	13	81.25
Logical	16	13	81.25
Non-Logical	0	0
Event	0	0

 LINE       132
 EXPRESSION (round_count_error | msg_count_error)
             --------1--------   -------2-------

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

 LINE       138
 EXPRESSION (sha3_state_error | keccak_round_state_error | sha3pad_state_error)
             --------1-------   ------------2-----------   ---------3---------

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

 LINE       160
 EXPRESSION (sha3pad_keccak_run | sw_keccak_run)
             ---------1--------   ------2------

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

 LINE       233
 EXPRESSION (process_i && ((!processing)))
             ----1----    -------2-------

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

 LINE       344
 EXPRESSION (start_i || process_i)
             ---1---    ----2----

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

---

FSM Coverage for Instance : tb.dut.u_sha3

Summary for FSM :: st

	Total	Covered	Percent
States	6	6	100.00	(Not included in score)
Transitions	9	9	100.00
Sequences	0	0

State, Transition and Sequence Details for FSM :: st

---

states	Line No.	Covered	Tests
StAbsorb_sparse	224	Covered	T1,T2,T3
StFlush_sparse	255	Covered	T1,T2,T3
StIdle_sparse	228	Covered	T1,T2,T3
StManualRun_sparse	251	Covered	T3,T8,T9
StSqueeze_sparse	238	Covered	T1,T2,T3
StTerminalError_sparse	277	Covered	T9,T10,T11

transitions	Line No.	Covered	Tests	Exclude Annotation
StAbsorb_sparse->StSqueeze_sparse	238	Covered	T1,T2,T3
StAbsorb_sparse->StTerminalError_sparse	291	Covered	T9,T10,T11
StFlush_sparse->StIdle_sparse	272	Covered	T1,T2,T3
StFlush_sparse->StTerminalError_sparse	291	Excluded		[LOW_RISK] The transition from any state to error_terminal state is fully verified in FPV.
StIdle_sparse->StAbsorb_sparse	224	Covered	T1,T2,T3
StIdle_sparse->StTerminalError_sparse	291	Covered	T4,T5,T6
StManualRun_sparse->StSqueeze_sparse	265	Covered	T3,T8,T9
StManualRun_sparse->StTerminalError_sparse	291	Excluded		[LOW_RISK] The transition from any state to error_terminal state is fully verified in FPV.
StSqueeze_sparse->StFlush_sparse	255	Covered	T1,T2,T3
StSqueeze_sparse->StManualRun_sparse	251	Covered	T3,T8,T9
StSqueeze_sparse->StTerminalError_sparse	291	Covered	T12

---

Branch Coverage for Instance : tb.dut.u_sha3

	Line No.	Total	Covered	Percent
Branches		37	34	91.89
IF	167	2	2	100.00
IF	176	4	4	100.00
IF	196	2	2	100.00
CASE	221	13	13	100.00
IF	290	2	2	100.00
CASE	301	3	2	66.67
CASE	320	11	9	81.82

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

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

Branches:

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

	LineNo.	Expression
-1-:	176	if ((!rst_ni))
-2-:	177	if (process_i)
-3-:	178	if (prim_mubi_pkg::mubi4_test_true_strict(absorbed))

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-:	196	if ((!rst_ni))

Branches:

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

	LineNo.	Expression
-1-:	221	case (st)
-2-:	223	if (start_i)
-3-:	233	if ((process_i && (!processing)))
-4-:	237	if (prim_mubi_pkg::mubi4_test_true_strict(absorbed))
-5-:	250	if (run_i)
-6-:	254	if (prim_mubi_pkg::mubi4_test_true_strict(done_i))
-7-:	264	if (keccak_complete)

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	Status	Tests
StIdle_sparse	1	-	-	-	-	-	Covered	T1,T2,T3
StIdle_sparse	0	-	-	-	-	-	Covered	T1,T2,T3
StAbsorb_sparse	-	1	-	-	-	-	Covered	T1,T2,T3
StAbsorb_sparse	-	0	1	-	-	-	Covered	T1,T2,T3
StAbsorb_sparse	-	0	0	-	-	-	Covered	T1,T2,T3
StSqueeze_sparse	-	-	-	1	-	-	Covered	T3,T8,T9
StSqueeze_sparse	-	-	-	0	1	-	Covered	T1,T2,T3
StSqueeze_sparse	-	-	-	0	0	-	Covered	T1,T3,T7
StManualRun_sparse	-	-	-	-	-	1	Covered	T3,T8,T9
StManualRun_sparse	-	-	-	-	-	0	Covered	T3,T8,T9
StFlush_sparse	-	-	-	-	-	-	Covered	T1,T2,T3
StTerminalError_sparse	-	-	-	-	-	-	Covered	T9,T10,T11
default	-	-	-	-	-	-	Covered	T4,T5,T6

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

Branches:

-1-	Status	Tests
1	Covered	T9,T10,T11
0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	301	case (mux_sel)

Branches:

-1-	Status	Tests
MuxGuard	Covered	T1,T2,T3
MuxRelease	Covered	T1,T2,T3
default	Not Covered

	LineNo.	Expression
-1-:	320	case (st)
-2-:	322	if (((process_i || run_i) || prim_mubi_pkg::mubi4_test_true_loose(done_i)))
-3-:	333	if ((((start_i || run_i) || prim_mubi_pkg::mubi4_test_true_loose(done_i)) || (process_i && processing)))
-4-:	344	if ((start_i || process_i))
-5-:	354	if ((((start_i || process_i) || run_i) || prim_mubi_pkg::mubi4_test_true_loose(done_i)))
-6-:	365	if ((((start_i || process_i) || run_i) || prim_mubi_pkg::mubi4_test_true_loose(done_i)))

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	Status	Tests
StIdle_sparse	1	-	-	-	-	Covered	T3,T13,T14
StIdle_sparse	0	-	-	-	-	Covered	T1,T2,T3
StAbsorb_sparse	-	1	-	-	-	Covered	T3,T13,T14
StAbsorb_sparse	-	0	-	-	-	Covered	T1,T2,T3
StSqueeze_sparse	-	-	1	-	-	Not Covered
StSqueeze_sparse	-	-	0	-	-	Covered	T1,T2,T3
StManualRun_sparse	-	-	-	1	-	Covered	T3,T13,T14
StManualRun_sparse	-	-	-	0	-	Covered	T3,T8,T9
StFlush_sparse	-	-	-	-	1	Not Covered
StFlush_sparse	-	-	-	-	0	Covered	T1,T2,T3
default	-	-	-	-	-	Covered	T9,T10,T11

---

Assert Coverage for Instance : tb.dut.u_sha3

	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
ErrDetection_A	2147483647	12345550	0	0
FsmKnown_A	2147483647	2147483647	0	0
MuxSelKnown_A	2147483647	2147483647	0	0
SwRunInSqueezing_a	2147483647	150565	0	0
gen_chk_digest_masked.StateZeroInvalid_A	2147483647	2147483647	0	0
u_state_regs_A	2147483647	2147483647	0	0

ErrDetection_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	12345550	0	0
T3	212276	235410	0	0
T7	20475	0	0	0
T8	546477	0	0	0
T9	23516	0	0	0
T13	0	190567	0	0
T14	0	531158	0	0
T15	0	79925	0	0
T16	0	142219	0	0
T17	0	208822	0	0
T18	0	546644	0	0
T19	0	265499	0	0
T20	0	178073	0	0
T21	0	66395	0	0
T22	377395	0	0	0
T23	201730	0	0	0
T24	105556	0	0	0
T25	357204	0	0	0
T26	25910	0	0	0
T27	165821	0	0	0

FsmKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	2147483647	0	0
T1	22278	22200	0	0
T2	380372	380288	0	0
T3	212276	212196	0	0
T7	20475	20383	0	0
T8	546477	546414	0	0
T9	23516	23356	0	0
T22	377395	377326	0	0
T23	201730	201723	0	0
T24	105556	105551	0	0
T25	357204	357139	0	0

MuxSelKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	2147483647	0	0
T1	22278	22200	0	0
T2	380372	380288	0	0
T3	212276	212196	0	0
T7	20475	20383	0	0
T8	546477	546414	0	0
T9	23516	23356	0	0
T22	377395	377326	0	0
T23	201730	201723	0	0
T24	105556	105551	0	0
T25	357204	357139	0	0

SwRunInSqueezing_a

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	150565	0	0
T3	212276	1016	0	0
T7	20475	0	0	0
T8	546477	112	0	0
T9	23516	3	0	0
T22	377395	0	0	0
T23	201730	0	0	0
T24	105556	0	0	0
T25	357204	279	0	0
T26	25910	0	0	0
T27	165821	289	0	0
T28	0	572	0	0
T29	0	188	0	0
T30	0	62	0	0
T31	0	93	0	0
T32	0	35	0	0

gen_chk_digest_masked.StateZeroInvalid_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	2147483647	0	0
T1	22278	15227	0	0
T2	380372	380224	0	0
T3	212276	176181	0	0
T7	20475	12948	0	0
T8	546477	435045	0	0
T9	23516	19226	0	0
T22	377395	178765	0	0
T23	201730	173044	0	0
T24	105556	926088	0	0
T25	357204	246356	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	2147483647	0	0
T1	22278	22200	0	0
T2	380372	380288	0	0
T3	212276	212196	0	0
T7	20475	20383	0	0
T8	546477	546414	0	0
T9	23516	23356	0	0
T22	377395	377326	0	0
T23	201730	201723	0	0
T24	105556	105551	0	0
T25	357204	357139	0	0