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
96.23	100.00	100.00		85.00	100.00	96.15

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
96.73	100.00	100.00	100.00	85.00	98.15	97.22

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
96.95	98.05	96.15	96.96		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.95	98.05	96.15	96.96		96.43	97.18	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_digest_write_lock.u_prim_mubi8_sender_write_lock	100.00	100.00				100.00	100.00
gen_ecc_reg.u_otp_ctrl_ecc_reg	95.00	100.00		100.00		80.00	100.00
u_prim_mubi8_sender_read_lock_pre	100.00	100.00				100.00	100.00
u_prim_mubi8_sender_write_lock_pre	100.00	100.00				100.00	100.00
u_state_regs	100.00	100.00				100.00	100.00

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

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
98.33	100.00	100.00		91.67	100.00	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
98.32	100.00	100.00	100.00	91.67	98.25	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
96.95	98.05	96.15	96.96		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	T28,T29,T30

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

-1-	Status	Tests
0	Covered	T134
1	Covered	T134

 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	T1,T4,T5
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	T5,T19,T21

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

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

---

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	10	76.92
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,T6
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,T6
InitSt->ErrorSt	315	Not Covered
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T180,T181,T182
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T4,T5,T7
ReadSt->ReadWaitSt	252	Covered	T1,T2,T6
ReadWaitSt->ErrorSt	276	Not Covered
ReadWaitSt->IdleSt	270	Covered	T1,T2,T6
ResetSt->ErrorSt	315	Covered	T72,T73,T74
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	T4,T5,T7
CheckFailError	317	Covered	T134
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	T4,T7,T34
AccessError->MacroEccCorrError	221	Excluded
AccessError->NoError	235	Covered	T4,T5,T7
CheckFailError->AccessError	256	Excluded		VC_COV_UNR
CheckFailError->FsmStateError	325	Excluded		VC_COV_UNR
CheckFailError->MacroEccCorrError	221	Excluded
CheckFailError->NoError	235	Covered	T134
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	T4,T5,T7
NoError->CheckFailError	317	Covered	T134
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	T5,T19,T21
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,T6
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T2,T6
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T19,T34,T94
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T4,T5,T7
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	T28,T29,T30
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T6
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T1,T4,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T1,T4,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T6
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T28,T29,T30

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T134
1	0	Covered	T134
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,T6
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,T2,T7
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	516265254	515410973	0	0
DigestKnown_A	516265254	515410973	0	0
DigestOffsetMustBeRepresentable_A	1149	1149	0	0
EccErrorState_A	516265254	2631	0	0
ErrorKnown_A	516265254	515410973	0	0
FsmStateKnown_A	516265254	515410973	0	0
InitDoneKnown_A	516265254	515410973	0	0
InitReadLocksPartition_A	516265254	105217402	0	0
InitWriteLocksPartition_A	516265254	105217402	0	0
OffsetMustBeBlockAligned_A	1149	1149	0	0
OtpAddrKnown_A	516265254	515410973	0	0
OtpCmdKnown_A	516265254	515410973	0	0
OtpErrorState_A	516265254	0	0	0
OtpReqKnown_A	516265254	515410973	0	0
OtpSizeKnown_A	516265254	515410973	0	0
OtpWdataKnown_A	516265254	515410973	0	0
ReadLockPropagation_A	516265254	204773417	0	0
SizeMustBeBlockAligned_A	1149	1149	0	0
TlulGntKnown_A	516265254	515410973	0	0
TlulRdataKnown_A	516265254	515410973	0	0
TlulReadOnReadLock_A	516265254	8203	0	0
TlulRerrorKnown_A	516265254	515410973	0	0
TlulRvalidKnown_A	516265254	515410973	0	0
WriteLockPropagation_A	516265254	2312936	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	516265254	30015718	0	0
u_state_regs_A	516265254	515410973	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	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
T5	1	1	0	0
T6	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	2631	0	0
T107	21940	0	0	0
T134	9087	2631	0	0
T147	17688	0	0	0
T148	41778	0	0	0
T149	18851	0	0	0
T150	181521	0	0	0
T151	15681	0	0	0
T152	11709	0	0	0
T153	53612	0	0	0
T154	30100	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	105217402	0	0
T1	67273	54011	0	0
T2	10108	3382	0	0
T3	11547	145	0	0
T4	866644	397458	0	0
T5	111724	933	0	0
T6	13442	3587	0	0
T7	147884	75654	0	0
T8	18642	9397	0	0
T9	27010	285	0	0
T10	19808	10471	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	105217402	0	0
T1	67273	54011	0	0
T2	10108	3382	0	0
T3	11547	145	0	0
T4	866644	397458	0	0
T5	111724	933	0	0
T6	13442	3587	0	0
T7	147884	75654	0	0
T8	18642	9397	0	0
T9	27010	285	0	0
T10	19808	10471	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
T5	1	1	0	0
T6	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	0	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	204773417	0	0
T4	866644	350890	0	0
T5	111724	47538	0	0
T7	147884	83372	0	0
T8	18642	0	0	0
T9	27010	0	0	0
T10	19808	0	0	0
T11	0	804028	0	0
T19	53153	4594	0	0
T20	0	3854	0	0
T21	59439	0	0	0
T34	0	228864	0	0
T35	0	4428	0	0
T99	6597	0	0	0
T100	10841	0	0	0
T102	0	74724	0	0
T125	0	49372	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
T5	1	1	0	0
T6	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	8203	0	0
T1	67273	9	0	0
T2	10108	0	0	0
T3	11547	0	0	0
T4	866644	40	0	0
T5	111724	10	0	0
T6	13442	0	0	0
T7	147884	15	0	0
T8	18642	0	0	0
T9	27010	0	0	0
T10	19808	1	0	0
T19	0	4	0	0
T20	0	1	0	0
T21	0	8	0	0
T100	0	10	0	0
T101	0	1	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	2312936	0	0
T5	111724	12304	0	0
T7	147884	0	0	0
T8	18642	0	0	0
T9	27010	0	0	0
T10	19808	0	0	0
T19	53153	4172	0	0
T21	59439	0	0	0
T34	0	49918	0	0
T53	0	4946	0	0
T65	0	8619	0	0
T71	0	8517	0	0
T89	0	16572	0	0
T90	0	30409	0	0
T94	0	7147	0	0
T99	6597	0	0	0
T100	10841	0	0	0
T101	9996	0	0	0
T124	0	10447	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	30015718	0	0
T5	111724	95410	0	0
T7	147884	0	0	0
T8	18642	0	0	0
T9	27010	0	0	0
T10	19808	0	0	0
T19	53153	45966	0	0
T20	0	36660	0	0
T21	59439	2584	0	0
T34	0	614122	0	0
T35	0	40504	0	0
T94	0	111855	0	0
T99	6597	0	0	0
T100	10841	0	0	0
T101	9996	0	0	0
T102	0	2955	0	0
T125	0	3709	0	0
T126	0	5340	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	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	T2,T110,T76

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

