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.99	98.05	96.15	97.16		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.99	98.05	96.15	97.16		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,T46,T67

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

-1-	Status	Tests
0	Covered	T1,T2,T7
1	Covered	T11,T98,T33

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

-1-	Status	Tests
0	Covered	T1,T3,T7
1	Covered	T16,T17,T18

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

-1-	Status	Tests
0	Covered	T161,T163,T176
1	Covered	T161,T163,T176

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

---

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

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T1,T3,T7
IdleSt->ReadSt	236	Covered	T1,T2,T7
InitSt->ErrorSt	315	Covered	T9,T108,T195
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T8,T97,T100
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T2,T5,T11
ReadSt->ReadWaitSt	252	Covered	T1,T2,T7
ReadWaitSt->ErrorSt	276	Covered	T86,T178,T170
ReadWaitSt->IdleSt	270	Covered	T1,T2,T7
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	T2,T5,T11
CheckFailError	317	Covered	T161,T163,T176
FsmStateError	289	Covered	T1,T3,T7
MacroEccCorrError	221	Covered	T11,T98,T33
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded		VC_COV_UNR
AccessError->FsmStateError	325	Covered	T5,T6,T216
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T2,T5,T11
CheckFailError->AccessError	256	Excluded		VC_COV_UNR
CheckFailError->FsmStateError	325	Excluded		VC_COV_UNR
CheckFailError->MacroEccCorrError	221	Excluded		VC_COV_UNR
CheckFailError->NoError	235	Covered	T161,T163,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	T1,T3,T7
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T98,T66,T172
MacroEccCorrError->NoError	235	Covered	T11,T33,T62
NoError->AccessError	256	Covered	T2,T5,T11
NoError->CheckFailError	317	Covered	T161,T163,T176
NoError->FsmStateError	289	Covered	T1,T3,T7
NoError->MacroEccCorrError	221	Covered	T11,T98,T33

---

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

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

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

