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.86	97.40	96.15	97.12		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.86	97.40	96.15	97.12		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	T66,T42,T164

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

-1-	Status	Tests
0	Covered	T1,T3,T7
1	Covered	T44,T52,T165

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

-1-	Status	Tests
0	Covered	T1,T3,T7
1	Covered	T22,T23,T24

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

-1-	Status	Tests
0	Covered	T76,T166
1	Covered	T76,T166

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

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

 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	T4,T10,T5
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,T3,T7

 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	T4,T5,T6

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

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

---

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

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T1,T7,T10
IdleSt->ReadSt	236	Covered	T1,T3,T7
InitSt->ErrorSt	315	Covered	T11,T6,T119
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T3,T178,T170
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T4,T5,T6
ReadSt->ReadWaitSt	252	Covered	T1,T3,T7
ReadWaitSt->ErrorSt	276	Covered	T173,T226,T227
ReadWaitSt->IdleSt	270	Covered	T1,T3,T7
ResetSt->ErrorSt	315	Covered	T74,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	T4,T5,T6
CheckFailError	317	Covered	T76,T166
FsmStateError	289	Covered	T1,T3,T7
MacroEccCorrError	221	Covered	T44,T52,T66
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded		VC_COV_UNR
AccessError->FsmStateError	325	Covered	T6,T8,T9
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T4,T5,T6
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	T76,T166
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,T7
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T66,T165,T42
MacroEccCorrError->NoError	235	Covered	T44,T52,T70
NoError->AccessError	256	Covered	T4,T5,T6
NoError->CheckFailError	317	Covered	T76,T166
NoError->FsmStateError	289	Covered	T1,T3,T7
NoError->MacroEccCorrError	221	Covered	T44,T52,T66

---

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	T4,T5,T6
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,T42,T164
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T170,T209,T171
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T3,T7
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T3,T7
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T6,T16,T107
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T4,T5,T6
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T44,T52,T165
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T3,T7
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T173,T226,T227
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T3,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T22,T23,T24
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T3,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T10,T6,T108
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T10,T6,T108
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T3,T7
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T22,T23,T24

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T76,T166
1	0	Covered	T76,T166
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,T7
1	0	Covered	T1,T3,T7
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,T3,T7
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	473145275	472271170	0	0
DigestKnown_A	473145275	472271170	0	0
DigestOffsetMustBeRepresentable_A	1150	1150	0	0
EccErrorState_A	473145275	6666	0	0
ErrorKnown_A	473145275	472271170	0	0
FsmStateKnown_A	473145275	472271170	0	0
InitDoneKnown_A	473145275	472271170	0	0
InitReadLocksPartition_A	473145275	96529453	0	0
InitWriteLocksPartition_A	473145275	96529453	0	0
OffsetMustBeBlockAligned_A	1150	1150	0	0
OtpAddrKnown_A	473145275	472271170	0	0
OtpCmdKnown_A	473145275	472271170	0	0
OtpErrorState_A	473145275	46	0	0
OtpReqKnown_A	473145275	472271170	0	0
OtpSizeKnown_A	473145275	472271170	0	0
OtpWdataKnown_A	473145275	472271170	0	0
ReadLockPropagation_A	473145275	225083280	0	0
SizeMustBeBlockAligned_A	1150	1150	0	0
TlulGntKnown_A	473145275	472271170	0	0
TlulRdataKnown_A	473145275	472271170	0	0
TlulReadOnReadLock_A	473145275	8102	0	0
TlulRerrorKnown_A	473145275	472271170	0	0
TlulRvalidKnown_A	473145275	472271170	0	0
WriteLockPropagation_A	473145275	2185185	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	473145275	25423466	0	0
u_state_regs_A	473145275	472271170	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	472271170	0	0
T1	10539	10268	0	0
T2	8797	8711	0	0
T3	15153	14867	0	0
T4	46685	45790	0	0
T5	276043	271746	0	0
T6	417024	411962	0	0
T7	9956	9720	0	0
T10	108168	107950	0	0
T11	12051	11890	0	0
T12	99707	98887	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	472271170	0	0
T1	10539	10268	0	0
T2	8797	8711	0	0
T3	15153	14867	0	0
T4	46685	45790	0	0
T5	276043	271746	0	0
T6	417024	411962	0	0
T7	9956	9720	0	0
T10	108168	107950	0	0
T11	12051	11890	0	0
T12	99707	98887	0	0

