Unified Coverage Report :: Module Instance :: tb.dut.gen_partitions[10].gen_lifecycle.u_part_buf

Module Instance : tb.dut.gen_partitions[10].gen_lifecycle.u_part_buf

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
68.15	71.76	75.00		42.55	69.64	81.82

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
70.06	72.35	75.00	70.09	42.55	74.63	85.71

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
92.27	96.15	86.96	87.95		93.10	97.18	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
u_otp_ctrl_ecc_reg	92.47	100.00		69.86		100.00	100.00
u_prim_count	100.00			100.00
u_prim_mubi8_sender_read_lock_pre	79.17	37.50				100.00	100.00
u_prim_mubi8_sender_write_lock_pre	79.17	37.50				100.00	100.00
u_state_regs	100.00	100.00				100.00	100.00

Line Coverage for Instance : tb.dut.gen_partitions[10].gen_lifecycle.u_part_buf

	Line No.	Total	Covered	Percent
TOTAL		131	94	71.76
CONT_ASSIGN	182	1	1	100.00
CONT_ASSIGN	193	1	1	100.00
ALWAYS	206	111	77	69.37
CONT_ASSIGN	636	1	0	0.00
CONT_ASSIGN	641	1	1	100.00
CONT_ASSIGN	642	1	1	100.00
CONT_ASSIGN	646	1	1	100.00
CONT_ASSIGN	652	1	1	100.00
CONT_ASSIGN	675	1	1	100.00
CONT_ASSIGN	678	1	1	100.00
CONT_ASSIGN	680	1	1	100.00
CONT_ASSIGN	723	1	0	0.00
CONT_ASSIGN	743	1	0	0.00
ALWAYS	750	3	3	100.00
ALWAYS	753	5	5	100.00

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

Line No.	Covered	Statements
182	1	1
193	1	1
206	1	1
209	1	1
212	1	1
215	1	1
218	1	1
219	1	1
220	1	1
221	1	1
224	1	1
225	1	1
226	1	1
229	1	1
230	1	1
233	1	1
234	1	1
237	1	1
238	1	1
240	1	1
245	1	1
246	1	1
			MISSING_ELSE
254	1	1
255	1	1
256	1	1
			MISSING_ELSE
265	1	1
266	1	1
267	1	1
271	1	1
272	1	1
275	1	1
276		unreachable
278	1	1
279	1	1
282	1	1
283	1	1
			MISSING_ELSE
286	1	1
287	1	1
			MISSING_ELSE
298	0	1
299	0	1
300	0	1
301	0	1
302	0	1
303		unreachable
			==> MISSING_ELSE
311	0	1
312	0	1
313	0	1
314	0	1
315		unreachable
316		unreachable
317		unreachable
			==> MISSING_ELSE
324	1	1
325	1	1
326		unreachable
331	1	1
333	1	1
334	1	1
335	1	1
			MISSING_ELSE
343	1	1
348	1	1
349		unreachable
			MISSING_ELSE
351	1	1
352	1	1
			MISSING_ELSE
362	1	1
363	1	1
366	1	1
368		unreachable
369		unreachable
370		unreachable
373		unreachable
374		unreachable
376		unreachable
381	1	1
385	1	1
386	1	1
387	1	1
390	1	1
391	1	1
394	1	1
395	1	1
397	1	1
401	1	1
402	1	1
			MISSING_ELSE
405	1	1
406	1	1
408	1	1
			MISSING_ELSE
417	1	1
418		unreachable
419		unreachable
420		unreachable
423		unreachable
424		unreachable
425		unreachable
426		unreachable
427		unreachable
			==> MISSING_ELSE
432		unreachable
433		unreachable
434		unreachable
			==> MISSING_ELSE
443	1	1
444	1	1
445	1	1
			==> MISSING_ELSE
455	0	1
456	0	1
457	0	1
458	0	1
459	0	1
460		unreachable
			==> MISSING_ELSE
467	0	1
468	0	1
469	0	1
470		unreachable
			==> MISSING_ELSE