-1-	Status	Tests
1	Covered	T2,T8,T11
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,T46,T67
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T8,T217,T218
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T7
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T2,T7
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T91,T102,T13
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T2,T5,T11
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T11,T98,T33
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T2,T7
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T86,T178,T170
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T2,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T16,T17,T18
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T3,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T3,T4,T11
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T3,T4,T11
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T3,T7
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T16,T17,T18

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T161,T163,T176
1	0	Covered	T161,T163,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	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,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	464973092	464088968	0	0
DigestKnown_A	464973092	464088968	0	0
DigestOffsetMustBeRepresentable_A	1148	1148	0	0
EccErrorState_A	464973092	8768	0	0
ErrorKnown_A	464973092	464088968	0	0
FsmStateKnown_A	464973092	464088968	0	0
InitDoneKnown_A	464973092	464088968	0	0
InitReadLocksPartition_A	464973092	98353993	0	0
InitWriteLocksPartition_A	464973092	98353993	0	0
OffsetMustBeBlockAligned_A	1148	1148	0	0
OtpAddrKnown_A	464973092	464088968	0	0
OtpCmdKnown_A	464973092	464088968	0	0
OtpErrorState_A	464973092	61	0	0
OtpReqKnown_A	464973092	464088968	0	0
OtpSizeKnown_A	464973092	464088968	0	0
OtpWdataKnown_A	464973092	464088968	0	0
ReadLockPropagation_A	464973092	204343914	0	0
SizeMustBeBlockAligned_A	1148	1148	0	0
TlulGntKnown_A	464973092	464088968	0	0
TlulRdataKnown_A	464973092	464088968	0	0
TlulReadOnReadLock_A	464973092	8295	0	0
TlulRerrorKnown_A	464973092	464088968	0	0
TlulRvalidKnown_A	464973092	464088968	0	0
WriteLockPropagation_A	464973092	2165094	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	464973092	26295850	0	0
u_state_regs_A	464973092	464088968	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	464088968	0	0
T1	14028	13772	0	0
T2	163780	163201	0	0
T3	93953	92372	0	0
T4	161903	161672	0	0
T5	288963	288952	0	0
T7	11814	11555	0	0
T8	9939	9709	0	0
T9	12719	12415	0	0
T10	21338	21056	0	0
T11	103266	102317	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	464088968	0	0
T1	14028	13772	0	0
T2	163780	163201	0	0
T3	93953	92372	0	0
T4	161903	161672	0	0
T5	288963	288952	0	0
T7	11814	11555	0	0
T8	9939	9709	0	0
T9	12719	12415	0	0
T10	21338	21056	0	0
T11	103266	102317	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1148	1148	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	8768	0	0
T161	10847	2876	0	0
T163	0	3739	0	0
T176	0	2153	0	0
T179	15188	0	0	0
T180	15350	0	0	0
T181	9714	0	0	0
T182	14454	0	0	0
T183	22529	0	0	0
T184	41362	0	0	0
T185	10664	0	0	0
T186	192541	0	0	0
T187	93277	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	464088968	0	0
T1	14028	13772	0	0
T2	163780	163201	0	0
T3	93953	92372	0	0
T4	161903	161672	0	0
T5	288963	288952	0	0
T7	11814	11555	0	0
T8	9939	9709	0	0
T9	12719	12415	0	0
T10	21338	21056	0	0
T11	103266	102317	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	464088968	0	0
T1	14028	13772	0	0
T2	163780	163201	0	0
T3	93953	92372	0	0
T4	161903	161672	0	0
T5	288963	288952	0	0
T7	11814	11555	0	0
T8	9939	9709	0	0
T9	12719	12415	0	0
T10	21338	21056	0	0
T11	103266	102317	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	464088968	0	0
T1	14028	13772	0	0
T2	163780	163201	0	0
T3	93953	92372	0	0
T4	161903	161672	0	0
T5	288963	288952	0	0
T7	11814	11555	0	0
T8	9939	9709	0	0
T9	12719	12415	0	0
T10	21338	21056	0	0
T11	103266	102317	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	98353993	0	0
T1	14028	3166	0	0
T2	163780	8622	0	0
T3	93953	23133	0	0
T4	161903	131336	0	0
T5	288963	724122	0	0
T7	11814	4777	0	0
T8	9939	4320	0	0
T9	12719	3222	0	0
T10	21338	383	0	0
T11	103266	20319	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	98353993	0	0
T1	14028	3166	0	0
T2	163780	8622	0	0
T3	93953	23133	0	0
T4	161903	131336	0	0
T5	288963	724122	0	0
T7	11814	4777	0	0
T8	9939	4320	0	0
T9	12719	3222	0	0
T10	21338	383	0	0
T11	103266	20319	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1148	1148	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	464088968	0	0
T1	14028	13772	0	0
T2	163780	163201	0	0
T3	93953	92372	0	0
T4	161903	161672	0	0
T5	288963	288952	0	0
T7	11814	11555	0	0
T8	9939	9709	0	0
T9	12719	12415	0	0
T10	21338	21056	0	0
T11	103266	102317	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	464088968	0	0
T1	14028	13772	0	0
T2	163780	163201	0	0
T3	93953	92372	0	0
T4	161903	161672	0	0
T5	288963	288952	0	0
T7	11814	11555	0	0
T8	9939	9709	0	0
T9	12719	12415	0	0
T10	21338	21056	0	0
T11	103266	102317	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	61	0	0
T4	161903	0	0	0
T5	288963	0	0	0
T8	9939	1	0	0
T9	12719	0	0	0
T10	21338	0	0	0
T11	103266	0	0	0
T32	99217	0	0	0
T65	14765	0	0	0
T86	0	1	0	0
T97	11679	0	0	0
T98	104450	0	0	0
T170	0	1	0	0
T178	0	1	0	0
T217	0	1	0	0
T218	0	1	0	0
T219	0	1	0	0
T220	0	1	0	0
T221	0	1	0	0
T222	0	1	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	464088968	0	0
T1	14028	13772	0	0
T2	163780	163201	0	0
T3	93953	92372	0	0
T4	161903	161672	0	0
T5	288963	288952	0	0
T7	11814	11555	0	0
T8	9939	9709	0	0
T9	12719	12415	0	0
T10	21338	21056	0	0
T11	103266	102317	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	464088968	0	0
T1	14028	13772	0	0
T2	163780	163201	0	0
T3	93953	92372	0	0
T4	161903	161672	0	0
T5	288963	288952	0	0
T7	11814	11555	0	0
T8	9939	9709	0	0
T9	12719	12415	0	0
T10	21338	21056	0	0
T11	103266	102317	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	464088968	0	0
T1	14028	13772	0	0
T2	163780	163201	0	0
T3	93953	92372	0	0
T4	161903	161672	0	0
T5	288963	288952	0	0
T7	11814	11555	0	0
T8	9939	9709	0	0
T9	12719	12415	0	0
T10	21338	21056	0	0
T11	103266	102317	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	204343914	0	0
T2	163780	14039	0	0
T3	93953	4432	0	0
T4	161903	131850	0	0
T5	288963	205272	0	0
T6	0	182335	0	0
T7	11814	0	0	0
T8	9939	0	0	0
T9	12719	0	0	0
T10	21338	0	0	0
T11	103266	17304	0	0
T12	0	872127	0	0
T32	0	23499	0	0
T97	11679	0	0	0
T98	0	8798	0	0
T108	0	3101	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1148	1148	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	464088968	0	0
T1	14028	13772	0	0
T2	163780	163201	0	0
T3	93953	92372	0	0
T4	161903	161672	0	0
T5	288963	288952	0	0
T7	11814	11555	0	0
T8	9939	9709	0	0
T9	12719	12415	0	0
T10	21338	21056	0	0
T11	103266	102317	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	464088968	0	0
T1	14028	13772	0	0
T2	163780	163201	0	0
T3	93953	92372	0	0
T4	161903	161672	0	0
T5	288963	288952	0	0
T7	11814	11555	0	0
T8	9939	9709	0	0
T9	12719	12415	0	0
T10	21338	21056	0	0
T11	103266	102317	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	8295	0	0
T2	163780	2	0	0
T3	93953	16	0	0
T4	161903	21	0	0
T5	288963	33	0	0
T6	0	24	0	0
T7	11814	0	0	0
T8	9939	0	0	0
T9	12719	0	0	0
T10	21338	0	0	0
T11	103266	10	0	0
T12	0	16	0	0
T32	0	5	0	0
T97	11679	0	0	0
T98	0	15	0	0
T108	0	5	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	464088968	0	0
T1	14028	13772	0	0
T2	163780	163201	0	0
T3	93953	92372	0	0
T4	161903	161672	0	0
T5	288963	288952	0	0
T7	11814	11555	0	0
T8	9939	9709	0	0
T9	12719	12415	0	0
T10	21338	21056	0	0
T11	103266	102317	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	464088968	0	0
T1	14028	13772	0	0
T2	163780	163201	0	0
T3	93953	92372	0	0
T4	161903	161672	0	0
T5	288963	288952	0	0
T7	11814	11555	0	0
T8	9939	9709	0	0
T9	12719	12415	0	0
T10	21338	21056	0	0
T11	103266	102317	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	2165094	0	0
T6	407721	0	0	0
T12	276544	0	0	0
T23	0	1745	0	0
T32	99217	29151	0	0
T33	0	11202	0	0
T48	14166	0	0	0
T63	0	11165	0	0
T65	14765	0	0	0
T76	0	5446	0	0
T94	0	53199	0	0
T95	0	12808	0	0
T98	104450	0	0	0
T99	28484	0	0	0
T100	13719	0	0	0
T101	0	4102	0	0
T103	0	12246	0	0
T108	16535	0	0	0
T117	11117	0	0	0
T133	0	9783	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	26295850	0	0
T2	163780	115831	0	0
T3	93953	0	0	0
T4	161903	0	0	0
T5	288963	0	0	0
T7	11814	0	0	0
T8	9939	3102	0	0
T9	12719	0	0	0
T10	21338	0	0	0
T11	103266	84625	0	0
T23	0	51852	0	0
T24	0	60000	0	0
T32	0	82356	0	0
T97	11679	0	0	0
T98	0	3245	0	0
T99	0	7050	0	0
T101	0	56609	0	0
T108	0	2878	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	464088968	0	0
T1	14028	13772	0	0
T2	163780	163201	0	0
T3	93953	92372	0	0
T4	161903	161672	0	0
T5	288963	288952	0	0
T7	11814	11555	0	0
T8	9939	9709	0	0
T9	12719	12415	0	0
T10	21338	21056	0	0
T11	103266	102317	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	T67,T119,T22

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