DigestOffsetMustBeRepresentable_A

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

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	6666	0	0
T27	19581	0	0	0
T76	12675	3801	0	0
T149	8804	0	0	0
T166	0	2865	0	0
T185	17034	0	0	0
T186	8187	0	0	0
T187	20333	0	0	0
T188	51144	0	0	0
T189	35877	0	0	0
T190	70582	0	0	0
T191	522113	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	472271170	0	0
T1	10539	10268	0	0
T2	8797	8711	0	0
T3	15153	14867	0	0
T4	46685	45790	0	0
T5	276043	271746	0	0
T6	417024	411962	0	0
T7	9956	9720	0	0
T10	108168	107950	0	0
T11	12051	11890	0	0
T12	99707	98887	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	472271170	0	0
T1	10539	10268	0	0
T2	8797	8711	0	0
T3	15153	14867	0	0
T4	46685	45790	0	0
T5	276043	271746	0	0
T6	417024	411962	0	0
T7	9956	9720	0	0
T10	108168	107950	0	0
T11	12051	11890	0	0
T12	99707	98887	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	472271170	0	0
T1	10539	10268	0	0
T2	8797	8711	0	0
T3	15153	14867	0	0
T4	46685	45790	0	0
T5	276043	271746	0	0
T6	417024	411962	0	0
T7	9956	9720	0	0
T10	108168	107950	0	0
T11	12051	11890	0	0
T12	99707	98887	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	96529453	0	0
T1	10539	5021	0	0
T2	8797	153	0	0
T3	15153	4913	0	0
T4	46685	1358	0	0
T5	276043	16062	0	0
T6	417024	98978	0	0
T7	9956	3391	0	0
T10	108168	99451	0	0
T11	12051	3073	0	0
T12	99707	4355	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	96529453	0	0
T1	10539	5021	0	0
T2	8797	153	0	0
T3	15153	4913	0	0
T4	46685	1358	0	0
T5	276043	16062	0	0
T6	417024	98978	0	0
T7	9956	3391	0	0
T10	108168	99451	0	0
T11	12051	3073	0	0
T12	99707	4355	0	0

OffsetMustBeBlockAligned_A

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

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	472271170	0	0
T1	10539	10268	0	0
T2	8797	8711	0	0
T3	15153	14867	0	0
T4	46685	45790	0	0
T5	276043	271746	0	0
T6	417024	411962	0	0
T7	9956	9720	0	0
T10	108168	107950	0	0
T11	12051	11890	0	0
T12	99707	98887	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	472271170	0	0
T1	10539	10268	0	0
T2	8797	8711	0	0
T3	15153	14867	0	0
T4	46685	45790	0	0
T5	276043	271746	0	0
T6	417024	411962	0	0
T7	9956	9720	0	0
T10	108168	107950	0	0
T11	12051	11890	0	0
T12	99707	98887	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	46	0	0
T16	336215	0	0	0
T31	15381	0	0	0
T100	58826	0	0	0
T101	74523	0	0	0
T122	12907	0	0	0
T163	124942	0	0	0
T170	11779	1	0	0
T171	0	1	0	0
T173	0	1	0	0
T194	13826	0	0	0
T205	45819	0	0	0
T207	10194	0	0	0
T209	0	1	0	0
T226	0	1	0	0
T227	0	1	0	0
T228	0	1	0	0
T229	0	1	0	0
T230	0	1	0	0
T231	0	1	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	472271170	0	0
T1	10539	10268	0	0
T2	8797	8711	0	0
T3	15153	14867	0	0
T4	46685	45790	0	0
T5	276043	271746	0	0
T6	417024	411962	0	0
T7	9956	9720	0	0
T10	108168	107950	0	0
T11	12051	11890	0	0
T12	99707	98887	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	472271170	0	0
T1	10539	10268	0	0
T2	8797	8711	0	0
T3	15153	14867	0	0
T4	46685	45790	0	0
T5	276043	271746	0	0
T6	417024	411962	0	0
T7	9956	9720	0	0
T10	108168	107950	0	0
T11	12051	11890	0	0
T12	99707	98887	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	472271170	0	0
T1	10539	10268	0	0
T2	8797	8711	0	0
T3	15153	14867	0	0
T4	46685	45790	0	0
T5	276043	271746	0	0
T6	417024	411962	0	0
T7	9956	9720	0	0
T10	108168	107950	0	0
T11	12051	11890	0	0
T12	99707	98887	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	225083280	0	0
T4	46685	3136	0	0
T5	276043	13803	0	0
T6	417024	43740	0	0
T8	104294	532375	0	0
T9	0	326512	0	0
T10	108168	0	0	0
T11	12051	0	0	0
T12	99707	12497	0	0
T36	0	21641	0	0
T108	101822	82280	0	0
T109	14593	0	0	0
T110	20566	0	0	0
T111	0	8839	0	0
T112	0	53204	0	0

