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.85	97.40	96.15	97.10		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.85	97.40	96.15	97.10		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,T41,T83

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

-1-	Status	Tests
0	Covered	T1,T2,T9
1	Covered	T138,T35,T70

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

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

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

-1-	Status	Tests
0	Covered	T73,T177,T178
1	Covered	T73,T177,T178

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

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

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

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

 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,T9
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,T9
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,T10

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T5,T6,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,T9
ReadWaitSt	252	Covered	T1,T2,T9
ResetSt	190	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T2,T3,T9
IdleSt->ReadSt	236	Covered	T1,T2,T9
InitSt->ErrorSt	315	Covered	T65,T111,T184
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T1,T129,T213
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T4,T6,T10
ReadSt->ReadWaitSt	252	Covered	T1,T2,T9
ReadWaitSt->ErrorSt	276	Covered	T197,T214,T204
ReadWaitSt->IdleSt	270	Covered	T1,T2,T9
ResetSt->ErrorSt	315	Covered	T73,T74,T75
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,T6,T10
CheckFailError	317	Covered	T73,T177,T178
FsmStateError	289	Covered	T1,T2,T3
MacroEccCorrError	221	Covered	T66,T138,T41
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,T7,T8
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T4,T6,T10
CheckFailError->AccessError	256	Excluded		VC_COV_UNR
CheckFailError->FsmStateError	325	Excluded		VC_COV_UNR
CheckFailError->MacroEccCorrError	221	Excluded		VC_COV_UNR
CheckFailError->NoError	235	Covered	T73,T177,T178
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,T3
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T66,T138,T41
MacroEccCorrError->NoError	235	Covered	T35,T70,T180
NoError->AccessError	256	Covered	T4,T6,T10
NoError->CheckFailError	317	Covered	T73,T177,T178
NoError->FsmStateError	289	Covered	T1,T2,T3
NoError->MacroEccCorrError	221	Covered	T66,T138,T41

---

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

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

Branches:

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

	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,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	T66,T41,T83
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T129,T213,T215
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T9
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T2,T9
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T15,T181,T216
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T4,T6,T10
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T138,T35,T70
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T2,T9
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T197,T214,T204
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T2,T9
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T19,T20,T21
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T3,T11,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T3,T11,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T3
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T19,T20,T21

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T73,T177,T178
1	0	Covered	T73,T177,T178
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,T3
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	478900632	478052342	0	0
DigestKnown_A	478900632	478052342	0	0
DigestOffsetMustBeRepresentable_A	1151	1151	0	0
EccErrorState_A	478900632	11193	0	0
ErrorKnown_A	478900632	478052342	0	0
FsmStateKnown_A	478900632	478052342	0	0
InitDoneKnown_A	478900632	478052342	0	0
InitReadLocksPartition_A	478900632	107339057	0	0
InitWriteLocksPartition_A	478900632	107339057	0	0
OffsetMustBeBlockAligned_A	1151	1151	0	0
OtpAddrKnown_A	478900632	478052342	0	0
OtpCmdKnown_A	478900632	478052342	0	0
OtpErrorState_A	478900632	47	0	0
OtpReqKnown_A	478900632	478052342	0	0
OtpSizeKnown_A	478900632	478052342	0	0
OtpWdataKnown_A	478900632	478052342	0	0
ReadLockPropagation_A	478900632	192727024	0	0
SizeMustBeBlockAligned_A	1151	1151	0	0
TlulGntKnown_A	478900632	478052342	0	0
TlulRdataKnown_A	478900632	478052342	0	0
TlulReadOnReadLock_A	478900632	8159	0	0
TlulRerrorKnown_A	478900632	478052342	0	0
TlulRvalidKnown_A	478900632	478052342	0	0
WriteLockPropagation_A	478900632	2856368	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	478900632	30030679	0	0
u_state_regs_A	478900632	478052342	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

DigestOffsetMustBeRepresentable_A

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

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	11193	0	0
T34	87132	0	0	0
T49	34538	0	0	0
T73	14062	2508	0	0
T104	402598	0	0	0
T115	8189	0	0	0
T116	142685	0	0	0
T117	10884	0	0	0
T119	36622	0	0	0
T177	0	3358	0	0
T178	0	3075	0	0
T179	0	2252	0	0
T183	7141	0	0	0
T184	11488	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	107339057	0	0
T1	14015	4816	0	0
T2	16947	5042	0	0
T3	61942	55629	0	0
T4	280607	123469	0	0
T5	70923	19430	0	0
T6	103716	1550	0	0
T9	13289	2869	0	0
T10	48953	983	0	0
T11	49957	12652	0	0
T12	18520	3804	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	107339057	0	0
T1	14015	4816	0	0
T2	16947	5042	0	0
T3	61942	55629	0	0
T4	280607	123469	0	0
T5	70923	19430	0	0
T6	103716	1550	0	0
T9	13289	2869	0	0
T10	48953	983	0	0
T11	49957	12652	0	0
T12	18520	3804	0	0