-1-	Status	Tests
0	Covered	T1,T2,T7
1	Covered	T11,T98,T33

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

-1-	Status	Tests
0	Covered	T1,T3,T7
1	Covered	T16,T17,T18

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

-1-	Status	Tests
0	Covered	T176
1	Covered	T176

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T65,T24,T101

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T65,T24,T101

---

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

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T1,T3,T7
IdleSt->ReadSt	236	Covered	T1,T2,T7
InitSt->ErrorSt	315	Covered	T9,T97,T100
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T8,T65,T66
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T2,T4,T5
ReadSt->ReadWaitSt	252	Covered	T1,T2,T7
ReadWaitSt->ErrorSt	276	Covered	T98,T223,T224
ReadWaitSt->IdleSt	270	Covered	T1,T2,T7
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	T2,T4,T5
CheckFailError	317	Covered	T176
FsmStateError	289	Covered	T1,T3,T7
MacroEccCorrError	221	Covered	T11,T98,T33
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded		VC_COV_UNR
AccessError->FsmStateError	325	Covered	T4,T5,T6
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T2,T4,T5
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	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	T1,T3,T7
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T98,T67,T225
MacroEccCorrError->NoError	235	Covered	T11,T33,T62
NoError->AccessError	256	Covered	T2,T4,T5
NoError->CheckFailError	317	Covered	T176
NoError->FsmStateError	289	Covered	T1,T3,T7
NoError->MacroEccCorrError	221	Covered	T11,T98,T33