-1-	Status	Tests
0	Covered	T2,T4,T5
1	Covered	T126,T42,T53

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

-1-	Status	Tests
0	Covered	T1,T2,T6
1	Covered	T28,T29,T30

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

-1-	Status	Tests
0	Covered	T134
1	Covered	T134

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

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

-1-	Status	Tests
0	Covered	T2,T4,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	T2,T4,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	T5,T19,T21

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

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

---

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,T4
ReadWaitSt	252	Covered	T2,T4,T5
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,T4
InitSt->ErrorSt	315	Covered	T180,T181,T182
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T111,T136,T155
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T1,T4,T5
ReadSt->ReadWaitSt	252	Covered	T2,T4,T5
ReadWaitSt->ErrorSt	276	Covered	T126,T138,T139
ReadWaitSt->IdleSt	270	Covered	T2,T4,T5
ResetSt->ErrorSt	315	Covered	T72,T73,T74
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	T1,T4,T5
CheckFailError	317	Covered	T134
FsmStateError	289	Covered	T1,T2,T6
MacroEccCorrError	221	Covered	T2,T126,T42
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded		VC_COV_UNR
AccessError->FsmStateError	325	Covered	T1,T4,T34
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T4,T5,T19
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	T134
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	T2,T126,T110
MacroEccCorrError->NoError	235	Covered	T42,T53,T138
NoError->AccessError	256	Covered	T1,T4,T5
NoError->CheckFailError	317	Covered	T134
NoError->FsmStateError	289	Covered	T6,T4,T5
NoError->MacroEccCorrError	221	Covered	T2,T126,T42

