Unified Coverage Report :: Module Instance :: tb.dut.gen_partitions[0].gen_unbuffered.u_part_unbuf

Module Instance : tb.dut.gen_partitions[0].gen_unbuffered.u_part_unbuf

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
97.23	100.00	100.00		90.00	100.00	96.15

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
97.56	100.00	100.00	100.00	90.00	98.15	97.22

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
96.67	96.75	96.15	96.85		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[1].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.67	96.75	96.15	96.85		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[2].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.67	96.75	96.15	96.85		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[0].gen_unbuffered.u_part_unbuf

	Line No.	Total	Covered	Percent
TOTAL		86	86	100.00
CONT_ASSIGN	138	1	1	100.00
ALWAYS	153	3	3	100.00
ALWAYS	164	61	61	100.00
CONT_ASSIGN	334	1	1	100.00
CONT_ASSIGN	336	1	1	100.00
CONT_ASSIGN	339	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
153	1	1
154	1	1
156	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		excluded
			Exclude Annotation: VC_COV_UNR
			MISSING_ELSE
224		excluded
			Exclude Annotation: VC_COV_UNR
225		excluded
			Exclude Annotation: VC_COV_UNR
			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		excluded
			Exclude Annotation: VC_COV_UNR
			MISSING_ELSE
276		excluded
			Exclude Annotation: VC_COV_UNR
277		excluded
			Exclude Annotation: VC_COV_UNR
279		excluded
			Exclude Annotation: VC_COV_UNR
			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
339	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[0].gen_unbuffered.u_part_unbuf

	Total	Covered	Percent
Conditions	29	29	100.00
Logical	29	29	100.00
Non-Logical	0	0
Event	0	0

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

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

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

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

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

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

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

-1-	Status	Tests
0	Covered	T4,T72,T143
1	Covered	T4,T72,T143

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

-1-	Status	Tests
0	Covered	T1,T2,T4
1	Covered	T1,T2,T11

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T3,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	T1,T9,T5
1	1	Covered	T1,T3,T9

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

-1-	Status	Tests
0	Covered	T1,T2,T3
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,T3,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,T3,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	T2,T5,T27

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

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

---

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

Summary for FSM :: state_q

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

State, Transition and Sequence Details for FSM :: state_q

---

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

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T1,T11,T12
IdleSt->ReadSt	236	Covered	T1,T3,T9
InitSt->ErrorSt	315	Covered	T183,T184
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T185,T186,T187
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T9,T5,T6
ReadSt->ReadWaitSt	252	Covered	T1,T3,T9
ReadWaitSt->ErrorSt	276	Not Covered
ReadWaitSt->IdleSt	270	Covered	T1,T3,T9
ResetSt->ErrorSt	315	Covered	T2,T4,T72
ResetSt->IdleSt	196	Excluded		VC_COV_UNR
ResetSt->InitSt	194	Covered	T1,T2,T3

Summary for FSM :: error_q

	Total	Covered	Percent
States	4	4	100.00	(Not included in score)
Transitions	7	7	100.00
Sequences	0	0

State, Transition and Sequence Details for FSM :: error_q

---

states	Line No.	Covered	Tests	Exclude Annotation
AccessError	256	Covered	T9,T5,T6
CheckFailError	317	Covered	T4,T72,T143
FsmStateError	289	Covered	T1,T2,T11
MacroEccCorrError	221	Excluded		VC_COV_UNR
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded
AccessError->FsmStateError	325	Covered	T6,T100,T179
AccessError->MacroEccCorrError	221	Excluded
AccessError->NoError	235	Covered	T9,T5,T6
CheckFailError->AccessError	256	Excluded		VC_COV_UNR
CheckFailError->FsmStateError	325	Excluded		VC_COV_UNR
CheckFailError->MacroEccCorrError	221	Excluded
CheckFailError->NoError	235	Covered	T4,T72,T143
FsmStateError->AccessError	256	Excluded		VC_COV_UNR
FsmStateError->CheckFailError	317	Excluded		VC_COV_UNR
FsmStateError->MacroEccCorrError	221	Excluded
FsmStateError->NoError	235	Covered	T1,T2,T11
MacroEccCorrError->AccessError	256	Excluded
MacroEccCorrError->CheckFailError	317	Excluded
MacroEccCorrError->FsmStateError	325	Excluded
MacroEccCorrError->NoError	235	Excluded
NoError->AccessError	256	Covered	T9,T5,T6
NoError->CheckFailError	317	Covered	T4,T72,T143
NoError->FsmStateError	289	Covered	T1,T2,T11
NoError->MacroEccCorrError	221	Excluded

