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.15	94.16	96.15	96.83		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.15	94.16	96.15	96.83		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.15	94.16	96.15	96.83		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,T2,T6
1	Excluded		VC_COV_UNR

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

-1-	Status	Tests
0	Covered	T1,T2,T6
1	Covered	T24,T25,T26

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

-1-	Status	Tests
0	Covered	T86,T159,T170
1	Covered	T86,T159,T170

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

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

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

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

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

 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,T2,T6
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,T6
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	T3,T9,T10

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

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

---

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,T6
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,T6
ResetSt	190	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T1,T2,T6
IdleSt->ReadSt	236	Covered	T1,T2,T3
InitSt->ErrorSt	315	Covered	T215
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T216,T217,T218
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T3,T7,T8
ReadSt->ReadWaitSt	252	Covered	T1,T2,T6
ReadWaitSt->ErrorSt	276	Not Covered
ReadWaitSt->IdleSt	270	Covered	T1,T2,T6
ResetSt->ErrorSt	315	Covered	T84,T85,T86
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,T7,T8
CheckFailError	317	Covered	T86,T159,T170
FsmStateError	289	Covered	T1,T2,T6
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	T14,T83,T146
AccessError->MacroEccCorrError	221	Excluded
AccessError->NoError	235	Covered	T3,T7,T8
CheckFailError->AccessError	256	Excluded		VC_COV_UNR
CheckFailError->FsmStateError	325	Excluded		VC_COV_UNR
CheckFailError->MacroEccCorrError	221	Excluded
CheckFailError->NoError	235	Covered	T86,T159,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,T6
MacroEccCorrError->AccessError	256	Excluded
MacroEccCorrError->CheckFailError	317	Excluded
MacroEccCorrError->FsmStateError	325	Excluded
MacroEccCorrError->NoError	235	Excluded
NoError->AccessError	256	Covered	T3,T7,T8
NoError->CheckFailError	317	Covered	T86,T159,T170
NoError->FsmStateError	289	Covered	T1,T2,T6
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,T2,T6
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,T6

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

