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.22	94.16	96.15	97.20		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.22	94.16	96.15	97.20		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
97.75	100.00	97.06		91.67	100.00	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
97.83	100.00	97.06	100.00	91.67	98.25	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
96.22	94.16	96.15	97.20		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,T4
1	Excluded		VC_COV_UNR

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

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

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

-1-	Status	Tests
0	Covered	T75,T156,T157
1	Covered	T75,T156,T157

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

 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,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,T27,T66

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

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

---

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

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T1,T2,T3
IdleSt->ReadSt	236	Covered	T1,T3,T4
InitSt->ErrorSt	315	Covered	T102,T198
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T66,T112,T199
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T3,T4,T5
ReadSt->ReadWaitSt	252	Covered	T1,T3,T4
ReadWaitSt->ErrorSt	276	Not Covered
ReadWaitSt->IdleSt	270	Covered	T1,T3,T4
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	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	T3,T4,T5
CheckFailError	317	Covered	T75,T156,T157
FsmStateError	289	Covered	T1,T2,T3
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	T3,T4,T11
AccessError->MacroEccCorrError	221	Excluded
AccessError->NoError	235	Covered	T3,T4,T5
CheckFailError->AccessError	256	Excluded		VC_COV_UNR
CheckFailError->FsmStateError	325	Excluded		VC_COV_UNR
CheckFailError->MacroEccCorrError	221	Excluded
CheckFailError->NoError	235	Covered	T75,T156,T157
FsmStateError->AccessError	256	Excluded		VC_COV_UNR
FsmStateError->CheckFailError	317	Excluded		VC_COV_UNR
FsmStateError->MacroEccCorrError	221	Excluded
FsmStateError->NoError	235	Covered	T1,T2,T3
MacroEccCorrError->AccessError	256	Excluded
MacroEccCorrError->CheckFailError	317	Excluded
MacroEccCorrError->FsmStateError	325	Excluded
MacroEccCorrError->NoError	235	Excluded
NoError->AccessError	256	Covered	T3,T4,T5
NoError->CheckFailError	317	Covered	T75,T156,T157
NoError->FsmStateError	289	Covered	T1,T2,T3
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,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	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,T27,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	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,T4
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T3,T4
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T6,T100,T102
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T3,T4,T5
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Excluded		VC_COV_UNR
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T3,T4
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Excluded		VC_COV_UNR
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T3,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T20,T21,T22
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T2,T3,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T2,T3,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T3
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T20,T21,T22

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T75,T156,T157
1	0	Covered	T75,T156,T157
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

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

Branches:

