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

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

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
76.97	68.46	70.83		95.24	68.52	81.82

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
77.88	69.82	70.83	71.85	95.24	73.85	85.71

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
90.86	95.10	88.12	78.08		96.00	97.01	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
u_otp_ctrl_ecc_reg	92.91	100.00		71.64		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[7].gen_lifecycle.u_part_buf

	Line No.	Total	Covered	Percent
TOTAL		130	89	68.46
CONT_ASSIGN	182	1	1	100.00
ALWAYS	195	111	73	65.77
CONT_ASSIGN	624	1	0	0.00
CONT_ASSIGN	629	1	1	100.00
CONT_ASSIGN	630	1	1	100.00
CONT_ASSIGN	634	1	1	100.00
CONT_ASSIGN	640	1	1	100.00
CONT_ASSIGN	663	1	1	100.00
CONT_ASSIGN	666	1	1	100.00
CONT_ASSIGN	668	1	1	100.00
CONT_ASSIGN	711	1	0	0.00
CONT_ASSIGN	731	1	0	0.00
ALWAYS	738	3	3	100.00
ALWAYS	741	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
195	1	1
198	1	1
201	1	1
204	1	1
207	1	1
208	1	1
209	1	1
210	1	1
213	1	1
214	1	1
215	1	1
218	1	1
219	1	1
222	1	1
223	1	1
226	1	1
227	1	1
229	1	1
234	1	1
235	1	1
			MISSING_ELSE
243	1	1
244	1	1
245	1	1
			MISSING_ELSE
254	1	1
255	1	1
256	1	1
260	1	1
261	1	1
264	1	1
265		unreachable
267	1	1
268	1	1
271	1	1
272	1	1
			MISSING_ELSE
275	1	1
276	1	1
			MISSING_ELSE
287	0	1
288	0	1
289	0	1
290	0	1
291	0	1
292		unreachable
			==> MISSING_ELSE
300	0	1
301	0	1
302	0	1
303	0	1
304		unreachable
305		unreachable
306		unreachable
			==> MISSING_ELSE
313	1	1
314	1	1
315		unreachable
320	1	1
322	1	1
323	1	1
324	1	1
			MISSING_ELSE
332	1	1
337	1	1
338		unreachable
			MISSING_ELSE
340	1	1
341	1	1
			MISSING_ELSE
351	1	1
352	1	1
355	1	1
357		unreachable
358		unreachable
359		unreachable
362		unreachable
363		unreachable
365		unreachable
370	1	1
374	1	1
375	1	1
376	1	1
379	1	1
380	1	1
383	1	1
384	1	1
386	1	1
390	1	1
391	0	1
			MISSING_ELSE
394	0	1
395	0	1
397	0	1
			MISSING_ELSE
406	1	1
407		unreachable
408		unreachable
409		unreachable
412		unreachable
413		unreachable
414		unreachable
415		unreachable
416		unreachable
			==> MISSING_ELSE
421		unreachable
422		unreachable
423		unreachable
			==> MISSING_ELSE
432	1	1
433	1	1
434	1	1
			==> MISSING_ELSE
444	0	1
445	0	1
446	0	1
447	0	1
448	0	1
449		unreachable
			==> MISSING_ELSE
456	0	1
457	0	1
458	0	1
459		unreachable
			==> MISSING_ELSE
469	0	1
470	0	1
471	0	1
472		unreachable
474		unreachable
478		unreachable
479		unreachable
480		unreachable
482		unreachable
483		unreachable
487		unreachable
488		unreachable
			==> MISSING_ELSE
492		unreachable
493		unreachable
			==> MISSING_ELSE
			==> MISSING_ELSE
505	0	1
506	0	1
507	0	1
508	0	1
509		unreachable
			==> MISSING_ELSE
517	0	1
518	0	1
519	0	1
520	0	1
521		unreachable
			==> MISSING_ELSE
531	0	1
532	0	1
533	0	1
536		unreachable
537		unreachable
540		unreachable
541		unreachable
545		unreachable
549		unreachable
550		unreachable
552		unreachable
			==> MISSING_ELSE
561	1	1
562	1	1
563	1	1
			MISSING_ELSE
567	1	1
568	1	1
584	1	1
585	0	1
586	0	1
587	0	1
			==> MISSING_ELSE
			MISSING_ELSE
591	1	1
592	1	1
593	1	1
594	1	1
595	1	1
			MISSING_ELSE
			MISSING_ELSE
624	0	1
629	1	1
630	1	1
634	1	1
640	1	1
663	1	1
666	1	1
668	1	1
711	0	1
731	0	1
738	3	3
741	1	1
742	1	1
744	1	1
746	1	1
747	1	1

---

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

	Total	Covered	Percent