Branches:

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

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

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

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	-10-	-11-	-12-	-13-	-14-	-15-	-16-	Status	Tests	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,T2,T3
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T2,T6
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T14,T30,T47
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T3,T7,T8
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Excluded		VC_COV_UNR
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T2,T6
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Excluded		VC_COV_UNR
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T2,T6
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T24,T25,T26
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T6
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T6,T10,T11
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T6,T10,T11
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T6
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T24,T25,T26

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T86,T159,T170
1	0	Covered	T86,T159,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,T6
1	0	Covered	T1,T2,T6
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	T1,T6,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	477630367	476732728	0	0
DigestKnown_A	477630367	476732728	0	0
DigestOffsetMustBeRepresentable_A	1149	1149	0	0
EccErrorState_A	477630367	19442	0	0
ErrorKnown_A	477630367	476732728	0	0
FsmStateKnown_A	477630367	476732728	0	0
InitDoneKnown_A	477630367	476732728	0	0
InitReadLocksPartition_A	477630367	115429650	0	0
InitWriteLocksPartition_A	477630367	115429650	0	0
OffsetMustBeBlockAligned_A	1149	1149	0	0
OtpAddrKnown_A	477630367	476732728	0	0
OtpCmdKnown_A	477630367	476732728	0	0
OtpErrorState_A	477630367	0	0	0
OtpReqKnown_A	477630367	476732728	0	0
OtpSizeKnown_A	477630367	476732728	0	0
OtpWdataKnown_A	477630367	476732728	0	0
ReadLockPropagation_A	477630367	168747422	0	0
SizeMustBeBlockAligned_A	1149	1149	0	0
TlulGntKnown_A	477630367	476732728	0	0
TlulRdataKnown_A	477630367	476732728	0	0
TlulReadOnReadLock_A	477630367	8319	0	0
TlulRerrorKnown_A	477630367	476732728	0	0
TlulRvalidKnown_A	477630367	476732728	0	0
WriteLockPropagation_A	477630367	2323604	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	477630367	30007849	0	0
u_state_regs_A	477630367	476732728	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1149	1149	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T6	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	19442	0	0
T86	10590	3816	0	0
T159	0	3853	0	0
T170	0	3517	0	0
T172	0	2864	0	0
T176	0	3208	0	0
T177	0	2184	0	0
T178	42620	0	0	0
T179	12791	0	0	0
T180	92973	0	0	0
T181	13170	0	0	0
T182	495038	0	0	0
T183	8064	0	0	0
T184	28103	0	0	0
T185	11269	0	0	0
T186	38822	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	115429650	0	0
T1	13338	3622	0	0
T2	15760	4758	0	0
T3	29969	396	0	0
T4	57616	45576	0	0
T6	24698	15085	0	0
T9	11393	4834	0	0
T10	24291	11423	0	0
T11	14940	7921	0	0
T12	9230	1282	0	0
T13	17167	9454	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	115429650	0	0
T1	13338	3622	0	0
T2	15760	4758	0	0
T3	29969	396	0	0
T4	57616	45576	0	0
T6	24698	15085	0	0
T9	11393	4834	0	0
T10	24291	11423	0	0
T11	14940	7921	0	0
T12	9230	1282	0	0
T13	17167	9454	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1149	1149	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T6	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	0	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	168747422	0	0
T3	29969	9312	0	0
T4	57616	0	0	0
T5	29039	0	0	0
T6	24698	0	0	0
T7	0	161385	0	0
T8	0	443180	0	0
T9	11393	0	0	0
T10	24291	15591	0	0
T11	14940	0	0	0
T12	9230	0	0	0
T13	17167	0	0	0
T14	0	270810	0	0
T30	0	145978	0	0
T33	34909	0	0	0
T40	0	23783	0	0
T53	0	2789	0	0
T57	0	5380	0	0
T122	0	52775	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1149	1149	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T6	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	8319	0	0
T3	29969	1	0	0
T4	57616	10	0	0
T5	29039	0	0	0
T6	24698	9	0	0
T7	0	50	0	0
T9	11393	0	0	0
T10	24291	4	0	0
T11	14940	4	0	0
T12	9230	2	0	0
T13	17167	8	0	0
T33	34909	1	0	0
T122	0	12	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	2323604	0	0
T8	343756	0	0	0
T14	736216	0	0	0
T15	0	10807	0	0
T18	22811	4393	0	0
T24	931853	0	0	0
T30	0	29084	0	0
T51	15758	0	0	0
T53	66825	0	0	0
T57	0	15735	0	0
T62	12065	0	0	0
T109	0	4167	0	0
T110	0	20708	0	0
T111	0	5698	0	0
T119	0	3151	0	0
T120	16341	0	0	0
T123	11802	0	0	0
T124	14712	0	0	0
T212	0	20761	0	0
T213	0	9271	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	30007849	0	0
T3	29969	16928	0	0
T4	57616	0	0	0
T5	29039	0	0	0
T6	24698	0	0	0
T9	11393	3638	0	0
T10	24291	3790	0	0
T11	14940	0	0	0
T12	9230	0	0	0
T13	17167	0	0	0
T18	0	12551	0	0
T30	0	464504	0	0
T31	0	13646	0	0
T33	34909	4908	0	0
T40	0	2716	0	0
T57	0	123086	0	0
T112	0	2885	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	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	T1,T9,T54

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T63,T34,T70

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

-1-	Status	Tests
0	Covered	T1,T2,T6
1	Covered	T24,T25,T26

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

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

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

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

 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	T6,T10,T11
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'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,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	T10,T33,T40

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T10,T33,T40

---

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,T6
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,T6
IdleSt->ReadSt	236	Covered	T1,T2,T3
InitSt->ErrorSt	315	Covered	T216,T217,T218
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T124,T113,T196
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T10,T7,T40
ReadSt->ReadWaitSt	252	Covered	T1,T2,T3
ReadWaitSt->ErrorSt	276	Covered	T53,T175,T219
ReadWaitSt->IdleSt	270	Covered	T1,T2,T3
ResetSt->ErrorSt	315	Covered	T84,T85,T86
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	T10,T7,T40
CheckFailError	317	Covered	T159,T170,T171
FsmStateError	289	Covered	T1,T2,T6
MacroEccCorrError	221	Covered	T1,T9,T54
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded		VC_COV_UNR
AccessError->FsmStateError	325	Covered	T10,T40,T8
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T10,T7,T40
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	T159,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,T6
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T1,T9,T54
MacroEccCorrError->NoError	235	Covered	T63,T34,T70
NoError->AccessError	256	Covered	T10,T7,T40
NoError->CheckFailError	317	Covered	T159,T170,T171
NoError->FsmStateError	289	Covered	T2,T6,T11
NoError->MacroEccCorrError	221	Covered	T1,T9,T54