480	0	1
481	0	1
482	0	1
483		unreachable
485		unreachable
489		unreachable
490		unreachable
491		unreachable
493		unreachable
494		unreachable
498		unreachable
499		unreachable
			==> MISSING_ELSE
503		unreachable
504		unreachable
			==> MISSING_ELSE
			==> MISSING_ELSE
516	0	1
517	0	1
518	0	1
519	0	1
520		unreachable
			==> MISSING_ELSE
528	0	1
529	0	1
530	0	1
531	0	1
532		unreachable
			==> MISSING_ELSE
542	0	1
543	0	1
544	0	1
547		unreachable
548		unreachable
551		unreachable
552		unreachable
556		unreachable
560		unreachable
561		unreachable
563		unreachable
			==> MISSING_ELSE
572	1	1
573	1	1
574	1	1
			MISSING_ELSE
578	1	1
579	1	1
595	1	1
596	0	1
597	0	1
598	0	1
			==> MISSING_ELSE
			MISSING_ELSE
602	1	1
603	1	1
604	1	1
605	1	1
606	1	1
			MISSING_ELSE
			MISSING_ELSE
636	0	1
641	1	1
642	1	1
646	1	1
652	1	1
675	1	1
678	1	1
680	1	1
723	0	1
743	0	1
750	3	3
753	1	1
754	1	1
756	1	1
758	1	1
759	1	1

---

Cond Coverage for Instance : tb.dut.gen_partitions[10].gen_lifecycle.u_part_buf

	Total	Covered	Percent