-1-	Status	Tests
1	Covered	T3,T8,T9
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	444126869	443277538	0	0
DigestKnown_A	444126869	443277538	0	0
DigestOffsetMustBeRepresentable_A	1151	1151	0	0
EccErrorState_A	444126869	9369	0	0
ErrorKnown_A	444126869	443277538	0	0
FsmStateKnown_A	444126869	443277538	0	0
InitDoneKnown_A	444126869	443277538	0	0
InitReadLocksPartition_A	444126869	105457407	0	0
InitWriteLocksPartition_A	444126869	105457407	0	0
OffsetMustBeBlockAligned_A	1151	1151	0	0
OtpAddrKnown_A	444126869	443277538	0	0
OtpCmdKnown_A	444126869	443277538	0	0
OtpErrorState_A	444126869	0	0	0
OtpReqKnown_A	444126869	443277538	0	0
OtpSizeKnown_A	444126869	443277538	0	0
OtpWdataKnown_A	444126869	443277538	0	0
ReadLockPropagation_A	444126869	198933684	0	0
SizeMustBeBlockAligned_A	1151	1151	0	0
TlulGntKnown_A	444126869	443277538	0	0
TlulRdataKnown_A	444126869	443277538	0	0
TlulReadOnReadLock_A	444126869	7386	0	0
TlulRerrorKnown_A	444126869	443277538	0	0
TlulRvalidKnown_A	444126869	443277538	0	0
WriteLockPropagation_A	444126869	2718355	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	444126869	28886024	0	0
u_state_regs_A	444126869	443277538	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	9369	0	0
T75	12675	2525	0	0
T117	11163	0	0	0
T156	0	3782	0	0
T157	0	3062	0	0
T161	13903	0	0	0
T162	8292	0	0	0
T163	62218	0	0	0
T164	39359	0	0	0
T165	17854	0	0	0
T166	11437	0	0	0
T167	13255	0	0	0
T168	76220	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	105457407	0	0
T1	11990	2981	0	0
T2	98618	82907	0	0
T3	611023	848112	0	0
T4	674981	548808	0	0
T5	45673	627	0	0
T7	10616	151	0	0
T8	11696	3586	0	0
T9	13753	3798	0	0
T10	5189	168	0	0
T11	26726	13667	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	105457407	0	0
T1	11990	2981	0	0
T2	98618	82907	0	0
T3	611023	848112	0	0
T4	674981	548808	0	0
T5	45673	627	0	0
T7	10616	151	0	0
T8	11696	3586	0	0
T9	13753	3798	0	0
T10	5189	168	0	0
T11	26726	13667	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	0	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	198933684	0	0
T2	98618	85832	0	0
T3	611023	111780	0	0
T4	674981	598877	0	0
T5	45673	7579	0	0
T6	794691	683545	0	0
T7	10616	0	0	0
T8	11696	0	0	0
T9	13753	0	0	0
T10	5189	0	0	0
T11	26726	16336	0	0
T26	0	7680	0	0
T27	0	5255	0	0
T62	0	3587	0	0
T66	0	1643	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	7386	0	0
T2	98618	16	0	0
T3	611023	41	0	0
T4	674981	22	0	0
T5	45673	10	0	0
T6	794691	19	0	0
T7	10616	0	0	0
T8	11696	0	0	0
T9	13753	0	0	0
T10	5189	0	0	0
T11	26726	6	0	0
T26	0	12	0	0
T62	0	1	0	0
T66	0	3	0	0
T108	0	6	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	2718355	0	0
T12	168314	0	0	0
T27	76687	6674	0	0
T28	0	179345	0	0
T38	0	5669	0	0
T41	19399	0	0	0
T50	10302	0	0	0
T52	60464	0	0	0
T66	13804	0	0	0
T100	55278	860	0	0
T101	0	17280	0	0
T102	0	12026	0	0
T106	0	2065	0	0
T108	92283	0	0	0
T112	15534	0	0	0
T115	14251	0	0	0
T128	0	13508	0	0
T195	0	5571	0	0
T196	0	1583	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	28886024	0	0
T2	98618	2965	0	0
T3	611023	0	0	0
T4	674981	0	0	0
T5	45673	0	0	0
T6	794691	0	0	0
T7	10616	0	0	0
T8	11696	0	0	0
T9	13753	0	0	0
T10	5189	0	0	0
T11	26726	0	0	0
T27	0	65723	0	0
T38	0	65899	0	0
T41	0	2511	0	0
T50	0	3839	0	0
T66	0	2920	0	0
T100	0	45118	0	0
T101	0	113022	0	0
T102	0	314216	0	0
T112	0	2569	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	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	T41,T158,T114

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

-1-	Status	Tests
0	Covered	T3,T4,T7
1	Covered	T38,T28,T44

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

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

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

-1-	Status	Tests
0	Covered	T149
1	Covered	T149

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T1,T2,T3
IdleSt->ReadSt	236	Covered	T2,T3,T4
InitSt->ErrorSt	315	Covered	T66,T112,T102
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T115,T160,T200
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T2,T3,T4
ReadSt->ReadWaitSt	252	Covered	T3,T4,T7
ReadWaitSt->ErrorSt	276	Covered	T108,T155,T159
ReadWaitSt->IdleSt	270	Covered	T3,T4,T7
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	T2,T3,T4
CheckFailError	317	Covered	T149
FsmStateError	289	Covered	T1,T2,T3
MacroEccCorrError	221	Covered	T41,T38,T158
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded		VC_COV_UNR
AccessError->FsmStateError	325	Covered	T2,T3,T4
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T2,T3,T4
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	T149
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	T41,T158,T114
MacroEccCorrError->NoError	235	Covered	T38,T28,T44
NoError->AccessError	256	Covered	T2,T3,T4
NoError->CheckFailError	317	Covered	T149
NoError->FsmStateError	289	Covered	T1,T3,T4
NoError->MacroEccCorrError	221	Covered	T41,T38,T158

---

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