---

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

	Line No.	Total	Covered	Percent
Branches		41	41	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	18	18	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
IF	153	2	2	100.00

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

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

Branches:

-1-	Status	Tests
1	Covered	T1,T3,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,T3,T9

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

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T3,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	T2,T5,T27
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	Exclude Annotation
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	-	-	-	-	-	-	-	-	-	-	-	-	Excluded		VC_COV_UNR
InitWaitSt	-	-	-	1	1	1	-	-	-	-	-	-	-	-	-	Excluded		VC_COV_UNR
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Excluded		VC_COV_UNR
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T3,T9
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T3,T9
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T27,T92,T106
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T9,T5,T6
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Excluded		VC_COV_UNR
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T3,T9
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Excluded		VC_COV_UNR
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T3,T9
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T21,T22,T23
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T1,T13,T6
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T1,T13,T6
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T4
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	T4,T72,T143
1	0	Covered	T4,T72,T143
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,T11
1	0	Covered	T1,T2,T4
0	-	Covered	T1,T2,T3

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

Branches:

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

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

Branches:

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

	LineNo.	Expression
-1-:	153	if ((otp_err_e'(otp_err_i) inside {MacroEccCorrError, MacroEccUncorrError}))

Branches:

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

---

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

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
AccessKnown_A	443767462	442850715	0	0
DigestKnown_A	443767462	442850715	0	0
DigestOffsetMustBeRepresentable_A	1147	1147	0	0
EccErrorState_A	443767462	18114	0	0
ErrorKnown_A	443767462	442850715	0	0
FsmStateKnown_A	443767462	442850715	0	0
InitDoneKnown_A	443767462	442850715	0	0
InitReadLocksPartition_A	443767462	85954281	0	0
InitWriteLocksPartition_A	443767462	85954281	0	0
OffsetMustBeBlockAligned_A	1147	1147	0	0
OtpAddrKnown_A	443767462	442850715	0	0
OtpCmdKnown_A	443767462	442850715	0	0
OtpErrorState_A	443767462	0	0	0
OtpReqKnown_A	443767462	442850715	0	0
OtpSizeKnown_A	443767462	442850715	0	0
OtpWdataKnown_A	443767462	442850715	0	0
ReadLockPropagation_A	443767462	193196976	0	0
SizeMustBeBlockAligned_A	1147	1147	0	0
TlulGntKnown_A	443767462	442850715	0	0
TlulRdataKnown_A	443767462	442850715	0	0
TlulReadOnReadLock_A	443767462	8488	0	0
TlulRerrorKnown_A	443767462	442850715	0	0
TlulRvalidKnown_A	443767462	442850715	0	0
WriteLockPropagation_A	443767462	2862306	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	443767462	30301524	0	0
u_state_regs_A	443767462	442850715	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1147	1147	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
T9	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	443767462	18114	0	0
T4	10738	3417	0	0
T5	181374	0	0	0
T6	675008	0	0	0
T10	48174	0	0	0
T11	18285	0	0	0
T12	12317	0	0	0
T13	14537	0	0	0
T27	67346	0	0	0
T50	30948	0	0	0
T72	0	2822	0	0
T108	52557	0	0	0
T143	0	2030	0	0
T146	0	2932	0	0
T148	0	2842	0	0
T151	0	4071	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	85954281	0	0
T1	123336	33091	0	0
T2	15161	4959	0	0
T3	12664	191	0	0
T4	10738	4603	0	0
T5	181374	20472	0	0
T9	9620	136	0	0
T10	48174	46	0	0
T11	18285	4661	0	0
T12	12317	4608	0	0
T13	14537	7502	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	85954281	0	0
T1	123336	33091	0	0
T2	15161	4959	0	0
T3	12664	191	0	0
T4	10738	4603	0	0
T5	181374	20472	0	0
T9	9620	136	0	0
T10	48174	46	0	0
T11	18285	4661	0	0
T12	12317	4608	0	0
T13	14537	7502	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1147	1147	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
T9	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	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	0	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	193196976	0	0
T4	10738	0	0	0
T5	181374	58613	0	0
T6	675008	164259	0	0
T7	0	7775	0	0
T8	0	973380	0	0
T9	9620	1229	0	0
T10	48174	0	0	0
T11	18285	0	0	0
T12	12317	0	0	0
T13	14537	0	0	0
T27	0	5271	0	0
T28	0	7846	0	0
T50	30948	0	0	0
T92	0	2661	0	0
T93	0	4006	0	0
T100	0	47762	0	0
T108	52557	0	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1147	1147	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
T9	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	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	8488	0	0
T1	123336	6	0	0
T2	15161	0	0	0
T3	12664	0	0	0
T4	10738	0	0	0
T5	181374	13	0	0
T6	0	52	0	0
T7	0	4	0	0
T9	9620	2	0	0
T10	48174	0	0	0
T11	18285	0	0	0
T12	12317	0	0	0
T13	14537	1	0	0
T27	0	10	0	0
T28	0	4	0	0
T92	0	1	0	0
T108	0	16	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	2862306	0	0
T5	181374	9848	0	0
T6	675008	0	0	0
T7	13558	0	0	0
T12	12317	0	0	0
T13	14537	0	0	0
T16	0	3390	0	0
T27	67346	1644	0	0
T28	53592	613	0	0
T29	0	2882	0	0
T50	30948	0	0	0
T92	37517	2895	0	0
T94	0	8114	0	0
T95	0	10258	0	0
T96	0	16945	0	0
T101	0	643	0	0
T108	52557	0	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	30301524	0	0
T2	15161	2583	0	0
T3	12664	0	0	0
T4	10738	0	0	0
T5	181374	141044	0	0
T9	9620	0	0	0
T10	48174	0	0	0
T11	18285	0	0	0
T12	12317	0	0	0
T13	14537	0	0	0
T16	0	50783	0	0
T27	0	55294	0	0
T28	0	43667	0	0
T50	30948	0	0	0
T92	0	29733	0	0
T93	0	17632	0	0
T94	0	90982	0	0
T100	0	3860	0	0
T105	0	37263	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

Line Coverage for Instance : tb.dut.gen_partitions[1].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[1].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	T11,T103,T144

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

-1-	Status	Tests
0	Covered	T3,T9,T4
1	Covered	T93,T29,T145

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

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

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

-1-	Status	Tests
0	Covered	T4,T72,T143
1	Covered	T4,T72,T143

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

-1-	Status	Tests
0	Covered	T1,T2,T4
1	Covered	T1,T2,T11

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T5,T27,T92

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T5,T27,T92

---

FSM Coverage for Instance : tb.dut.gen_partitions[1].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,T4
IdleSt	196	Covered	T1,T2,T3
InitSt	194	Covered	T1,T2,T3
InitWaitSt	207	Covered	T1,T2,T3
ReadSt	236	Covered	T3,T9,T4
ReadWaitSt	252	Covered	T3,T9,T4
ResetSt	190	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T1,T11,T12
IdleSt->ReadSt	236	Covered	T3,T9,T4
InitSt->ErrorSt	315	Covered	T185,T186,T187
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T115,T149,T161
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T9,T5,T6
ReadSt->ReadWaitSt	252	Covered	T3,T9,T4
ReadWaitSt->ErrorSt	276	Covered	T188,T189,T190
ReadWaitSt->IdleSt	270	Covered	T3,T9,T4
ResetSt->ErrorSt	315	Covered	T2,T4,T72
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	T9,T5,T6
CheckFailError	317	Covered	T4,T72,T143
FsmStateError	289	Covered	T1,T2,T11
MacroEccCorrError	221	Covered	T11,T93,T103
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded		VC_COV_UNR
AccessError->FsmStateError	325	Covered	T6,T107,T191
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T9,T5,T6
CheckFailError->AccessError	256	Excluded		VC_COV_UNR
CheckFailError->FsmStateError	325	Excluded		VC_COV_UNR
CheckFailError->MacroEccCorrError	221	Excluded		VC_COV_UNR
CheckFailError->NoError	235	Covered	T4,T72,T143
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,T11
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T11,T103,T144
MacroEccCorrError->NoError	235	Covered	T93,T29,T145
NoError->AccessError	256	Covered	T9,T5,T6
NoError->CheckFailError	317	Covered	T4,T72,T143
NoError->FsmStateError	289	Covered	T1,T2,T12
NoError->MacroEccCorrError	221	Covered	T11,T93,T103

---

Branch Coverage for Instance : tb.dut.gen_partitions[1].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	T3,T9,T4
0	Covered	T1,T2,T3

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

-1-	Status	Tests
1	Covered	T5,T27,T92
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	T11,T103,T144
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T115,T149,T161
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T3,T9,T4
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T3,T9,T4
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T27,T92,T28
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T9,T5,T6
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T93,T29,T145
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T3,T9,T4
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T188,T189,T190
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T3,T9,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T21,T22,T23
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T1,T13,T6
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T1,T13,T6
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T4
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	T4,T72,T143
1	0	Covered	T4,T72,T143
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,T11
1	0	Covered	T1,T2,T4
0	-	Covered	T1,T2,T3

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

Branches:

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

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

Branches:

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

---

Assert Coverage for Instance : tb.dut.gen_partitions[1].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	443767462	442850715	0	0
DigestKnown_A	443767462	442850715	0	0
DigestOffsetMustBeRepresentable_A	1147	1147	0	0
EccErrorState_A	443767462	11111	0	0
ErrorKnown_A	443767462	442850715	0	0
FsmStateKnown_A	443767462	442850715	0	0
InitDoneKnown_A	443767462	442850715	0	0
InitReadLocksPartition_A	443767462	86146895	0	0
InitWriteLocksPartition_A	443767462	86146895	0	0
OffsetMustBeBlockAligned_A	1147	1147	0	0
OtpAddrKnown_A	443767462	442850715	0	0
OtpCmdKnown_A	443767462	442850715	0	0
OtpErrorState_A	443767462	80	0	0
OtpReqKnown_A	443767462	442850715	0	0
OtpSizeKnown_A	443767462	442850715	0	0
OtpWdataKnown_A	443767462	442850715	0	0
ReadLockPropagation_A	443767462	186967147	0	0
SizeMustBeBlockAligned_A	1147	1147	0	0
TlulGntKnown_A	443767462	442850715	0	0
TlulRdataKnown_A	443767462	442850715	0	0
TlulReadOnReadLock_A	443767462	8767	0	0
TlulRerrorKnown_A	443767462	442850715	0	0
TlulRvalidKnown_A	443767462	442850715	0	0
WriteLockPropagation_A	443767462	2934875	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	443767462	29876150	0	0
u_state_regs_A	443767462	442850715	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1147	1147	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
T9	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	443767462	11111	0	0
T4	10738	3417	0	0
T5	181374	0	0	0
T6	675008	0	0	0
T10	48174	0	0	0
T11	18285	0	0	0
T12	12317	0	0	0
T13	14537	0	0	0
T27	67346	0	0	0
T50	30948	0	0	0
T72	0	2822	0	0
T108	52557	0	0	0
T143	0	2030	0	0
T148	0	2842	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	86146895	0	0
T1	123336	33380	0	0
T2	15161	4993	0	0
T3	12664	242	0	0
T4	10738	4637	0	0
T5	181374	20693	0	0
T9	9620	170	0	0
T10	48174	63	0	0
T11	18285	4712	0	0
T12	12317	4659	0	0
T13	14537	7553	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	86146895	0	0
T1	123336	33380	0	0
T2	15161	4993	0	0
T3	12664	242	0	0
T4	10738	4637	0	0
T5	181374	20693	0	0
T9	9620	170	0	0
T10	48174	63	0	0
T11	18285	4712	0	0
T12	12317	4659	0	0
T13	14537	7553	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1147	1147	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
T9	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	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	80	0	0
T47	12412	0	0	0
T85	0	1	0	0
T87	0	1	0	0
T97	41507	0	0	0
T115	8524	1	0	0
T144	13153	0	0	0
T149	14833	1	0	0
T161	0	1	0	0
T163	0	1	0	0
T164	0	1	0	0
T165	0	1	0	0
T168	0	1	0	0
T170	0	1	0	0
T172	12628	0	0	0
T173	13877	0	0	0
T174	135168	0	0	0
T175	21475	0	0	0
T176	36720	0	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	186967147	0	0
T4	10738	0	0	0
T5	181374	56932	0	0
T6	675008	167142	0	0
T7	0	7773	0	0
T8	0	483749	0	0
T9	9620	3079	0	0
T10	48174	0	0	0
T11	18285	0	0	0
T12	12317	0	0	0
T13	14537	0	0	0
T27	0	5484	0	0
T28	0	2074	0	0
T50	30948	0	0	0
T92	0	2644	0	0
T93	0	3639	0	0
T99	0	7854	0	0
T108	52557	0	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1147	1147	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
T9	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	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	8767	0	0
T1	123336	8	0	0
T2	15161	0	0	0
T3	12664	0	0	0
T4	10738	0	0	0
T5	181374	19	0	0
T6	0	56	0	0
T7	0	1	0	0
T9	9620	2	0	0
T10	48174	0	0	0
T11	18285	0	0	0
T12	12317	0	0	0
T13	14537	3	0	0
T27	0	8	0	0
T28	0	1	0	0
T92	0	2	0	0
T108	0	18	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	2934875	0	0
T5	181374	15404	0	0
T6	675008	0	0	0
T7	13558	0	0	0
T12	12317	0	0	0
T13	14537	0	0	0
T16	0	5104	0	0
T27	67346	6643	0	0
T28	53592	2417	0	0
T29	0	5748	0	0
T50	30948	0	0	0
T67	0	302286	0	0
T89	0	2085	0	0
T92	37517	0	0	0
T94	0	7931	0	0
T95	0	10258	0	0
T102	0	13370	0	0
T108	52557	0	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	29876150	0	0
T5	181374	122249	0	0
T6	675008	0	0	0
T7	13558	0	0	0
T12	12317	0	0	0
T13	14537	0	0	0
T16	0	57623	0	0
T27	67346	55090	0	0
T28	53592	39672	0	0
T50	30948	0	0	0
T92	37517	15066	0	0
T94	0	90795	0	0
T95	0	63446	0	0
T100	0	3826	0	0
T101	0	10469	0	0
T105	0	49214	0	0
T108	52557	0	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

Line Coverage for Instance : tb.dut.gen_partitions[2].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[2].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	T11,T73,T74

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

-1-	Status	Tests
0	Covered	T3,T4,T10
1	Covered	T142,T29,T46

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

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

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

-1-	Status	Tests
0	Covered	T72,T146,T147
1	Covered	T72,T146,T147

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

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

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

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

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

 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'b00111101000) && ({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,T3,T4
1	Covered	T1,T2,T3

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

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

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

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

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

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

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

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

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

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

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

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

---

FSM Coverage for Instance : tb.dut.gen_partitions[2].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,T4
IdleSt	196	Covered	T1,T2,T3
InitSt	194	Covered	T1,T2,T3
InitWaitSt	207	Covered	T1,T2,T3
ReadSt	236	Covered	T1,T3,T9
ReadWaitSt	252	Covered	T1,T3,T4
ResetSt	190	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T1,T11,T12
IdleSt->ReadSt	236	Covered	T1,T3,T9
InitSt->ErrorSt	315	Covered	T185,T186,T187
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T103,T110,T115
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T9,T5,T6
ReadSt->ReadWaitSt	252	Covered	T1,T3,T4
ReadWaitSt->ErrorSt	276	Covered	T1,T145,T166
ReadWaitSt->IdleSt	270	Covered	T3,T4,T10
ResetSt->ErrorSt	315	Covered	T2,T4,T72
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	T9,T5,T6
CheckFailError	317	Covered	T72,T146,T147
FsmStateError	289	Covered	T1,T2,T4
MacroEccCorrError	221	Covered	T11,T142,T29
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded		VC_COV_UNR
AccessError->FsmStateError	325	Covered	T6,T14,T179
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T9,T5,T6
CheckFailError->AccessError	256	Excluded		VC_COV_UNR
CheckFailError->FsmStateError	325	Excluded		VC_COV_UNR
CheckFailError->MacroEccCorrError	221	Excluded		VC_COV_UNR
CheckFailError->NoError	235	Covered	T72,T146,T147
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,T4
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T11,T142,T73
MacroEccCorrError->NoError	235	Covered	T29,T46,T56
NoError->AccessError	256	Covered	T9,T5,T6
NoError->CheckFailError	317	Covered	T72,T146,T147
NoError->FsmStateError	289	Covered	T1,T2,T4
NoError->MacroEccCorrError	221	Covered	T11,T142,T29

---

Branch Coverage for Instance : tb.dut.gen_partitions[2].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	T3,T4,T10
0	Covered	T1,T2,T3

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

-1-	Status	Tests
1	Covered	T2,T5,T27
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	T11,T73,T74
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T103,T110,T162
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T3,T9
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T3,T4
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T27,T28,T17
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T9,T5,T6
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T142,T29,T46
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T3,T4,T10
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T1,T145,T166
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T3,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T21,T22,T23
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T1,T2,T13
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T1,T2,T13
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T4
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	T72,T146,T147
1	0	Covered	T72,T146,T147
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,T4
1	0	Covered	T1,T2,T4
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[2].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	443767462	442850715	0	0
DigestKnown_A	443767462	442850715	0	0
DigestOffsetMustBeRepresentable_A	1147	1147	0	0
EccErrorState_A	443767462	8261	0	0
ErrorKnown_A	443767462	442850715	0	0
FsmStateKnown_A	443767462	442850715	0	0
InitDoneKnown_A	443767462	442850715	0	0
InitReadLocksPartition_A	443767462	86338323	0	0
InitWriteLocksPartition_A	443767462	86338323	0	0
OffsetMustBeBlockAligned_A	1147	1147	0	0
OtpAddrKnown_A	443767462	442850715	0	0
OtpCmdKnown_A	443767462	442850715	0	0
OtpErrorState_A	443767462	57	0	0
OtpReqKnown_A	443767462	442850715	0	0
OtpSizeKnown_A	443767462	442850715	0	0
OtpWdataKnown_A	443767462	442850715	0	0
ReadLockPropagation_A	443767462	186079845	0	0
SizeMustBeBlockAligned_A	1147	1147	0	0
TlulGntKnown_A	443767462	442850715	0	0
TlulRdataKnown_A	443767462	442850715	0	0
TlulReadOnReadLock_A	443767462	9015	0	0
TlulRerrorKnown_A	443767462	442850715	0	0
TlulRvalidKnown_A	443767462	442850715	0	0
WriteLockPropagation_A	443767462	1916960	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	443767462	20514985	0	0
u_state_regs_A	443767462	442850715	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1147	1147	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
T9	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	443767462	8261	0	0
T72	11547	2822	0	0
T146	0	2932	0	0
T147	0	2507	0	0
T152	198696	0	0	0
T153	16972	0	0	0
T154	254101	0	0	0
T155	17260	0	0	0
T156	10779	0	0	0
T157	89209	0	0	0
T158	33949	0	0	0
T159	83015	0	0	0
T160	243902	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	86338323	0	0
T1	123336	33671	0	0
T2	15161	5027	0	0
T3	12664	293	0	0
T4	10738	4671	0	0
T5	181374	20914	0	0
T9	9620	204	0	0
T10	48174	80	0	0
T11	18285	4763	0	0
T12	12317	4710	0	0
T13	14537	7604	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	86338323	0	0
T1	123336	33671	0	0
T2	15161	5027	0	0
T3	12664	293	0	0
T4	10738	4671	0	0
T5	181374	20914	0	0
T9	9620	204	0	0
T10	48174	80	0	0
T11	18285	4763	0	0
T12	12317	4710	0	0
T13	14537	7604	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1147	1147	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
T9	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	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	57	0	0
T1	123336	1	0	0
T2	15161	0	0	0
T3	12664	0	0	0
T4	10738	0	0	0
T5	181374	0	0	0
T9	9620	0	0	0
T10	48174	0	0	0
T11	18285	0	0	0
T12	12317	0	0	0
T13	14537	0	0	0
T103	0	1	0	0
T110	0	1	0	0
T145	0	1	0	0
T154	0	2	0	0
T162	0	1	0	0
T166	0	1	0	0
T167	0	1	0	0
T169	0	1	0	0
T171	0	1	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	186079845	0	0
T1	123336	2877	0	0
T2	15161	0	0	0
T3	12664	0	0	0
T4	10738	0	0	0
T5	181374	36503	0	0
T6	0	172072	0	0
T7	0	7771	0	0
T8	0	973376	0	0
T9	9620	3077	0	0
T10	48174	0	0	0
T11	18285	0	0	0
T12	12317	0	0	0
T13	14537	0	0	0
T27	0	5673	0	0
T28	0	4192	0	0
T92	0	2653	0	0
T99	0	7852	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1147	1147	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
T9	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	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	9015	0	0
T1	123336	3	0	0
T2	15161	2	0	0
T3	12664	0	0	0
T4	10738	0	0	0
T5	181374	9	0	0
T6	0	61	0	0
T7	0	6	0	0
T9	9620	4	0	0
T10	48174	0	0	0
T11	18285	0	0	0
T12	12317	0	0	0
T13	14537	1	0	0
T27	0	5	0	0
T92	0	1	0	0
T108	0	11	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	1916960	0	0
T5	181374	16797	0	0
T6	675008	0	0	0
T7	13558	0	0	0
T12	12317	0	0	0
T13	14537	0	0	0
T16	0	11508	0	0
T27	67346	547	0	0
T28	53592	613	0	0
T50	30948	0	0	0
T67	0	226305	0	0
T92	37517	0	0	0
T95	0	11644	0	0
T96	0	5350	0	0
T102	0	12849	0	0
T108	52557	0	0	0
T125	0	28187	0	0
T127	0	82505	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	20514985	0	0
T2	15161	2549	0	0
T3	12664	0	0	0
T4	10738	0	0	0
T5	181374	140636	0	0
T9	9620	0	0	0
T10	48174	0	0	0
T11	18285	0	0	0
T12	12317	0	0	0
T13	14537	0	0	0
T16	0	57436	0	0
T27	0	54886	0	0
T28	0	43293	0	0
T50	30948	0	0	0
T93	0	4408	0	0
T94	0	90608	0	0
T95	0	63344	0	0
T103	0	3629	0	0
T110	0	2414	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	443767462	442850715	0	0
T1	123336	121854	0	0
T2	15161	14868	0	0
T3	12664	12499	0	0
T4	10738	10478	0	0
T5	181374	180198	0	0
T9	9620	9095	0	0
T10	48174	48104	0	0
T11	18285	18049	0	0
T12	12317	12062	0	0
T13	14537	14233	0	0