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.19	94.16	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.19	94.16	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	T67,T97,T41

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T137,T72,T167

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T21,T22,T23

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

-1-	Status	Tests
0	Covered	T168,T169,T170
1	Covered	T168,T169,T170

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

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

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

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

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

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

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

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

 LINE       342
 EXPRESSION (({tlul_addr_q, 2'b0} >= 11'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,T3
1	Covered	T1,T2,T3

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

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

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

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

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

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

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

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

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

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

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

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

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T3,T10,T11
IdleSt->ReadSt	236	Covered	T1,T2,T3
InitSt->ErrorSt	315	Covered	T177,T178,T179
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T1,T66,T108
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T10,T6,T12
ReadSt->ReadWaitSt	252	Covered	T1,T2,T3
ReadWaitSt->ErrorSt	276	Covered	T167,T156,T199
ReadWaitSt->IdleSt	270	Covered	T1,T2,T3
ResetSt->ErrorSt	315	Covered	T2,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	T10,T6,T12
CheckFailError	317	Covered	T168,T169,T170
FsmStateError	289	Covered	T2,T3,T10
MacroEccCorrError	221	Covered	T137,T67,T97
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded		VC_COV_UNR
AccessError->FsmStateError	325	Covered	T10,T8,T9
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T10,T6,T12
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,T169,T170
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,T3,T10
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T137,T67,T97
MacroEccCorrError->NoError	235	Covered	T72,T112,T113
NoError->AccessError	256	Covered	T10,T6,T12
NoError->CheckFailError	317	Covered	T168,T169,T170
NoError->FsmStateError	289	Covered	T2,T3,T11
NoError->MacroEccCorrError	221	Covered	T137,T67,T97

---

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

-1-	Status	Tests
1	Covered	T1,T4,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	T67,T97,T41
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T1,T66,T108
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T8,T98,T104
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T10,T6,T12
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T137,T72,T167
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T167,T156,T199
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T21,T22,T23
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T10,T11,T76
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T10,T11,T76
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T3
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T21,T22,T23

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T168,T169,T170
1	0	Covered	T168,T169,T170
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,T3,T10
1	0	Covered	T1,T2,T3
0	-	Covered	T1,T2,T3

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

Branches:

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

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

Branches:

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

---

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

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
AccessKnown_A	91088385	90242584	0	0
DigestKnown_A	91088385	90242584	0	0
DigestOffsetMustBeRepresentable_A	1118	1118	0	0
EccErrorState_A	91088385	7652	0	0
ErrorKnown_A	91088385	90242584	0	0
FsmStateKnown_A	91088385	90242584	0	0
InitDoneKnown_A	91088385	90242584	0	0
InitReadLocksPartition_A	91088385	16848199	0	0
InitWriteLocksPartition_A	91088385	16848199	0	0
OffsetMustBeBlockAligned_A	1118	1118	0	0
OtpAddrKnown_A	91088385	90242584	0	0
OtpCmdKnown_A	91088385	90242584	0	0
OtpErrorState_A	91088385	42	0	0
OtpReqKnown_A	91088385	90242584	0	0
OtpSizeKnown_A	91088385	90242584	0	0
OtpWdataKnown_A	91088385	90242584	0	0
ReadLockPropagation_A	91088385	15859883	0	0
SizeMustBeBlockAligned_A	1118	1118	0	0
TlulGntKnown_A	91088385	90242584	0	0
TlulRdataKnown_A	91088385	90242584	0	0
TlulReadOnReadLock_A	91088385	5964	0	0
TlulRerrorKnown_A	91088385	90242584	0	0
TlulRvalidKnown_A	91088385	90242584	0	0
WriteLockPropagation_A	91088385	2651486	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	91088385	30093025	0	0
u_state_regs_A	91088385	90242584	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	90242584	0	0
T1	13602	13427	0	0
T2	11640	11368	0	0
T3	16395	16147	0	0
T4	37444	36690	0	0
T5	45136	44040	0	0
T6	102177	101355	0	0
T10	25593	25322	0	0
T11	18212	17932	0	0
T12	79294	78617	0	0
T13	82776	82075	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	90242584	0	0
T1	13602	13427	0	0
T2	11640	11368	0	0
T3	16395	16147	0	0
T4	37444	36690	0	0
T5	45136	44040	0	0
T6	102177	101355	0	0
T10	25593	25322	0	0
T11	18212	17932	0	0
T12	79294	78617	0	0
T13	82776	82075	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1118	1118	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	7652	0	0
T116	14753	0	0	0
T168	10709	2696	0	0
T169	0	2557	0	0
T170	0	2399	0	0
T211	13668	0	0	0
T212	40208	0	0	0
T213	56804	0	0	0
T214	63016	0	0	0
T215	62520	0	0	0
T216	4145	0	0	0
T217	58743	0	0	0
T218	16405	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	90242584	0	0
T1	13602	13427	0	0
T2	11640	11368	0	0
T3	16395	16147	0	0
T4	37444	36690	0	0
T5	45136	44040	0	0
T6	102177	101355	0	0
T10	25593	25322	0	0
T11	18212	17932	0	0
T12	79294	78617	0	0
T13	82776	82075	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	90242584	0	0
T1	13602	13427	0	0
T2	11640	11368	0	0
T3	16395	16147	0	0
T4	37444	36690	0	0
T5	45136	44040	0	0
T6	102177	101355	0	0
T10	25593	25322	0	0
T11	18212	17932	0	0
T12	79294	78617	0	0
T13	82776	82075	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	90242584	0	0
T1	13602	13427	0	0
T2	11640	11368	0	0
T3	16395	16147	0	0
T4	37444	36690	0	0
T5	45136	44040	0	0
T6	102177	101355	0	0
T10	25593	25322	0	0
T11	18212	17932	0	0
T12	79294	78617	0	0
T13	82776	82075	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	16848199	0	0
T1	13602	3793	0	0
T2	11640	3481	0	0
T3	16395	3975	0	0
T4	37444	1063	0	0
T5	45136	1635	0	0
T6	102177	1862	0	0
T10	25593	12655	0	0
T11	18212	10701	0	0
T12	79294	5373	0	0
T13	82776	1039	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	16848199	0	0
T1	13602	3793	0	0
T2	11640	3481	0	0
T3	16395	3975	0	0
T4	37444	1063	0	0
T5	45136	1635	0	0
T6	102177	1862	0	0
T10	25593	12655	0	0
T11	18212	10701	0	0
T12	79294	5373	0	0
T13	82776	1039	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1118	1118	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	90242584	0	0
T1	13602	13427	0	0
T2	11640	11368	0	0
T3	16395	16147	0	0
T4	37444	36690	0	0
T5	45136	44040	0	0
T6	102177	101355	0	0
T10	25593	25322	0	0
T11	18212	17932	0	0
T12	79294	78617	0	0
T13	82776	82075	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	90242584	0	0
T1	13602	13427	0	0
T2	11640	11368	0	0
T3	16395	16147	0	0
T4	37444	36690	0	0
T5	45136	44040	0	0
T6	102177	101355	0	0
T10	25593	25322	0	0
T11	18212	17932	0	0
T12	79294	78617	0	0
T13	82776	82075	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	42	0	0
T1	13602	1	0	0
T2	11640	0	0	0
T3	16395	0	0	0
T4	37444	0	0	0
T5	45136	0	0	0
T6	102177	0	0	0
T10	25593	0	0	0
T11	18212	0	0	0
T12	79294	0	0	0
T13	82776	0	0	0
T66	0	1	0	0
T100	0	1	0	0
T108	0	1	0	0
T156	0	1	0	0
T163	0	1	0	0
T167	0	2	0	0
T174	0	1	0	0
T185	0	1	0	0
T219	0	1	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	90242584	0	0
T1	13602	13427	0	0
T2	11640	11368	0	0
T3	16395	16147	0	0
T4	37444	36690	0	0
T5	45136	44040	0	0
T6	102177	101355	0	0
T10	25593	25322	0	0
T11	18212	17932	0	0
T12	79294	78617	0	0
T13	82776	82075	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	90242584	0	0
T1	13602	13427	0	0
T2	11640	11368	0	0
T3	16395	16147	0	0
T4	37444	36690	0	0
T5	45136	44040	0	0
T6	102177	101355	0	0
T10	25593	25322	0	0
T11	18212	17932	0	0
T12	79294	78617	0	0
T13	82776	82075	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	90242584	0	0
T1	13602	13427	0	0
T2	11640	11368	0	0
T3	16395	16147	0	0
T4	37444	36690	0	0
T5	45136	44040	0	0
T6	102177	101355	0	0
T10	25593	25322	0	0
T11	18212	17932	0	0
T12	79294	78617	0	0
T13	82776	82075	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	15859883	0	0
T4	37444	535	0	0
T5	45136	1552	0	0
T6	102177	5369	0	0
T7	0	122401	0	0
T8	0	182857	0	0
T10	25593	19771	0	0
T11	18212	10138	0	0
T12	79294	24636	0	0
T13	82776	28514	0	0
T43	17259	0	0	0
T66	11069	0	0	0
T76	0	2282	0	0
T108	18863	0	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1118	1118	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	90242584	0	0
T1	13602	13427	0	0
T2	11640	11368	0	0
T3	16395	16147	0	0
T4	37444	36690	0	0
T5	45136	44040	0	0
T6	102177	101355	0	0
T10	25593	25322	0	0
T11	18212	17932	0	0
T12	79294	78617	0	0
T13	82776	82075	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	90242584	0	0
T1	13602	13427	0	0
T2	11640	11368	0	0
T3	16395	16147	0	0
T4	37444	36690	0	0
T5	45136	44040	0	0
T6	102177	101355	0	0
T10	25593	25322	0	0
T11	18212	17932	0	0
T12	79294	78617	0	0
T13	82776	82075	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	5964	0	0
T5	45136	0	0	0
T6	102177	1	0	0
T7	365646	5	0	0
T8	0	48	0	0
T9	0	26	0	0
T10	25593	4	0	0
T11	18212	8	0	0
T12	79294	7	0	0
T13	82776	7	0	0
T43	17259	0	0	0
T66	11069	0	0	0
T68	0	5	0	0
T76	0	3	0	0
T108	18863	0	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	90242584	0	0
T1	13602	13427	0	0
T2	11640	11368	0	0
T3	16395	16147	0	0
T4	37444	36690	0	0
T5	45136	44040	0	0
T6	102177	101355	0	0
T10	25593	25322	0	0
T11	18212	17932	0	0
T12	79294	78617	0	0
T13	82776	82075	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	90242584	0	0
T1	13602	13427	0	0
T2	11640	11368	0	0
T3	16395	16147	0	0
T4	37444	36690	0	0
T5	45136	44040	0	0
T6	102177	101355	0	0
T10	25593	25322	0	0
T11	18212	17932	0	0
T12	79294	78617	0	0
T13	82776	82075	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	2651486	0	0
T5	45136	477	0	0
T6	102177	0	0	0
T7	365646	0	0	0
T11	18212	0	0	0
T12	79294	8708	0	0
T13	82776	0	0	0
T15	0	29494	0	0
T43	17259	0	0	0
T58	0	8937	0	0
T66	11069	0	0	0
T98	0	9664	0	0
T99	0	3160	0	0
T104	0	121	0	0
T105	0	17995	0	0
T106	0	18517	0	0
T107	0	8656	0	0
T108	18863	0	0	0
T177	7983	0	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	30093025	0	0
T1	13602	3086	0	0
T2	11640	0	0	0
T3	16395	0	0	0
T4	37444	13200	0	0
T5	45136	24315	0	0
T6	102177	89551	0	0
T10	25593	2580	0	0
T11	18212	0	0	0
T12	79294	61345	0	0
T13	82776	64758	0	0
T66	0	2560	0	0
T108	0	3378	0	0
T163	0	2748	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	90242584	0	0
T1	13602	13427	0	0
T2	11640	11368	0	0
T3	16395	16147	0	0
T4	37444	36690	0	0
T5	45136	44040	0	0
T6	102177	101355	0	0
T10	25593	25322	0	0
T11	18212	17932	0	0
T12	79294	78617	0	0
T13	82776	82075	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	T41,T42,T79

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T58,T173,T73

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T21,T22,T23

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

-1-	Status	Tests
0	Covered	T2,T77,T171
1	Covered	T2,T77,T171

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

---

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

Summary for FSM :: state_q

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

State, Transition and Sequence Details for FSM :: state_q

---

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

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T3,T10,T11
IdleSt->ReadSt	236	Covered	T1,T2,T3
InitSt->ErrorSt	315	Covered	T177,T178,T179
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T1,T66,T108
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T4,T10,T12
ReadSt->ReadWaitSt	252	Covered	T1,T2,T3
ReadWaitSt->ErrorSt	276	Covered	T156,T220,T221
ReadWaitSt->IdleSt	270	Covered	T1,T2,T3
ResetSt->ErrorSt	315	Covered	T2,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	T4,T10,T12
CheckFailError	317	Covered	T2,T77,T171
FsmStateError	289	Covered	T1,T3,T10
MacroEccCorrError	221	Covered	T41,T58,T42
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded		VC_COV_UNR
AccessError->FsmStateError	325	Covered	T10,T8,T166
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T4,T12,T13
CheckFailError->AccessError	256	Excluded		VC_COV_UNR
CheckFailError->FsmStateError	325	Excluded		VC_COV_UNR
CheckFailError->MacroEccCorrError	221	Excluded		VC_COV_UNR
CheckFailError->NoError	235	Covered	T2,T77,T171
FsmStateError->AccessError	256	Excluded		VC_COV_UNR
FsmStateError->CheckFailError	317	Excluded		VC_COV_UNR
FsmStateError->MacroEccCorrError	221	Excluded		VC_COV_UNR
FsmStateError->NoError	235	Covered	T1,T3,T10
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T41,T42,T79
MacroEccCorrError->NoError	235	Covered	T58,T73,T44
NoError->AccessError	256	Covered	T4,T10,T12
NoError->CheckFailError	317	Covered	T2,T77,T171
NoError->FsmStateError	289	Covered	T1,T3,T11
NoError->MacroEccCorrError	221	Covered	T41,T58,T42

---

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

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

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

-1-	Status	Tests
1	Covered	T5,T6,T13
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	T41,T42,T79
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T67,T97,T222
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T43,T8,T143
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T4,T10,T12
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T58,T173,T73
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T156,T220,T221
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T21,T22,T23
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T11,T8,T9
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T11,T8,T9
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T3
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T21,T22,T23

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

---

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

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
AccessKnown_A	91088385	90242584	0	0
DigestKnown_A	91088385	90242584	0	0
DigestOffsetMustBeRepresentable_A	1118	1118	0	0
EccErrorState_A	91088385	9599	0	0
ErrorKnown_A	91088385	90242584	0	0
FsmStateKnown_A	91088385	90242584	0	0
InitDoneKnown_A	91088385	90242584	0	0
InitReadLocksPartition_A	91088385	17021170	0	0
InitWriteLocksPartition_A	91088385	17021170	0	0
OffsetMustBeBlockAligned_A	1118	1118	0	0
OtpAddrKnown_A	91088385	90242584	0	0
OtpCmdKnown_A	91088385	90242584	0	0
OtpErrorState_A	91088385	28	0	0
OtpReqKnown_A	91088385	90242584	0	0
OtpSizeKnown_A	91088385	90242584	0	0
OtpWdataKnown_A	91088385	90242584	0	0
ReadLockPropagation_A	91088385	16300227	0	0
SizeMustBeBlockAligned_A	1118	1118	0	0
TlulGntKnown_A	91088385	90242584	0	0
TlulRdataKnown_A	91088385	90242584	0	0
TlulReadOnReadLock_A	91088385	5732	0	0
TlulRerrorKnown_A	91088385	90242584	0	0
TlulRvalidKnown_A	91088385	90242584	0	0
WriteLockPropagation_A	91088385	1051216	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	91088385	12853908	0	0
u_state_regs_A	91088385	90242584	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	90242584	0	0
T1	13602	13427	0	0
T2	11640	11368	0	0
T3	16395	16147	0	0
T4	37444	36690	0	0
T5	45136	44040	0	0
T6	102177	101355	0	0
T10	25593	25322	0	0
T11	18212	17932	0	0
T12	79294	78617	0	0
T13	82776	82075	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	90242584	0	0
T1	13602	13427	0	0
T2	11640	11368	0	0
T3	16395	16147	0	0
T4	37444	36690	0	0
T5	45136	44040	0	0
T6	102177	101355	0	0
T10	25593	25322	0	0
T11	18212	17932	0	0
T12	79294	78617	0	0
T13	82776	82075	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1118	1118	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	9599	0	0
T2	11640	2591	0	0
T3	16395	0	0	0
T4	37444	0	0	0
T5	45136	0	0	0
T6	102177	0	0	0
T10	25593	0	0	0
T11	18212	0	0	0
T12	79294	0	0	0
T13	82776	0	0	0
T66	11069	0	0	0
T77	0	3618	0	0
T171	0	3390	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	90242584	0	0
T1	13602	13427	0	0
T2	11640	11368	0	0
T3	16395	16147	0	0
T4	37444	36690	0	0
T5	45136	44040	0	0
T6	102177	101355	0	0
T10	25593	25322	0	0
T11	18212	17932	0	0
T12	79294	78617	0	0
T13	82776	82075	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	90242584	0	0
T1	13602	13427	0	0
T2	11640	11368	0	0
T3	16395	16147	0	0
T4	37444	36690	0	0
T5	45136	44040	0	0
T6	102177	101355	0	0
T10	25593	25322	0	0
T11	18212	17932	0	0
T12	79294	78617	0	0
T13	82776	82075	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	90242584	0	0
T1	13602	13427	0	0
T2	11640	11368	0	0
T3	16395	16147	0	0
T4	37444	36690	0	0
T5	45136	44040	0	0
T6	102177	101355	0	0
T10	25593	25322	0	0
T11	18212	17932	0	0
T12	79294	78617	0	0
T13	82776	82075	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	17021170	0	0
T1	13602	3810	0	0
T2	11640	3498	0	0
T3	16395	4026	0	0
T4	37444	1216	0	0
T5	45136	1873	0	0
T6	102177	2049	0	0
T10	25593	12689	0	0
T11	18212	10752	0	0
T12	79294	5509	0	0
T13	82776	1209	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	17021170	0	0
T1	13602	3810	0	0
T2	11640	3498	0	0
T3	16395	4026	0	0
T4	37444	1216	0	0
T5	45136	1873	0	0
T6	102177	2049	0	0
T10	25593	12689	0	0
T11	18212	10752	0	0
T12	79294	5509	0	0
T13	82776	1209	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1118	1118	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	90242584	0	0
T1	13602	13427	0	0
T2	11640	11368	0	0
T3	16395	16147	0	0
T4	37444	36690	0	0
T5	45136	44040	0	0
T6	102177	101355	0	0
T10	25593	25322	0	0
T11	18212	17932	0	0
T12	79294	78617	0	0
T13	82776	82075	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	90242584	0	0
T1	13602	13427	0	0
T2	11640	11368	0	0
T3	16395	16147	0	0
T4	37444	36690	0	0
T5	45136	44040	0	0
T6	102177	101355	0	0
T10	25593	25322	0	0
T11	18212	17932	0	0
T12	79294	78617	0	0
T13	82776	82075	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	28	0	0
T24	13216	0	0	0
T41	13533	0	0	0
T67	9766	1	0	0
T95	26505	0	0	0
T96	51008	0	0	0
T97	13801	1	0	0
T98	707636	0	0	0
T99	58315	0	0	0
T100	8532	0	0	0
T101	11639	0	0	0
T156	0	1	0	0
T220	0	2	0	0
T221	0	1	0	0
T222	0	1	0	0
T223	0	1	0	0
T224	0	1	0	0
T225	0	1	0	0
T226	0	1	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	90242584	0	0
T1	13602	13427	0	0
T2	11640	11368	0	0
T3	16395	16147	0	0
T4	37444	36690	0	0
T5	45136	44040	0	0
T6	102177	101355	0	0
T10	25593	25322	0	0
T11	18212	17932	0	0
T12	79294	78617	0	0
T13	82776	82075	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	90242584	0	0
T1	13602	13427	0	0
T2	11640	11368	0	0
T3	16395	16147	0	0
T4	37444	36690	0	0
T5	45136	44040	0	0
T6	102177	101355	0	0
T10	25593	25322	0	0
T11	18212	17932	0	0
T12	79294	78617	0	0
T13	82776	82075	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	90242584	0	0
T1	13602	13427	0	0
T2	11640	11368	0	0
T3	16395	16147	0	0
T4	37444	36690	0	0
T5	45136	44040	0	0
T6	102177	101355	0	0
T10	25593	25322	0	0
T11	18212	17932	0	0
T12	79294	78617	0	0
T13	82776	82075	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	16300227	0	0
T4	37444	1347	0	0
T5	45136	412	0	0
T6	102177	5787	0	0
T7	0	127038	0	0
T8	0	232707	0	0
T10	25593	19779	0	0
T11	18212	10136	0	0
T12	79294	28515	0	0
T13	82776	22765	0	0
T43	17259	0	0	0
T66	11069	0	0	0
T68	0	34642	0	0
T108	18863	0	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1118	1118	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	90242584	0	0
T1	13602	13427	0	0
T2	11640	11368	0	0
T3	16395	16147	0	0
T4	37444	36690	0	0
T5	45136	44040	0	0
T6	102177	101355	0	0
T10	25593	25322	0	0
T11	18212	17932	0	0
T12	79294	78617	0	0
T13	82776	82075	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	90242584	0	0
T1	13602	13427	0	0
T2	11640	11368	0	0
T3	16395	16147	0	0
T4	37444	36690	0	0
T5	45136	44040	0	0
T6	102177	101355	0	0
T10	25593	25322	0	0
T11	18212	17932	0	0
T12	79294	78617	0	0
T13	82776	82075	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	5732	0	0
T4	37444	1	0	0
T5	45136	0	0	0
T6	102177	0	0	0
T7	0	12	0	0
T8	0	47	0	0
T9	0	16	0	0
T10	25593	1	0	0
T11	18212	8	0	0
T12	79294	9	0	0
T13	82776	5	0	0
T43	17259	0	0	0
T66	11069	0	0	0
T68	0	4	0	0
T108	18863	0	0	0
T166	0	23	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	90242584	0	0
T1	13602	13427	0	0
T2	11640	11368	0	0
T3	16395	16147	0	0
T4	37444	36690	0	0
T5	45136	44040	0	0
T6	102177	101355	0	0
T10	25593	25322	0	0
T11	18212	17932	0	0
T12	79294	78617	0	0
T13	82776	82075	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	90242584	0	0
T1	13602	13427	0	0
T2	11640	11368	0	0
T3	16395	16147	0	0
T4	37444	36690	0	0
T5	45136	44040	0	0
T6	102177	101355	0	0
T10	25593	25322	0	0
T11	18212	17932	0	0
T12	79294	78617	0	0
T13	82776	82075	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	1051216	0	0
T5	45136	477	0	0
T6	102177	19484	0	0
T7	365646	0	0	0
T11	18212	0	0	0
T12	79294	0	0	0
T13	82776	0	0	0
T15	0	25106	0	0
T43	17259	0	0	0
T66	11069	0	0	0
T99	0	8871	0	0
T106	0	18802	0	0
T108	18863	0	0	0
T120	0	24552	0	0
T125	0	8131	0	0
T128	0	11671	0	0
T130	0	2965	0	0
T143	0	29767	0	0
T177	7983	0	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	12853908	0	0
T5	45136	28066	0	0
T6	102177	89381	0	0
T7	365646	0	0	0
T11	18212	0	0	0
T12	79294	0	0	0
T13	82776	64622	0	0
T15	0	209234	0	0
T43	17259	10248	0	0
T66	11069	0	0	0
T67	0	2658	0	0
T97	0	2946	0	0
T98	0	41729	0	0
T99	0	47038	0	0
T103	0	82510	0	0
T108	18863	0	0	0
T177	7983	0	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	91088385	90242584	0	0
T1	13602	13427	0	0
T2	11640	11368	0	0
T3	16395	16147	0	0
T4	37444	36690	0	0
T5	45136	44040	0	0
T6	102177	101355	0	0
T10	25593	25322	0	0
T11	18212	17932	0	0
T12	79294	78617	0	0
T13	82776	82075	0	0