-1-	Status	Tests
1	Covered	T2,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	T41,T158,T114
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T115,T160,T180
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T2,T3,T4
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T3,T4,T7
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T5,T100,T102
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T2,T3,T4
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T38,T28,T44
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T3,T4,T7
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T108,T155,T159
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T3,T4,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T20,T21,T22
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T2,T3,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T2,T3,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T3
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T20,T21,T22

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T149
1	0	Covered	T149
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	T2,T3,T4
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	444126869	443277538	0	0
DigestKnown_A	444126869	443277538	0	0
DigestOffsetMustBeRepresentable_A	1151	1151	0	0
EccErrorState_A	444126869	2959	0	0
ErrorKnown_A	444126869	443277538	0	0
FsmStateKnown_A	444126869	443277538	0	0
InitDoneKnown_A	444126869	443277538	0	0
InitReadLocksPartition_A	444126869	105638462	0	0
InitWriteLocksPartition_A	444126869	105638462	0	0
OffsetMustBeBlockAligned_A	1151	1151	0	0
OtpAddrKnown_A	444126869	443277538	0	0
OtpCmdKnown_A	444126869	443277538	0	0
OtpErrorState_A	444126869	73	0	0
OtpReqKnown_A	444126869	443277538	0	0
OtpSizeKnown_A	444126869	443277538	0	0
OtpWdataKnown_A	444126869	443277538	0	0
ReadLockPropagation_A	444126869	192088610	0	0
SizeMustBeBlockAligned_A	1151	1151	0	0
TlulGntKnown_A	444126869	443277538	0	0
TlulRdataKnown_A	444126869	443277538	0	0
TlulReadOnReadLock_A	444126869	7669	0	0
TlulRerrorKnown_A	444126869	443277538	0	0
TlulRvalidKnown_A	444126869	443277538	0	0
WriteLockPropagation_A	444126869	2659725	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	444126869	28517080	0	0
u_state_regs_A	444126869	443277538	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	2959	0	0
T149	11408	2959	0	0
T169	22976	0	0	0
T170	16219	0	0	0
T171	94140	0	0	0
T172	18022	0	0	0
T173	20134	0	0	0
T174	229581	0	0	0
T175	212600	0	0	0
T176	653156	0	0	0
T177	10987	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	105638462	0	0
T1	11990	3032	0	0
T2	98618	82941	0	0
T3	611023	848333	0	0
T4	674981	548818	0	0
T5	45673	780	0	0
T7	10616	202	0	0
T8	11696	3620	0	0
T9	13753	3849	0	0
T10	5189	185	0	0
T11	26726	13735	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	105638462	0	0
T1	11990	3032	0	0
T2	98618	82941	0	0
T3	611023	848333	0	0
T4	674981	548818	0	0
T5	45673	780	0	0
T7	10616	202	0	0
T8	11696	3620	0	0
T9	13753	3849	0	0
T10	5189	185	0	0
T11	26726	13735	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	73	0	0
T12	168314	0	0	0
T13	86015	0	0	0
T38	76388	0	0	0
T41	19399	0	0	0
T50	10302	0	0	0
T52	60464	0	0	0
T100	55278	0	0	0
T108	92283	1	0	0
T112	15534	0	0	0
T115	14251	1	0	0
T155	0	1	0	0
T159	0	1	0	0
T160	0	1	0	0
T180	0	1	0	0
T184	0	1	0	0
T185	0	1	0	0
T186	0	1	0	0
T188	0	1	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	192088610	0	0
T2	98618	85820	0	0
T3	611023	111856	0	0
T4	674981	598842	0	0
T5	45673	7156	0	0
T6	794691	683176	0	0
T7	10616	0	0	0
T8	11696	0	0	0
T9	13753	0	0	0
T10	5189	0	0	0
T11	26726	16334	0	0
T26	0	7921	0	0
T27	0	7448	0	0
T62	0	3681	0	0
T108	0	10093	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	7669	0	0
T2	98618	23	0	0
T3	611023	37	0	0
T4	674981	20	0	0
T5	45673	9	0	0
T6	794691	23	0	0
T7	10616	0	0	0
T8	11696	0	0	0
T9	13753	0	0	0
T10	5189	0	0	0
T11	26726	10	0	0
T26	0	12	0	0
T27	0	4	0	0
T66	0	2	0	0
T108	0	9	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	2659725	0	0
T12	168314	0	0	0
T27	76687	3165	0	0
T28	0	8287	0	0
T38	0	5213	0	0
T41	19399	0	0	0
T50	10302	0	0	0
T52	60464	0	0	0
T66	13804	0	0	0
T100	55278	4779	0	0
T101	0	17286	0	0
T102	0	19005	0	0
T103	0	980	0	0
T106	0	2874	0	0
T108	92283	0	0	0
T109	0	11724	0	0
T112	15534	0	0	0
T115	14251	0	0	0
T128	0	27347	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	28517080	0	0
T2	98618	2948	0	0
T3	611023	0	0	0
T4	674981	0	0	0
T5	45673	39086	0	0
T6	794691	0	0	0
T7	10616	0	0	0
T8	11696	0	0	0
T9	13753	0	0	0
T10	5189	0	0	0
T11	26726	0	0	0
T27	0	65485	0	0
T38	0	65712	0	0
T100	0	44914	0	0
T101	0	112801	0	0
T102	0	283460	0	0
T108	0	2564	0	0
T112	0	2552	0	0
T115	0	2697	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	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	34	33	97.06
Logical	34	33	97.06
Non-Logical	0	0
Event	0	0

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

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

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