---

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	T2,T4,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	T2,T4,T5

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

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T2,T4,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	T5,T19,T21
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	T2,T110,T76
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T111,T136,T155
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T4
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T2,T4,T5
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T4,T19,T34
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T1,T4,T5
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T126,T42,T53
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T2,T4,T5
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T126,T138,T139
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T2,T4,T5
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T28,T29,T30
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T6
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T1,T4,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T1,T4,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T6
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T28,T29,T30

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

Branches:

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

---

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

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
AccessKnown_A	516265254	515410973	0	0
DigestKnown_A	516265254	515410973	0	0
DigestOffsetMustBeRepresentable_A	1149	1149	0	0
EccErrorState_A	516265254	2631	0	0
ErrorKnown_A	516265254	515410973	0	0
FsmStateKnown_A	516265254	515410973	0	0
InitDoneKnown_A	516265254	515410973	0	0
InitReadLocksPartition_A	516265254	105399680	0	0
InitWriteLocksPartition_A	516265254	105399680	0	0
OffsetMustBeBlockAligned_A	1149	1149	0	0
OtpAddrKnown_A	516265254	515410973	0	0
OtpCmdKnown_A	516265254	515410973	0	0
OtpErrorState_A	516265254	53	0	0
OtpReqKnown_A	516265254	515410973	0	0
OtpSizeKnown_A	516265254	515410973	0	0
OtpWdataKnown_A	516265254	515410973	0	0
ReadLockPropagation_A	516265254	216543065	0	0
SizeMustBeBlockAligned_A	1149	1149	0	0
TlulGntKnown_A	516265254	515410973	0	0
TlulRdataKnown_A	516265254	515410973	0	0
TlulReadOnReadLock_A	516265254	8626	0	0
TlulRerrorKnown_A	516265254	515410973	0	0
TlulRvalidKnown_A	516265254	515410973	0	0
WriteLockPropagation_A	516265254	2808407	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	516265254	30172527	0	0
u_state_regs_A	516265254	515410973	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	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
T5	1	1	0	0
T6	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	2631	0	0
T107	21940	0	0	0
T134	9087	2631	0	0
T147	17688	0	0	0
T148	41778	0	0	0
T149	18851	0	0	0
T150	181521	0	0	0
T151	15681	0	0	0
T152	11709	0	0	0
T153	53612	0	0	0
T154	30100	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	105399680	0	0
T1	67273	54062	0	0
T2	10108	3416	0	0
T3	11547	179	0	0
T4	866644	397645	0	0
T5	111724	1154	0	0
T6	13442	3621	0	0
T7	147884	75807	0	0
T8	18642	9431	0	0
T9	27010	353	0	0
T10	19808	10507	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	105399680	0	0
T1	67273	54062	0	0
T2	10108	3416	0	0
T3	11547	179	0	0
T4	866644	397645	0	0
T5	111724	1154	0	0
T6	13442	3621	0	0
T7	147884	75807	0	0
T8	18642	9431	0	0
T9	27010	353	0	0
T10	19808	10507	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
T5	1	1	0	0
T6	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	53	0	0
T12	311461	0	0	0
T42	53728	0	0	0
T52	32350	0	0	0
T65	521736	0	0	0
T94	349516	0	0	0
T95	50336	0	0	0
T104	11332	0	0	0
T111	0	1	0	0
T126	139555	1	0	0
T136	0	1	0	0
T138	0	1	0	0
T139	0	1	0	0
T155	0	1	0	0
T157	0	1	0	0
T160	0	1	0	0
T164	0	1	0	0
T166	0	1	0	0
T169	37757	0	0	0
T170	23100	0	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	216543065	0	0
T1	67273	59351	0	0
T2	10108	0	0	0
T3	11547	0	0	0
T4	866644	351342	0	0
T5	111724	47393	0	0
T6	13442	0	0	0
T7	147884	0	0	0
T8	18642	0	0	0
T9	27010	0	0	0
T10	19808	13180	0	0
T11	0	804010	0	0
T19	0	4216	0	0
T20	0	5949	0	0
T34	0	238534	0	0
T35	0	17338	0	0
T102	0	74722	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
T5	1	1	0	0
T6	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	8626	0	0
T1	67273	15	0	0
T2	10108	0	0	0
T3	11547	0	0	0
T4	866644	49	0	0
T5	111724	11	0	0
T6	13442	0	0	0
T7	147884	5	0	0
T8	18642	0	0	0
T9	27010	0	0	0
T10	19808	2	0	0
T19	0	7	0	0
T20	0	4	0	0
T21	0	15	0	0
T100	0	9	0	0
T102	0	28	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	2808407	0	0
T11	243916	0	0	0
T13	61860	0	0	0
T19	53153	1412	0	0
T20	44048	0	0	0
T21	59439	0	0	0
T34	123865	75838	0	0
T35	55381	0	0	0
T65	0	2796	0	0
T71	0	12465	0	0
T90	0	15372	0	0
T94	0	4358	0	0
T95	0	4046	0	0
T96	0	4708	0	0
T100	10841	0	0	0
T101	9996	0	0	0
T102	81641	0	0	0
T178	0	47528	0	0
T179	0	10979	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	30172527	0	0
T5	111724	95206	0	0
T7	147884	0	0	0
T8	18642	0	0	0
T9	27010	0	0	0
T10	19808	0	0	0
T19	53153	45813	0	0
T20	0	36541	0	0
T21	59439	2567	0	0
T34	0	664101	0	0
T65	0	218821	0	0
T94	0	173860	0	0
T95	0	41267	0	0
T99	6597	0	0	0
T100	10841	0	0	0
T101	9996	0	0	0
T102	0	2938	0	0
T125	0	3675	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

