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.97	98.05	96.15	97.04		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.97	98.05	96.15	97.04		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	T80,T51,T23

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

-1-	Status	Tests
0	Covered	T1,T2,T7
1	Covered	T110,T26,T37

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

-1-	Status	Tests
0	Covered	T2,T7,T5
1	Covered	T19,T20,T21

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

-1-	Status	Tests
0	Covered	T161,T167
1	Covered	T161,T167

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

-1-	Status	Tests
0	Covered	T2,T7,T5
1	Covered	T2,T7,T5

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

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

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

---

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

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T2,T7,T5
IdleSt->ReadSt	236	Covered	T1,T2,T3
InitSt->ErrorSt	315	Covered	T11,T107,T173
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T125,T106,T174
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T1,T3,T10
ReadSt->ReadWaitSt	252	Covered	T1,T2,T7
ReadWaitSt->ErrorSt	276	Covered	T160,T93,T163
ReadWaitSt->IdleSt	270	Covered	T1,T2,T7
ResetSt->ErrorSt	315	Covered	T75,T76,T77
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,T3,T10
CheckFailError	317	Covered	T161,T167
FsmStateError	289	Covered	T2,T7,T5
MacroEccCorrError	221	Covered	T110,T26,T37
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded		VC_COV_UNR
AccessError->FsmStateError	325	Covered	T14,T24,T210
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T1,T3,T10
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	T161,T167
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	T2,T7,T5
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T110,T93,T80
MacroEccCorrError->NoError	235	Covered	T26,T37,T52
NoError->AccessError	256	Covered	T1,T3,T10
NoError->CheckFailError	317	Covered	T161,T167
NoError->FsmStateError	289	Covered	T2,T7,T5
NoError->MacroEccCorrError	221	Covered	T110,T26,T37