---

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,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	T10,T33,T40
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	T1,T9,T54
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T124,T113,T196
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	T7,T30,T47
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T10,T7,T40
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T63,T34,T70
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T53,T175,T219
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T24,T25,T26
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T6
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T6,T10,T11
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T6,T10,T11
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T6
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T24,T25,T26

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T159,T170,T171
1	0	Covered	T159,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,T6
1	0	Covered	T1,T2,T6
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	477630367	476732728	0	0
DigestKnown_A	477630367	476732728	0	0
DigestOffsetMustBeRepresentable_A	1149	1149	0	0
EccErrorState_A	477630367	15987	0	0
ErrorKnown_A	477630367	476732728	0	0
FsmStateKnown_A	477630367	476732728	0	0
InitDoneKnown_A	477630367	476732728	0	0
InitReadLocksPartition_A	477630367	115620425	0	0
InitWriteLocksPartition_A	477630367	115620425	0	0
OffsetMustBeBlockAligned_A	1149	1149	0	0
OtpAddrKnown_A	477630367	476732728	0	0
OtpCmdKnown_A	477630367	476732728	0	0
OtpErrorState_A	477630367	74	0	0
OtpReqKnown_A	477630367	476732728	0	0
OtpSizeKnown_A	477630367	476732728	0	0
OtpWdataKnown_A	477630367	476732728	0	0
ReadLockPropagation_A	477630367	181059130	0	0
SizeMustBeBlockAligned_A	1149	1149	0	0
TlulGntKnown_A	477630367	476732728	0	0
TlulRdataKnown_A	477630367	476732728	0	0
TlulReadOnReadLock_A	477630367	8286	0	0
TlulRerrorKnown_A	477630367	476732728	0	0
TlulRvalidKnown_A	477630367	476732728	0	0
WriteLockPropagation_A	477630367	2859995	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	477630367	30394396	0	0
u_state_regs_A	477630367	476732728	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1149	1149	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T6	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	15987	0	0
T159	14007	3853	0	0
T170	0	3517	0	0
T171	0	3569	0	0
T172	0	2864	0	0
T177	0	2184	0	0
T187	99057	0	0	0
T188	14898	0	0	0
T189	74071	0	0	0
T190	12641	0	0	0
T191	12464	0	0	0
T192	501183	0	0	0
T193	11732	0	0	0
T194	58298	0	0	0
T195	26770	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	115620425	0	0
T1	13338	3673	0	0
T2	15760	4809	0	0
T3	29969	464	0	0
T4	57616	45610	0	0
T6	24698	15136	0	0
T9	11393	4868	0	0
T10	24291	11474	0	0
T11	14940	7955	0	0
T12	9230	1333	0	0
T13	17167	9505	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	115620425	0	0
T1	13338	3673	0	0
T2	15760	4809	0	0
T3	29969	464	0	0
T4	57616	45610	0	0
T6	24698	15136	0	0
T9	11393	4868	0	0
T10	24291	11474	0	0
T11	14940	7955	0	0
T12	9230	1333	0	0
T13	17167	9505	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1149	1149	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T6	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	74	0	0
T8	343756	0	0	0
T14	736216	0	0	0
T30	531275	0	0	0
T53	66825	1	0	0
T57	136352	0	0	0
T62	12065	0	0	0
T112	12110	0	0	0
T113	0	1	0	0
T120	16341	0	0	0
T123	11802	0	0	0
T124	14712	1	0	0
T175	0	2	0	0
T196	0	1	0	0
T197	0	1	0	0
T198	0	1	0	0
T199	0	1	0	0
T202	0	1	0	0
T203	0	1	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	181059130	0	0
T3	29969	8440	0	0
T4	57616	0	0	0
T5	29039	0	0	0
T6	24698	0	0	0
T7	0	645551	0	0
T8	0	517425	0	0
T9	11393	0	0	0
T10	24291	15589	0	0
T11	14940	0	0	0
T12	9230	0	0	0
T13	17167	0	0	0
T14	0	232368	0	0
T30	0	123545	0	0
T33	34909	0	0	0
T40	0	31069	0	0
T53	0	2784	0	0
T57	0	5614	0	0
T122	0	52763	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1149	1149	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T6	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	8286	0	0
T4	57616	9	0	0
T5	29039	0	0	0
T6	24698	10	0	0
T7	0	36	0	0
T9	11393	0	0	0
T10	24291	5	0	0
T11	14940	3	0	0
T12	9230	4	0	0
T13	17167	13	0	0
T33	34909	3	0	0
T40	0	6	0	0
T122	59266	8	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	2859995	0	0
T15	0	45750	0	0
T30	531275	69831	0	0
T31	72855	8345	0	0
T47	68561	0	0	0
T65	13528	0	0	0
T106	0	679	0	0
T109	0	14940	0	0
T110	0	36510	0	0
T111	0	4306	0	0
T112	12110	0	0	0
T113	8592	0	0	0
T114	11961	0	0	0
T115	20865	0	0	0
T116	11350	0	0	0
T117	21605	0	0	0
T211	0	1384	0	0
T212	0	5389	0	0
T213	0	4443	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	30394396	0	0
T4	57616	0	0	0
T5	29039	0	0	0
T7	948204	0	0	0
T10	24291	3756	0	0
T11	14940	0	0	0
T12	9230	0	0	0
T13	17167	0	0	0
T18	0	12500	0	0
T30	0	463552	0	0
T31	0	60577	0	0
T33	34909	4874	0	0
T40	0	2699	0	0
T57	0	122933	0	0
T61	12112	0	0	0
T112	0	2868	0	0
T114	0	5261	0	0
T122	59266	0	0	0
T124	0	2768	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	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	T1,T9,T27

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T53,T63,T34

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

