Unified Coverage Report :: Module Instance :: tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf

Module Instance : tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
98.33	100.00	100.00		91.67	100.00	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
98.32	100.00	100.00	100.00	91.67	98.25	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
96.22	94.16	96.15	97.18		96.43	97.18	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_digest_write_lock.u_prim_mubi8_sender_write_lock	100.00	100.00				100.00	100.00
gen_ecc_reg.u_otp_ctrl_ecc_reg	95.00	100.00		100.00		80.00	100.00
u_prim_mubi8_sender_read_lock_pre	100.00	100.00				100.00	100.00
u_prim_mubi8_sender_write_lock_pre	100.00	100.00				100.00	100.00
u_state_regs	100.00	100.00				100.00	100.00

Module Instance : tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
98.33	100.00	100.00		91.67	100.00	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
98.32	100.00	100.00	100.00	91.67	98.25	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
96.22	94.16	96.15	97.18		96.43	97.18	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_digest_write_lock.u_prim_mubi8_sender_write_lock	100.00	100.00				100.00	100.00
gen_ecc_reg.u_otp_ctrl_ecc_reg	95.00	100.00		100.00		80.00	100.00
u_prim_mubi8_sender_read_lock_pre	100.00	100.00				100.00	100.00
u_prim_mubi8_sender_write_lock_pre	100.00	100.00				100.00	100.00
u_state_regs	100.00	100.00				100.00	100.00

Line Coverage for Instance : tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf

	Line No.	Total	Covered	Percent
TOTAL		91	91	100.00
CONT_ASSIGN	138	1	1	100.00
CONT_ASSIGN	149	1	1	100.00
ALWAYS	164	68	68	100.00
CONT_ASSIGN	334	1	1	100.00
CONT_ASSIGN	336	1	1	100.00
CONT_ASSIGN	342	1	1	100.00
CONT_ASSIGN	349	1	1	100.00
CONT_ASSIGN	350	1	1	100.00
CONT_ASSIGN	354	1	1	100.00
CONT_ASSIGN	358	1	1	100.00
CONT_ASSIGN	395	1	1	100.00
CONT_ASSIGN	420	1	1	100.00
CONT_ASSIGN	454	1	1	100.00
ALWAYS	461	3	3	100.00
ALWAYS	464	8	8	100.00

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

Line No.	Covered	Statements
138	1	1
149	1	1
164	1	1
167	1	1
170	1	1
171	1	1
174	1	1
175	1	1
176	1	1
179	1	1
182	1	1
183	1	1
184	1	1
186	1	1
191	1	1
193	1	1
194	1	1
196		unreachable
			MISSING_ELSE
205	1	1
206	1	1
207	1	1
			MISSING_ELSE
215	1	1
216	1	1
217	1	1
218	1	1
220	1	1
221	1	1
			MISSING_ELSE
224	1	1
225	1	1
			MISSING_ELSE
233	1	1
234	1	1
235	1	1
236	1	1
237	1	1
			MISSING_ELSE
246	1	1
248	1	1
249	1	1
250	1	1
251	1	1
252	1	1
			MISSING_ELSE
255	1	1
256	1	1
257	1	1
258	1	1
266	1	1
267	1	1
268	1	1
269	1	1
270	1	1
272	1	1
273	1	1
			MISSING_ELSE
276	1	1
277	1	1
279	1	1
			MISSING_ELSE
288	1	1
289	1	1
			MISSING_ELSE
293	1	1
294	1	1
295	1	1
296	1	1
297	1	1
298	1	1
			MISSING_ELSE
314	1	1
315	1	1
316	1	1
317	1	1
			MISSING_ELSE
			MISSING_ELSE
321	1	1
322	1	1
323	1	1
324	1	1
325	1	1
			MISSING_ELSE
			MISSING_ELSE
334	1	1
336	1	1
342	1	1
349	1	1
350	1	1
354	1	1
358	1	1
395	1	1
420	1	1
454	1	1
461	3	3
464	1	1
465	1	1
466	1	1
467	1	1
469	1	1
470	1	1
471	1	1
472	1	1
			MISSING_ELSE

---

Cond Coverage for Instance : tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf

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

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T140,T82,T79

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

-1-	Status	Tests
0	Covered	T1,T3,T4
1	Covered	T11,T65,T141

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

-1-	Status	Tests
0	Covered	T1,T3,T10
1	Covered	T23,T24,T25

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

-1-	Status	Tests
0	Covered	T72,T73,T74
1	Covered	T72,T73,T74

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