---

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

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

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,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	T1,T3,T10
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	T80,T51,T23
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T125,T106,T211
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T2,T7
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T6,T101,T212
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T1,T3,T10
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T110,T26,T37
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T2,T7
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T160,T93,T163
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T2,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T19,T20,T21
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T2,T7,T5
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T2,T5,T105
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T2,T5,T105
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T2,T7,T5
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T19,T20,T21

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T161,T167
1	0	Covered	T161,T167
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	T2,T7,T5
1	0	Covered	T2,T7,T5
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	451461045	450613098	0	0
DigestKnown_A	451461045	450613098	0	0
DigestOffsetMustBeRepresentable_A	1153	1153	0	0
EccErrorState_A	451461045	7304	0	0
ErrorKnown_A	451461045	450613098	0	0
FsmStateKnown_A	451461045	450613098	0	0
InitDoneKnown_A	451461045	450613098	0	0
InitReadLocksPartition_A	451461045	100478712	0	0
InitWriteLocksPartition_A	451461045	100478712	0	0
OffsetMustBeBlockAligned_A	1153	1153	0	0
OtpAddrKnown_A	451461045	450613098	0	0
OtpCmdKnown_A	451461045	450613098	0	0
OtpErrorState_A	451461045	50	0	0
OtpReqKnown_A	451461045	450613098	0	0
OtpSizeKnown_A	451461045	450613098	0	0
OtpWdataKnown_A	451461045	450613098	0	0
ReadLockPropagation_A	451461045	182953228	0	0
SizeMustBeBlockAligned_A	1153	1153	0	0
TlulGntKnown_A	451461045	450613098	0	0
TlulRdataKnown_A	451461045	450613098	0	0
TlulReadOnReadLock_A	451461045	8027	0	0
TlulRerrorKnown_A	451461045	450613098	0	0
TlulRvalidKnown_A	451461045	450613098	0	0
WriteLockPropagation_A	451461045	2577379	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	451461045	27830101	0	0
u_state_regs_A	451461045	450613098	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	450613098	0	0
T1	90326	89385	0	0
T2	80630	80419	0	0
T3	23661	23365	0	0
T5	82792	82535	0	0
T7	11415	11185	0	0
T8	14163	13917	0	0
T9	12264	11996	0	0
T10	59499	58624	0	0
T11	12171	11901	0	0
T12	13017	12774	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	450613098	0	0
T1	90326	89385	0	0
T2	80630	80419	0	0
T3	23661	23365	0	0
T5	82792	82535	0	0
T7	11415	11185	0	0
T8	14163	13917	0	0
T9	12264	11996	0	0
T10	59499	58624	0	0
T11	12171	11901	0	0
T12	13017	12774	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1153	1153	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T5	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	7304	0	0
T54	19416	0	0	0
T156	193809	0	0	0
T161	13497	3278	0	0
T167	0	4026	0	0
T176	566392	0	0	0
T177	54108	0	0	0
T178	151637	0	0	0
T179	106614	0	0	0
T180	659268	0	0	0
T181	304293	0	0	0
T182	34770	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	450613098	0	0
T1	90326	89385	0	0
T2	80630	80419	0	0
T3	23661	23365	0	0
T5	82792	82535	0	0
T7	11415	11185	0	0
T8	14163	13917	0	0
T9	12264	11996	0	0
T10	59499	58624	0	0
T11	12171	11901	0	0
T12	13017	12774	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	450613098	0	0
T1	90326	89385	0	0
T2	80630	80419	0	0
T3	23661	23365	0	0
T5	82792	82535	0	0
T7	11415	11185	0	0
T8	14163	13917	0	0
T9	12264	11996	0	0
T10	59499	58624	0	0
T11	12171	11901	0	0
T12	13017	12774	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	450613098	0	0
T1	90326	89385	0	0
T2	80630	80419	0	0
T3	23661	23365	0	0
T5	82792	82535	0	0
T7	11415	11185	0	0
T8	14163	13917	0	0
T9	12264	11996	0	0
T10	59499	58624	0	0
T11	12171	11901	0	0
T12	13017	12774	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	100478712	0	0
T1	90326	1840	0	0
T2	80630	57309	0	0
T3	23661	1347	0	0
T5	82792	70074	0	0
T7	11415	3698	0	0
T8	14163	6261	0	0
T9	12264	2872	0	0
T10	59499	1871	0	0
T11	12171	4113	0	0
T12	13017	451	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	100478712	0	0
T1	90326	1840	0	0
T2	80630	57309	0	0
T3	23661	1347	0	0
T5	82792	70074	0	0
T7	11415	3698	0	0
T8	14163	6261	0	0
T9	12264	2872	0	0
T10	59499	1871	0	0
T11	12171	4113	0	0
T12	13017	451	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1153	1153	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T5	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	450613098	0	0
T1	90326	89385	0	0
T2	80630	80419	0	0
T3	23661	23365	0	0
T5	82792	82535	0	0
T7	11415	11185	0	0
T8	14163	13917	0	0
T9	12264	11996	0	0
T10	59499	58624	0	0
T11	12171	11901	0	0
T12	13017	12774	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	450613098	0	0
T1	90326	89385	0	0
T2	80630	80419	0	0
T3	23661	23365	0	0
T5	82792	82535	0	0
T7	11415	11185	0	0
T8	14163	13917	0	0
T9	12264	11996	0	0
T10	59499	58624	0	0
T11	12171	11901	0	0
T12	13017	12774	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	50	0	0
T25	22498	0	0	0
T42	58584	0	0	0
T69	11245	0	0	0
T93	0	1	0	0
T105	35181	0	0	0
T106	15954	1	0	0
T107	15155	0	0	0
T108	67506	0	0	0
T109	84262	0	0	0
T110	94871	0	0	0
T125	15309	1	0	0
T160	0	1	0	0
T169	0	1	0	0
T170	0	1	0	0
T211	0	1	0	0
T213	0	1	0	0
T214	0	1	0	0
T215	0	1	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	450613098	0	0
T1	90326	89385	0	0
T2	80630	80419	0	0
T3	23661	23365	0	0
T5	82792	82535	0	0
T7	11415	11185	0	0
T8	14163	13917	0	0
T9	12264	11996	0	0
T10	59499	58624	0	0
T11	12171	11901	0	0
T12	13017	12774	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	450613098	0	0
T1	90326	89385	0	0
T2	80630	80419	0	0
T3	23661	23365	0	0
T5	82792	82535	0	0
T7	11415	11185	0	0
T8	14163	13917	0	0
T9	12264	11996	0	0
T10	59499	58624	0	0
T11	12171	11901	0	0
T12	13017	12774	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	450613098	0	0
T1	90326	89385	0	0
T2	80630	80419	0	0
T3	23661	23365	0	0
T5	82792	82535	0	0
T7	11415	11185	0	0
T8	14163	13917	0	0
T9	12264	11996	0	0
T10	59499	58624	0	0
T11	12171	11901	0	0
T12	13017	12774	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	182953228	0	0
T1	90326	31196	0	0
T2	80630	0	0	0
T3	23661	14228	0	0
T5	82792	0	0	0
T6	0	282685	0	0
T7	11415	0	0	0
T8	14163	0	0	0
T9	12264	0	0	0
T10	59499	13657	0	0
T11	12171	0	0	0
T12	13017	0	0	0
T25	0	2566	0	0
T35	0	3644	0	0
T42	0	11611	0	0
T105	0	20160	0	0
T109	0	76469	0	0
T110	0	2343	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1153	1153	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T5	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	450613098	0	0
T1	90326	89385	0	0
T2	80630	80419	0	0
T3	23661	23365	0	0
T5	82792	82535	0	0
T7	11415	11185	0	0
T8	14163	13917	0	0
T9	12264	11996	0	0
T10	59499	58624	0	0
T11	12171	11901	0	0
T12	13017	12774	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	450613098	0	0
T1	90326	89385	0	0
T2	80630	80419	0	0
T3	23661	23365	0	0
T5	82792	82535	0	0
T7	11415	11185	0	0
T8	14163	13917	0	0
T9	12264	11996	0	0
T10	59499	58624	0	0
T11	12171	11901	0	0
T12	13017	12774	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	8027	0	0
T1	90326	2	0	0
T2	80630	6	0	0
T3	23661	6	0	0
T5	82792	11	0	0
T7	11415	0	0	0
T8	14163	0	0	0
T9	12264	0	0	0
T10	59499	13	0	0
T11	12171	0	0	0
T12	13017	0	0	0
T25	0	3	0	0
T42	0	9	0	0
T105	0	3	0	0
T108	0	4	0	0
T109	0	17	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	450613098	0	0
T1	90326	89385	0	0
T2	80630	80419	0	0
T3	23661	23365	0	0
T5	82792	82535	0	0
T7	11415	11185	0	0
T8	14163	13917	0	0
T9	12264	11996	0	0
T10	59499	58624	0	0
T11	12171	11901	0	0
T12	13017	12774	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	450613098	0	0
T1	90326	89385	0	0
T2	80630	80419	0	0
T3	23661	23365	0	0
T5	82792	82535	0	0
T7	11415	11185	0	0
T8	14163	13917	0	0
T9	12264	11996	0	0
T10	59499	58624	0	0
T11	12171	11901	0	0
T12	13017	12774	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	2577379	0	0
T1	90326	8529	0	0
T2	80630	0	0	0
T3	23661	0	0	0
T5	82792	0	0	0
T7	11415	0	0	0
T8	14163	0	0	0
T9	12264	0	0	0
T10	59499	5452	0	0
T11	12171	0	0	0
T12	13017	0	0	0
T15	0	7733	0	0
T25	0	1088	0	0
T36	0	70394	0	0
T99	0	6182	0	0
T102	0	3497	0	0
T103	0	4939	0	0
T111	0	16240	0	0
T160	0	16226	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	27830101	0	0
T1	90326	59168	0	0
T2	80630	0	0	0
T3	23661	4731	0	0
T5	82792	0	0	0
T7	11415	0	0	0
T8	14163	0	0	0
T9	12264	0	0	0
T10	59499	47645	0	0
T11	12171	0	0	0
T12	13017	4518	0	0
T25	0	14626	0	0
T35	0	3163	0	0
T42	0	47118	0	0
T106	0	3030	0	0
T110	0	26942	0	0
T125	0	2869	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	450613098	0	0
T1	90326	89385	0	0
T2	80630	80419	0	0
T3	23661	23365	0	0
T5	82792	82535	0	0
T7	11415	11185	0	0
T8	14163	13917	0	0
T9	12264	11996	0	0
T10	59499	58624	0	0
T11	12171	11901	0	0
T12	13017	12774	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	T9,T68,T80

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