---

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

-1-	Status	Tests
1	Covered	T65,T24,T101
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,T119,T22
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T65,T66,T177
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T7
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T2,T7
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T6,T91,T102
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T2,T4,T5
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T11,T98,T33
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T2,T7
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T98,T223,T224
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T2,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T16,T17,T18
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T3,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T3,T4,T11
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T3,T4,T11
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T3,T7
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T16,T17,T18

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T176
1	0	Covered	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	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,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	464973092	464088968	0	0
DigestKnown_A	464973092	464088968	0	0
DigestOffsetMustBeRepresentable_A	1148	1148	0	0
EccErrorState_A	464973092	2153	0	0
ErrorKnown_A	464973092	464088968	0	0
FsmStateKnown_A	464973092	464088968	0	0
InitDoneKnown_A	464973092	464088968	0	0
InitReadLocksPartition_A	464973092	98537237	0	0
InitWriteLocksPartition_A	464973092	98537237	0	0
OffsetMustBeBlockAligned_A	1148	1148	0	0
OtpAddrKnown_A	464973092	464088968	0	0
OtpCmdKnown_A	464973092	464088968	0	0
OtpErrorState_A	464973092	35	0	0
OtpReqKnown_A	464973092	464088968	0	0
OtpSizeKnown_A	464973092	464088968	0	0
OtpWdataKnown_A	464973092	464088968	0	0
ReadLockPropagation_A	464973092	197694997	0	0
SizeMustBeBlockAligned_A	1148	1148	0	0
TlulGntKnown_A	464973092	464088968	0	0
TlulRdataKnown_A	464973092	464088968	0	0
TlulReadOnReadLock_A	464973092	7987	0	0
TlulRerrorKnown_A	464973092	464088968	0	0
TlulRvalidKnown_A	464973092	464088968	0	0
WriteLockPropagation_A	464973092	996769	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	464973092	11311385	0	0
u_state_regs_A	464973092	464088968	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	464088968	0	0
T1	14028	13772	0	0
T2	163780	163201	0	0
T3	93953	92372	0	0
T4	161903	161672	0	0
T5	288963	288952	0	0
T7	11814	11555	0	0
T8	9939	9709	0	0
T9	12719	12415	0	0
T10	21338	21056	0	0
T11	103266	102317	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	464088968	0	0
T1	14028	13772	0	0
T2	163780	163201	0	0
T3	93953	92372	0	0
T4	161903	161672	0	0
T5	288963	288952	0	0
T7	11814	11555	0	0
T8	9939	9709	0	0
T9	12719	12415	0	0
T10	21338	21056	0	0
T11	103266	102317	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1148	1148	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	2153	0	0
T176	14127	2153	0	0
T226	89162	0	0	0
T227	29742	0	0	0
T228	50271	0	0	0
T229	14275	0	0	0
T230	20071	0	0	0
T231	9808	0	0	0
T232	997236	0	0	0
T233	510207	0	0	0
T234	14627	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	464088968	0	0
T1	14028	13772	0	0
T2	163780	163201	0	0
T3	93953	92372	0	0
T4	161903	161672	0	0
T5	288963	288952	0	0
T7	11814	11555	0	0
T8	9939	9709	0	0
T9	12719	12415	0	0
T10	21338	21056	0	0
T11	103266	102317	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	464088968	0	0
T1	14028	13772	0	0
T2	163780	163201	0	0
T3	93953	92372	0	0
T4	161903	161672	0	0
T5	288963	288952	0	0
T7	11814	11555	0	0
T8	9939	9709	0	0
T9	12719	12415	0	0
T10	21338	21056	0	0
T11	103266	102317	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	464088968	0	0
T1	14028	13772	0	0
T2	163780	163201	0	0
T3	93953	92372	0	0
T4	161903	161672	0	0
T5	288963	288952	0	0
T7	11814	11555	0	0
T8	9939	9709	0	0
T9	12719	12415	0	0
T10	21338	21056	0	0
T11	103266	102317	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	98537237	0	0
T1	14028	3217	0	0
T2	163780	8724	0	0
T3	93953	23524	0	0
T4	161903	131387	0	0
T5	288963	724224	0	0
T7	11814	4828	0	0
T8	9939	4337	0	0
T9	12719	3239	0	0
T10	21338	451	0	0
T11	103266	20557	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	98537237	0	0
T1	14028	3217	0	0
T2	163780	8724	0	0
T3	93953	23524	0	0
T4	161903	131387	0	0
T5	288963	724224	0	0
T7	11814	4828	0	0
T8	9939	4337	0	0
T9	12719	3239	0	0
T10	21338	451	0	0
T11	103266	20557	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1148	1148	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	464088968	0	0
T1	14028	13772	0	0
T2	163780	163201	0	0
T3	93953	92372	0	0
T4	161903	161672	0	0
T5	288963	288952	0	0
T7	11814	11555	0	0
T8	9939	9709	0	0
T9	12719	12415	0	0
T10	21338	21056	0	0
T11	103266	102317	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	464088968	0	0
T1	14028	13772	0	0
T2	163780	163201	0	0
T3	93953	92372	0	0
T4	161903	161672	0	0
T5	288963	288952	0	0
T7	11814	11555	0	0
T8	9939	9709	0	0
T9	12719	12415	0	0
T10	21338	21056	0	0
T11	103266	102317	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	35	0	0
T6	407721	0	0	0
T12	276544	0	0	0
T48	14166	0	0	0
T65	14765	1	0	0
T66	0	1	0	0
T98	104450	1	0	0
T99	28484	0	0	0
T100	13719	0	0	0
T108	16535	0	0	0
T117	11117	0	0	0
T167	20113	0	0	0
T177	0	1	0	0
T223	0	1	0	0
T224	0	1	0	0
T235	0	1	0	0
T236	0	1	0	0
T237	0	1	0	0
T238	0	1	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	464088968	0	0
T1	14028	13772	0	0
T2	163780	163201	0	0
T3	93953	92372	0	0
T4	161903	161672	0	0
T5	288963	288952	0	0
T7	11814	11555	0	0
T8	9939	9709	0	0
T9	12719	12415	0	0
T10	21338	21056	0	0
T11	103266	102317	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	464088968	0	0
T1	14028	13772	0	0
T2	163780	163201	0	0
T3	93953	92372	0	0
T4	161903	161672	0	0
T5	288963	288952	0	0
T7	11814	11555	0	0
T8	9939	9709	0	0
T9	12719	12415	0	0
T10	21338	21056	0	0
T11	103266	102317	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	464088968	0	0
T1	14028	13772	0	0
T2	163780	163201	0	0
T3	93953	92372	0	0
T4	161903	161672	0	0
T5	288963	288952	0	0
T7	11814	11555	0	0
T8	9939	9709	0	0
T9	12719	12415	0	0
T10	21338	21056	0	0
T11	103266	102317	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	197694997	0	0
T2	163780	10677	0	0
T3	93953	2530	0	0
T4	161903	145677	0	0
T5	288963	205107	0	0
T6	0	193937	0	0
T7	11814	0	0	0
T8	9939	0	0	0
T9	12719	0	0	0
T10	21338	0	0	0
T11	103266	23296	0	0
T12	0	525248	0	0
T32	0	28275	0	0
T97	11679	0	0	0
T99	0	633	0	0
T108	0	1466	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1148	1148	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	464088968	0	0
T1	14028	13772	0	0
T2	163780	163201	0	0
T3	93953	92372	0	0
T4	161903	161672	0	0
T5	288963	288952	0	0
T7	11814	11555	0	0
T8	9939	9709	0	0
T9	12719	12415	0	0
T10	21338	21056	0	0
T11	103266	102317	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	464088968	0	0
T1	14028	13772	0	0
T2	163780	163201	0	0
T3	93953	92372	0	0
T4	161903	161672	0	0
T5	288963	288952	0	0
T7	11814	11555	0	0
T8	9939	9709	0	0
T9	12719	12415	0	0
T10	21338	21056	0	0
T11	103266	102317	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	7987	0	0
T2	163780	1	0	0
T3	93953	20	0	0
T4	161903	18	0	0
T5	288963	36	0	0
T6	0	36	0	0
T7	11814	0	0	0
T8	9939	0	0	0
T9	12719	0	0	0
T10	21338	0	0	0
T11	103266	5	0	0
T12	0	17	0	0
T32	0	10	0	0
T97	11679	0	0	0
T98	0	11	0	0
T108	0	4	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	464088968	0	0
T1	14028	13772	0	0
T2	163780	163201	0	0
T3	93953	92372	0	0
T4	161903	161672	0	0
T5	288963	288952	0	0
T7	11814	11555	0	0
T8	9939	9709	0	0
T9	12719	12415	0	0
T10	21338	21056	0	0
T11	103266	102317	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	464088968	0	0
T1	14028	13772	0	0
T2	163780	163201	0	0
T3	93953	92372	0	0
T4	161903	161672	0	0
T5	288963	288952	0	0
T7	11814	11555	0	0
T8	9939	9709	0	0
T9	12719	12415	0	0
T10	21338	21056	0	0
T11	103266	102317	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	996769	0	0
T24	88965	18565	0	0
T33	120302	0	0	0
T63	0	4653	0	0
T66	14291	0	0	0
T91	272392	0	0	0
T92	0	9889	0	0
T94	0	1539	0	0
T101	68861	2401	0	0
T105	21966	0	0	0
T106	8164	0	0	0
T107	15297	0	0	0
T129	0	14781	0	0
T130	0	104567	0	0
T168	8065	0	0	0
T195	13031	0	0	0
T208	0	11191	0	0
T239	0	2006	0	0
T240	0	2715	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	11311385	0	0
T6	407721	0	0	0
T12	276544	0	0	0
T23	71359	0	0	0
T24	0	73246	0	0
T33	0	96774	0	0
T48	14166	0	0	0
T63	0	21628	0	0
T65	14765	3605	0	0
T66	0	3530	0	0
T91	0	3157	0	0
T92	0	125020	0	0
T94	0	26391	0	0
T99	28484	0	0	0
T100	13719	0	0	0
T101	0	56405	0	0
T108	16535	0	0	0
T117	11117	0	0	0
T167	20113	0	0	0
T210	0	7575	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	464973092	464088968	0	0
T1	14028	13772	0	0
T2	163780	163201	0	0
T3	93953	92372	0	0
T4	161903	161672	0	0
T5	288963	288952	0	0
T7	11814	11555	0	0
T8	9939	9709	0	0
T9	12719	12415	0	0
T10	21338	21056	0	0
T11	103266	102317	0	0