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.23	94.16	96.15	97.24		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.23	94.16	96.15	97.24		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.23	94.16	96.15	97.24		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	T2,T5,T4
1	Excluded		VC_COV_UNR

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

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

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

-1-	Status	Tests
0	Covered	T72,T172,T170
1	Covered	T72,T172,T170

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

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

 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	T2,T5,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,T5,T8
1	1	Covered	T2,T5,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	T2,T5,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	T2,T5,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	T9,T11,T12

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

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

---

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

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T1,T2,T5
IdleSt->ReadSt	236	Covered	T2,T5,T4
InitSt->ErrorSt	315	Covered	T191,T209,T140
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T59,T210,T211
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T9,T11,T150
ReadSt->ReadWaitSt	252	Covered	T2,T5,T4
ReadWaitSt->ErrorSt	276	Not Covered
ReadWaitSt->IdleSt	270	Covered	T2,T5,T4
ResetSt->ErrorSt	315	Covered	T70,T71,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,T11,T150
CheckFailError	317	Covered	T72,T172,T170
FsmStateError	289	Covered	T1,T2,T5
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	T150,T161,T14
AccessError->MacroEccCorrError	221	Excluded
AccessError->NoError	235	Covered	T9,T11,T150
CheckFailError->AccessError	256	Excluded		VC_COV_UNR
CheckFailError->FsmStateError	325	Excluded		VC_COV_UNR
CheckFailError->MacroEccCorrError	221	Excluded
CheckFailError->NoError	235	Covered	T72,T172,T170
FsmStateError->AccessError	256	Excluded		VC_COV_UNR
FsmStateError->CheckFailError	317	Excluded		VC_COV_UNR
FsmStateError->MacroEccCorrError	221	Excluded
FsmStateError->NoError	235	Covered	T1,T2,T5
MacroEccCorrError->AccessError	256	Excluded
MacroEccCorrError->CheckFailError	317	Excluded
MacroEccCorrError->FsmStateError	325	Excluded
MacroEccCorrError->NoError	235	Excluded
NoError->AccessError	256	Covered	T9,T11,T150
NoError->CheckFailError	317	Covered	T72,T172,T170
NoError->FsmStateError	289	Covered	T1,T2,T5
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	T2,T5,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	T2,T5,T4

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

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T2,T5,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	T9,T11,T12
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	T2,T5,T4
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T2,T5,T4
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T93,T59,T100
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T9,T11,T150
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Excluded		VC_COV_UNR
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T2,T5,T4
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Excluded		VC_COV_UNR
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T2,T5,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T21,T22,T23
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T5
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T1,T5,T8
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T1,T5,T8
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T5
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,T172,T170
1	0	Covered	T72,T172,T170
0	-	Covered	T1,T2,T3

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T1,T2,T5
1	0	Covered	T1,T2,T5
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,T5
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,T5,T12
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	458353590	457476858	0	0
DigestKnown_A	458353590	457476858	0	0
DigestOffsetMustBeRepresentable_A	1150	1150	0	0
EccErrorState_A	458353590	13182	0	0
ErrorKnown_A	458353590	457476858	0	0
FsmStateKnown_A	458353590	457476858	0	0
InitDoneKnown_A	458353590	457476858	0	0
InitReadLocksPartition_A	458353590	93749523	0	0
InitWriteLocksPartition_A	458353590	93749523	0	0
OffsetMustBeBlockAligned_A	1150	1150	0	0
OtpAddrKnown_A	458353590	457476858	0	0
OtpCmdKnown_A	458353590	457476858	0	0
OtpErrorState_A	458353590	0	0	0
OtpReqKnown_A	458353590	457476858	0	0
OtpSizeKnown_A	458353590	457476858	0	0
OtpWdataKnown_A	458353590	457476858	0	0
ReadLockPropagation_A	458353590	200198230	0	0
SizeMustBeBlockAligned_A	1150	1150	0	0
TlulGntKnown_A	458353590	457476858	0	0
TlulRdataKnown_A	458353590	457476858	0	0
TlulReadOnReadLock_A	458353590	7748	0	0
TlulRerrorKnown_A	458353590	457476858	0	0
TlulRvalidKnown_A	458353590	457476858	0	0
WriteLockPropagation_A	458353590	4196404	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	458353590	44614798	0	0
u_state_regs_A	458353590	457476858	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