-1-	Status	Tests
0	Covered	T1,T3,T4
1	Covered	T26,T38,T155

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

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

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

-1-	Status	Tests
0	Covered	T156,T157
1	Covered	T156,T157

 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,T3,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	T2,T3,T4
1	1	Covered	T1,T3,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'b00110110000) && ({1'b0, tlul_addr_q, 2'b0} < PartEnd))
             --------------------1-------------------    ------------------2------------------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Not Covered
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,T62

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

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

---

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

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T1,T2,T3
IdleSt->ReadSt	236	Covered	T1,T2,T3
InitSt->ErrorSt	315	Covered	T66,T112,T102
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T115,T160,T179
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T2,T3,T4
ReadSt->ReadWaitSt	252	Covered	T1,T3,T4
ReadWaitSt->ErrorSt	276	Covered	T155,T183,T192
ReadWaitSt->IdleSt	270	Covered	T1,T3,T4
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	T2,T3,T4
CheckFailError	317	Covered	T156,T157
FsmStateError	289	Covered	T1,T2,T3
MacroEccCorrError	221	Covered	T8,T9,T26
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded		VC_COV_UNR
AccessError->FsmStateError	325	Covered	T2,T3,T4
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T2,T3,T4
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	T156,T157
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	T8,T9,T158
MacroEccCorrError->NoError	235	Covered	T26,T38,T28
NoError->AccessError	256	Covered	T2,T3,T4
NoError->CheckFailError	317	Covered	T156,T157
NoError->FsmStateError	289	Covered	T1,T3,T4
NoError->MacroEccCorrError	221	Covered	T8,T9,T26

---

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

	LineNo.	Expression