-1-	Status	Tests
0	Covered	T1,T7,T8
1	Covered	T108,T110,T160

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

-1-	Status	Tests
0	Covered	T2,T7,T5
1	Covered	T19,T20,T21

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

-1-	Status	Tests
0	Covered	T168,T172
1	Covered	T168,T172

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

-1-	Status	Tests
0	Covered	T2,T7,T5
1	Covered	T2,T5,T8

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

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

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

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

-1-	Status	Tests
0	Covered	T1,T7,T8
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,T7,T8
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	T1,T7,T12

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

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

---

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	T2,T7,T5
IdleSt	196	Covered	T1,T2,T3
InitSt	194	Covered	T1,T2,T3
InitWaitSt	207	Covered	T1,T2,T3
ReadSt	236	Covered	T1,T7,T8
ReadWaitSt	252	Covered	T1,T7,T8
ResetSt	190	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T2,T5,T8
IdleSt->ReadSt	236	Covered	T1,T7,T8
InitSt->ErrorSt	315	Covered	T11,T107,T174
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T7,T125,T106
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T1,T10,T42
ReadSt->ReadWaitSt	252	Covered	T1,T7,T8
ReadWaitSt->ErrorSt	276	Covered	T175,T216,T164
ReadWaitSt->IdleSt	270	Covered	T1,T7,T8
ResetSt->ErrorSt	315	Covered	T75,T76,T77
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,T10,T42
CheckFailError	317	Covered	T168,T172
FsmStateError	289	Covered	T2,T5,T8
MacroEccCorrError	221	Covered	T9,T108,T110
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded		VC_COV_UNR
AccessError->FsmStateError	325	Covered	T105,T36,T13
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T1,T10,T42
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	T168,T172
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	T2,T5,T8
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T9,T108,T110
MacroEccCorrError->NoError	235	Covered	T160,T26,T65
NoError->AccessError	256	Covered	T1,T10,T42
NoError->CheckFailError	317	Covered	T168,T172
NoError->FsmStateError	289	Covered	T2,T5,T8
NoError->MacroEccCorrError	221	Covered	T9,T108,T110

