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.23	94.16	96.15	97.22		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.23	94.16	96.15	97.22		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	T30,T21,T172

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

-1-	Status	Tests
0	Covered	T1,T3,T7
1	Covered	T23,T102,T166

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T17,T18,T19

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

-1-	Status	Tests
0	Covered	T75,T173,T174
1	Covered	T75,T173,T174

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

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

 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,T7

 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	T1,T2,T3
1	1	Covered	T1,T3,T7

 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,T7
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,T7
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,T5,T8

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

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

---

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,T2,T3
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,T7
ResetSt	190	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T1,T2,T3
IdleSt->ReadSt	236	Covered	T1,T2,T3
InitSt->ErrorSt	315	Covered	T65,T182,T195
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T66,T126,T178
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T1,T2,T3
ReadSt->ReadWaitSt	252	Covered	T1,T3,T7
ReadWaitSt->ErrorSt	276	Covered	T166,T181,T168
ReadWaitSt->IdleSt	270	Covered	T1,T3,T7
ResetSt->ErrorSt	315	Covered	T9,T75,T76
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	T1,T2,T3
CheckFailError	317	Covered	T75,T173,T174
FsmStateError	289	Covered	T1,T2,T3
MacroEccCorrError	221	Covered	T23,T30,T102
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded		VC_COV_UNR
AccessError->FsmStateError	325	Covered	T1,T2,T3
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T1,T2,T3
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	T75,T173,T174
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,T2,T3
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T30,T21,T166
MacroEccCorrError->NoError	235	Covered	T23,T102,T72
NoError->AccessError	256	Covered	T1,T2,T3
NoError->CheckFailError	317	Covered	T75,T173,T174
NoError->FsmStateError	289	Covered	T3,T7,T4
NoError->MacroEccCorrError	221	Covered	T23,T30,T102

---

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,T7
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,T7

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

Branches:

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

	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,T5,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	T30,T21,T172
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T178,T176,T228
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T3,T7
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T120,T103,T112
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T23,T102,T166
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T3,T7
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T166,T181,T168
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T3,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T17,T18,T19
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T3
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T17,T18,T19

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T75,T173,T174
1	0	Covered	T75,T173,T174
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,T2,T3
1	0	Covered	T1,T2,T3
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	493387688	492531105	0	0
DigestKnown_A	493387688	492531105	0	0
DigestOffsetMustBeRepresentable_A	1151	1151	0	0
EccErrorState_A	493387688	8972	0	0
ErrorKnown_A	493387688	492531105	0	0
FsmStateKnown_A	493387688	492531105	0	0
InitDoneKnown_A	493387688	492531105	0	0
InitReadLocksPartition_A	493387688	99219559	0	0
InitWriteLocksPartition_A	493387688	99219559	0	0
OffsetMustBeBlockAligned_A	1151	1151	0	0
OtpAddrKnown_A	493387688	492531105	0	0
OtpCmdKnown_A	493387688	492531105	0	0
OtpErrorState_A	493387688	35	0	0
OtpReqKnown_A	493387688	492531105	0	0
OtpSizeKnown_A	493387688	492531105	0	0
OtpWdataKnown_A	493387688	492531105	0	0
ReadLockPropagation_A	493387688	204817321	0	0
SizeMustBeBlockAligned_A	1151	1151	0	0
TlulGntKnown_A	493387688	492531105	0	0
TlulRdataKnown_A	493387688	492531105	0	0
TlulReadOnReadLock_A	493387688	7931	0	0
TlulRerrorKnown_A	493387688	492531105	0	0
TlulRvalidKnown_A	493387688	492531105	0	0
WriteLockPropagation_A	493387688	2416439	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	493387688	29904340	0	0
u_state_regs_A	493387688	492531105	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1151	1151	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	493387688	8972	0	0
T71	66096	0	0	0
T75	14130	2107	0	0
T104	76907	0	0	0
T138	71283	0	0	0
T143	481546	0	0	0
T172	11798	0	0	0
T173	0	3506	0	0
T174	0	3359	0	0
T183	12550	0	0	0
T184	9240	0	0	0
T185	42798	0	0	0
T186	7183	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	99219559	0	0
T1	318614	758344	0	0
T2	29106	19925	0	0
T3	839433	162039	0	0
T4	14464	4555	0	0
T5	155310	1607	0	0
T6	199542	929	0	0
T7	16990	5780	0	0
T8	83214	11918	0	0
T9	23839	14654	0	0
T10	24904	376	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	99219559	0	0
T1	318614	758344	0	0
T2	29106	19925	0	0
T3	839433	162039	0	0
T4	14464	4555	0	0
T5	155310	1607	0	0
T6	199542	929	0	0
T7	16990	5780	0	0
T8	83214	11918	0	0
T9	23839	14654	0	0
T10	24904	376	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1151	1151	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	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	35	0	0
T20	9161	0	0	0
T34	29765	0	0	0
T101	19886	0	0	0
T151	25451	0	0	0
T166	0	1	0	0
T168	0	1	0	0
T170	96325	0	0	0
T176	0	1	0	0
T178	10309	1	0	0
T181	0	1	0	0
T194	14149	0	0	0
T195	9948	0	0	0
T209	5887	0	0	0
T210	117011	0	0	0
T228	0	1	0	0
T229	0	1	0	0
T230	0	1	0	0
T231	0	1	0	0
T232	0	1	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	204817321	0	0
T1	318614	283136	0	0
T2	29106	22525	0	0
T3	839433	279586	0	0
T4	14464	4173	0	0
T5	155310	80774	0	0
T6	199542	195744	0	0
T7	16990	0	0	0
T8	83214	687	0	0
T9	23839	822	0	0
T10	24904	0	0	0
T23	0	2304	0	0
T42	0	31634	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1151	1151	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

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	7931	0	0
T1	318614	24	0	0
T2	29106	21	0	0
T3	839433	45	0	0
T4	14464	3	0	0
T5	155310	11	0	0
T6	199542	16	0	0
T7	16990	0	0	0
T8	83214	0	0	0
T9	23839	20	0	0
T10	24904	0	0	0
T23	0	3	0	0
T42	0	7	0	0
T159	0	1	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	2416439	0	0
T5	155310	8992	0	0
T6	199542	0	0	0
T8	83214	4389	0	0
T9	23839	0	0	0
T10	24904	0	0	0
T23	60893	0	0	0
T42	0	14968	0	0
T65	11468	0	0	0
T67	0	8443	0	0
T99	0	10885	0	0
T102	0	32232	0	0
T104	0	4956	0	0
T106	0	785	0	0
T109	14372	0	0	0
T110	523327	0	0	0
T111	12124	0	0	0
T120	0	1969	0	0
T166	0	17875	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	29904340	0	0
T2	29106	2644	0	0
T3	839433	0	0	0
T4	14464	0	0	0
T5	155310	135247	0	0
T6	199542	0	0	0
T7	16990	0	0	0
T8	83214	36849	0	0
T9	23839	2639	0	0
T10	24904	0	0	0
T23	60893	0	0	0
T42	0	77941	0	0
T99	0	76263	0	0
T118	0	23781	0	0
T120	0	18096	0	0
T144	0	6463	0	0
T165	0	2431	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	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	T136,T83,T22

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T102,T180,T167

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T17,T18,T19

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