DigestOffsetMustBeRepresentable_A

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

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	13182	0	0
T72	8675	2349	0	0
T109	84182	0	0	0
T130	96800	0	0	0
T170	0	2717	0	0
T172	0	3046	0	0
T182	0	2416	0	0
T183	0	2654	0	0
T184	100045	0	0	0
T185	7970	0	0	0
T186	26926	0	0	0
T187	5245	0	0	0
T188	958870	0	0	0
T189	41722	0	0	0
T190	15417	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	93749523	0	0
T1	30888	15766	0	0
T2	13663	4161	0	0
T3	28644	482	0	0
T4	22130	213	0	0
T5	92318	16154	0	0
T8	13340	6934	0	0
T9	187405	1930	0	0
T10	18063	4675	0	0
T11	146655	1448	0	0
T12	58775	516	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	93749523	0	0
T1	30888	15766	0	0
T2	13663	4161	0	0
T3	28644	482	0	0
T4	22130	213	0	0
T5	92318	16154	0	0
T8	13340	6934	0	0
T9	187405	1930	0	0
T10	18063	4675	0	0
T11	146655	1448	0	0
T12	58775	516	0	0

OffsetMustBeBlockAligned_A

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

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	0	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	200198230	0	0
T3	28644	183	0	0
T4	22130	0	0	0
T5	92318	1938	0	0
T8	13340	0	0	0
T9	187405	58534	0	0
T10	18063	0	0	0
T11	146655	55098	0	0
T12	58775	2058	0	0
T24	14235	0	0	0
T63	0	912	0	0
T69	0	16989	0	0
T97	0	46237	0	0
T98	0	31772	0	0
T104	18265	0	0	0
T150	0	6392	0	0

SizeMustBeBlockAligned_A

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

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	7748	0	0
T1	30888	5	0	0
T2	13663	0	0	0
T3	28644	0	0	0
T4	22130	0	0	0
T5	92318	12	0	0
T8	13340	1	0	0
T9	187405	10	0	0
T10	18063	0	0	0
T11	146655	9	0	0
T12	58775	0	0	0
T63	0	18	0	0
T69	0	14	0	0
T97	0	21	0	0
T150	0	19	0	0
T158	0	5	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	4196404	0	0
T9	187405	22310	0	0
T10	18063	0	0	0
T11	146655	51634	0	0
T12	58775	15297	0	0
T24	14235	0	0	0
T28	49649	0	0	0
T35	0	774	0	0
T59	0	64101	0	0
T60	0	9254	0	0
T61	14651	0	0	0
T93	0	1055	0	0
T99	0	35574	0	0
T101	0	18994	0	0
T104	18265	0	0	0
T105	119271	0	0	0
T106	19335	0	0	0
T109	0	19577	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	44614798	0	0
T9	187405	166700	0	0
T10	18063	0	0	0
T11	146655	126791	0	0
T12	58775	23801	0	0
T24	14235	6554	0	0
T28	49649	41980	0	0
T35	0	15219	0	0
T61	14651	0	0	0
T63	0	23058	0	0
T97	0	86087	0	0
T104	18265	0	0	0
T105	119271	0	0	0
T106	19335	0	0	0
T110	0	2157	0	0
T150	0	3319	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	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	T173,T174,T175

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

-1-	Status	Tests
0	Covered	T1,T2,T4
1	Covered	T5,T12,T35

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

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

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

-1-	Status	Tests
0	Covered	T172,T170,T171
1	Covered	T172,T170,T171

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

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

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

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

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

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

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

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

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

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

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

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

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

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