Line Coverage for Instance : tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf

	Line No.	Total	Covered	Percent
TOTAL		91	91	100.00
CONT_ASSIGN	138	1	1	100.00
CONT_ASSIGN	149	1	1	100.00
ALWAYS	164	68	68	100.00
CONT_ASSIGN	334	1	1	100.00
CONT_ASSIGN	336	1	1	100.00
CONT_ASSIGN	342	1	1	100.00
CONT_ASSIGN	349	1	1	100.00
CONT_ASSIGN	350	1	1	100.00
CONT_ASSIGN	354	1	1	100.00
CONT_ASSIGN	358	1	1	100.00
CONT_ASSIGN	395	1	1	100.00
CONT_ASSIGN	420	1	1	100.00
CONT_ASSIGN	454	1	1	100.00
ALWAYS	461	3	3	100.00
ALWAYS	464	8	8	100.00

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

Line No.	Covered	Statements
138	1	1
149	1	1
164	1	1
167	1	1
170	1	1
171	1	1
174	1	1
175	1	1
176	1	1
179	1	1
182	1	1
183	1	1
184	1	1
186	1	1
191	1	1
193	1	1
194	1	1
196		unreachable
			MISSING_ELSE
205	1	1
206	1	1
207	1	1
			MISSING_ELSE
215	1	1
216	1	1
217	1	1
218	1	1
220	1	1
221	1	1
			MISSING_ELSE
224	1	1
225	1	1
			MISSING_ELSE
233	1	1
234	1	1
235	1	1
236	1	1
237	1	1
			MISSING_ELSE
246	1	1
248	1	1
249	1	1
250	1	1
251	1	1
252	1	1
			MISSING_ELSE
255	1	1
256	1	1
257	1	1
258	1	1
266	1	1
267	1	1
268	1	1
269	1	1
270	1	1
272	1	1
273	1	1
			MISSING_ELSE
276	1	1
277	1	1
279	1	1
			MISSING_ELSE
288	1	1
289	1	1
			MISSING_ELSE
293	1	1
294	1	1
295	1	1
296	1	1
297	1	1
298	1	1
			MISSING_ELSE
314	1	1
315	1	1
316	1	1
317	1	1
			MISSING_ELSE
			MISSING_ELSE
321	1	1
322	1	1
323	1	1
324	1	1
325	1	1
			MISSING_ELSE
			MISSING_ELSE
334	1	1
336	1	1
342	1	1
349	1	1
350	1	1
354	1	1
358	1	1
395	1	1
420	1	1
454	1	1
461	3	3
464	1	1
465	1	1
466	1	1
467	1	1
469	1	1
470	1	1
471	1	1
472	1	1
			MISSING_ELSE