Conditions	24	18	75.00
Logical	24	18	75.00
Non-Logical	0	0
Event	0	0

 LINE       271
 EXPRESSION (cnt == LastScrmblBlock)
            ------------1-----------

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

 LINE       282
 EXPRESSION (otp_err != NoError)
            ----------1---------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T22,T23,T49

 LINE       302
 EXPRESSION (scrmbl_mtx_gnt_i && scrmbl_ready_i)
             --------1-------    -------2------

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

 LINE       368
 EXPRESSION ((digest_o == data_mux) || (digest_o == '0))
             -----------1----------    --------2-------

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

 LINE       368
 SUB-EXPRESSION (digest_o == data_mux)
                -----------1----------

-1-	Status	Tests
0	Unreachable
1	Unreachable

 LINE       368
 SUB-EXPRESSION (digest_o == '0)
                --------1-------

-1-	Status	Tests
0	Unreachable
1	Unreachable

 LINE       385
 EXPRESSION (cnt == LastScrmblBlock)
            ------------1-----------

-1-	Status	Tests
0	Covered	T3,T5,T6
1	Covered	T3,T5,T6

 LINE       401
 EXPRESSION (otp_err != NoError)
            ----------1---------

-1-	Status	Tests
0	Covered	T3,T5,T6
1	Covered	T57,T58,T59

 LINE       426
 EXPRESSION (scrmbl_mtx_gnt_i && scrmbl_ready_i)
             --------1-------    -------2------

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

 LINE       433
 EXPRESSION (scrmbl_mtx_gnt_i && scrmbl_ready_i)
             --------1-------    -------2------

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

 LINE       485
 EXPRESSION (cnt == PenultimateScrmblBlock)
            ---------------1---------------

-1-	Status	Tests
0	Unreachable
1	Unreachable

 LINE       547
 EXPRESSION ((digest_o == data_mux) || (digest_o == '0))
             -----------1----------    --------2-------

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

 LINE       547
 SUB-EXPRESSION (digest_o == data_mux)
                -----------1----------

-1-	Status	Tests
0	Unreachable
1	Unreachable

 LINE       547
 SUB-EXPRESSION (digest_o == '0)
                --------1-------

-1-	Status	Tests
0	Unreachable
1	Unreachable

 LINE       573
 EXPRESSION (error_q == NoError)
            ----------1---------

-1-	Status	Tests
0	Covered	T1,T3,T7
1	Covered	T19,T20,T21

 LINE       597
 EXPRESSION (state_q != ErrorSt)
            ----------1---------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       605
 EXPRESSION (state_q != ErrorSt)
            ----------1---------

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

 LINE       636
 EXPRESSION ((base_sel == DigOffset) ? DigestOffset : 11'b11110101000)
             -----------1-----------

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

 LINE       636
 SUB-EXPRESSION (base_sel == DigOffset)
                -----------1-----------

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

 LINE       652
 EXPRESSION ((data_sel == ScrmblData) ? scrmbl_data_i : otp_rdata_i)
             ------------1-----------

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

 LINE       652
 SUB-EXPRESSION (data_sel == ScrmblData)
                ------------1-----------

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

 LINE       678
 EXPRESSION (init_done_o ? data : DataDefault)
             -----1-----

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

---

FSM Coverage for Instance : tb.dut.gen_partitions[10].gen_lifecycle.u_part_buf

Summary for FSM :: state_q

	Total	Covered	Percent
States	16	8	50.00	(Not included in score)
Transitions	38	15	39.47
Sequences	0	0

State, Transition and Sequence Details for FSM :: state_q

---

states	Line No.	Covered	Tests
CnstyReadSt	334	Covered	T3,T5,T6
CnstyReadWaitSt	352	Covered	T3,T5,T6
ErrorSt	286	Covered	T1,T3,T7
IdleSt	369	Covered	T1,T2,T3
InitDescrSt	276	Not Covered
InitDescrWaitSt	303	Not Covered
InitSt	246	Covered	T1,T2,T3
InitWaitSt	256	Covered	T1,T2,T3
IntegDigClrSt	272	Covered	T1,T2,T3
IntegDigFinSt	491	Not Covered
IntegDigPadSt	493	Not Covered
IntegDigSt	434	Not Covered
IntegDigWaitSt	532	Not Covered
IntegScrSt	427	Not Covered
IntegScrWaitSt	460	Not Covered
ResetSt	244	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests
CnstyReadSt->CnstyReadWaitSt	352	Covered	T3,T5,T6
CnstyReadSt->ErrorSt	596	Covered	T5,T11,T15
CnstyReadWaitSt->CnstyReadSt	390	Covered	T3,T5,T6
CnstyReadWaitSt->ErrorSt	373	Covered	T34,T58,T51
CnstyReadWaitSt->IdleSt	369	Covered	T3,T5,T6
IdleSt->CnstyReadSt	334	Covered	T3,T5,T6
IdleSt->ErrorSt	596	Covered	T1,T3,T7
IdleSt->IntegDigClrSt	326	Not Covered
InitDescrSt->ErrorSt	596	Not Covered
InitDescrSt->InitDescrWaitSt	303	Not Covered
InitDescrWaitSt->ErrorSt	596	Not Covered
InitDescrWaitSt->InitSt	315	Not Covered
InitSt->ErrorSt	596	Covered	T68,T69,T70
InitSt->InitWaitSt	256	Covered	T1,T2,T3
InitWaitSt->ErrorSt	286	Covered	T88,T145,T148
InitWaitSt->InitDescrSt	276	Not Covered
InitWaitSt->InitSt	278	Covered	T1,T2,T3
InitWaitSt->IntegDigClrSt	272	Covered	T1,T2,T3
IntegDigClrSt->ErrorSt	596	Not Covered
IntegDigClrSt->IdleSt	443	Covered	T1,T2,T3
IntegDigClrSt->IntegDigSt	434	Not Covered
IntegDigClrSt->IntegScrSt	427	Not Covered
IntegDigFinSt->ErrorSt	596	Not Covered
IntegDigFinSt->IntegDigWaitSt	532	Not Covered
IntegDigPadSt->ErrorSt	596	Not Covered
IntegDigPadSt->IntegDigFinSt	520	Not Covered
IntegDigSt->ErrorSt	596	Not Covered
IntegDigSt->IntegDigFinSt	491	Not Covered
IntegDigSt->IntegDigPadSt	493	Not Covered
IntegDigSt->IntegScrSt	504	Not Covered
IntegDigWaitSt->ErrorSt	560	Not Covered
IntegDigWaitSt->IdleSt	548	Not Covered
IntegScrSt->ErrorSt	596	Not Covered
IntegScrSt->IntegScrWaitSt	460	Not Covered
IntegScrWaitSt->ErrorSt	596	Not Covered
IntegScrWaitSt->IntegDigSt	470	Not Covered
ResetSt->ErrorSt	596	Covered	T79,T80,T81
ResetSt->InitSt	246	Covered	T1,T2,T3

Summary for FSM :: error_q

	Total	Covered	Percent
States	4	4	100.00	(Not included in score)
Transitions	9	5	55.56
Sequences	0	0

State, Transition and Sequence Details for FSM :: error_q

---

states	Line No.	Covered	Tests
CheckFailError	374	Covered	T34,T90,T35
FsmStateError	574	Covered	T1,T3,T7
MacroEccCorrError	283	Covered	T22,T57,T58
NoError	573	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests
CheckFailError->FsmStateError	606	Not Covered
CheckFailError->MacroEccCorrError	283	Not Covered
FsmStateError->CheckFailError	374	Not Covered
FsmStateError->MacroEccCorrError	283	Not Covered
MacroEccCorrError->CheckFailError	374	Covered	T82
MacroEccCorrError->FsmStateError	606	Covered	T22,T23,T49
NoError->CheckFailError	374	Covered	T34,T90,T35
NoError->FsmStateError	574	Covered	T1,T3,T7
NoError->MacroEccCorrError	283	Covered	T22,T57,T58

---

Branch Coverage for Instance : tb.dut.gen_partitions[10].gen_lifecycle.u_part_buf

	Line No.	Total	Covered	Percent
Branches		56	39	69.64
TERNARY	636	2	1	50.00
TERNARY	652	2	1	50.00
TERNARY	678	2	2	100.00
CASE	240	40	27	67.50
IF	595	3	1	33.33
IF	602	3	3	100.00
IF	750	2	2	100.00
IF	753	2	2	100.00

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

	LineNo.	Expression
-1-:	636	((base_sel == DigOffset)) ? 

Branches:

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

	LineNo.	Expression
-1-:	652	((data_sel == ScrmblData)) ? 

Branches:

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

	LineNo.	Expression
-1-:	678	(init_done_o) ? 

Branches:

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

	LineNo.	Expression
-1-:	240	case (state_q)
-2-:	245	if (init_req_i)
-3-:	255	if (otp_gnt_i)
-4-:	265	if (otp_rvalid_i)
-5-:	267	if ((otp_err inside {NoError, MacroEccCorrError}))
-6-:	271	if ((cnt == LastScrmblBlock))
-7-:	275	if (1'b0)
-8-:	282	if ((otp_err != NoError))
-9-:	302	if ((scrmbl_mtx_gnt_i && scrmbl_ready_i))
-10-:	314	if (scrmbl_valid_i)
-11-:	324	if (integ_chk_req_i)
-12-:	325	if (1'b0)
-13-:	333	if (cnsty_chk_req_i)
-14-:	348	if (1'b0)
-15-:	351	if (otp_gnt_i)
-16-:	362	if (otp_rvalid_i)
-17-:	363	if ((otp_err inside {NoError, MacroEccCorrError}))
-18-:	366	if (1'b0)
-19-:	368	if (((digest_o == data_mux) || (digest_o == '0)))
-20-:	381	if (((scrmbl_data_o == data_mux) || lc_ctrl_pkg::lc_tx_test_true_strict(check_byp_en_i)))
-21-:	385	if ((cnt == LastScrmblBlock))
-22-:	401	if ((otp_err != NoError))
-23-:	417	if (1'b0)
-24-:	424	if (1'b0)
-25-:	426	if ((scrmbl_mtx_gnt_i && scrmbl_ready_i))
-26-:	433	if ((scrmbl_mtx_gnt_i && scrmbl_ready_i))
-27-:	444	if (prim_mubi_pkg::mubi8_test_true_strict(dout_locked_q))
-28-:	459	if (scrmbl_ready_i)
-29-:	469	if (scrmbl_valid_i)
-30-:	482	if (scrmbl_ready_i)
-31-:	485	if ((cnt == PenultimateScrmblBlock))
-32-:	489	if (cnt[0])
-33-:	498	if (cnt[0])
-34-:	503	if (1'b0)
-35-:	519	if (scrmbl_ready_i)
-36-:	531	if (scrmbl_ready_i)
-37-:	544	if (scrmbl_valid_i)
-38-:	547	if (((digest_o == data_mux) || (digest_o == '0)))
-39-:	551	if (prim_mubi_pkg::mubi8_test_true_strict(dout_locked_q))
-40-:	573	if ((error_q == NoError))

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	-10-	-11-	-12-	-13-	-14-	-15-	-16-	-17-	-18-	-19-	-20-	-21-	-22-	-23-	-24-	-25-	-26-	-27-	-28-	-29-	-30-	-31-	-32-	-33-	-34-	-35-	-36-	-37-	-38-	-39-	-40-	Status	Tests
ResetSt	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ResetSt	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitSt	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitSt	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	1	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	1	1	0	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Unreachable
InitWaitSt	-	-	1	1	0	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	1	1	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T22,T23,T49
InitWaitSt	-	-	1	1	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T88,T62,T89
InitWaitSt	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitDescrSt	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Unreachable
InitDescrSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
InitDescrWaitSt	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Unreachable
InitDescrWaitSt	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
IdleSt	-	-	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Unreachable
IdleSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T2,T5,T6
IdleSt	-	-	-	-	-	-	-	-	-	0	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T3,T5,T6
IdleSt	-	-	-	-	-	-	-	-	-	0	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
CnstyReadSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Unreachable
CnstyReadSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T3,T5,T6
CnstyReadSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T3,T5,T6
CnstyReadSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T3,T5,T6
CnstyReadWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Unreachable
CnstyReadWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Unreachable
CnstyReadWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	0	-	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T3,T5,T6
CnstyReadWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	0	-	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T3,T5,T6
CnstyReadWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	0	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T34,T90,T35
CnstyReadWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T57,T58,T59
CnstyReadWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T3,T5,T6
CnstyReadWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T91,T92
CnstyReadWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T3,T5,T6
IntegDigClrSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Unreachable
IntegDigClrSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
IntegDigClrSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Unreachable
IntegDigClrSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
IntegDigClrSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IntegDigClrSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
IntegScrSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	Unreachable
IntegScrSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
IntegScrWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	Unreachable
IntegScrWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Not Covered
IntegDigSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	-	-	-	-	-	Unreachable
IntegDigSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	-	-	-	-	-	Unreachable
IntegDigSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	-	1	-	-	-	-	-	-	-	Unreachable
IntegDigSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	-	0	-	-	-	-	-	-	-	Not Covered
IntegDigSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	-	-	1	-	-	-	-	-	-	Unreachable
IntegDigSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	-	-	0	-	-	-	-	-	-	Not Covered
IntegDigSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	Not Covered
IntegDigPadSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	Unreachable
IntegDigPadSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Not Covered
IntegDigFinSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	Unreachable
IntegDigFinSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	Not Covered
IntegDigWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	1	-	Unreachable
IntegDigWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	0	-	Unreachable
IntegDigWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	-	-	Unreachable
IntegDigWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	Not Covered
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	Covered	T19,T20,T21
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	Covered	T1,T3,T7
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T19,T20,T21

	LineNo.	Expression
-1-:	595	if (ecc_err)
-2-:	597	if ((state_q != ErrorSt))

Branches:

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

	LineNo.	Expression
-1-:	602	if ((lc_ctrl_pkg::lc_tx_test_true_loose(escalate_en_i) || cnt_err))
-2-:	605	if ((state_q != ErrorSt))

Branches:

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

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

Branches:

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

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

Branches:

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

---

Assert Coverage for Instance : tb.dut.gen_partitions[10].gen_lifecycle.u_part_buf

	Total	Attempted	Percent	Succeeded/Matched	Percent
Assertions	33	33	100.00	27	81.82
Cover properties	0	0		0
Cover sequences	0	0		0
Total	33	33	100.00	27	81.82

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
AccessKnown_A	1608407752	1607533353	0	0
BypassEnable0_A	1608407752	0	0	0
BypassEnable1_A	1608407752	0	0	0
CnstyChkAckKnown_A	1608407752	1607533353	0	0
DataKnown_A	1608407752	1607533353	0	0
DigestKnown_A	1608407752	1607533353	0	0
DigestOffsetMustBeRepresentable_A	1128	1128	0	0
EccErrorState_A	1608407752	0	0	0
ErrorKnown_A	1608407752	1607533353	0	0
InitDoneKnown_A	1608407752	1607533353	0	0
InitReadLocksPartition_A	1608407752	305157005	0	0
InitWriteLocksPartition_A	1608407752	305157005	0	0
IntegChkAckKnown_A	1608407752	1607533353	0	0
OffsetMustBeBlockAligned_A	1128	1128	0	0
OtpAddrKnown_A	1608407752	1607533353	0	0
OtpCmdKnown_A	1608407752	1607533353	0	0
OtpErrorState_A	1608407752	10	0	0
OtpReqKnown_A	1608407752	1607533353	0	0
OtpSizeKnown_A	1608407752	1607533353	0	0
OtpWdataKnown_A	1608407752	1607533353	0	0
ReadLockImpliesDigest_A	1608407752	0	0	0
ReadLockPropagation_A	1608407752	1607533353	0	0
ScrambledImpliesDigest_A	1608407752	0	0	0
ScrmblCmdKnown_A	1608407752	1607533353	0	0
ScrmblDataKnown_A	1608407752	1607533353	0	0
ScrmblModeKnown_A	1608407752	1607533353	0	0
ScrmblMtxReqKnown_A	1608407752	1607533353	0	0
ScrmblSelKnown_A	1608407752	1607533353	0	0
ScrmblValidKnown_A	1608407752	1607533353	0	0
SizeMustBeBlockAligned_A	1128	1128	0	0
WriteLockImpliesDigest_A	1608407752	0	0	0
WriteLockPropagation_A	1608407752	1607533353	0	0
u_state_regs_A	1608407752	1607533353	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

BypassEnable0_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	0	0	0

BypassEnable1_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	0	0	0

CnstyChkAckKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

DataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1128	1128	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	305157005	0	0
T1	47041	25567	0	0
T2	12369	2257	0	0
T3	31150	22874	0	0
T4	11094	1536	0	0
T5	271197	108529	0	0
T6	30988	6923	0	0
T7	48526	39245	0	0
T8	89789	24759	0	0
T9	11588	2094	0	0
T10	42821	36099	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	305157005	0	0
T1	47041	25567	0	0
T2	12369	2257	0	0
T3	31150	22874	0	0
T4	11094	1536	0	0
T5	271197	108529	0	0
T6	30988	6923	0	0
T7	48526	39245	0	0
T8	89789	24759	0	0
T9	11588	2094	0	0
T10	42821	36099	0	0

IntegChkAckKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1128	1128	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	10	0	0
T58	84243	0	0	0
T62	0	1	0	0
T88	12312	1	0	0
T89	0	1	0	0
T91	0	1	0	0
T92	0	1	0	0
T93	0	1	0	0
T94	0	1	0	0
T95	0	1	0	0
T96	0	1	0	0
T97	0	1	0	0
T98	108929	0	0	0
T99	13854	0	0	0
T100	15174	0	0	0
T101	30041	0	0	0
T102	9425	0	0	0
T103	224535	0	0	0
T104	10471	0	0	0
T105	23197	0	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

ReadLockImpliesDigest_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	0	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

ScrambledImpliesDigest_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	0	0	0

ScrmblCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

ScrmblDataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

ScrmblModeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

ScrmblMtxReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

ScrmblSelKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

ScrmblValidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1128	1128	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

WriteLockImpliesDigest_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	0	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0