---

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

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T1,T2,T5
IdleSt->ReadSt	236	Covered	T1,T2,T3
InitSt->ErrorSt	315	Covered	T59,T191,T210
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T61,T178,T198
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T3,T9,T11
ReadSt->ReadWaitSt	252	Covered	T1,T2,T5
ReadWaitSt->ErrorSt	276	Covered	T179,T180,T212
ReadWaitSt->IdleSt	270	Covered	T1,T2,T5
ResetSt->ErrorSt	315	Covered	T70,T71,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	T3,T9,T11
CheckFailError	317	Covered	T172,T170,T171
FsmStateError	289	Covered	T1,T2,T5
MacroEccCorrError	221	Covered	T5,T12,T35
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded		VC_COV_UNR
AccessError->FsmStateError	325	Covered	T150,T6,T161
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T3,T9,T11
CheckFailError->AccessError	256	Excluded		VC_COV_UNR
CheckFailError->FsmStateError	325	Excluded		VC_COV_UNR
CheckFailError->MacroEccCorrError	221	Excluded		VC_COV_UNR
CheckFailError->NoError	235	Covered	T172,T170,T171
FsmStateError->AccessError	256	Excluded		VC_COV_UNR
FsmStateError->CheckFailError	317	Excluded		VC_COV_UNR
FsmStateError->MacroEccCorrError	221	Excluded		VC_COV_UNR
FsmStateError->NoError	235	Covered	T1,T2,T5
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T5,T173,T174
MacroEccCorrError->NoError	235	Covered	T12,T35,T192
NoError->AccessError	256	Covered	T3,T9,T11
NoError->CheckFailError	317	Covered	T172,T170,T171
NoError->FsmStateError	289	Covered	T1,T2,T5
NoError->MacroEccCorrError	221	Covered	T5,T12,T35

---

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

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

Branches:

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

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

