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.95	98.05	96.15	96.96		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.95	98.05	96.15	96.96		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	T8,T31,T41

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

-1-	Status	Tests
0	Covered	T1,T2,T6
1	Covered	T42,T52,T53

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

-1-	Status	Tests
0	Covered	T1,T2,T6
1	Covered	T28,T29,T30

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

-1-	Status	Tests
0	Covered	T73,T133,T134
1	Covered	T73,T133,T134

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

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

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

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

 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,T4,T5
1	1	Covered	T1,T2,T6

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

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

-1-	Status	Tests
0	Covered	T1,T2,T6
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,T6
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,T19,T21

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T5,T19,T21

---

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

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T1,T2,T6
IdleSt->ReadSt	236	Covered	T1,T2,T6
InitSt->ErrorSt	315	Covered	T111,T136,T155
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T140,T137,T156
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T4,T5,T19
ReadSt->ReadWaitSt	252	Covered	T1,T2,T6
ReadWaitSt->ErrorSt	276	Covered	T138,T139,T183
ReadWaitSt->IdleSt	270	Covered	T1,T2,T6
ResetSt->ErrorSt	315	Covered	T72,T73,T74
ResetSt->IdleSt	196	Excluded		VC_COV_UNR
ResetSt->InitSt	194	Covered	T1,T2,T3

Summary for FSM :: error_q

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

State, Transition and Sequence Details for FSM :: error_q

---

states	Line No.	Covered	Tests
AccessError	256	Covered	T4,T5,T19
CheckFailError	317	Covered	T73,T133,T134
FsmStateError	289	Covered	T1,T2,T6
MacroEccCorrError	221	Covered	T8,T42,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	T102,T34,T125
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T4,T5,T19
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	T73,T133,T134
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,T6
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T8,T31,T138
MacroEccCorrError->NoError	235	Covered	T42,T52,T53
NoError->AccessError	256	Covered	T4,T5,T19
NoError->CheckFailError	317	Covered	T73,T133,T134
NoError->FsmStateError	289	Covered	T1,T2,T6
NoError->MacroEccCorrError	221	Covered	T8,T42,T52

---

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

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