---

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

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

Branches:

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

	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	T1,T7,T12
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	T9,T68,T80
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T7,T69,T115
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T7,T8
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T7,T8
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T25,T6,T36
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T1,T10,T42
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T108,T110,T160
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T7,T8
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T175,T216,T164
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T7,T8
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T19,T20,T21
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T2,T7,T5
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T2,T5,T105
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T2,T5,T105
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T2,T7,T5
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T19,T20,T21

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T168,T172
1	0	Covered	T168,T172
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	T2,T5,T8
1	0	Covered	T2,T7,T5
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,T7
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	451461045	450613098	0	0
DigestKnown_A	451461045	450613098	0	0
DigestOffsetMustBeRepresentable_A	1153	1153	0	0
EccErrorState_A	451461045	6177	0	0
ErrorKnown_A	451461045	450613098	0	0
FsmStateKnown_A	451461045	450613098	0	0
InitDoneKnown_A	451461045	450613098	0	0
InitReadLocksPartition_A	451461045	100655146	0	0
InitWriteLocksPartition_A	451461045	100655146	0	0
OffsetMustBeBlockAligned_A	1153	1153	0	0
OtpAddrKnown_A	451461045	450613098	0	0
OtpCmdKnown_A	451461045	450613098	0	0
OtpErrorState_A	451461045	36	0	0
OtpReqKnown_A	451461045	450613098	0	0
OtpSizeKnown_A	451461045	450613098	0	0
OtpWdataKnown_A	451461045	450613098	0	0
ReadLockPropagation_A	451461045	185464429	0	0
SizeMustBeBlockAligned_A	1153	1153	0	0
TlulGntKnown_A	451461045	450613098	0	0
TlulRdataKnown_A	451461045	450613098	0	0
TlulReadOnReadLock_A	451461045	7809	0	0
TlulRerrorKnown_A	451461045	450613098	0	0
TlulRvalidKnown_A	451461045	450613098	0	0
WriteLockPropagation_A	451461045	740176	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	451461045	12437073	0	0
u_state_regs_A	451461045	450613098	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	450613098	0	0
T1	90326	89385	0	0
T2	80630	80419	0	0
T3	23661	23365	0	0
T5	82792	82535	0	0
T7	11415	11185	0	0
T8	14163	13917	0	0
T9	12264	11996	0	0
T10	59499	58624	0	0
T11	12171	11901	0	0
T12	13017	12774	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	450613098	0	0
T1	90326	89385	0	0
T2	80630	80419	0	0
T3	23661	23365	0	0
T5	82792	82535	0	0
T7	11415	11185	0	0
T8	14163	13917	0	0
T9	12264	11996	0	0
T10	59499	58624	0	0
T11	12171	11901	0	0
T12	13017	12774	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1153	1153	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T5	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	6177	0	0
T61	37537	0	0	0
T88	14739	0	0	0
T168	9508	3106	0	0
T172	14350	3071	0	0
T183	12056	0	0	0
T184	4111	0	0	0
T185	12312	0	0	0
T186	4390	0	0	0
T187	14576	0	0	0
T188	46547	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	450613098	0	0
T1	90326	89385	0	0
T2	80630	80419	0	0
T3	23661	23365	0	0
T5	82792	82535	0	0
T7	11415	11185	0	0
T8	14163	13917	0	0
T9	12264	11996	0	0
T10	59499	58624	0	0
T11	12171	11901	0	0
T12	13017	12774	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	450613098	0	0
T1	90326	89385	0	0
T2	80630	80419	0	0
T3	23661	23365	0	0
T5	82792	82535	0	0
T7	11415	11185	0	0
T8	14163	13917	0	0
T9	12264	11996	0	0
T10	59499	58624	0	0
T11	12171	11901	0	0
T12	13017	12774	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	450613098	0	0
T1	90326	89385	0	0
T2	80630	80419	0	0
T3	23661	23365	0	0
T5	82792	82535	0	0
T7	11415	11185	0	0
T8	14163	13917	0	0
T9	12264	11996	0	0
T10	59499	58624	0	0
T11	12171	11901	0	0
T12	13017	12774	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	100655146	0	0
T1	90326	2010	0	0
T2	80630	57360	0	0
T3	23661	1381	0	0
T5	82792	70125	0	0
T7	11415	3722	0	0
T8	14163	6312	0	0
T9	12264	2923	0	0
T10	59499	2041	0	0
T11	12171	4147	0	0
T12	13017	485	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	100655146	0	0
T1	90326	2010	0	0
T2	80630	57360	0	0
T3	23661	1381	0	0
T5	82792	70125	0	0
T7	11415	3722	0	0
T8	14163	6312	0	0
T9	12264	2923	0	0
T10	59499	2041	0	0
T11	12171	4147	0	0
T12	13017	485	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1153	1153	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T5	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	450613098	0	0
T1	90326	89385	0	0
T2	80630	80419	0	0
T3	23661	23365	0	0
T5	82792	82535	0	0
T7	11415	11185	0	0
T8	14163	13917	0	0
T9	12264	11996	0	0
T10	59499	58624	0	0
T11	12171	11901	0	0
T12	13017	12774	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	450613098	0	0
T1	90326	89385	0	0
T2	80630	80419	0	0
T3	23661	23365	0	0
T5	82792	82535	0	0
T7	11415	11185	0	0
T8	14163	13917	0	0
T9	12264	11996	0	0
T10	59499	58624	0	0
T11	12171	11901	0	0
T12	13017	12774	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	36	0	0
T5	82792	0	0	0
T7	11415	1	0	0
T8	14163	0	0	0
T9	12264	0	0	0
T10	59499	0	0	0
T11	12171	0	0	0
T12	13017	0	0	0
T42	58584	0	0	0
T69	0	1	0	0
T105	35181	0	0	0
T115	0	1	0	0
T125	15309	0	0	0
T171	0	1	0	0
T175	0	1	0	0
T216	0	2	0	0
T217	0	1	0	0
T218	0	1	0	0
T219	0	1	0	0
T220	0	1	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	450613098	0	0
T1	90326	89385	0	0
T2	80630	80419	0	0
T3	23661	23365	0	0
T5	82792	82535	0	0
T7	11415	11185	0	0
T8	14163	13917	0	0
T9	12264	11996	0	0
T10	59499	58624	0	0
T11	12171	11901	0	0
T12	13017	12774	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	450613098	0	0
T1	90326	89385	0	0
T2	80630	80419	0	0
T3	23661	23365	0	0
T5	82792	82535	0	0
T7	11415	11185	0	0
T8	14163	13917	0	0
T9	12264	11996	0	0
T10	59499	58624	0	0
T11	12171	11901	0	0
T12	13017	12774	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	450613098	0	0
T1	90326	89385	0	0
T2	80630	80419	0	0
T3	23661	23365	0	0
T5	82792	82535	0	0
T7	11415	11185	0	0
T8	14163	13917	0	0
T9	12264	11996	0	0
T10	59499	58624	0	0
T11	12171	11901	0	0
T12	13017	12774	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	185464429	0	0
T1	90326	37502	0	0
T2	80630	59902	0	0
T3	23661	14215	0	0
T5	82792	0	0	0
T7	11415	0	0	0
T8	14163	0	0	0
T9	12264	0	0	0
T10	59499	16476	0	0
T11	12171	0	0	0
T12	13017	0	0	0
T25	0	2011	0	0
T35	0	3613	0	0
T42	0	10977	0	0
T105	0	21723	0	0
T109	0	76460	0	0
T110	0	2397	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1153	1153	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T5	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	450613098	0	0
T1	90326	89385	0	0
T2	80630	80419	0	0
T3	23661	23365	0	0
T5	82792	82535	0	0
T7	11415	11185	0	0
T8	14163	13917	0	0
T9	12264	11996	0	0
T10	59499	58624	0	0
T11	12171	11901	0	0
T12	13017	12774	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	450613098	0	0
T1	90326	89385	0	0
T2	80630	80419	0	0
T3	23661	23365	0	0
T5	82792	82535	0	0
T7	11415	11185	0	0
T8	14163	13917	0	0
T9	12264	11996	0	0
T10	59499	58624	0	0
T11	12171	11901	0	0
T12	13017	12774	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	7809	0	0
T1	90326	7	0	0
T2	80630	6	0	0
T3	23661	0	0	0
T5	82792	10	0	0
T7	11415	0	0	0
T8	14163	0	0	0
T9	12264	0	0	0
T10	59499	14	0	0
T11	12171	0	0	0
T12	13017	0	0	0
T25	0	1	0	0
T42	0	3	0	0
T105	0	3	0	0
T108	0	4	0	0
T109	0	14	0	0
T110	0	23	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	450613098	0	0
T1	90326	89385	0	0
T2	80630	80419	0	0
T3	23661	23365	0	0
T5	82792	82535	0	0
T7	11415	11185	0	0
T8	14163	13917	0	0
T9	12264	11996	0	0
T10	59499	58624	0	0
T11	12171	11901	0	0
T12	13017	12774	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	450613098	0	0
T1	90326	89385	0	0
T2	80630	80419	0	0
T3	23661	23365	0	0
T5	82792	82535	0	0
T7	11415	11185	0	0
T8	14163	13917	0	0
T9	12264	11996	0	0
T10	59499	58624	0	0
T11	12171	11901	0	0
T12	13017	12774	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	740176	0	0
T25	22498	0	0	0
T35	37522	0	0	0
T36	0	2158	0	0
T42	58584	4443	0	0
T69	11245	0	0	0
T96	0	4074	0	0
T101	0	12033	0	0
T104	0	978	0	0
T105	35181	0	0	0
T106	15954	0	0	0
T107	15155	0	0	0
T108	67506	0	0	0
T109	84262	0	0	0
T110	94871	0	0	0
T121	0	6520	0	0
T204	0	31232	0	0
T221	0	1925	0	0
T222	0	1105	0	0
T223	0	5205	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	12437073	0	0
T1	90326	71439	0	0
T2	80630	0	0	0
T3	23661	0	0	0
T5	82792	0	0	0
T7	11415	2296	0	0
T8	14163	0	0	0
T9	12264	0	0	0
T10	59499	0	0	0
T11	12171	0	0	0
T12	13017	4501	0	0
T36	0	85015	0	0
T42	0	46999	0	0
T66	0	26061	0	0
T69	0	3349	0	0
T99	0	32064	0	0
T115	0	2064	0	0
T206	0	2872	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	451461045	450613098	0	0
T1	90326	89385	0	0
T2	80630	80419	0	0
T3	23661	23365	0	0
T5	82792	82535	0	0
T7	11415	11185	0	0
T8	14163	13917	0	0
T9	12264	11996	0	0
T10	59499	58624	0	0
T11	12171	11901	0	0
T12	13017	12774	0	0