-1-	Status	Tests
0	Covered	T1,T3,T10
1	Covered	T3,T10,T6

 LINE       336
 EXPRESSION ((tlul_rvalid_o && (tlul_rerror_o == '0)) ? otp_rdata_i[31:0] : '0)
             --------------------1-------------------

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

 LINE       336
 SUB-EXPRESSION (tlul_rvalid_o && (tlul_rerror_o == '0))
                 ------1------    ----------2----------

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

 LINE       336
 SUB-EXPRESSION (tlul_rerror_o == '0)
                ----------1----------

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

 LINE       342
 EXPRESSION (({tlul_addr_q, 2'b0} >= 11'b10001111000) && ({1'b0, tlul_addr_q, 2'b0} < PartEnd))
             --------------------1-------------------    ------------------2------------------

-1-	-2-	Status	Tests	Exclude Annotation
0	1	Covered	T1,T2,T3
1	0	Excluded		VC_COV_UNR
1	1	Covered	T1,T2,T3

 LINE       349
 EXPRESSION ((otp_addr_sel == DigestAddrSel) ? DigestOffset : ({tlul_addr_q, 2'b0}))
             ---------------1---------------

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

 LINE       349
 SUB-EXPRESSION (otp_addr_sel == DigestAddrSel)
                ---------------1---------------

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

 LINE       358
 EXPRESSION 
 Number  Term
      1  (otp_addr_sel == DigestAddrSel) ? (2'((unsigned'(((otp_ctrl_pkg::ScrmblBlockWidth / otp_ctrl_pkg::OtpWidth) - 1))))) : (2'((unsigned'(((32 / otp_ctrl_pkg::OtpWidth) - 1))))))

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

 LINE       358
 SUB-EXPRESSION (otp_addr_sel == DigestAddrSel)
                ---------------1---------------

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

 LINE       395
 EXPRESSION (((~init_done_o)) ? MuBi8True : MuBi8False)
             --------1-------

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

 LINE       420
 EXPRESSION ((digest_o != '0) ? MuBi8True : MuBi8False)
             --------1-------

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

 LINE       420
 SUB-EXPRESSION (digest_o != '0)
                --------1-------

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

---

FSM Coverage for Instance : tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf

Summary for FSM :: state_q

	Total	Covered	Percent
States	7	7	100.00	(Not included in score)
Transitions	13	12	92.31
Sequences	0	0

State, Transition and Sequence Details for FSM :: state_q

---

states	Line No.	Covered	Tests
ErrorSt	224	Covered	T1,T3,T10
IdleSt	196	Covered	T1,T2,T3
InitSt	194	Covered	T1,T2,T3
InitWaitSt	207	Covered	T1,T2,T3
ReadSt	236	Covered	T1,T2,T3
ReadWaitSt	252	Covered	T1,T3,T4
ResetSt	190	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T10,T6,T11
IdleSt->ReadSt	236	Covered	T1,T2,T3
InitSt->ErrorSt	315	Covered	T9,T191,T192
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T1,T3,T116
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T2,T10,T11
ReadSt->ReadWaitSt	252	Covered	T1,T3,T4
ReadWaitSt->ErrorSt	276	Covered	T148,T200,T201
ReadWaitSt->IdleSt	270	Covered	T1,T3,T4
ResetSt->ErrorSt	315	Covered	T72,T73,T74
ResetSt->IdleSt	196	Excluded		VC_COV_UNR
ResetSt->InitSt	194	Covered	T1,T2,T3

Summary for FSM :: error_q

	Total	Covered	Percent
States	5	5	100.00	(Not included in score)
Transitions	11	10	90.91
Sequences	0	0

State, Transition and Sequence Details for FSM :: error_q

---

states	Line No.	Covered	Tests
AccessError	256	Covered	T2,T10,T11
CheckFailError	317	Covered	T72,T73,T74
FsmStateError	289	Covered	T3,T10,T6
MacroEccCorrError	221	Covered	T11,T65,T141
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded		VC_COV_UNR
AccessError->FsmStateError	325	Covered	T10,T106,T8
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T2,T10,T11
CheckFailError->AccessError	256	Excluded		VC_COV_UNR
CheckFailError->FsmStateError	325	Excluded		VC_COV_UNR
CheckFailError->MacroEccCorrError	221	Excluded		VC_COV_UNR
CheckFailError->NoError	235	Covered	T72,T73,T74
FsmStateError->AccessError	256	Excluded		VC_COV_UNR
FsmStateError->CheckFailError	317	Excluded		VC_COV_UNR
FsmStateError->MacroEccCorrError	221	Excluded		VC_COV_UNR
FsmStateError->NoError	235	Covered	T3,T10,T6
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T141,T140,T82
MacroEccCorrError->NoError	235	Covered	T11,T65,T69
NoError->AccessError	256	Covered	T2,T10,T11
NoError->CheckFailError	317	Covered	T72,T73,T74
NoError->FsmStateError	289	Covered	T3,T6,T11
NoError->MacroEccCorrError	221	Covered	T11,T65,T141

---

Branch Coverage for Instance : tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf

	Line No.	Total	Covered	Percent
Branches		44	44	100.00
TERNARY	336	2	2	100.00
TERNARY	349	2	2	100.00
TERNARY	358	2	2	100.00
TERNARY	395	2	2	100.00
TERNARY	420	2	2	100.00
CASE	186	23	23	100.00
IF	314	3	3	100.00
IF	321	3	3	100.00
IF	461	2	2	100.00
IF	464	3	3	100.00

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

	LineNo.	Expression
-1-:	336	((tlul_rvalid_o && (tlul_rerror_o == '0))) ? 

Branches:

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

	LineNo.	Expression
-1-:	349	((otp_addr_sel == DigestAddrSel)) ? 

Branches:

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

	LineNo.	Expression
-1-:	358	((otp_addr_sel == DigestAddrSel)) ? 

Branches:

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

	LineNo.	Expression
-1-:	395	((~init_done_o)) ? 

Branches:

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

	LineNo.	Expression
-1-:	420	((digest_o != '0)) ? 

Branches:

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

	LineNo.	Expression
-1-:	186	case (state_q)
-2-:	191	if (init_req_i)
-3-:	193	if (1'b1)
-4-:	206	if (otp_gnt_i)
-5-:	215	if (otp_rvalid_i)
-6-:	217	if ((otp_err inside {NoError, MacroEccCorrError}))
-7-:	220	if ((otp_err != NoError))
-8-:	234	if (tlul_req_i)
-9-:	248	if ((tlul_addr_in_range && prim_mubi_pkg::mubi8_test_false_strict(access_o.read_lock)))
-10-:	251	if (otp_gnt_i)
-11-:	267	if (otp_rvalid_i)
-12-:	269	if ((otp_err inside {NoError, MacroEccCorrError}))
-13-:	272	if ((otp_err != NoError))
-14-:	288	if ((error_q == NoError))
-15-:	293	if (pending_tlul_error_q)
-16-:	296	if (tlul_req_i)

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	-10-	-11-	-12-	-13-	-14-	-15-	-16-	Status	Tests
ResetSt	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ResetSt	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	Unreachable
ResetSt	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitSt	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitSt	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	1	1	-	-	-	-	-	-	-	-	-	Covered	T140,T82,T79
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T1,T144,T202
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T3,T4
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T107,T8,T150
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T2,T10,T11
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T11,T65,T141
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T3,T4
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T148,T200,T201
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T3,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T23,T24,T25
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T3,T10
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T10,T6,T11
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T10,T6,T11
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T3,T10
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T23,T24,T25

	LineNo.	Expression
-1-:	314	if (ecc_err)
-2-:	316	if ((state_q != ErrorSt))

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T72,T73,T74
1	0	Covered	T72,T73,T74
0	-	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	321	if (lc_ctrl_pkg::lc_tx_test_true_loose(escalate_en_i))
-2-:	324	if ((state_q != ErrorSt))

Branches:

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

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

Branches:

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

	LineNo.	Expression
-1-:	464	if ((!rst_ni))
-2-:	471	if (tlul_gnt_o)

Branches:

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

---

Assert Coverage for Instance : tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
AccessKnown_A	461249151	460395867	0	0
DigestKnown_A	461249151	460395867	0	0
DigestOffsetMustBeRepresentable_A	1148	1148	0	0
EccErrorState_A	461249151	20337	0	0
ErrorKnown_A	461249151	460395867	0	0
FsmStateKnown_A	461249151	460395867	0	0
InitDoneKnown_A	461249151	460395867	0	0
InitReadLocksPartition_A	461249151	102473992	0	0
InitWriteLocksPartition_A	461249151	102473992	0	0
OffsetMustBeBlockAligned_A	1148	1148	0	0
OtpAddrKnown_A	461249151	460395867	0	0
OtpCmdKnown_A	461249151	460395867	0	0
OtpErrorState_A	461249151	42	0	0
OtpReqKnown_A	461249151	460395867	0	0
OtpSizeKnown_A	461249151	460395867	0	0
OtpWdataKnown_A	461249151	460395867	0	0
ReadLockPropagation_A	461249151	210148712	0	0
SizeMustBeBlockAligned_A	1148	1148	0	0
TlulGntKnown_A	461249151	460395867	0	0
TlulRdataKnown_A	461249151	460395867	0	0
TlulReadOnReadLock_A	461249151	8278	0	0
TlulRerrorKnown_A	461249151	460395867	0	0
TlulRvalidKnown_A	461249151	460395867	0	0
WriteLockPropagation_A	461249151	1950775	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	461249151	23962099	0	0
u_state_regs_A	461249151	460395867	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	460395867	0	0
T1	12692	12448	0	0
T2	18118	17780	0	0
T3	12299	12037	0	0
T4	27882	27333	0	0
T5	10391	10152	0	0
T6	52088	51396	0	0
T10	28147	27978	0	0
T11	97107	96443	0	0
T12	16199	15940	0	0
T13	48085	47265	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	460395867	0	0
T1	12692	12448	0	0
T2	18118	17780	0	0
T3	12299	12037	0	0
T4	27882	27333	0	0
T5	10391	10152	0	0
T6	52088	51396	0	0
T10	28147	27978	0	0
T11	97107	96443	0	0
T12	16199	15940	0	0
T13	48085	47265	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1148	1148	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
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	20337	0	0
T72	8425	2736	0	0
T73	0	3727	0	0
T74	0	3048	0	0
T145	0	3722	0	0
T146	0	3382	0	0
T151	0	3722	0	0
T153	31603	0	0	0
T154	75986	0	0	0
T155	14839	0	0	0
T156	10534	0	0	0
T157	10351	0	0	0
T158	42330	0	0	0
T159	55688	0	0	0
T160	40381	0	0	0
T161	15240	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	460395867	0	0
T1	12692	12448	0	0
T2	18118	17780	0	0
T3	12299	12037	0	0
T4	27882	27333	0	0
T5	10391	10152	0	0
T6	52088	51396	0	0
T10	28147	27978	0	0
T11	97107	96443	0	0
T12	16199	15940	0	0
T13	48085	47265	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	460395867	0	0
T1	12692	12448	0	0
T2	18118	17780	0	0
T3	12299	12037	0	0
T4	27882	27333	0	0
T5	10391	10152	0	0
T6	52088	51396	0	0
T10	28147	27978	0	0
T11	97107	96443	0	0
T12	16199	15940	0	0
T13	48085	47265	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	460395867	0	0
T1	12692	12448	0	0
T2	18118	17780	0	0
T3	12299	12037	0	0
T4	27882	27333	0	0
T5	10391	10152	0	0
T6	52088	51396	0	0
T10	28147	27978	0	0
T11	97107	96443	0	0
T12	16199	15940	0	0
T13	48085	47265	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	102473992	0	0
T1	12692	5187	0	0
T2	18118	677	0	0
T3	12299	4121	0	0
T4	27882	1227	0	0
T5	10391	1560	0	0
T6	52088	20973	0	0
T10	28147	11522	0	0
T11	97107	18955	0	0
T12	16199	3687	0	0
T13	48085	1009	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	102473992	0	0
T1	12692	5187	0	0
T2	18118	677	0	0
T3	12299	4121	0	0
T4	27882	1227	0	0
T5	10391	1560	0	0
T6	52088	20973	0	0
T10	28147	11522	0	0
T11	97107	18955	0	0
T12	16199	3687	0	0
T13	48085	1009	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1148	1148	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
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	460395867	0	0
T1	12692	12448	0	0
T2	18118	17780	0	0
T3	12299	12037	0	0
T4	27882	27333	0	0
T5	10391	10152	0	0
T6	52088	51396	0	0
T10	28147	27978	0	0
T11	97107	96443	0	0
T12	16199	15940	0	0
T13	48085	47265	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	460395867	0	0
T1	12692	12448	0	0
T2	18118	17780	0	0
T3	12299	12037	0	0
T4	27882	27333	0	0
T5	10391	10152	0	0
T6	52088	51396	0	0
T10	28147	27978	0	0
T11	97107	96443	0	0
T12	16199	15940	0	0
T13	48085	47265	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	42	0	0
T1	12692	1	0	0
T2	18118	0	0	0
T3	12299	0	0	0
T4	27882	0	0	0
T5	10391	0	0	0
T6	52088	0	0	0
T10	28147	0	0	0
T11	97107	0	0	0
T12	16199	0	0	0
T13	48085	0	0	0
T144	0	1	0	0
T147	0	1	0	0
T148	0	1	0	0
T156	0	1	0	0
T202	0	1	0	0
T203	0	1	0	0
T204	0	1	0	0
T205	0	1	0	0
T206	0	1	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	460395867	0	0
T1	12692	12448	0	0
T2	18118	17780	0	0
T3	12299	12037	0	0
T4	27882	27333	0	0
T5	10391	10152	0	0
T6	52088	51396	0	0
T10	28147	27978	0	0
T11	97107	96443	0	0
T12	16199	15940	0	0
T13	48085	47265	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	460395867	0	0
T1	12692	12448	0	0
T2	18118	17780	0	0
T3	12299	12037	0	0
T4	27882	27333	0	0
T5	10391	10152	0	0
T6	52088	51396	0	0
T10	28147	27978	0	0
T11	97107	96443	0	0
T12	16199	15940	0	0
T13	48085	47265	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	460395867	0	0
T1	12692	12448	0	0
T2	18118	17780	0	0
T3	12299	12037	0	0
T4	27882	27333	0	0
T5	10391	10152	0	0
T6	52088	51396	0	0
T10	28147	27978	0	0
T11	97107	96443	0	0
T12	16199	15940	0	0
T13	48085	47265	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	210148712	0	0
T2	18118	5224	0	0
T3	12299	0	0	0
T4	27882	2227	0	0
T5	10391	0	0	0
T6	52088	0	0	0
T7	0	61421	0	0
T10	28147	12654	0	0
T11	97107	12712	0	0
T12	16199	0	0	0
T13	48085	8023	0	0
T17	0	10640	0	0
T30	0	7116	0	0
T41	0	36086	0	0
T106	50219	36111	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1148	1148	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
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	460395867	0	0
T1	12692	12448	0	0
T2	18118	17780	0	0
T3	12299	12037	0	0
T4	27882	27333	0	0
T5	10391	10152	0	0
T6	52088	51396	0	0
T10	28147	27978	0	0
T11	97107	96443	0	0
T12	16199	15940	0	0
T13	48085	47265	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	460395867	0	0
T1	12692	12448	0	0
T2	18118	17780	0	0
T3	12299	12037	0	0
T4	27882	27333	0	0
T5	10391	10152	0	0
T6	52088	51396	0	0
T10	28147	27978	0	0
T11	97107	96443	0	0
T12	16199	15940	0	0
T13	48085	47265	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	8278	0	0
T2	18118	3	0	0
T3	12299	0	0	0
T4	27882	0	0	0
T5	10391	0	0	0
T6	52088	5	0	0
T7	0	10	0	0
T10	28147	4	0	0
T11	97107	10	0	0
T12	16199	0	0	0
T13	48085	11	0	0
T17	0	7	0	0
T30	0	7	0	0
T41	0	1	0	0
T106	50219	8	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	460395867	0	0
T1	12692	12448	0	0
T2	18118	17780	0	0
T3	12299	12037	0	0
T4	27882	27333	0	0
T5	10391	10152	0	0
T6	52088	51396	0	0
T10	28147	27978	0	0
T11	97107	96443	0	0
T12	16199	15940	0	0
T13	48085	47265	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	460395867	0	0
T1	12692	12448	0	0
T2	18118	17780	0	0
T3	12299	12037	0	0
T4	27882	27333	0	0
T5	10391	10152	0	0
T6	52088	51396	0	0
T10	28147	27978	0	0
T11	97107	96443	0	0
T12	16199	15940	0	0
T13	48085	47265	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	1950775	0	0
T8	947410	59597	0	0
T9	0	46271	0	0
T17	95044	14312	0	0
T41	95027	19796	0	0
T49	16153	0	0	0
T55	19385	0	0	0
T58	48292	0	0	0
T66	15662	0	0	0
T93	27460	0	0	0
T94	23561	0	0	0
T99	0	8276	0	0
T100	0	712	0	0
T101	0	6210	0	0
T102	0	4722	0	0
T103	0	27237	0	0
T111	0	1432	0	0
T112	28662	0	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	23962099	0	0
T2	18118	11041	0	0
T3	12299	0	0	0
T4	27882	17406	0	0
T5	10391	0	0	0
T6	52088	0	0	0
T10	28147	2906	0	0
T11	97107	73198	0	0
T12	16199	0	0	0
T13	48085	36725	0	0
T17	0	82730	0	0
T30	0	29344	0	0
T41	0	76919	0	0
T106	50219	2839	0	0
T112	0	19273	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	460395867	0	0
T1	12692	12448	0	0
T2	18118	17780	0	0
T3	12299	12037	0	0
T4	27882	27333	0	0
T5	10391	10152	0	0
T6	52088	51396	0	0
T10	28147	27978	0	0
T11	97107	96443	0	0
T12	16199	15940	0	0
T13	48085	47265	0	0

Line Coverage for Instance : tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf

	Line No.	Total	Covered	Percent
TOTAL		91	91	100.00
CONT_ASSIGN	138	1	1	100.00
CONT_ASSIGN	149	1	1	100.00
ALWAYS	164	68	68	100.00
CONT_ASSIGN	334	1	1	100.00
CONT_ASSIGN	336	1	1	100.00
CONT_ASSIGN	342	1	1	100.00
CONT_ASSIGN	349	1	1	100.00
CONT_ASSIGN	350	1	1	100.00
CONT_ASSIGN	354	1	1	100.00
CONT_ASSIGN	358	1	1	100.00
CONT_ASSIGN	395	1	1	100.00
CONT_ASSIGN	420	1	1	100.00
CONT_ASSIGN	454	1	1	100.00
ALWAYS	461	3	3	100.00
ALWAYS	464	8	8	100.00

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

Line No.	Covered	Statements
138	1	1
149	1	1
164	1	1
167	1	1
170	1	1
171	1	1
174	1	1
175	1	1
176	1	1
179	1	1
182	1	1
183	1	1
184	1	1
186	1	1
191	1	1
193	1	1
194	1	1
196		unreachable
			MISSING_ELSE
205	1	1
206	1	1
207	1	1
			MISSING_ELSE
215	1	1
216	1	1
217	1	1
218	1	1
220	1	1
221	1	1
			MISSING_ELSE
224	1	1
225	1	1
			MISSING_ELSE
233	1	1
234	1	1
235	1	1
236	1	1
237	1	1
			MISSING_ELSE
246	1	1
248	1	1
249	1	1
250	1	1
251	1	1
252	1	1
			MISSING_ELSE
255	1	1
256	1	1
257	1	1
258	1	1
266	1	1
267	1	1
268	1	1
269	1	1
270	1	1
272	1	1
273	1	1
			MISSING_ELSE
276	1	1
277	1	1
279	1	1
			MISSING_ELSE
288	1	1
289	1	1
			MISSING_ELSE
293	1	1
294	1	1
295	1	1
296	1	1
297	1	1
298	1	1
			MISSING_ELSE
314	1	1
315	1	1
316	1	1
317	1	1
			MISSING_ELSE
			MISSING_ELSE
321	1	1
322	1	1
323	1	1
324	1	1
325	1	1
			MISSING_ELSE
			MISSING_ELSE
334	1	1
336	1	1
342	1	1
349	1	1
350	1	1
354	1	1
358	1	1
395	1	1
420	1	1
454	1	1
461	3	3
464	1	1
465	1	1
466	1	1
467	1	1
469	1	1
470	1	1
471	1	1
472	1	1
			MISSING_ELSE

---

Cond Coverage for Instance : tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf

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

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T66,T119,T83

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

-1-	Status	Tests
0	Covered	T1,T3,T10
1	Covered	T11,T95,T103

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

-1-	Status	Tests
0	Covered	T1,T3,T10
1	Covered	T23,T24,T25

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

-1-	Status	Tests
0	Covered	T72,T142,T146
1	Covered	T72,T142,T146

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

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

 LINE       336
 EXPRESSION ((tlul_rvalid_o && (tlul_rerror_o == '0)) ? otp_rdata_i[31:0] : '0)
             --------------------1-------------------

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

 LINE       336
 SUB-EXPRESSION (tlul_rvalid_o && (tlul_rerror_o == '0))
                 ------1------    ----------2----------

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

 LINE       336
 SUB-EXPRESSION (tlul_rerror_o == '0)
                ----------1----------

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

 LINE       342
 EXPRESSION (({tlul_addr_q, 2'b0} >= 11'b11001010000) && ({1'b0, tlul_addr_q, 2'b0} < PartEnd))
             --------------------1-------------------    ------------------2------------------

-1-	-2-	Status	Tests	Exclude Annotation
0	1	Covered	T1,T2,T3
1	0	Excluded		VC_COV_UNR
1	1	Covered	T1,T2,T3

 LINE       349
 EXPRESSION ((otp_addr_sel == DigestAddrSel) ? DigestOffset : ({tlul_addr_q, 2'b0}))
             ---------------1---------------

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

 LINE       349
 SUB-EXPRESSION (otp_addr_sel == DigestAddrSel)
                ---------------1---------------

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

 LINE       358
 EXPRESSION 
 Number  Term
      1  (otp_addr_sel == DigestAddrSel) ? (2'((unsigned'(((otp_ctrl_pkg::ScrmblBlockWidth / otp_ctrl_pkg::OtpWidth) - 1))))) : (2'((unsigned'(((32 / otp_ctrl_pkg::OtpWidth) - 1))))))

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

 LINE       358
 SUB-EXPRESSION (otp_addr_sel == DigestAddrSel)
                ---------------1---------------

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

 LINE       395
 EXPRESSION (((~init_done_o)) ? MuBi8True : MuBi8False)
             --------1-------

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

 LINE       420
 EXPRESSION ((digest_o != '0) ? MuBi8True : MuBi8False)
             --------1-------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T106,T41,T8

 LINE       420
 SUB-EXPRESSION (digest_o != '0)
                --------1-------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T106,T41,T8

---

FSM Coverage for Instance : tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf

Summary for FSM :: state_q

	Total	Covered	Percent
States	7	7	100.00	(Not included in score)
Transitions	13	12	92.31
Sequences	0	0

State, Transition and Sequence Details for FSM :: state_q

---

states	Line No.	Covered	Tests
ErrorSt	224	Covered	T1,T3,T10
IdleSt	196	Covered	T1,T2,T3
InitSt	194	Covered	T1,T2,T3
InitWaitSt	207	Covered	T1,T2,T3
ReadSt	236	Covered	T1,T2,T3
ReadWaitSt	252	Covered	T1,T3,T10
ResetSt	190	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T10,T6,T11
IdleSt->ReadSt	236	Covered	T1,T2,T3
InitSt->ErrorSt	315	Covered	T3,T116,T9
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T1,T144,T202
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T2,T11,T13
ReadSt->ReadWaitSt	252	Covered	T1,T3,T10
ReadWaitSt->ErrorSt	276	Covered	T207,T200,T208
ReadWaitSt->IdleSt	270	Covered	T1,T3,T10
ResetSt->ErrorSt	315	Covered	T72,T73,T74
ResetSt->IdleSt	196	Excluded		VC_COV_UNR
ResetSt->InitSt	194	Covered	T1,T2,T3

Summary for FSM :: error_q

	Total	Covered	Percent
States	5	5	100.00	(Not included in score)
Transitions	11	10	90.91
Sequences	0	0

State, Transition and Sequence Details for FSM :: error_q

---

states	Line No.	Covered	Tests
AccessError	256	Covered	T2,T11,T13
CheckFailError	317	Covered	T72,T142,T146
FsmStateError	289	Covered	T1,T3,T10
MacroEccCorrError	221	Covered	T11,T66,T95
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded		VC_COV_UNR
AccessError->FsmStateError	325	Covered	T106,T7,T8
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T2,T11,T13
CheckFailError->AccessError	256	Excluded		VC_COV_UNR
CheckFailError->FsmStateError	325	Excluded		VC_COV_UNR
CheckFailError->MacroEccCorrError	221	Excluded		VC_COV_UNR
CheckFailError->NoError	235	Covered	T72,T142,T146
FsmStateError->AccessError	256	Excluded		VC_COV_UNR
FsmStateError->CheckFailError	317	Excluded		VC_COV_UNR
FsmStateError->MacroEccCorrError	221	Excluded		VC_COV_UNR
FsmStateError->NoError	235	Covered	T1,T3,T10
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T66,T95,T141
MacroEccCorrError->NoError	235	Covered	T11,T103,T69
NoError->AccessError	256	Covered	T2,T11,T13
NoError->CheckFailError	317	Covered	T72,T142,T146
NoError->FsmStateError	289	Covered	T1,T3,T10
NoError->MacroEccCorrError	221	Covered	T11,T66,T95

---

Branch Coverage for Instance : tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf

	Line No.	Total	Covered	Percent
Branches		44	44	100.00
TERNARY	336	2	2	100.00
TERNARY	349	2	2	100.00
TERNARY	358	2	2	100.00
TERNARY	395	2	2	100.00
TERNARY	420	2	2	100.00
CASE	186	23	23	100.00
IF	314	3	3	100.00
IF	321	3	3	100.00
IF	461	2	2	100.00
IF	464	3	3	100.00

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

	LineNo.	Expression
-1-:	336	((tlul_rvalid_o && (tlul_rerror_o == '0))) ? 

Branches:

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

	LineNo.	Expression
-1-:	349	((otp_addr_sel == DigestAddrSel)) ? 

Branches:

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

	LineNo.	Expression
-1-:	358	((otp_addr_sel == DigestAddrSel)) ? 

Branches:

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

	LineNo.	Expression
-1-:	395	((~init_done_o)) ? 

Branches:

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

	LineNo.	Expression
-1-:	420	((digest_o != '0)) ? 

Branches:

-1-	Status	Tests
1	Covered	T106,T41,T8
0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	186	case (state_q)
-2-:	191	if (init_req_i)
-3-:	193	if (1'b1)
-4-:	206	if (otp_gnt_i)
-5-:	215	if (otp_rvalid_i)
-6-:	217	if ((otp_err inside {NoError, MacroEccCorrError}))
-7-:	220	if ((otp_err != NoError))
-8-:	234	if (tlul_req_i)
-9-:	248	if ((tlul_addr_in_range && prim_mubi_pkg::mubi8_test_false_strict(access_o.read_lock)))
-10-:	251	if (otp_gnt_i)
-11-:	267	if (otp_rvalid_i)
-12-:	269	if ((otp_err inside {NoError, MacroEccCorrError}))
-13-:	272	if ((otp_err != NoError))
-14-:	288	if ((error_q == NoError))
-15-:	293	if (pending_tlul_error_q)
-16-:	296	if (tlul_req_i)

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	-10-	-11-	-12-	-13-	-14-	-15-	-16-	Status	Tests
ResetSt	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ResetSt	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	Unreachable
ResetSt	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitSt	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitSt	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	1	1	-	-	-	-	-	-	-	-	-	Covered	T66,T119,T83
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T189,T140,T209
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T3,T10
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T8,T150,T9
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T2,T11,T13
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T11,T95,T103
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T3,T10
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T207,T200,T208
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T3,T10
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T23,T24,T25
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T3,T10
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T6,T11,T106
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T6,T11,T106
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T3,T10
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T23,T24,T25

	LineNo.	Expression
-1-:	314	if (ecc_err)
-2-:	316	if ((state_q != ErrorSt))

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T72,T142,T146
1	0	Covered	T72,T142,T146
0	-	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	321	if (lc_ctrl_pkg::lc_tx_test_true_loose(escalate_en_i))
-2-:	324	if ((state_q != ErrorSt))

Branches:

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

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

Branches:

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

	LineNo.	Expression
-1-:	464	if ((!rst_ni))
-2-:	471	if (tlul_gnt_o)

Branches:

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

---

Assert Coverage for Instance : tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
AccessKnown_A	461249151	460395867	0	0
DigestKnown_A	461249151	460395867	0	0
DigestOffsetMustBeRepresentable_A	1148	1148	0	0
EccErrorState_A	461249151	17292	0	0
ErrorKnown_A	461249151	460395867	0	0
FsmStateKnown_A	461249151	460395867	0	0
InitDoneKnown_A	461249151	460395867	0	0
InitReadLocksPartition_A	461249151	102651153	0	0
InitWriteLocksPartition_A	461249151	102651153	0	0
OffsetMustBeBlockAligned_A	1148	1148	0	0
OtpAddrKnown_A	461249151	460395867	0	0
OtpCmdKnown_A	461249151	460395867	0	0
OtpErrorState_A	461249151	30	0	0
OtpReqKnown_A	461249151	460395867	0	0
OtpSizeKnown_A	461249151	460395867	0	0
OtpWdataKnown_A	461249151	460395867	0	0
ReadLockPropagation_A	461249151	217627365	0	0
SizeMustBeBlockAligned_A	1148	1148	0	0
TlulGntKnown_A	461249151	460395867	0	0
TlulRdataKnown_A	461249151	460395867	0	0
TlulReadOnReadLock_A	461249151	7812	0	0
TlulRerrorKnown_A	461249151	460395867	0	0
TlulRvalidKnown_A	461249151	460395867	0	0
WriteLockPropagation_A	461249151	814874	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	461249151	10444885	0	0
u_state_regs_A	461249151	460395867	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	460395867	0	0
T1	12692	12448	0	0
T2	18118	17780	0	0
T3	12299	12037	0	0
T4	27882	27333	0	0
T5	10391	10152	0	0
T6	52088	51396	0	0
T10	28147	27978	0	0
T11	97107	96443	0	0
T12	16199	15940	0	0
T13	48085	47265	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	460395867	0	0
T1	12692	12448	0	0
T2	18118	17780	0	0
T3	12299	12037	0	0
T4	27882	27333	0	0
T5	10391	10152	0	0
T6	52088	51396	0	0
T10	28147	27978	0	0
T11	97107	96443	0	0
T12	16199	15940	0	0
T13	48085	47265	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1148	1148	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
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	17292	0	0
T72	8425	2736	0	0
T142	0	3767	0	0
T146	0	3382	0	0
T151	0	3722	0	0
T152	0	3685	0	0
T153	31603	0	0	0
T154	75986	0	0	0
T155	14839	0	0	0
T156	10534	0	0	0
T157	10351	0	0	0
T158	42330	0	0	0
T159	55688	0	0	0
T160	40381	0	0	0
T161	15240	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	460395867	0	0
T1	12692	12448	0	0
T2	18118	17780	0	0
T3	12299	12037	0	0
T4	27882	27333	0	0
T5	10391	10152	0	0
T6	52088	51396	0	0
T10	28147	27978	0	0
T11	97107	96443	0	0
T12	16199	15940	0	0
T13	48085	47265	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	460395867	0	0
T1	12692	12448	0	0
T2	18118	17780	0	0
T3	12299	12037	0	0
T4	27882	27333	0	0
T5	10391	10152	0	0
T6	52088	51396	0	0
T10	28147	27978	0	0
T11	97107	96443	0	0
T12	16199	15940	0	0
T13	48085	47265	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	460395867	0	0
T1	12692	12448	0	0
T2	18118	17780	0	0
T3	12299	12037	0	0
T4	27882	27333	0	0
T5	10391	10152	0	0
T6	52088	51396	0	0
T10	28147	27978	0	0
T11	97107	96443	0	0
T12	16199	15940	0	0
T13	48085	47265	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	102651153	0	0
T1	12692	5221	0	0
T2	18118	745	0	0
T3	12299	4155	0	0
T4	27882	1363	0	0
T5	10391	1594	0	0
T6	52088	21126	0	0
T10	28147	11573	0	0
T11	97107	19108	0	0
T12	16199	3738	0	0
T13	48085	1162	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	102651153	0	0
T1	12692	5221	0	0
T2	18118	745	0	0
T3	12299	4155	0	0
T4	27882	1363	0	0
T5	10391	1594	0	0
T6	52088	21126	0	0
T10	28147	11573	0	0
T11	97107	19108	0	0
T12	16199	3738	0	0
T13	48085	1162	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1148	1148	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
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	460395867	0	0
T1	12692	12448	0	0
T2	18118	17780	0	0
T3	12299	12037	0	0
T4	27882	27333	0	0
T5	10391	10152	0	0
T6	52088	51396	0	0
T10	28147	27978	0	0
T11	97107	96443	0	0
T12	16199	15940	0	0
T13	48085	47265	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	460395867	0	0
T1	12692	12448	0	0
T2	18118	17780	0	0
T3	12299	12037	0	0
T4	27882	27333	0	0
T5	10391	10152	0	0
T6	52088	51396	0	0
T10	28147	27978	0	0
T11	97107	96443	0	0
T12	16199	15940	0	0
T13	48085	47265	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	30	0	0
T101	119364	0	0	0
T102	73802	0	0	0
T140	0	1	0	0
T172	14636	0	0	0
T189	12586	1	0	0
T192	28548	0	0	0
T200	0	1	0	0
T203	12678	0	0	0
T207	0	1	0	0
T208	0	1	0	0
T209	0	1	0	0
T210	0	1	0	0
T211	0	1	0	0
T212	0	1	0	0
T213	0	1	0	0
T214	22619	0	0	0
T215	22009	0	0	0
T216	18215	0	0	0
T217	65333	0	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	460395867	0	0
T1	12692	12448	0	0
T2	18118	17780	0	0
T3	12299	12037	0	0
T4	27882	27333	0	0
T5	10391	10152	0	0
T6	52088	51396	0	0
T10	28147	27978	0	0
T11	97107	96443	0	0
T12	16199	15940	0	0
T13	48085	47265	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	460395867	0	0
T1	12692	12448	0	0
T2	18118	17780	0	0
T3	12299	12037	0	0
T4	27882	27333	0	0
T5	10391	10152	0	0
T6	52088	51396	0	0
T10	28147	27978	0	0
T11	97107	96443	0	0
T12	16199	15940	0	0
T13	48085	47265	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	460395867	0	0
T1	12692	12448	0	0
T2	18118	17780	0	0
T3	12299	12037	0	0
T4	27882	27333	0	0
T5	10391	10152	0	0
T6	52088	51396	0	0
T10	28147	27978	0	0
T11	97107	96443	0	0
T12	16199	15940	0	0
T13	48085	47265	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	217627365	0	0
T2	18118	4556	0	0
T3	12299	0	0	0
T4	27882	2225	0	0
T5	10391	0	0	0
T6	52088	0	0	0
T7	0	61419	0	0
T10	28147	0	0	0
T11	97107	11967	0	0
T12	16199	0	0	0
T13	48085	9948	0	0
T17	0	11756	0	0
T30	0	10631	0	0
T41	0	47582	0	0
T58	0	744	0	0
T106	50219	38669	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1148	1148	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
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	460395867	0	0
T1	12692	12448	0	0
T2	18118	17780	0	0
T3	12299	12037	0	0
T4	27882	27333	0	0
T5	10391	10152	0	0
T6	52088	51396	0	0
T10	28147	27978	0	0
T11	97107	96443	0	0
T12	16199	15940	0	0
T13	48085	47265	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	460395867	0	0
T1	12692	12448	0	0
T2	18118	17780	0	0
T3	12299	12037	0	0
T4	27882	27333	0	0
T5	10391	10152	0	0
T6	52088	51396	0	0
T10	28147	27978	0	0
T11	97107	96443	0	0
T12	16199	15940	0	0
T13	48085	47265	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	7812	0	0
T2	18118	3	0	0
T3	12299	0	0	0
T4	27882	0	0	0
T5	10391	0	0	0
T6	52088	3	0	0
T7	0	10	0	0
T10	28147	0	0	0
T11	97107	4	0	0
T12	16199	0	0	0
T13	48085	5	0	0
T17	0	10	0	0
T30	0	7	0	0
T41	0	8	0	0
T106	50219	14	0	0
T112	0	7	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	460395867	0	0
T1	12692	12448	0	0
T2	18118	17780	0	0
T3	12299	12037	0	0
T4	27882	27333	0	0
T5	10391	10152	0	0
T6	52088	51396	0	0
T10	28147	27978	0	0
T11	97107	96443	0	0
T12	16199	15940	0	0
T13	48085	47265	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	460395867	0	0
T1	12692	12448	0	0
T2	18118	17780	0	0
T3	12299	12037	0	0
T4	27882	27333	0	0
T5	10391	10152	0	0
T6	52088	51396	0	0
T10	28147	27978	0	0
T11	97107	96443	0	0
T12	16199	15940	0	0
T13	48085	47265	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	814874	0	0
T8	947410	6002	0	0
T9	0	30542	0	0
T56	13650	0	0	0
T93	27460	0	0	0
T94	23561	0	0	0
T95	107631	0	0	0
T96	28345	0	0	0
T97	152570	0	0	0
T98	34030	0	0	0
T101	0	3427	0	0
T103	0	5883	0	0
T104	0	5919	0	0
T109	0	9903	0	0
T110	0	4984	0	0
T111	0	5418	0	0
T116	8703	0	0	0
T150	14164	0	0	0
T186	0	27417	0	0
T188	0	2187	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	10444885	0	0
T7	77506	0	0	0
T8	0	143213	0	0
T9	0	275365	0	0
T17	95044	0	0	0
T30	39493	0	0	0
T41	95027	76766	0	0
T55	19385	0	0	0
T58	48292	0	0	0
T101	0	97296	0	0
T106	50219	2805	0	0
T107	29819	0	0	0
T108	32387	0	0	0
T109	0	18555	0	0
T110	0	62291	0	0
T111	0	26359	0	0
T112	28662	0	0	0
T188	0	22979	0	0
T189	0	3994	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	461249151	460395867	0	0
T1	12692	12448	0	0
T2	18118	17780	0	0
T3	12299	12037	0	0
T4	27882	27333	0	0
T5	10391	10152	0	0
T6	52088	51396	0	0
T10	28147	27978	0	0
T11	97107	96443	0	0
T12	16199	15940	0	0
T13	48085	47265	0	0