SizeMustBeBlockAligned_A

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

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	472271170	0	0
T1	10539	10268	0	0
T2	8797	8711	0	0
T3	15153	14867	0	0
T4	46685	45790	0	0
T5	276043	271746	0	0
T6	417024	411962	0	0
T7	9956	9720	0	0
T10	108168	107950	0	0
T11	12051	11890	0	0
T12	99707	98887	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	472271170	0	0
T1	10539	10268	0	0
T2	8797	8711	0	0
T3	15153	14867	0	0
T4	46685	45790	0	0
T5	276043	271746	0	0
T6	417024	411962	0	0
T7	9956	9720	0	0
T10	108168	107950	0	0
T11	12051	11890	0	0
T12	99707	98887	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	8102	0	0
T4	46685	3	0	0
T5	276043	9	0	0
T6	417024	33	0	0
T8	104294	22	0	0
T10	108168	22	0	0
T11	12051	0	0	0
T12	99707	4	0	0
T108	101822	17	0	0
T109	14593	2	0	0
T110	20566	8	0	0
T111	0	4	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	472271170	0	0
T1	10539	10268	0	0
T2	8797	8711	0	0
T3	15153	14867	0	0
T4	46685	45790	0	0
T5	276043	271746	0	0
T6	417024	411962	0	0
T7	9956	9720	0	0
T10	108168	107950	0	0
T11	12051	11890	0	0
T12	99707	98887	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	472271170	0	0
T1	10539	10268	0	0
T2	8797	8711	0	0
T3	15153	14867	0	0
T4	46685	45790	0	0
T5	276043	271746	0	0
T6	417024	411962	0	0
T7	9956	9720	0	0
T10	108168	107950	0	0
T11	12051	11890	0	0
T12	99707	98887	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	2185185	0	0
T4	46685	1852	0	0
T5	276043	6350	0	0
T6	417024	8861	0	0
T8	104294	0	0	0
T10	108168	0	0	0
T11	12051	0	0	0
T12	99707	19475	0	0
T52	0	3597	0	0
T100	0	3828	0	0
T101	0	4840	0	0
T102	0	5608	0	0
T103	0	38403	0	0
T108	101822	0	0	0
T109	14593	0	0	0
T110	20566	0	0	0
T113	0	2194	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	25423466	0	0
T4	46685	29636	0	0
T5	276043	175847	0	0
T6	417024	163294	0	0
T8	104294	0	0	0
T10	108168	0	0	0
T11	12051	0	0	0
T12	99707	80110	0	0
T36	0	43351	0	0
T108	101822	0	0	0
T109	14593	0	0	0
T110	20566	0	0	0
T111	0	25122	0	0
T112	0	2869	0	0
T116	0	4986	0	0
T119	0	4700	0	0
T146	0	2753	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	472271170	0	0
T1	10539	10268	0	0
T2	8797	8711	0	0
T3	15153	14867	0	0
T4	46685	45790	0	0
T5	276043	271746	0	0
T6	417024	411962	0	0
T7	9956	9720	0	0
T10	108168	107950	0	0
T11	12051	11890	0	0
T12	99707	98887	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	T42,T126,T127

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

-1-	Status	Tests
0	Covered	T1,T3,T7
1	Covered	T143,T69,T52

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