-1-	Status	Tests
0	Covered	T75,T160,T177
1	Covered	T75,T160,T177

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

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

 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,T2,T3

 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	T1,T2,T3
1	1	Covered	T1,T2,T3

 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,T2,T3
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,T2,T3
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	T5,T9,T42

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T5,T9,T42

---

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,T2,T3
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,T2,T3
ResetSt	190	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T1,T2,T3
IdleSt->ReadSt	236	Covered	T1,T2,T3
InitSt->ErrorSt	315	Covered	T65,T66,T126
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T178,T176,T184
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T1,T2,T3
ReadSt->ReadWaitSt	252	Covered	T1,T2,T3
ReadWaitSt->ErrorSt	276	Covered	T166,T181,T233
ReadWaitSt->IdleSt	270	Covered	T1,T2,T3
ResetSt->ErrorSt	315	Covered	T9,T75,T76
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	T1,T2,T3
CheckFailError	317	Covered	T75,T160,T177
FsmStateError	289	Covered	T1,T2,T3
MacroEccCorrError	221	Covered	T102,T136,T180
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded		VC_COV_UNR
AccessError->FsmStateError	325	Covered	T2,T3,T4
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T1,T2,T3
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	T75,T160,T177
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,T2,T3
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T136,T180,T167
MacroEccCorrError->NoError	235	Covered	T102,T72,T234
NoError->AccessError	256	Covered	T1,T2,T3
NoError->CheckFailError	317	Covered	T75,T160,T177
NoError->FsmStateError	289	Covered	T1,T3,T7
NoError->MacroEccCorrError	221	Covered	T102,T136,T180

---

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,T2,T3
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,T2,T3

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