Conditions	24	17	70.83
Logical	24	17	70.83
Non-Logical	0	0
Event	0	0

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

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

 LINE       271
 EXPRESSION (otp_err_e'(otp_err_i) != NoError)
            -----------------1----------------

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

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

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

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

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

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

-1-	Status	Tests
0	Unreachable
1	Unreachable

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

-1-	Status	Tests
0	Unreachable
1	Unreachable

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

-1-	Status	Tests
0	Covered	T4,T6,T21
1	Covered	T4,T6,T21

 LINE       390
 EXPRESSION (otp_err_e'(otp_err_i) != NoError)
            -----------------1----------------

-1-	Status	Tests
0	Covered	T4,T6,T21
1	Not Covered

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

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

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

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

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

-1-	Status	Tests
0	Unreachable
1	Unreachable

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

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

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

-1-	Status	Tests
0	Unreachable
1	Unreachable

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

-1-	Status	Tests
0	Unreachable
1	Unreachable

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T14,T15,T16

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

-1-	Status	Tests
0	Not Covered
1	Not Covered

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

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

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

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

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

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

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

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

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

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

 LINE       666
 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[7].gen_lifecycle.u_part_buf

Summary for FSM :: state_q

	Total	Covered	Percent
States	8	8	100.00	(Not included in score)
Transitions	16	15	93.75
Sequences	0	0

State, Transition and Sequence Details for FSM :: state_q

---

states	Line No.	Covered	Tests
CnstyReadSt	323	Covered	T4,T6,T21
CnstyReadWaitSt	341	Covered	T4,T6,T21
ErrorSt	275	Covered	T1,T2,T3
IdleSt	358	Covered	T1,T2,T3
InitDescrSt	265	Excluded
InitDescrWaitSt	292	Excluded
InitSt	235	Covered	T1,T2,T3
InitWaitSt	245	Covered	T1,T2,T3
IntegDigClrSt	261	Covered	T1,T2,T3
IntegDigFinSt	480	Excluded
IntegDigPadSt	482	Excluded
IntegDigSt	423	Excluded
IntegDigWaitSt	521	Excluded
IntegScrSt	416	Excluded
IntegScrWaitSt	449	Excluded
ResetSt	233	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests
CnstyReadSt->CnstyReadWaitSt	341	Covered	T4,T6,T21
CnstyReadSt->ErrorSt	585	Covered	T43
CnstyReadWaitSt->CnstyReadSt	379	Covered	T4,T6,T21
CnstyReadWaitSt->ErrorSt	362	Covered	T32,T44,T45
CnstyReadWaitSt->IdleSt	358	Covered	T4,T6,T21
IdleSt->CnstyReadSt	323	Covered	T4,T6,T21
IdleSt->ErrorSt	585	Covered	T1,T2,T9
IdleSt->IntegDigClrSt	315	Excluded
InitDescrSt->ErrorSt	585	Excluded
InitDescrSt->InitDescrWaitSt	292	Excluded
InitDescrWaitSt->ErrorSt	585	Excluded
InitDescrWaitSt->InitSt	304	Excluded
InitSt->ErrorSt	585	Covered	T3,T46,T73
InitSt->InitWaitSt	245	Covered	T1,T2,T3
InitWaitSt->ErrorSt	275	Covered	T19,T47,T85
InitWaitSt->InitDescrSt	265	Excluded
InitWaitSt->InitSt	267	Covered	T1,T2,T3
InitWaitSt->IntegDigClrSt	261	Covered	T1,T2,T3
IntegDigClrSt->ErrorSt	585	Not Covered
IntegDigClrSt->IdleSt	432	Covered	T1,T2,T3
IntegDigClrSt->IntegDigSt	423	Excluded
IntegDigClrSt->IntegScrSt	416	Excluded
IntegDigFinSt->ErrorSt	585	Excluded
IntegDigFinSt->IntegDigWaitSt	521	Excluded
IntegDigPadSt->ErrorSt	585	Excluded
IntegDigPadSt->IntegDigFinSt	509	Excluded
IntegDigSt->ErrorSt	585	Excluded
IntegDigSt->IntegDigFinSt	480	Excluded
IntegDigSt->IntegDigPadSt	482	Excluded
IntegDigSt->IntegScrSt	493	Excluded
IntegDigWaitSt->ErrorSt	549	Excluded
IntegDigWaitSt->IdleSt	537	Excluded
IntegScrSt->ErrorSt	585	Excluded
IntegScrSt->IntegScrWaitSt	449	Excluded
IntegScrWaitSt->ErrorSt	585	Excluded
IntegScrWaitSt->IntegDigSt	459	Excluded
ResetSt->ErrorSt	585	Covered	T52,T53,T54
ResetSt->InitSt	235	Covered	T1,T2,T3

Summary for FSM :: error_q

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

State, Transition and Sequence Details for FSM :: error_q

---

states	Line No.	Covered	Tests
CheckFailError	363	Covered	T32,T44,T45
FsmStateError	563	Covered	T1,T2,T3
MacroEccCorrError	272	Covered	T3,T34,T32
NoError	562	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests
CheckFailError->FsmStateError	595	Excluded
CheckFailError->MacroEccCorrError	272	Excluded
FsmStateError->CheckFailError	363	Excluded
FsmStateError->MacroEccCorrError	272	Excluded
MacroEccCorrError->CheckFailError	363	Covered	T32,T44,T45
MacroEccCorrError->FsmStateError	595	Covered	T3,T34,T83
NoError->CheckFailError	363	Covered	T86,T87,T88
NoError->FsmStateError	563	Covered	T1,T2,T9
NoError->MacroEccCorrError	272	Covered	T3,T34,T32

---

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

	Line No.	Total	Covered	Percent
Branches		54	37	68.52
TERNARY	624	1	1	100.00
TERNARY	640	2	1	50.00
TERNARY	666	2	2	100.00
CASE	229	40	25	62.50
IF	584	2	1	50.00
IF	591	3	3	100.00
IF	738	2	2	100.00
IF	741	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-:	624	((base_sel == DigOffset)) ? 

Branches:

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

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

Branches:

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

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

Branches:

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

	LineNo.	Expression
-1-:	229	case (state_q)
-2-:	234	if (init_req_i)
-3-:	244	if (otp_gnt_i)
-4-:	254	if (otp_rvalid_i)
-5-:	256	if ((otp_err_e'(otp_err_i) inside {NoError, MacroEccCorrError}))
-6-:	260	if ((cnt == LastScrmblBlock))
-7-:	264	if (1'b0)
-8-:	271	if ((otp_err_e'(otp_err_i) != NoError))
-9-:	291	if ((scrmbl_mtx_gnt_i && scrmbl_ready_i))
-10-:	303	if (scrmbl_valid_i)
-11-:	313	if (integ_chk_req_i)
-12-:	314	if (1'b0)
-13-:	322	if (cnsty_chk_req_i)
-14-:	337	if (1'b0)
-15-:	340	if (otp_gnt_i)
-16-:	351	if (otp_rvalid_i)
-17-:	352	if ((otp_err_e'(otp_err_i) inside {NoError, MacroEccCorrError}))
-18-:	355	if (1'b0)
-19-:	357	if (((digest_o == data_mux) || (digest_o == '0)))
-20-:	370	if (((scrmbl_data_o == data_mux) || lc_ctrl_pkg::lc_tx_test_true_strict(check_byp_en_i)))
-21-:	374	if ((cnt == LastScrmblBlock))
-22-:	390	if ((otp_err_e'(otp_err_i) != NoError))
-23-:	406	if (1'b0)
-24-:	413	if (1'b0)
-25-:	415	if ((scrmbl_mtx_gnt_i && scrmbl_ready_i))
-26-:	422	if ((scrmbl_mtx_gnt_i && scrmbl_ready_i))
-27-:	433	if (prim_mubi_pkg::mubi8_test_true_strict(dout_locked_q))
-28-:	448	if (scrmbl_ready_i)
-29-:	458	if (scrmbl_valid_i)
-30-:	471	if (scrmbl_ready_i)
-31-:	474	if ((cnt == PenultimateScrmblBlock))
-32-:	478	if (cnt[0])
-33-:	487	if (cnt[0])
-34-:	492	if (1'b0)
-35-:	508	if (scrmbl_ready_i)
-36-:	520	if (scrmbl_ready_i)
-37-:	533	if (scrmbl_valid_i)
-38-:	536	if (((digest_o == data_mux) || (digest_o == '0)))
-39-:	540	if (prim_mubi_pkg::mubi8_test_true_strict(dout_locked_q))
-40-:	562	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	T3,T34,T32
InitWaitSt	-	-	1	1	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T19,T47,T55
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	T9,T4,T8
IdleSt	-	-	-	-	-	-	-	-	-	0	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T6,T21
IdleSt	-	-	-	-	-	-	-	-	-	0	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
CnstyReadSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Unreachable
CnstyReadSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T6,T21
CnstyReadSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T6,T21
CnstyReadSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T6,T21
CnstyReadWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Unreachable
CnstyReadWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Unreachable
CnstyReadWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	0	-	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T6,T21
CnstyReadWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	0	-	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T6,T21
CnstyReadWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	0	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T32,T44,T45
CnstyReadWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
CnstyReadWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T6,T21
CnstyReadWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
CnstyReadWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T6,T21
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	T14,T15,T16
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	Covered	T1,T2,T3
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T14,T15,T16

	LineNo.	Expression
-1-:	584	if (ecc_err)
-2-:	586	if ((state_q != ErrorSt))

Branches:

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

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

Branches:

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

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

Branches:

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

	LineNo.	Expression
-1-:	741	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[7].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	26050016	25806694	0	0
BypassEnable0_A	26050016	0	0	0
BypassEnable1_A	26050016	0	0	0
CnstyChkAckKnown_A	26050016	25806694	0	0
DataKnown_A	26050016	25806694	0	0
DigestKnown_A	26050016	25806694	0	0
DigestOffsetMustBeRepresentable_A	552	552	0	0
EccErrorState_A	26050016	0	0	0
ErrorKnown_A	26050016	25806694	0	0
InitDoneKnown_A	26050016	25806694	0	0
InitReadLocksPartition_A	26050016	5541300	0	0
InitWriteLocksPartition_A	26050016	5541300	0	0
IntegChkAckKnown_A	26050016	25806694	0	0
OffsetMustBeBlockAligned_A	552	552	0	0
OtpAddrKnown_A	26050016	25806694	0	0
OtpCmdKnown_A	26050016	25806694	0	0
OtpErrorState_A	26050016	22	0	0
OtpReqKnown_A	26050016	25806694	0	0
OtpSizeKnown_A	26050016	25806694	0	0
OtpWdataKnown_A	26050016	25806694	0	0
ReadLockImpliesDigest_A	26050016	0	0	0
ReadLockPropagation_A	26050016	25806694	0	0
ScrambledImpliesDigest_A	26050016	0	0	0
ScrmblCmdKnown_A	26050016	25806694	0	0
ScrmblDataKnown_A	25829250	25585928	0	0
ScrmblModeKnown_A	26050016	25806694	0	0
ScrmblMtxReqKnown_A	26050016	25806694	0	0
ScrmblSelKnown_A	26050016	25806694	0	0
ScrmblValidKnown_A	26050016	25806694	0	0
SizeMustBeBlockAligned_A	552	552	0	0
WriteLockImpliesDigest_A	26050016	0	0	0
WriteLockPropagation_A	26050016	25806694	0	0
u_state_regs_A	26050016	25806694	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	25806694	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0

BypassEnable0_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	0	0	0

BypassEnable1_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	0	0	0

CnstyChkAckKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	25806694	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0

DataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	25806694	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	25806694	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	552	552	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
T9	1	1	0	0
T17	1	1	0	0
T18	1	1	0	0
T19	1	1	0	0
T20	1	1	0	0

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	25806694	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	25806694	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	5541300	0	0
T1	14672	10756	0	0
T2	14654	5152	0	0
T3	11603	5088	0	0
T4	24955	4718	0	0
T5	20141	2988	0	0
T9	24294	18737	0	0
T17	18877	7419	0	0
T18	15607	5897	0	0
T19	14051	5720	0	0
T20	12287	6276	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	5541300	0	0
T1	14672	10756	0	0
T2	14654	5152	0	0
T3	11603	5088	0	0
T4	24955	4718	0	0
T5	20141	2988	0	0
T9	24294	18737	0	0
T17	18877	7419	0	0
T18	15607	5897	0	0
T19	14051	5720	0	0
T20	12287	6276	0	0

IntegChkAckKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	25806694	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	552	552	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
T9	1	1	0	0
T17	1	1	0	0
T18	1	1	0	0
T19	1	1	0	0
T20	1	1	0	0

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	25806694	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	25806694	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	22	0	0
T5	20141	0	0	0
T6	23159	0	0	0
T7	14644	0	0	0
T8	37926	0	0	0
T11	14160	0	0	0
T19	14051	1	0	0
T20	12287	0	0	0
T24	0	1	0	0
T29	29315	0	0	0
T33	11519	0	0	0
T46	12885	0	0	0
T47	0	1	0	0
T50	0	1	0	0
T51	0	1	0	0
T55	0	1	0	0
T59	0	1	0	0
T60	0	1	0	0
T61	0	1	0	0
T62	0	1	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	25806694	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	25806694	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	25806694	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0

ReadLockImpliesDigest_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	0	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	25806694	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0

ScrambledImpliesDigest_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	0	0	0

ScrmblCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	25806694	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0

ScrmblDataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	25829250	25585928	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0

ScrmblModeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	25806694	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0

ScrmblMtxReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	25806694	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0

ScrmblSelKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	25806694	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0

ScrmblValidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	25806694	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	552	552	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
T9	1	1	0	0
T17	1	1	0	0
T18	1	1	0	0
T19	1	1	0	0
T20	1	1	0	0

WriteLockImpliesDigest_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	0	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	25806694	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	25806694	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0