-1-	Status	Tests
0	Covered	T1,T3,T7
1	Covered	T22,T23,T24

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

-1-	Status	Tests
0	Covered	T74,T155,T176
1	Covered	T74,T155,T176

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

-1-	Status	Tests
0	Covered	T1,T3,T7
1	Covered	T3,T7,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,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	T4,T10,T5
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'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,T3,T7

 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	T1,T4,T6

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

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

---

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

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T7,T10,T5
IdleSt->ReadSt	236	Covered	T1,T3,T7
InitSt->ErrorSt	315	Covered	T3,T11,T6
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T1,T170,T209
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T4,T5,T6
ReadSt->ReadWaitSt	252	Covered	T1,T3,T7
ReadWaitSt->ErrorSt	276	Covered	T217,T160,T161
ReadWaitSt->IdleSt	270	Covered	T1,T3,T7
ResetSt->ErrorSt	315	Covered	T74,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	T4,T5,T6
CheckFailError	317	Covered	T74,T155,T176
FsmStateError	289	Covered	T3,T7,T10
MacroEccCorrError	221	Covered	T143,T69,T52
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded		VC_COV_UNR
AccessError->FsmStateError	325	Covered	T108,T8,T9
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T4,T5,T6
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	T74,T155,T176
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,T7,T10
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T143,T184,T42
MacroEccCorrError->NoError	235	Covered	T69,T52,T45
NoError->AccessError	256	Covered	T4,T5,T6
NoError->CheckFailError	317	Covered	T74,T155,T176
NoError->FsmStateError	289	Covered	T3,T7,T10
NoError->MacroEccCorrError	221	Covered	T143,T69,T52

---

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,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	T1,T4,T6
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	T42,T126,T127
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T1,T125,T164
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T3,T7
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T3,T7
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T5,T13,T16
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T4,T5,T6
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T143,T69,T52
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T3,T7
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T217,T160,T161
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T3,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T22,T23,T24
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T3,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T10,T5,T6
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T10,T5,T6
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T3,T7
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T22,T23,T24

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T74,T155,T176
1	0	Covered	T74,T155,T176
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,T7,T10
1	0	Covered	T1,T3,T7
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,T3,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	473145275	472271170	0	0
DigestKnown_A	473145275	472271170	0	0
DigestOffsetMustBeRepresentable_A	1150	1150	0	0
EccErrorState_A	473145275	7746	0	0
ErrorKnown_A	473145275	472271170	0	0
FsmStateKnown_A	473145275	472271170	0	0
InitDoneKnown_A	473145275	472271170	0	0
InitReadLocksPartition_A	473145275	96711315	0	0
InitWriteLocksPartition_A	473145275	96711315	0	0
OffsetMustBeBlockAligned_A	1150	1150	0	0
OtpAddrKnown_A	473145275	472271170	0	0
OtpCmdKnown_A	473145275	472271170	0	0
OtpErrorState_A	473145275	27	0	0
OtpReqKnown_A	473145275	472271170	0	0
OtpSizeKnown_A	473145275	472271170	0	0
OtpWdataKnown_A	473145275	472271170	0	0
ReadLockPropagation_A	473145275	229987858	0	0
SizeMustBeBlockAligned_A	1150	1150	0	0
TlulGntKnown_A	473145275	472271170	0	0
TlulRdataKnown_A	473145275	472271170	0	0
TlulReadOnReadLock_A	473145275	7726	0	0
TlulRerrorKnown_A	473145275	472271170	0	0
TlulRvalidKnown_A	473145275	472271170	0	0
WriteLockPropagation_A	473145275	1014127	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	473145275	10286130	0	0
u_state_regs_A	473145275	472271170	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	472271170	0	0
T1	10539	10268	0	0
T2	8797	8711	0	0
T3	15153	14867	0	0
T4	46685	45790	0	0
T5	276043	271746	0	0
T6	417024	411962	0	0
T7	9956	9720	0	0
T10	108168	107950	0	0
T11	12051	11890	0	0
T12	99707	98887	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	472271170	0	0
T1	10539	10268	0	0
T2	8797	8711	0	0
T3	15153	14867	0	0
T4	46685	45790	0	0
T5	276043	271746	0	0
T6	417024	411962	0	0
T7	9956	9720	0	0
T10	108168	107950	0	0
T11	12051	11890	0	0
T12	99707	98887	0	0