---

Cond Coverage for Instance : tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf

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

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

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

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

-1-	Status	Tests
0	Covered	T2,T6,T4
1	Covered	T35,T126,T42

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

-1-	Status	Tests
0	Covered	T1,T2,T6
1	Covered	T28,T29,T30

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

-1-	Status	Tests
0	Covered	T73
1	Covered	T73

 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	T2,T6,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,T4,T5
1	1	Covered	T2,T6,T4

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

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

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

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

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

-1-	Status	Tests
0	Covered	T2,T6,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,T6,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	T20,T102,T34

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T20,T102,T34

---

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

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T1,T2,T6
IdleSt->ReadSt	236	Covered	T2,T6,T4
InitSt->ErrorSt	315	Covered	T180,T181,T182
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T111,T136,T137
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T4,T5,T7
ReadSt->ReadWaitSt	252	Covered	T2,T6,T4
ReadWaitSt->ErrorSt	276	Covered	T139,T159,T163
ReadWaitSt->IdleSt	270	Covered	T2,T6,T4
ResetSt->ErrorSt	315	Covered	T72,T73,T74
ResetSt->IdleSt	196	Excluded		VC_COV_UNR
ResetSt->InitSt	194	Covered	T1,T2,T3

Summary for FSM :: error_q

	Total	Covered	Percent
States	5	5	100.00	(Not included in score)
Transitions	11	10	90.91
Sequences	0	0

State, Transition and Sequence Details for FSM :: error_q

---

states	Line No.	Covered	Tests
AccessError	256	Covered	T4,T5,T7
CheckFailError	317	Covered	T73
FsmStateError	289	Covered	T1,T2,T6
MacroEccCorrError	221	Covered	T2,T35,T126
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded		VC_COV_UNR
AccessError->FsmStateError	325	Covered	T4,T7,T102
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T4,T5,T7
CheckFailError->AccessError	256	Excluded		VC_COV_UNR
CheckFailError->FsmStateError	325	Excluded		VC_COV_UNR
CheckFailError->MacroEccCorrError	221	Excluded		VC_COV_UNR
CheckFailError->NoError	235	Covered	T73
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	T2,T126,T39
MacroEccCorrError->NoError	235	Covered	T35,T42,T52
NoError->AccessError	256	Covered	T4,T5,T7
NoError->CheckFailError	317	Covered	T73
NoError->FsmStateError	289	Covered	T1,T6,T4
NoError->MacroEccCorrError	221	Covered	T2,T35,T126