Branches:

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

	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,T19,T21
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	T8,T31,T41
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T140,T156,T184
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T6
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T2,T6
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T34,T94,T65
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T4,T5,T19
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T42,T52,T53
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T2,T6
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T138,T139,T183
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T2,T6
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T28,T29,T30
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T6
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T1,T4,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T1,T4,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T6
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T28,T29,T30

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T73,T133,T134
1	0	Covered	T73,T133,T134
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,T6
1	0	Covered	T1,T2,T6
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,T6
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	516265254	515410973	0	0
DigestKnown_A	516265254	515410973	0	0
DigestOffsetMustBeRepresentable_A	1149	1149	0	0
EccErrorState_A	516265254	12970	0	0
ErrorKnown_A	516265254	515410973	0	0
FsmStateKnown_A	516265254	515410973	0	0
InitDoneKnown_A	516265254	515410973	0	0
InitReadLocksPartition_A	516265254	105760959	0	0
InitWriteLocksPartition_A	516265254	105760959	0	0
OffsetMustBeBlockAligned_A	1149	1149	0	0
OtpAddrKnown_A	516265254	515410973	0	0
OtpCmdKnown_A	516265254	515410973	0	0
OtpErrorState_A	516265254	51	0	0
OtpReqKnown_A	516265254	515410973	0	0
OtpSizeKnown_A	516265254	515410973	0	0
OtpWdataKnown_A	516265254	515410973	0	0
ReadLockPropagation_A	516265254	207585555	0	0
SizeMustBeBlockAligned_A	1149	1149	0	0
TlulGntKnown_A	516265254	515410973	0	0
TlulRdataKnown_A	516265254	515410973	0	0
TlulReadOnReadLock_A	516265254	8497	0	0
TlulRerrorKnown_A	516265254	515410973	0	0
TlulRvalidKnown_A	516265254	515410973	0	0
WriteLockPropagation_A	516265254	2382352	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	516265254	29527612	0	0
u_state_regs_A	516265254	515410973	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1149	1149	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	516265254	12970	0	0
T16	12326	0	0	0
T59	116625	0	0	0
T73	13832	3847	0	0
T86	10190	0	0	0
T133	0	2484	0	0
T134	0	2631	0	0
T135	0	4008	0	0
T141	30390	0	0	0
T142	858684	0	0	0
T143	6552	0	0	0
T144	33354	0	0	0
T145	12413	0	0	0
T146	86194	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	105760959	0	0
T1	67273	54164	0	0
T2	10108	3484	0	0
T3	11547	247	0	0
T4	866644	398019	0	0
T5	111724	1596	0	0
T6	13442	3689	0	0
T7	147884	76113	0	0
T8	18642	9499	0	0
T9	27010	489	0	0
T10	19808	10575	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	105760959	0	0
T1	67273	54164	0	0
T2	10108	3484	0	0
T3	11547	247	0	0
T4	866644	398019	0	0
T5	111724	1596	0	0
T6	13442	3689	0	0
T7	147884	76113	0	0
T8	18642	9499	0	0
T9	27010	489	0	0
T10	19808	10575	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1149	1149	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	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	51	0	0
T41	11572	0	0	0
T129	488959	0	0	0
T136	11355	0	0	0
T138	566739	1	0	0
T139	0	2	0	0
T140	0	1	0	0
T156	0	1	0	0
T159	0	1	0	0
T183	0	1	0	0
T184	0	1	0	0
T185	0	1	0	0
T186	0	1	0	0
T187	0	1	0	0
T188	9197	0	0	0
T189	291164	0	0	0
T190	11707	0	0	0
T191	97669	0	0	0
T192	45380	0	0	0
T193	9746	0	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	207585555	0	0
T1	67273	59343	0	0
T2	10108	0	0	0
T3	11547	0	0	0
T4	866644	351364	0	0
T5	111724	51641	0	0
T6	13442	0	0	0
T7	147884	0	0	0
T8	18642	0	0	0
T9	27010	0	0	0
T10	19808	13176	0	0
T11	0	787988	0	0
T19	0	4704	0	0
T20	0	6755	0	0
T34	0	235010	0	0
T35	0	10380	0	0
T102	0	74717	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1149	1149	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	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	8497	0	0
T1	67273	11	0	0
T2	10108	0	0	0
T3	11547	0	0	0
T4	866644	52	0	0
T5	111724	13	0	0
T6	13442	0	0	0
T7	147884	15	0	0
T8	18642	0	0	0
T9	27010	0	0	0
T10	19808	2	0	0
T19	0	2	0	0
T20	0	4	0	0
T21	0	13	0	0
T100	0	5	0	0
T102	0	24	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	2382352	0	0
T11	243916	0	0	0
T13	61860	0	0	0
T20	44048	1611	0	0
T34	123865	97012	0	0
T35	55381	8706	0	0
T42	53728	0	0	0
T65	0	11320	0	0
T71	0	7940	0	0
T94	0	11397	0	0
T95	0	5005	0	0
T97	0	1078	0	0
T98	0	3109	0	0
T102	81641	0	0	0
T104	11332	0	0	0
T124	0	4757	0	0
T125	62443	0	0	0
T126	139555	0	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	29527612	0	0
T5	111724	94798	0	0
T7	147884	0	0	0
T8	18642	0	0	0
T9	27010	0	0	0
T10	19808	0	0	0
T19	53153	45507	0	0
T20	0	36303	0	0
T21	59439	2533	0	0
T34	0	606319	0	0
T35	0	40249	0	0
T94	0	190531	0	0
T99	6597	0	0	0
T100	10841	0	0	0
T101	9996	0	0	0
T102	0	2904	0	0
T125	0	3607	0	0
T169	0	5001	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	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	T39,T31,T55

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