DigestOffsetMustBeRepresentable_A

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

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	7746	0	0
T32	17028	0	0	0
T74	8855	2577	0	0
T80	12062	0	0	0
T107	318619	0	0	0
T155	0	2952	0	0
T176	0	2217	0	0
T179	6590	0	0	0
T180	38310	0	0	0
T181	111941	0	0	0
T182	16356	0	0	0
T183	3999	0	0	0
T184	35190	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	472271170	0	0
T1	10539	10268	0	0
T2	8797	8711	0	0
T3	15153	14867	0	0
T4	46685	45790	0	0
T5	276043	271746	0	0
T6	417024	411962	0	0
T7	9956	9720	0	0
T10	108168	107950	0	0
T11	12051	11890	0	0
T12	99707	98887	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	472271170	0	0
T1	10539	10268	0	0
T2	8797	8711	0	0
T3	15153	14867	0	0
T4	46685	45790	0	0
T5	276043	271746	0	0
T6	417024	411962	0	0
T7	9956	9720	0	0
T10	108168	107950	0	0
T11	12051	11890	0	0
T12	99707	98887	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	472271170	0	0
T1	10539	10268	0	0
T2	8797	8711	0	0
T3	15153	14867	0	0
T4	46685	45790	0	0
T5	276043	271746	0	0
T6	417024	411962	0	0
T7	9956	9720	0	0
T10	108168	107950	0	0
T11	12051	11890	0	0
T12	99707	98887	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	96711315	0	0
T1	10539	5045	0	0
T2	8797	170	0	0
T3	15153	4930	0	0
T4	46685	1562	0	0
T5	276043	16980	0	0
T6	417024	99947	0	0
T7	9956	3425	0	0
T10	108168	99502	0	0
T11	12051	3090	0	0
T12	99707	4508	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	96711315	0	0
T1	10539	5045	0	0
T2	8797	170	0	0
T3	15153	4930	0	0
T4	46685	1562	0	0
T5	276043	16980	0	0
T6	417024	99947	0	0
T7	9956	3425	0	0
T10	108168	99502	0	0
T11	12051	3090	0	0
T12	99707	4508	0	0

OffsetMustBeBlockAligned_A

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

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	472271170	0	0
T1	10539	10268	0	0
T2	8797	8711	0	0
T3	15153	14867	0	0
T4	46685	45790	0	0
T5	276043	271746	0	0
T6	417024	411962	0	0
T7	9956	9720	0	0
T10	108168	107950	0	0
T11	12051	11890	0	0
T12	99707	98887	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	472271170	0	0
T1	10539	10268	0	0
T2	8797	8711	0	0
T3	15153	14867	0	0
T4	46685	45790	0	0
T5	276043	271746	0	0
T6	417024	411962	0	0
T7	9956	9720	0	0
T10	108168	107950	0	0
T11	12051	11890	0	0
T12	99707	98887	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	27	0	0
T1	10539	1	0	0
T2	8797	0	0	0
T3	15153	0	0	0
T4	46685	0	0	0
T5	276043	0	0	0
T6	417024	0	0	0
T7	9956	0	0	0
T10	108168	0	0	0
T11	12051	0	0	0
T12	99707	0	0	0
T96	0	1	0	0
T125	0	1	0	0
T164	0	1	0	0
T217	0	1	0	0
T232	0	1	0	0
T233	0	1	0	0
T234	0	1	0	0
T235	0	1	0	0
T236	0	1	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	472271170	0	0
T1	10539	10268	0	0
T2	8797	8711	0	0
T3	15153	14867	0	0
T4	46685	45790	0	0
T5	276043	271746	0	0
T6	417024	411962	0	0
T7	9956	9720	0	0
T10	108168	107950	0	0
T11	12051	11890	0	0
T12	99707	98887	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	472271170	0	0
T1	10539	10268	0	0
T2	8797	8711	0	0
T3	15153	14867	0	0
T4	46685	45790	0	0
T5	276043	271746	0	0
T6	417024	411962	0	0
T7	9956	9720	0	0
T10	108168	107950	0	0
T11	12051	11890	0	0
T12	99707	98887	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	472271170	0	0
T1	10539	10268	0	0
T2	8797	8711	0	0
T3	15153	14867	0	0
T4	46685	45790	0	0
T5	276043	271746	0	0
T6	417024	411962	0	0
T7	9956	9720	0	0
T10	108168	107950	0	0
T11	12051	11890	0	0
T12	99707	98887	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	229987858	0	0
T4	46685	6784	0	0
T5	276043	14531	0	0
T6	417024	24667	0	0
T8	104294	536749	0	0
T9	0	318678	0	0
T10	108168	0	0	0
T11	12051	0	0	0
T12	99707	16792	0	0
T36	0	13027	0	0
T108	101822	95998	0	0
T109	14593	0	0	0
T110	20566	0	0	0
T111	0	8534	0	0
T123	0	11427	0	0