OffsetMustBeBlockAligned_A

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

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	47	0	0
T13	19346	0	0	0
T14	882978	0	0	0
T16	828476	0	0	0
T45	11035	0	0	0
T98	0	1	0	0
T105	86233	0	0	0
T120	10586	0	0	0
T129	12441	1	0	0
T130	22014	0	0	0
T213	0	1	0	0
T215	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
T223	42561	0	0	0
T224	5606	0	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	192727024	0	0
T4	280607	277544	0	0
T5	70923	6355	0	0
T6	103716	38828	0	0
T7	556173	368657	0	0
T8	0	741123	0	0
T10	48953	9816	0	0
T11	49957	3895	0	0
T12	18520	0	0	0
T33	40418	10586	0	0
T49	0	3184	0	0
T65	12967	0	0	0
T111	8574	0	0	0
T112	0	26567	0	0

SizeMustBeBlockAligned_A

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

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	8159	0	0
T3	61942	9	0	0
T4	280607	8	0	0
T5	70923	0	0	0
T6	103716	8	0	0
T7	0	60	0	0
T9	13289	0	0	0
T10	48953	10	0	0
T11	49957	3	0	0
T12	18520	0	0	0
T33	0	4	0	0
T65	12967	0	0	0
T111	8574	0	0	0
T112	0	7	0	0
T138	0	6	0	0
T139	0	9	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	2856368	0	0
T6	103716	6677	0	0
T7	556173	0	0	0
T10	48953	2756	0	0
T11	49957	0	0	0
T12	18520	0	0	0
T15	0	47706	0	0
T33	40418	2802	0	0
T34	0	13186	0	0
T65	12967	0	0	0
T66	14397	0	0	0
T105	0	4530	0	0
T106	0	11489	0	0
T108	0	106753	0	0
T110	0	9517	0	0
T111	8574	0	0	0
T112	34213	0	0	0
T123	0	23122	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	30030679	0	0
T5	70923	38927	0	0
T6	103716	89227	0	0
T7	556173	0	0	0
T10	48953	38928	0	0
T11	49957	0	0	0
T12	18520	0	0	0
T33	40418	27583	0	0
T34	0	74582	0	0
T49	0	21552	0	0
T65	12967	0	0	0
T105	0	58626	0	0
T111	8574	0	0	0
T112	34213	0	0	0
T117	0	4019	0	0
T129	0	3537	0	0
T138	0	19227	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	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,T83,T55

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

-1-	Status	Tests
0	Covered	T1,T2,T9
1	Covered	T11,T138,T139

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

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

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

-1-	Status	Tests
0	Covered	T168,T177,T178
1	Covered	T168,T177,T178

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

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

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

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

 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,T9
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,T9
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	T6,T33,T66

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

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

---

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

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T2,T3,T9
IdleSt->ReadSt	236	Covered	T1,T2,T9
InitSt->ErrorSt	315	Covered	T1,T65,T111
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T66,T124,T129
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T4,T6,T10
ReadSt->ReadWaitSt	252	Covered	T1,T2,T9
ReadWaitSt->ErrorSt	276	Covered	T139,T109,T211
ReadWaitSt->IdleSt	270	Covered	T1,T2,T9
ResetSt->ErrorSt	315	Covered	T73,T74,T75
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,T6,T10
CheckFailError	317	Covered	T168,T177,T178
FsmStateError	289	Covered	T1,T2,T3
MacroEccCorrError	221	Covered	T11,T138,T139
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,T8,T16
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T4,T6,T10
CheckFailError->AccessError	256	Excluded		VC_COV_UNR
CheckFailError->FsmStateError	325	Excluded		VC_COV_UNR
CheckFailError->MacroEccCorrError	221	Excluded		VC_COV_UNR
CheckFailError->NoError	235	Covered	T168,T177,T178
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,T3
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T138,T139,T41
MacroEccCorrError->NoError	235	Covered	T11,T176,T70
NoError->AccessError	256	Covered	T4,T6,T10
NoError->CheckFailError	317	Covered	T168,T177,T178
NoError->FsmStateError	289	Covered	T1,T2,T3
NoError->MacroEccCorrError	221	Covered	T11,T138,T139

---

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

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