-1-	Status	Tests
0	Covered	T1,T2,T6
1	Covered	T24,T25,T26

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

-1-	Status	Tests
0	Covered	T85,T86,T172
1	Covered	T85,T86,T172

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

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

 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	T3,T6,T10
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	T10,T33,T30

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T10,T33,T30

---

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,T6
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,T6
IdleSt->ReadSt	236	Covered	T1,T2,T3
InitSt->ErrorSt	315	Covered	T216,T217,T218
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T124,T113,T173
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T3,T10,T7
ReadSt->ReadWaitSt	252	Covered	T1,T2,T3
ReadWaitSt->ErrorSt	276	Covered	T163,T207,T164
ReadWaitSt->IdleSt	270	Covered	T1,T2,T3
ResetSt->ErrorSt	315	Covered	T84,T85,T86
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,T10,T7
CheckFailError	317	Covered	T85,T86,T172
FsmStateError	289	Covered	T1,T2,T6
MacroEccCorrError	221	Covered	T1,T9,T53
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded		VC_COV_UNR
AccessError->FsmStateError	325	Covered	T10,T8,T14
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T3,T7,T53
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	T85,T86,T172
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,T6
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T1,T9,T27
MacroEccCorrError->NoError	235	Covered	T53,T63,T34
NoError->AccessError	256	Covered	T3,T10,T7
NoError->CheckFailError	317	Covered	T85,T86,T172
NoError->FsmStateError	289	Covered	T2,T6,T11
NoError->MacroEccCorrError	221	Covered	T1,T9,T53