SizeMustBeBlockAligned_A

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

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	472271170	0	0
T1	10539	10268	0	0
T2	8797	8711	0	0
T3	15153	14867	0	0
T4	46685	45790	0	0
T5	276043	271746	0	0
T6	417024	411962	0	0
T7	9956	9720	0	0
T10	108168	107950	0	0
T11	12051	11890	0	0
T12	99707	98887	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	472271170	0	0
T1	10539	10268	0	0
T2	8797	8711	0	0
T3	15153	14867	0	0
T4	46685	45790	0	0
T5	276043	271746	0	0
T6	417024	411962	0	0
T7	9956	9720	0	0
T10	108168	107950	0	0
T11	12051	11890	0	0
T12	99707	98887	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	7726	0	0
T4	46685	1	0	0
T5	276043	7	0	0
T6	417024	24	0	0
T8	104294	29	0	0
T10	108168	17	0	0
T11	12051	0	0	0
T12	99707	2	0	0
T36	0	2	0	0
T108	101822	21	0	0
T109	14593	0	0	0
T110	20566	3	0	0
T111	0	4	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	472271170	0	0
T1	10539	10268	0	0
T2	8797	8711	0	0
T3	15153	14867	0	0
T4	46685	45790	0	0
T5	276043	271746	0	0
T6	417024	411962	0	0
T7	9956	9720	0	0
T10	108168	107950	0	0
T11	12051	11890	0	0
T12	99707	98887	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	472271170	0	0
T1	10539	10268	0	0
T2	8797	8711	0	0
T3	15153	14867	0	0
T4	46685	45790	0	0
T5	276043	271746	0	0
T6	417024	411962	0	0
T7	9956	9720	0	0
T10	108168	107950	0	0
T11	12051	11890	0	0
T12	99707	98887	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	1014127	0	0
T16	336215	0	0	0
T101	74523	0	0	0
T103	0	11181	0	0
T107	0	7023	0	0
T113	0	18897	0	0
T114	0	1567	0	0
T122	12907	0	0	0
T147	0	8440	0	0
T163	124942	17500	0	0
T181	0	20056	0	0
T205	45819	0	0	0
T206	0	3349	0	0
T207	10194	0	0	0
T208	3838	0	0	0
T209	12081	0	0	0
T237	0	6251	0	0
T238	0	13004	0	0
T239	29730	0	0	0
T240	13267	0	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	10286130	0	0
T1	10539	3759	0	0
T2	8797	0	0	0
T3	15153	0	0	0
T4	46685	10098	0	0
T5	276043	0	0	0
T6	417024	40989	0	0
T7	9956	0	0	0
T10	108168	0	0	0
T11	12051	0	0	0
T12	99707	0	0	0
T102	0	102698	0	0
T112	0	2852	0	0
T113	0	127292	0	0
T121	0	4441	0	0
T146	0	2736	0	0
T163	0	84928	0	0
T211	0	4307	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	473145275	472271170	0	0
T1	10539	10268	0	0
T2	8797	8711	0	0
T3	15153	14867	0	0
T4	46685	45790	0	0
T5	276043	271746	0	0
T6	417024	411962	0	0
T7	9956	9720	0	0
T10	108168	107950	0	0
T11	12051	11890	0	0
T12	99707	98887	0	0