Branches:

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

	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	T6,T33,T66
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,T83,T55
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T66,T124,T103
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T9
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T2,T9
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T14,T106,T15
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T4,T6,T10
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T11,T138,T139
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T2,T9
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T139,T109,T211
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T2,T9
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T19,T20,T21
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T3,T11,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T3,T11,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T3
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T19,T20,T21

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T168,T177,T178
1	0	Covered	T168,T177,T178
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,T3
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	478900632	478052342	0	0
DigestKnown_A	478900632	478052342	0	0
DigestOffsetMustBeRepresentable_A	1151	1151	0	0
EccErrorState_A	478900632	10476	0	0
ErrorKnown_A	478900632	478052342	0	0
FsmStateKnown_A	478900632	478052342	0	0
InitDoneKnown_A	478900632	478052342	0	0
InitReadLocksPartition_A	478900632	107516162	0	0
InitWriteLocksPartition_A	478900632	107516162	0	0
OffsetMustBeBlockAligned_A	1151	1151	0	0
OtpAddrKnown_A	478900632	478052342	0	0
OtpCmdKnown_A	478900632	478052342	0	0
OtpErrorState_A	478900632	46	0	0
OtpReqKnown_A	478900632	478052342	0	0
OtpSizeKnown_A	478900632	478052342	0	0
OtpWdataKnown_A	478900632	478052342	0	0
ReadLockPropagation_A	478900632	192243905	0	0
SizeMustBeBlockAligned_A	1151	1151	0	0
TlulGntKnown_A	478900632	478052342	0	0
TlulRdataKnown_A	478900632	478052342	0	0
TlulReadOnReadLock_A	478900632	7809	0	0
TlulRerrorKnown_A	478900632	478052342	0	0
TlulRvalidKnown_A	478900632	478052342	0	0
WriteLockPropagation_A	478900632	1623622	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	478900632	14467769	0	0
u_state_regs_A	478900632	478052342	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

DigestOffsetMustBeRepresentable_A

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

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	10476	0	0
T144	708477	0	0	0
T168	14523	4043	0	0
T177	0	3358	0	0
T178	0	3075	0	0
T185	460663	0	0	0
T186	69880	0	0	0
T187	26119	0	0	0
T188	46808	0	0	0
T189	9901	0	0	0
T190	148307	0	0	0
T191	28365	0	0	0
T192	67191	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	107516162	0	0
T1	14015	4833	0	0
T2	16947	5093	0	0
T3	61942	55663	0	0
T4	280607	123480	0	0
T5	70923	19600	0	0
T6	103716	1788	0	0
T9	13289	2920	0	0
T10	48953	1136	0	0
T11	49957	12805	0	0
T12	18520	3889	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	107516162	0	0
T1	14015	4833	0	0
T2	16947	5093	0	0
T3	61942	55663	0	0
T4	280607	123480	0	0
T5	70923	19600	0	0
T6	103716	1788	0	0
T9	13289	2920	0	0
T10	48953	1136	0	0
T11	49957	12805	0	0
T12	18520	3889	0	0

OffsetMustBeBlockAligned_A

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

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	46	0	0
T8	618584	0	0	0
T41	13574	0	0	0
T44	14979	0	0	0
T66	14397	1	0	0
T73	14062	0	0	0
T103	0	1	0	0
T109	0	1	0	0
T118	23425	0	0	0
T124	13800	1	0	0
T138	58573	0	0	0
T139	145079	1	0	0
T140	9844	0	0	0
T211	0	1	0	0
T225	0	1	0	0
T226	0	1	0	0
T227	0	1	0	0
T228	0	1	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	192243905	0	0
T4	280607	277670	0	0
T5	70923	0	0	0
T6	103716	41501	0	0
T7	556173	341607	0	0
T8	0	741151	0	0
T10	48953	11579	0	0
T11	49957	4133	0	0
T12	18520	0	0	0
T33	40418	10831	0	0
T49	0	8772	0	0
T65	12967	0	0	0
T111	8574	0	0	0
T112	0	26603	0	0
T139	0	6691	0	0

SizeMustBeBlockAligned_A

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

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	7809	0	0
T3	61942	7	0	0
T4	280607	5	0	0
T5	70923	0	0	0
T6	103716	9	0	0
T7	0	63	0	0
T9	13289	0	0	0
T10	48953	7	0	0
T11	49957	1	0	0
T12	18520	0	0	0
T33	0	7	0	0
T65	12967	0	0	0
T111	8574	0	0	0
T112	0	6	0	0
T138	0	6	0	0
T139	0	10	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	1623622	0	0
T6	103716	8990	0	0
T7	556173	0	0	0
T10	48953	0	0	0
T11	49957	0	0	0
T12	18520	0	0	0
T15	0	9673	0	0
T33	40418	2802	0	0
T65	12967	0	0	0
T66	14397	0	0	0
T85	0	9393	0	0
T104	0	34628	0	0
T106	0	9760	0	0
T111	8574	0	0	0
T112	34213	0	0	0
T159	0	13661	0	0
T208	0	1566	0	0
T229	0	6069	0	0
T230	0	4923	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	14467769	0	0
T6	103716	89023	0	0
T7	556173	0	0	0
T10	48953	0	0	0
T11	49957	0	0	0
T12	18520	0	0	0
T15	0	97510	0	0
T33	40418	27481	0	0
T65	12967	0	0	0
T66	14397	3790	0	0
T104	0	393194	0	0
T106	0	102471	0	0
T107	0	161279	0	0
T109	0	4849	0	0
T111	8574	0	0	0
T112	34213	0	0	0
T114	0	32401	0	0
T124	0	3596	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0