-1-:	186	case (state_q)
-2-:	191	if (init_req_i)
-3-:	193	if (1'b1)
-4-:	206	if (otp_gnt_i)
-5-:	215	if (otp_rvalid_i)
-6-:	217	if ((otp_err inside {NoError, MacroEccCorrError}))
-7-:	220	if ((otp_err != NoError))
-8-:	234	if (tlul_req_i)
-9-:	248	if ((tlul_addr_in_range && prim_mubi_pkg::mubi8_test_false_strict(access_o.read_lock)))
-10-:	251	if (otp_gnt_i)
-11-:	267	if (otp_rvalid_i)
-12-:	269	if ((otp_err inside {NoError, MacroEccCorrError}))
-13-:	272	if ((otp_err != NoError))
-14-:	288	if ((error_q == NoError))
-15-:	293	if (pending_tlul_error_q)
-16-:	296	if (tlul_req_i)

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	-10-	-11-	-12-	-13-	-14-	-15-	-16-	Status	Tests
ResetSt	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ResetSt	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	Unreachable
ResetSt	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitSt	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitSt	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	1	1	-	-	-	-	-	-	-	-	-	Covered	T8,T9,T158
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T179,T181,T182
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T3,T4
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T3,T5,T100
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T2,T3,T4
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T26,T38,T155
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T3,T4
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T155,T183,T192
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T3,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T20,T21,T22
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T2,T3,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T2,T3,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T3
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T20,T21,T22

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T156,T157
1	0	Covered	T156,T157
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[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	444126869	443277538	0	0
DigestKnown_A	444126869	443277538	0	0
DigestOffsetMustBeRepresentable_A	1151	1151	0	0
EccErrorState_A	444126869	6844	0	0
ErrorKnown_A	444126869	443277538	0	0
FsmStateKnown_A	444126869	443277538	0	0
InitDoneKnown_A	444126869	443277538	0	0
InitReadLocksPartition_A	444126869	105818169	0	0
InitWriteLocksPartition_A	444126869	105818169	0	0
OffsetMustBeBlockAligned_A	1151	1151	0	0
OtpAddrKnown_A	444126869	443277538	0	0
OtpCmdKnown_A	444126869	443277538	0	0
OtpErrorState_A	444126869	59	0	0
OtpReqKnown_A	444126869	443277538	0	0
OtpSizeKnown_A	444126869	443277538	0	0
OtpWdataKnown_A	444126869	443277538	0	0
ReadLockPropagation_A	444126869	198767369	0	0
SizeMustBeBlockAligned_A	1151	1151	0	0
TlulGntKnown_A	444126869	443277538	0	0
TlulRdataKnown_A	444126869	443277538	0	0
TlulReadOnReadLock_A	444126869	8088	0	0
TlulRerrorKnown_A	444126869	443277538	0	0
TlulRvalidKnown_A	444126869	443277538	0	0
WriteLockPropagation_A	444126869	1757662	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	444126869	18645288	0	0
u_state_regs_A	444126869	443277538	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	6844	0	0
T156	14176	3782	0	0
T157	0	3062	0	0
T201	79737	0	0	0
T202	462781	0	0	0
T203	11572	0	0	0
T204	9256	0	0	0
T205	38068	0	0	0
T206	14625	0	0	0
T207	12443	0	0	0
T208	36008	0	0	0
T209	12088	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	105818169	0	0
T1	11990	3083	0	0
T2	98618	82975	0	0
T3	611023	848554	0	0
T4	674981	548828	0	0
T5	45673	933	0	0
T7	10616	253	0	0
T8	11696	3654	0	0
T9	13753	3900	0	0
T10	5189	202	0	0
T11	26726	13803	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	105818169	0	0
T1	11990	3083	0	0
T2	98618	82975	0	0
T3	611023	848554	0	0
T4	674981	548828	0	0
T5	45673	933	0	0
T7	10616	253	0	0
T8	11696	3654	0	0
T9	13753	3900	0	0
T10	5189	202	0	0
T11	26726	13803	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	59	0	0
T14	211559	0	0	0
T16	127186	0	0	0
T28	137846	0	0	0
T37	362535	0	0	0
T142	33176	0	0	0
T144	280194	0	0	0
T155	73077	1	0	0
T160	10173	0	0	0
T179	0	1	0	0
T181	0	1	0	0
T182	0	1	0	0
T183	0	1	0	0
T187	0	1	0	0
T189	0	1	0	0
T190	0	1	0	0
T191	0	1	0	0
T192	0	2	0	0
T193	15817	0	0	0
T194	79131	0	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	198767369	0	0
T2	98618	84311	0	0
T3	611023	483798	0	0
T4	674981	598782	0	0
T5	45673	5766	0	0
T6	794691	683486	0	0
T7	10616	0	0	0
T8	11696	0	0	0
T9	13753	0	0	0
T10	5189	0	0	0
T11	26726	15230	0	0
T26	0	7444	0	0
T27	0	7257	0	0
T62	0	1323	0	0
T66	0	1641	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	8088	0	0
T2	98618	18	0	0
T3	611023	38	0	0
T4	674981	20	0	0
T5	45673	8	0	0
T6	794691	12	0	0
T7	10616	0	0	0
T8	11696	0	0	0
T9	13753	0	0	0
T10	5189	0	0	0
T11	26726	12	0	0
T26	0	15	0	0
T27	0	5	0	0
T62	0	1	0	0
T66	0	4	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	1757662	0	0
T5	45673	1721	0	0
T6	794691	0	0	0
T8	11696	0	0	0
T9	13753	0	0	0
T10	5189	0	0	0
T11	26726	0	0	0
T26	68242	0	0	0
T27	76687	0	0	0
T38	0	4838	0	0
T62	64632	0	0	0
T100	0	1360	0	0
T102	0	17718	0	0
T106	0	2559	0	0
T107	6392	0	0	0
T109	0	19070	0	0
T110	0	8896	0	0
T128	0	13839	0	0
T131	0	1647	0	0
T197	0	12525	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	18645288	0	0
T2	98618	2931	0	0
T3	611023	0	0	0
T4	674981	0	0	0
T5	45673	38950	0	0
T6	794691	0	0	0
T7	10616	0	0	0
T8	11696	0	0	0
T9	13753	0	0	0
T10	5189	0	0	0
T11	26726	0	0	0
T28	0	118663	0	0
T38	0	65525	0	0
T62	0	24028	0	0
T100	0	44710	0	0
T102	0	132317	0	0
T112	0	2535	0	0
T131	0	33161	0	0
T195	0	13284	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	444126869	443277538	0	0
T1	11990	11723	0	0
T2	98618	98342	0	0
T3	611023	610996	0	0
T4	674981	674969	0	0
T5	45673	44824	0	0
T7	10616	10351	0	0
T8	11696	11412	0	0
T9	13753	13432	0	0
T10	5189	5108	0	0
T11	26726	26498	0	0