---

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

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

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T2,T6,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	T20,T102,T34
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	T2,T39,T31
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T137,T158,T161
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T2,T6,T4
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T2,T6,T4
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T19,T34,T94
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T4,T5,T7
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T35,T126,T42
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T2,T6,T4
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T139,T159,T163
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T2,T6,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T28,T29,T30
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T6
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T1,T4,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T1,T4,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T6
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T28,T29,T30

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T73
1	0	Covered	T73
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,T6
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	516265254	515410973	0	0
DigestKnown_A	516265254	515410973	0	0
DigestOffsetMustBeRepresentable_A	1149	1149	0	0
EccErrorState_A	516265254	3847	0	0
ErrorKnown_A	516265254	515410973	0	0
FsmStateKnown_A	516265254	515410973	0	0
InitDoneKnown_A	516265254	515410973	0	0
InitReadLocksPartition_A	516265254	105580818	0	0
InitWriteLocksPartition_A	516265254	105580818	0	0
OffsetMustBeBlockAligned_A	1149	1149	0	0
OtpAddrKnown_A	516265254	515410973	0	0
OtpCmdKnown_A	516265254	515410973	0	0
OtpErrorState_A	516265254	64	0	0
OtpReqKnown_A	516265254	515410973	0	0
OtpSizeKnown_A	516265254	515410973	0	0
OtpWdataKnown_A	516265254	515410973	0	0
ReadLockPropagation_A	516265254	211517409	0	0
SizeMustBeBlockAligned_A	1149	1149	0	0
TlulGntKnown_A	516265254	515410973	0	0
TlulRdataKnown_A	516265254	515410973	0	0
TlulReadOnReadLock_A	516265254	8529	0	0
TlulRerrorKnown_A	516265254	515410973	0	0
TlulRvalidKnown_A	516265254	515410973	0	0
WriteLockPropagation_A	516265254	1552580	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	516265254	19639741	0	0
u_state_regs_A	516265254	515410973	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	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
T5	1	1	0	0
T6	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	3847	0	0
T16	12326	0	0	0
T59	116625	0	0	0
T73	13832	3847	0	0
T86	10190	0	0	0
T141	30390	0	0	0
T142	858684	0	0	0
T143	6552	0	0	0
T144	33354	0	0	0
T145	12413	0	0	0
T146	86194	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	105580818	0	0
T1	67273	54113	0	0
T2	10108	3450	0	0
T3	11547	213	0	0
T4	866644	397832	0	0
T5	111724	1375	0	0
T6	13442	3655	0	0
T7	147884	75960	0	0
T8	18642	9465	0	0
T9	27010	421	0	0
T10	19808	10541	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	105580818	0	0
T1	67273	54113	0	0
T2	10108	3450	0	0
T3	11547	213	0	0
T4	866644	397832	0	0
T5	111724	1375	0	0
T6	13442	3655	0	0
T7	147884	75960	0	0
T8	18642	9465	0	0
T9	27010	421	0	0
T10	19808	10541	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
T5	1	1	0	0
T6	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	64	0	0
T137	11772	1	0	0
T139	89743	1	0	0
T155	12520	0	0	0
T158	0	1	0	0
T159	0	1	0	0
T161	0	1	0	0
T162	0	1	0	0
T163	0	1	0	0
T165	0	1	0	0
T167	0	1	0	0
T168	0	1	0	0
T171	48831	0	0	0
T172	44022	0	0	0
T173	9228	0	0	0
T174	25165	0	0	0
T175	83612	0	0	0
T176	7689	0	0	0
T177	32454	0	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	211517409	0	0
T4	866644	351451	0	0
T5	111724	40755	0	0
T7	147884	83364	0	0
T8	18642	0	0	0
T9	27010	0	0	0
T10	19808	13178	0	0
T11	0	786159	0	0
T19	53153	4584	0	0
T20	0	6013	0	0
T21	59439	0	0	0
T34	0	218993	0	0
T35	0	6070	0	0
T99	6597	0	0	0
T100	10841	0	0	0
T102	0	70485	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
T5	1	1	0	0
T6	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	8529	0	0
T1	67273	16	0	0
T2	10108	0	0	0
T3	11547	0	0	0
T4	866644	59	0	0
T5	111724	7	0	0
T6	13442	0	0	0
T7	147884	17	0	0
T8	18642	0	0	0
T9	27010	0	0	0
T10	19808	3	0	0
T19	0	6	0	0
T20	0	4	0	0
T21	0	21	0	0
T100	0	8	0	0
T101	0	2	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	1552580	0	0
T11	243916	0	0	0
T13	61860	0	0	0
T20	44048	3388	0	0
T34	123865	84800	0	0
T35	55381	0	0	0
T42	53728	0	0	0
T65	0	4611	0	0
T71	0	18864	0	0
T90	0	46217	0	0
T94	0	8091	0	0
T95	0	2848	0	0
T97	0	2849	0	0
T98	0	3491	0	0
T102	81641	0	0	0
T104	11332	0	0	0
T125	62443	0	0	0
T126	139555	10672	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	19639741	0	0
T11	243916	0	0	0
T13	61860	0	0	0
T20	44048	36422	0	0
T34	123865	633120	0	0
T35	55381	0	0	0
T42	53728	0	0	0
T65	0	147744	0	0
T94	0	79784	0	0
T95	0	41114	0	0
T96	0	32944	0	0
T102	81641	2921	0	0
T104	11332	0	0	0
T125	62443	3641	0	0
T126	139555	38465	0	0
T169	0	5035	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	516265254	515410973	0	0
T1	67273	67003	0	0
T2	10108	9860	0	0
T3	11547	11294	0	0
T4	866644	866633	0	0
T5	111724	110861	0	0
T6	13442	13170	0	0
T7	147884	147096	0	0
T8	18642	18371	0	0
T9	27010	26515	0	0
T10	19808	19512	0	0