Branches:

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

	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	T9,T11,T12
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	T173,T174,T175
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T61,T178,T198
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T2,T5
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T100,T60,T213
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T3,T9,T11
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T5,T12,T35
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T2,T4
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T179,T180,T212
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T2,T5
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T21,T22,T23
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T5
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T1,T5,T63
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T1,T5,T63
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T5
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	T172,T170,T171
1	0	Covered	T172,T170,T171
0	-	Covered	T1,T2,T3

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T1,T2,T5
1	0	Covered	T1,T2,T5
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[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	458353590	457476858	0	0
DigestKnown_A	458353590	457476858	0	0
DigestOffsetMustBeRepresentable_A	1150	1150	0	0
EccErrorState_A	458353590	11742	0	0
ErrorKnown_A	458353590	457476858	0	0
FsmStateKnown_A	458353590	457476858	0	0
InitDoneKnown_A	458353590	457476858	0	0
InitReadLocksPartition_A	458353590	93934356	0	0
InitWriteLocksPartition_A	458353590	93934356	0	0
OffsetMustBeBlockAligned_A	1150	1150	0	0
OtpAddrKnown_A	458353590	457476858	0	0
OtpCmdKnown_A	458353590	457476858	0	0
OtpErrorState_A	458353590	72	0	0
OtpReqKnown_A	458353590	457476858	0	0
OtpSizeKnown_A	458353590	457476858	0	0
OtpWdataKnown_A	458353590	457476858	0	0
ReadLockPropagation_A	458353590	209176916	0	0
SizeMustBeBlockAligned_A	1150	1150	0	0
TlulGntKnown_A	458353590	457476858	0	0
TlulRdataKnown_A	458353590	457476858	0	0
TlulReadOnReadLock_A	458353590	7913	0	0
TlulRerrorKnown_A	458353590	457476858	0	0
TlulRvalidKnown_A	458353590	457476858	0	0
WriteLockPropagation_A	458353590	4964825	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	458353590	42616210	0	0
u_state_regs_A	458353590	457476858	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

DigestOffsetMustBeRepresentable_A

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

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	11742	0	0
T65	18778	0	0	0
T170	12659	2717	0	0
T171	0	3563	0	0
T172	11173	3046	0	0
T181	78490	0	0	0
T182	0	2416	0	0
T191	507478	0	0	0
T192	18224	0	0	0
T193	204397	0	0	0
T194	14488	0	0	0
T195	175395	0	0	0
T196	14626	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	93934356	0	0
T1	30888	15817	0	0
T2	13663	4195	0	0
T3	28644	635	0	0
T4	22130	264	0	0
T5	92318	16494	0	0
T8	13340	6985	0	0
T9	187405	2253	0	0
T10	18063	4726	0	0
T11	146655	1669	0	0
T12	58775	635	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	93934356	0	0
T1	30888	15817	0	0
T2	13663	4195	0	0
T3	28644	635	0	0
T4	22130	264	0	0
T5	92318	16494	0	0
T8	13340	6985	0	0
T9	187405	2253	0	0
T10	18063	4726	0	0
T11	146655	1669	0	0
T12	58775	635	0	0

OffsetMustBeBlockAligned_A

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

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	72	0	0
T28	49649	0	0	0
T30	16904	0	0	0
T35	29801	0	0	0
T61	14651	1	0	0
T62	12831	0	0	0
T63	31712	0	0	0
T96	0	1	0	0
T106	19335	0	0	0
T110	14639	0	0	0
T111	13974	0	0	0
T131	13462	0	0	0
T178	0	1	0	0
T179	0	1	0	0
T190	0	1	0	0
T198	0	1	0	0
T199	0	1	0	0
T200	0	1	0	0
T201	0	1	0	0
T203	0	1	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	209176916	0	0
T3	28644	181	0	0
T4	22130	0	0	0
T5	92318	1936	0	0
T8	13340	0	0	0
T9	187405	49331	0	0
T10	18063	0	0	0
T11	146655	58625	0	0
T12	58775	7124	0	0
T24	14235	0	0	0
T63	0	3773	0	0
T69	0	18174	0	0
T97	0	41615	0	0
T98	0	40693	0	0
T104	18265	0	0	0
T150	0	6390	0	0

SizeMustBeBlockAligned_A

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

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	7913	0	0
T1	30888	5	0	0
T2	13663	0	0	0
T3	28644	1	0	0
T4	22130	0	0	0
T5	92318	9	0	0
T8	13340	0	0	0
T9	187405	5	0	0
T10	18063	0	0	0
T11	146655	7	0	0
T12	58775	0	0	0
T63	0	25	0	0
T69	0	20	0	0
T97	0	14	0	0
T150	0	11	0	0
T158	0	7	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	4964825	0	0
T9	187405	13317	0	0
T10	18063	0	0	0
T11	146655	0	0	0
T12	58775	0	0	0
T24	14235	0	0	0
T28	49649	0	0	0
T35	0	3344	0	0
T59	0	103643	0	0
T61	14651	0	0	0
T93	0	1625	0	0
T95	0	2413	0	0
T97	0	8509	0	0
T98	0	7618	0	0
T103	0	3001	0	0
T104	18265	0	0	0
T105	119271	0	0	0
T106	19335	0	0	0
T126	0	27963	0	0
T207	0	3771	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	42616210	0	0
T9	187405	166394	0	0
T10	18063	0	0	0
T11	146655	101286	0	0
T12	58775	5459	0	0
T24	14235	0	0	0
T28	49649	41827	0	0
T35	0	15168	0	0
T61	14651	3217	0	0
T63	0	22990	0	0
T97	0	85900	0	0
T104	18265	0	0	0
T105	119271	0	0	0
T106	19335	0	0	0
T150	0	3285	0	0
T178	0	3799	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	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	T51,T176,T177

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T5,T12,T28

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

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

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

-1-	Status	Tests
0	Covered	T71,T172,T170
1	Covered	T71,T172,T170

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T12,T28,T62

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

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

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T1,T2,T5
IdleSt->ReadSt	236	Covered	T1,T2,T3
InitSt->ErrorSt	315	Covered	T59,T191,T210
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T61,T62,T110
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T9,T11,T12
ReadSt->ReadWaitSt	252	Covered	T1,T2,T3
ReadWaitSt->ErrorSt	276	Covered	T181,T162,T214
ReadWaitSt->IdleSt	270	Covered	T1,T2,T3
ResetSt->ErrorSt	315	Covered	T70,T71,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,T11,T12
CheckFailError	317	Covered	T71,T172,T170
FsmStateError	289	Covered	T1,T2,T5
MacroEccCorrError	221	Covered	T5,T12,T28
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,T161,T14
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T9,T11,T12
CheckFailError->AccessError	256	Excluded		VC_COV_UNR
CheckFailError->FsmStateError	325	Excluded		VC_COV_UNR
CheckFailError->MacroEccCorrError	221	Excluded		VC_COV_UNR
CheckFailError->NoError	235	Covered	T71,T172,T170
FsmStateError->AccessError	256	Excluded		VC_COV_UNR
FsmStateError->CheckFailError	317	Excluded		VC_COV_UNR
FsmStateError->MacroEccCorrError	221	Excluded		VC_COV_UNR
FsmStateError->NoError	235	Covered	T1,T2,T5
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T5,T51,T176
MacroEccCorrError->NoError	235	Covered	T12,T28,T35
NoError->AccessError	256	Covered	T9,T11,T12
NoError->CheckFailError	317	Covered	T71,T172,T170
NoError->FsmStateError	289	Covered	T1,T2,T5
NoError->MacroEccCorrError	221	Covered	T5,T12,T28

---

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

-1-	Status	Tests
1	Covered	T12,T28,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	T51,T176,T177
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T62,T110,T111
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T93,T59,T100
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T9,T11,T12
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T5,T12,T28
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T181,T162,T214
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T21,T22,T23
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T5
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T1,T5,T8
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T1,T5,T8
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T5
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	T71,T172,T170
1	0	Covered	T71,T172,T170
0	-	Covered	T1,T2,T3

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T1,T2,T5
1	0	Covered	T1,T2,T5
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	458353590	457476858	0	0
DigestKnown_A	458353590	457476858	0	0
DigestOffsetMustBeRepresentable_A	1150	1150	0	0
EccErrorState_A	458353590	14136	0	0
ErrorKnown_A	458353590	457476858	0	0
FsmStateKnown_A	458353590	457476858	0	0
InitDoneKnown_A	458353590	457476858	0	0
InitReadLocksPartition_A	458353590	94117966	0	0
InitWriteLocksPartition_A	458353590	94117966	0	0
OffsetMustBeBlockAligned_A	1150	1150	0	0
OtpAddrKnown_A	458353590	457476858	0	0
OtpCmdKnown_A	458353590	457476858	0	0
OtpErrorState_A	458353590	48	0	0
OtpReqKnown_A	458353590	457476858	0	0
OtpSizeKnown_A	458353590	457476858	0	0
OtpWdataKnown_A	458353590	457476858	0	0
ReadLockPropagation_A	458353590	199450741	0	0
SizeMustBeBlockAligned_A	1150	1150	0	0
TlulGntKnown_A	458353590	457476858	0	0
TlulRdataKnown_A	458353590	457476858	0	0
TlulReadOnReadLock_A	458353590	8168	0	0
TlulRerrorKnown_A	458353590	457476858	0	0
TlulRvalidKnown_A	458353590	457476858	0	0
WriteLockPropagation_A	458353590	2864508	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	458353590	29833814	0	0
u_state_regs_A	458353590	457476858	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

DigestOffsetMustBeRepresentable_A

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

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	14136	0	0
T27	340325	0	0	0
T31	15934	0	0	0
T71	13002	2394	0	0
T108	40865	0	0	0
T170	0	2717	0	0
T171	0	3563	0	0
T172	0	3046	0	0
T182	0	2416	0	0
T202	12800	0	0	0
T203	9091	0	0	0
T204	17080	0	0	0
T205	4902	0	0	0
T215	14042	0	0	0
T216	16270	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	94117966	0	0
T1	30888	15868	0	0
T2	13663	4229	0	0
T3	28644	788	0	0
T4	22130	315	0	0
T5	92318	16834	0	0
T8	13340	7036	0	0
T9	187405	2576	0	0
T10	18063	4777	0	0
T11	146655	1890	0	0
T12	58775	754	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	94117966	0	0
T1	30888	15868	0	0
T2	13663	4229	0	0
T3	28644	788	0	0
T4	22130	315	0	0
T5	92318	16834	0	0
T8	13340	7036	0	0
T9	187405	2576	0	0
T10	18063	4777	0	0
T11	146655	1890	0	0
T12	58775	754	0	0

OffsetMustBeBlockAligned_A

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

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	48	0	0
T30	16904	0	0	0
T35	29801	0	0	0
T48	16593	0	0	0
T62	12831	1	0	0
T63	31712	0	0	0
T110	14639	1	0	0
T111	13974	1	0	0
T131	13462	0	0	0
T150	14913	0	0	0
T158	44275	0	0	0
T173	0	1	0	0
T174	0	1	0	0
T175	0	1	0	0
T181	0	1	0	0
T185	0	1	0	0
T196	0	1	0	0
T197	0	1	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	199450741	0	0
T3	28644	179	0	0
T4	22130	0	0	0
T5	92318	1934	0	0
T8	13340	0	0	0
T9	187405	53303	0	0
T10	18063	0	0	0
T11	146655	47874	0	0
T12	58775	16620	0	0
T24	14235	0	0	0
T28	0	688	0	0
T35	0	246	0	0
T63	0	2650	0	0
T97	0	43369	0	0
T104	18265	0	0	0
T150	0	5891	0	0

SizeMustBeBlockAligned_A

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

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	8168	0	0
T1	30888	7	0	0
T2	13663	0	0	0
T3	28644	0	0	0
T4	22130	0	0	0
T5	92318	10	0	0
T8	13340	1	0	0
T9	187405	6	0	0
T10	18063	0	0	0
T11	146655	9	0	0
T12	58775	1	0	0
T63	0	18	0	0
T97	0	14	0	0
T150	0	21	0	0
T158	0	7	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	2864508	0	0
T6	196555	0	0	0
T15	5034	0	0	0
T58	55507	0	0	0
T59	0	77772	0	0
T69	101886	0	0	0
T95	0	5480	0	0
T97	103481	8509	0	0
T98	242796	0	0	0
T102	0	2179	0	0
T103	0	4619	0	0
T109	0	8302	0	0
T112	28046	0	0	0
T126	0	14006	0	0
T165	15332	0	0	0
T173	9991	0	0	0
T191	0	17135	0	0
T193	0	30443	0	0
T197	10228	0	0	0
T208	0	8299	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	29833814	0	0
T12	58775	23699	0	0
T24	14235	0	0	0
T28	49649	41674	0	0
T30	16904	0	0	0
T35	29801	4682	0	0
T61	14651	0	0	0
T62	12831	2062	0	0
T63	0	22922	0	0
T97	0	85713	0	0
T98	0	210998	0	0
T104	18265	0	0	0
T105	119271	0	0	0
T106	19335	0	0	0
T110	0	2135	0	0
T111	0	3538	0	0
T173	0	3585	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	458353590	457476858	0	0
T1	30888	30591	0	0
T2	13663	13387	0	0
T3	28644	27809	0	0
T4	22130	21882	0	0
T5	92318	90724	0	0
T8	13340	13134	0	0
T9	187405	185998	0	0
T10	18063	17788	0	0
T11	146655	145603	0	0
T12	58775	58278	0	0