-1-	Status	Tests
0	Covered	T2,T6,T4
1	Covered	T35,T52,T53

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

-1-	Status	Tests
0	Covered	T1,T2,T6
1	Covered	T28,T29,T30

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

-1-	Status	Tests
0	Covered	T133,T135
1	Covered	T133,T135

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

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

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

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

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

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

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

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

 LINE       342
 EXPRESSION (({tlul_addr_q, 2'b0} >= 11'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,T6

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

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

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

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

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

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

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

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

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

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

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

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

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

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

---

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

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T1,T2,T6
IdleSt->ReadSt	236	Covered	T1,T2,T6
InitSt->ErrorSt	315	Covered	T111,T136,T137
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T8,T110,T194
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T1,T4,T5
ReadSt->ReadWaitSt	252	Covered	T2,T6,T4
ReadWaitSt->ErrorSt	276	Covered	T126,T159,T195
ReadWaitSt->IdleSt	270	Covered	T2,T6,T4
ResetSt->ErrorSt	315	Covered	T72,T73,T74
ResetSt->IdleSt	196	Excluded		VC_COV_UNR
ResetSt->InitSt	194	Covered	T1,T2,T3

Summary for FSM :: error_q

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

State, Transition and Sequence Details for FSM :: error_q

---

states	Line No.	Covered	Tests
AccessError	256	Covered	T1,T4,T5
CheckFailError	317	Covered	T133,T135
FsmStateError	289	Covered	T1,T2,T6
MacroEccCorrError	221	Covered	T35,T52,T39
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,T4,T102
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T4,T5,T19
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	T133,T135
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,T6
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T39,T31,T138
MacroEccCorrError->NoError	235	Covered	T35,T52,T53
NoError->AccessError	256	Covered	T1,T4,T5
NoError->CheckFailError	317	Covered	T133,T135
NoError->FsmStateError	289	Covered	T2,T6,T4
NoError->MacroEccCorrError	221	Covered	T35,T52,T39

---

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	T2,T6,T4
0	Covered	T1,T2,T3

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

-1-	Status	Tests
1	Covered	T5,T8,T19
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	T39,T31,T55
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T8,T110,T194
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T6
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T2,T6,T4
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T19,T34,T94
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T1,T4,T5
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T35,T52,T53
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T2,T6,T4
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T126,T159,T195
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T2,T6,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T28,T29,T30
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T6
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T1,T4,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T1,T4,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T6
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T28,T29,T30

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T133,T135
1	0	Covered	T133,T135
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,T6
1	0	Covered	T1,T2,T6
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,T6
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	516265254	515410973	0	0
DigestKnown_A	516265254	515410973	0	0
DigestOffsetMustBeRepresentable_A	1149	1149	0	0
EccErrorState_A	516265254	6492	0	0
ErrorKnown_A	516265254	515410973	0	0
FsmStateKnown_A	516265254	515410973	0	0
InitDoneKnown_A	516265254	515410973	0	0
InitReadLocksPartition_A	516265254	105940303	0	0
InitWriteLocksPartition_A	516265254	105940303	0	0
OffsetMustBeBlockAligned_A	1149	1149	0	0
OtpAddrKnown_A	516265254	515410973	0	0
OtpCmdKnown_A	516265254	515410973	0	0
OtpErrorState_A	516265254	42	0	0
OtpReqKnown_A	516265254	515410973	0	0
OtpSizeKnown_A	516265254	515410973	0	0
OtpWdataKnown_A	516265254	515410973	0	0
ReadLockPropagation_A	516265254	212677829	0	0
SizeMustBeBlockAligned_A	1149	1149	0	0
TlulGntKnown_A	516265254	515410973	0	0
TlulRdataKnown_A	516265254	515410973	0	0
TlulReadOnReadLock_A	516265254	8102	0	0
TlulRerrorKnown_A	516265254	515410973	0	0
TlulRvalidKnown_A	516265254	515410973	0	0
WriteLockPropagation_A	516265254	1608320	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	516265254	12222615	0	0
u_state_regs_A	516265254	515410973	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1149	1149	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	516265254	6492	0	0
T133	9959	2484	0	0
T135	0	4008	0	0
T196	109272	0	0	0
T197	28870	0	0	0
T198	7196	0	0	0
T199	21464	0	0	0
T200	14964	0	0	0
T201	12065	0	0	0
T202	17219	0	0	0
T203	23702	0	0	0
T204	13661	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	105940303	0	0
T1	67273	54215	0	0
T2	10108	3518	0	0
T3	11547	281	0	0
T4	866644	398206	0	0
T5	111724	1817	0	0
T6	13442	3723	0	0
T7	147884	76266	0	0
T8	18642	9523	0	0
T9	27010	557	0	0
T10	19808	10609	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	105940303	0	0
T1	67273	54215	0	0
T2	10108	3518	0	0
T3	11547	281	0	0
T4	866644	398206	0	0
T5	111724	1817	0	0
T6	13442	3723	0	0
T7	147884	76266	0	0
T8	18642	9523	0	0
T9	27010	557	0	0
T10	19808	10609	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1149	1149	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	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	42	0	0
T8	18642	1	0	0
T9	27010	0	0	0
T10	19808	0	0	0
T19	53153	0	0	0
T20	44048	0	0	0
T21	59439	0	0	0
T99	6597	0	0	0
T100	10841	0	0	0
T101	9996	0	0	0
T102	81641	0	0	0
T110	0	1	0	0
T126	0	1	0	0
T159	0	1	0	0
T194	0	1	0	0
T195	0	1	0	0
T205	0	1	0	0
T206	0	1	0	0
T207	0	1	0	0
T208	0	1	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	212677829	0	0
T1	67273	59333	0	0
T2	10108	0	0	0
T3	11547	0	0	0
T4	866644	352132	0	0
T5	111724	38104	0	0
T6	13442	0	0	0
T7	147884	83354	0	0
T8	18642	0	0	0
T9	27010	0	0	0
T10	19808	11944	0	0
T11	0	793543	0	0
T19	0	4065	0	0
T20	0	4569	0	0
T34	0	212755	0	0
T102	0	74709	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1149	1149	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	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	8102	0	0
T1	67273	6	0	0
T2	10108	0	0	0
T3	11547	0	0	0
T4	866644	48	0	0
T5	111724	10	0	0
T6	13442	0	0	0
T7	147884	9	0	0
T8	18642	0	0	0
T9	27010	0	0	0
T10	19808	3	0	0
T19	0	1	0	0
T20	0	3	0	0
T21	0	17	0	0
T100	0	6	0	0
T102	0	17	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	1608320	0	0
T5	111724	23372	0	0
T7	147884	0	0	0
T8	18642	0	0	0
T9	27010	0	0	0
T10	19808	0	0	0
T19	53153	0	0	0
T21	59439	0	0	0
T34	0	3731	0	0
T35	0	16135	0	0
T65	0	4968	0	0
T71	0	1965	0	0
T89	0	9015	0	0
T93	0	7306	0	0
T94	0	6314	0	0
T99	6597	0	0	0
T100	10841	0	0	0
T101	9996	0	0	0
T175	0	10854	0	0
T178	0	8707	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	12222615	0	0
T5	111724	94594	0	0
T7	147884	0	0	0
T8	18642	2397	0	0
T9	27010	0	0	0
T10	19808	0	0	0
T19	53153	45354	0	0
T21	59439	2516	0	0
T34	0	54604	0	0
T35	0	40164	0	0
T65	0	86466	0	0
T71	0	66893	0	0
T94	0	110645	0	0
T99	6597	0	0	0
T100	10841	2672	0	0
T101	9996	0	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0