---

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	T10,T33,T30
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	T1,T9,T27
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T173,T200,T201
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	T30,T47,T119
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T3,T10,T7
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T53,T63,T34
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T163,T207,T164
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T24,T25,T26
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T6
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T6,T11,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T6,T11,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T6
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T24,T25,T26

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T85,T86,T172
1	0	Covered	T85,T86,T172
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,T6
1	0	Covered	T1,T2,T6
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	477630367	476732728	0	0
DigestKnown_A	477630367	476732728	0	0
DigestOffsetMustBeRepresentable_A	1149	1149	0	0
EccErrorState_A	477630367	12082	0	0
ErrorKnown_A	477630367	476732728	0	0
FsmStateKnown_A	477630367	476732728	0	0
InitDoneKnown_A	477630367	476732728	0	0
InitReadLocksPartition_A	477630367	115809939	0	0
InitWriteLocksPartition_A	477630367	115809939	0	0
OffsetMustBeBlockAligned_A	1149	1149	0	0
OtpAddrKnown_A	477630367	476732728	0	0
OtpCmdKnown_A	477630367	476732728	0	0
OtpErrorState_A	477630367	56	0	0
OtpReqKnown_A	477630367	476732728	0	0
OtpSizeKnown_A	477630367	476732728	0	0
OtpWdataKnown_A	477630367	476732728	0	0
ReadLockPropagation_A	477630367	176522055	0	0
SizeMustBeBlockAligned_A	1149	1149	0	0
TlulGntKnown_A	477630367	476732728	0	0
TlulRdataKnown_A	477630367	476732728	0	0
TlulReadOnReadLock_A	477630367	8718	0	0
TlulRerrorKnown_A	477630367	476732728	0	0
TlulRvalidKnown_A	477630367	476732728	0	0
WriteLockPropagation_A	477630367	1579763	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	477630367	21874636	0	0
u_state_regs_A	477630367	476732728	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1149	1149	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T6	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	12082	0	0
T56	8490	0	0	0
T85	13120	3218	0	0
T86	0	3816	0	0
T90	103559	0	0	0
T91	9397	0	0	0
T172	0	2864	0	0
T177	0	2184	0	0
T220	64699	0	0	0
T221	13364	0	0	0
T222	11780	0	0	0
T223	21781	0	0	0
T224	18981	0	0	0
T225	13086	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	115809939	0	0
T1	13338	3724	0	0
T2	15760	4860	0	0
T3	29969	532	0	0
T4	57616	45644	0	0
T6	24698	15187	0	0
T9	11393	4902	0	0
T10	24291	11525	0	0
T11	14940	7989	0	0
T12	9230	1384	0	0
T13	17167	9556	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	115809939	0	0
T1	13338	3724	0	0
T2	15760	4860	0	0
T3	29969	532	0	0
T4	57616	45644	0	0
T6	24698	15187	0	0
T9	11393	4902	0	0
T10	24291	11525	0	0
T11	14940	7989	0	0
T12	9230	1384	0	0
T13	17167	9556	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1149	1149	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T6	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	56	0	0
T20	288756	0	0	0
T27	13636	0	0	0
T83	579880	0	0	0
T106	57268	0	0	0
T163	0	1	0	0
T164	0	2	0	0
T173	16632	1	0	0
T183	0	1	0	0
T196	13516	0	0	0
T197	15439	0	0	0
T200	0	1	0	0
T201	0	1	0	0
T204	0	1	0	0
T205	0	1	0	0
T206	0	1	0	0
T207	0	1	0	0
T208	17165	0	0	0
T209	15004	0	0	0
T210	27216	0	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	176522055	0	0
T3	29969	7699	0	0
T4	57616	0	0	0
T5	29039	0	0	0
T6	24698	0	0	0
T7	0	645406	0	0
T8	0	517687	0	0
T9	11393	0	0	0
T10	24291	15090	0	0
T11	14940	0	0	0
T12	9230	0	0	0
T13	17167	0	0	0
T14	0	234604	0	0
T30	0	161009	0	0
T33	34909	0	0	0
T40	0	24266	0	0
T53	0	5571	0	0
T57	0	5744	0	0
T122	0	52760	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1149	1149	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T6	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	8718	0	0
T3	29969	1	0	0
T4	57616	3	0	0
T5	29039	0	0	0
T6	24698	10	0	0
T7	0	34	0	0
T9	11393	0	0	0
T10	24291	1	0	0
T11	14940	2	0	0
T12	9230	1	0	0
T13	17167	6	0	0
T33	34909	3	0	0
T122	0	8	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	1579763	0	0
T15	0	13485	0	0
T30	531275	61911	0	0
T31	72855	8039	0	0
T47	68561	0	0	0
T63	0	2741	0	0
T65	13528	0	0	0
T93	0	21135	0	0
T111	0	4680	0	0
T112	12110	0	0	0
T113	8592	0	0	0
T114	11961	0	0	0
T115	20865	0	0	0
T116	11350	0	0	0
T117	21605	0	0	0
T118	0	19543	0	0
T133	0	11095	0	0
T212	0	7642	0	0
T214	0	8604	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	21874636	0	0
T4	57616	0	0	0
T5	29039	0	0	0
T7	948204	0	0	0
T10	24291	3722	0	0
T11	14940	0	0	0
T12	9230	0	0	0
T13	17167	0	0	0
T30	0	375742	0	0
T31	0	60373	0	0
T32	0	85872	0	0
T33	34909	4840	0	0
T61	12112	0	0	0
T83	0	5988	0	0
T106	0	26897	0	0
T114	0	5227	0	0
T122	59266	0	0	0
T134	0	31416	0	0
T173	0	2823	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	477630367	476732728	0	0
T1	13338	13075	0	0
T2	15760	15512	0	0
T3	29969	29599	0	0
T4	57616	57368	0	0
T6	24698	24451	0	0
T9	11393	11164	0	0
T10	24291	24003	0	0
T11	14940	14677	0	0
T12	9230	8960	0	0
T13	17167	16940	0	0