Branches:

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

	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	T5,T9,T42
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	T136,T83,T22
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T184,T172,T235
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T3,T8,T103
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T102,T180,T167
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T166,T181,T233
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T17,T18,T19
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T3
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T17,T18,T19

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T75,T160,T177
1	0	Covered	T75,T160,T177
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,T2,T3
1	0	Covered	T1,T2,T3
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	493387688	492531105	0	0
DigestKnown_A	493387688	492531105	0	0
DigestOffsetMustBeRepresentable_A	1151	1151	0	0
EccErrorState_A	493387688	13993	0	0
ErrorKnown_A	493387688	492531105	0	0
FsmStateKnown_A	493387688	492531105	0	0
InitDoneKnown_A	493387688	492531105	0	0
InitReadLocksPartition_A	493387688	99397606	0	0
InitWriteLocksPartition_A	493387688	99397606	0	0
OffsetMustBeBlockAligned_A	1151	1151	0	0
OtpAddrKnown_A	493387688	492531105	0	0
OtpCmdKnown_A	493387688	492531105	0	0
OtpErrorState_A	493387688	39	0	0
OtpReqKnown_A	493387688	492531105	0	0
OtpSizeKnown_A	493387688	492531105	0	0
OtpWdataKnown_A	493387688	492531105	0	0
ReadLockPropagation_A	493387688	205746146	0	0
SizeMustBeBlockAligned_A	1151	1151	0	0
TlulGntKnown_A	493387688	492531105	0	0
TlulRdataKnown_A	493387688	492531105	0	0
TlulReadOnReadLock_A	493387688	7552	0	0
TlulRerrorKnown_A	493387688	492531105	0	0
TlulRvalidKnown_A	493387688	492531105	0	0
WriteLockPropagation_A	493387688	1071345	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	493387688	11806566	0	0
u_state_regs_A	493387688	492531105	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1151	1151	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	493387688	13993	0	0
T71	66096	0	0	0
T75	14130	2107	0	0
T104	76907	0	0	0
T138	71283	0	0	0
T143	481546	0	0	0
T160	0	2868	0	0
T172	11798	0	0	0
T174	0	3359	0	0
T175	0	2590	0	0
T177	0	3069	0	0
T183	12550	0	0	0
T184	9240	0	0	0
T185	42798	0	0	0
T186	7183	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	99397606	0	0
T1	318614	758463	0	0
T2	29106	19976	0	0
T3	839433	162060	0	0
T4	14464	4606	0	0
T5	155310	1845	0	0
T6	199542	1014	0	0
T7	16990	5814	0	0
T8	83214	12088	0	0
T9	23839	14705	0	0
T10	24904	444	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	99397606	0	0
T1	318614	758463	0	0
T2	29106	19976	0	0
T3	839433	162060	0	0
T4	14464	4606	0	0
T5	155310	1845	0	0
T6	199542	1014	0	0
T7	16990	5814	0	0
T8	83214	12088	0	0
T9	23839	14705	0	0
T10	24904	444	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1151	1151	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	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	39	0	0
T28	17058	0	0	0
T52	12961	0	0	0
T67	684306	0	0	0
T71	66096	0	0	0
T75	14130	0	0	0
T143	481546	0	0	0
T166	121881	1	0	0
T172	0	1	0	0
T179	0	1	0	0
T181	0	1	0	0
T183	12550	0	0	0
T184	9240	1	0	0
T235	0	1	0	0
T236	0	1	0	0
T237	0	1	0	0
T238	0	1	0	0
T239	0	1	0	0
T240	16472	0	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	205746146	0	0
T1	318614	206461	0	0
T2	29106	20929	0	0
T3	839433	280080	0	0
T4	14464	4171	0	0
T5	155310	69538	0	0
T6	199542	195811	0	0
T7	16990	0	0	0
T8	83214	544	0	0
T9	23839	1150	0	0
T10	24904	0	0	0
T23	0	5863	0	0
T42	0	32685	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1151	1151	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

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	7552	0	0
T1	318614	19	0	0
T2	29106	18	0	0
T3	839433	62	0	0
T4	14464	2	0	0
T5	155310	21	0	0
T6	199542	23	0	0
T7	16990	0	0	0
T8	83214	0	0	0
T9	23839	12	0	0
T10	24904	0	0	0
T23	0	2	0	0
T42	0	5	0	0
T118	0	5	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	1071345	0	0
T5	155310	20220	0	0
T6	199542	0	0	0
T8	83214	0	0	0
T9	23839	0	0	0
T10	24904	0	0	0
T23	60893	0	0	0
T65	11468	0	0	0
T99	0	20081	0	0
T101	0	5196	0	0
T104	0	4956	0	0
T109	14372	0	0	0
T110	523327	0	0	0
T111	12124	0	0	0
T114	0	9815	0	0
T115	0	772	0	0
T129	0	13540	0	0
T189	0	2886	0	0
T210	0	27409	0	0
T241	0	8279	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	11806566	0	0
T5	155310	135043	0	0
T6	199542	0	0	0
T8	83214	0	0	0
T9	23839	2622	0	0
T10	24904	0	0	0
T23	60893	0	0	0
T42	0	77788	0	0
T65	11468	0	0	0
T99	0	76127	0	0
T101	0	11928	0	0
T109	14372	0	0	0
T110	523327	0	0	0
T111	12124	0	0	0
T118	0	23730	0	0
T120	0	17994	0	0
T144	0	6446	0	0
T159	0	3537	0	0
T165	0	2414	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0