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.18	94.16	96.15	96.98		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.18	94.16	96.15	96.98		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.18	94.16	96.15	96.98		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,T8,T5
1	Excluded		VC_COV_UNR

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

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

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

-1-	Status	Tests
0	Covered	T82,T145,T160
1	Covered	T82,T145,T160

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

---

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

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T2,T3,T4
IdleSt->ReadSt	236	Covered	T1,T4,T8
InitSt->ErrorSt	315	Covered	T204
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T74,T95,T96
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T4,T5,T9
ReadSt->ReadWaitSt	252	Covered	T1,T8,T5
ReadWaitSt->ErrorSt	276	Not Covered
ReadWaitSt->IdleSt	270	Covered	T1,T8,T5
ResetSt->ErrorSt	315	Covered	T80,T81,T82
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,T9
CheckFailError	317	Covered	T82,T145,T160
FsmStateError	289	Covered	T2,T3,T4
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,T5,T136
AccessError->MacroEccCorrError	221	Excluded
AccessError->NoError	235	Covered	T9,T6,T79
CheckFailError->AccessError	256	Excluded		VC_COV_UNR
CheckFailError->FsmStateError	325	Excluded		VC_COV_UNR
CheckFailError->MacroEccCorrError	221	Excluded
CheckFailError->NoError	235	Covered	T82,T145,T160
FsmStateError->AccessError	256	Excluded		VC_COV_UNR
FsmStateError->CheckFailError	317	Excluded		VC_COV_UNR
FsmStateError->MacroEccCorrError	221	Excluded
FsmStateError->NoError	235	Covered	T2,T3,T4
MacroEccCorrError->AccessError	256	Excluded
MacroEccCorrError->CheckFailError	317	Excluded
MacroEccCorrError->FsmStateError	325	Excluded
MacroEccCorrError->NoError	235	Excluded
NoError->AccessError	256	Covered	T4,T5,T9
NoError->CheckFailError	317	Covered	T82,T145,T160
NoError->FsmStateError	289	Covered	T2,T3,T8
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,T8,T5
0	Covered	T1,T2,T3

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

-1-	Status	Tests
1	Covered	T9,T10,T72
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,T4,T8
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T8,T5
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T9,T27,T100
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T4,T5,T9
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Excluded		VC_COV_UNR
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T8,T5
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Excluded		VC_COV_UNR
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T8,T5
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T20,T21,T22
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T2,T3,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T2,T3,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T2,T3,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T2,T3,T4
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T20,T21,T22

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

-1-	Status	Tests
1	Covered	T2,T3,T4
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	471960008	471138890	0	0
DigestKnown_A	471960008	471138890	0	0
DigestOffsetMustBeRepresentable_A	1153	1153	0	0
EccErrorState_A	471960008	8883	0	0
ErrorKnown_A	471960008	471138890	0	0
FsmStateKnown_A	471960008	471138890	0	0
InitDoneKnown_A	471960008	471138890	0	0
InitReadLocksPartition_A	471960008	97226271	0	0
InitWriteLocksPartition_A	471960008	97226271	0	0
OffsetMustBeBlockAligned_A	1153	1153	0	0
OtpAddrKnown_A	471960008	471138890	0	0
OtpCmdKnown_A	471960008	471138890	0	0
OtpErrorState_A	471960008	0	0	0
OtpReqKnown_A	471960008	471138890	0	0
OtpSizeKnown_A	471960008	471138890	0	0
OtpWdataKnown_A	471960008	471138890	0	0
ReadLockPropagation_A	471960008	188131523	0	0
SizeMustBeBlockAligned_A	1153	1153	0	0
TlulGntKnown_A	471960008	471138890	0	0
TlulRdataKnown_A	471960008	471138890	0	0
TlulReadOnReadLock_A	471960008	7530	0	0
TlulRerrorKnown_A	471960008	471138890	0	0
TlulRvalidKnown_A	471960008	471138890	0	0
WriteLockPropagation_A	471960008	2261219	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	471960008	25144050	0	0
u_state_regs_A	471960008	471138890	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

DigestOffsetMustBeRepresentable_A

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

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	8883	0	0
T82	9968	2883	0	0
T145	0	3363	0	0
T160	0	2637	0	0
T165	11099	0	0	0
T166	12940	0	0	0
T167	117134	0	0	0
T168	62731	0	0	0
T169	19632	0	0	0
T170	234503	0	0	0
T171	9672	0	0	0
T172	218340	0	0	0
T173	10178	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	97226271	0	0
T1	12208	243	0	0
T2	78314	66282	0	0
T3	33098	9676	0	0
T4	21248	8055	0	0
T5	150631	71326	0	0
T6	128920	236	0	0
T8	17891	5136	0	0
T9	611165	130660	0	0
T10	34475	482	0	0
T11	4201	40	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	97226271	0	0
T1	12208	243	0	0
T2	78314	66282	0	0
T3	33098	9676	0	0
T4	21248	8055	0	0
T5	150631	71326	0	0
T6	128920	236	0	0
T8	17891	5136	0	0
T9	611165	130660	0	0
T10	34475	482	0	0
T11	4201	40	0	0

OffsetMustBeBlockAligned_A

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

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	0	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	188131523	0	0
T1	12208	2478	0	0
T2	78314	68879	0	0
T3	33098	0	0	0
T4	21248	11234	0	0
T5	150631	9011	0	0
T6	128920	484512	0	0
T7	0	343110	0	0
T8	17891	0	0	0
T9	611165	121003	0	0
T10	34475	1031	0	0
T11	4201	0	0	0
T12	0	52858	0	0
T79	0	4625	0	0

SizeMustBeBlockAligned_A

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

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	7530	0	0
T2	78314	15	0	0
T3	33098	5	0	0
T4	21248	12	0	0
T5	150631	25	0	0
T6	128920	14	0	0
T7	0	22	0	0
T8	17891	0	0	0
T9	611165	34	0	0
T10	34475	0	0	0
T11	4201	0	0	0
T12	0	9	0	0
T27	0	36	0	0
T72	20506	0	0	0
T79	0	10	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	2261219	0	0
T6	128920	0	0	0
T7	116530	0	0	0
T9	611165	34253	0	0
T10	34475	1987	0	0
T11	4201	0	0	0
T12	108143	0	0	0
T27	745284	71856	0	0
T28	0	22094	0	0
T38	0	11646	0	0
T72	20506	0	0	0
T79	51892	0	0	0
T98	0	5980	0	0
T99	0	3758	0	0
T100	0	5432	0	0
T101	0	3473	0	0
T102	0	561	0	0
T106	11495	0	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	25144050	0	0
T6	128920	0	0	0
T7	116530	0	0	0
T9	611165	255582	0	0
T10	34475	20517	0	0
T11	4201	0	0	0
T12	108143	0	0	0
T27	745284	485622	0	0
T28	0	207433	0	0
T71	0	8171	0	0
T72	20506	3467	0	0
T74	0	2707	0	0
T79	51892	0	0	0
T100	0	56511	0	0
T106	11495	0	0	0
T112	0	3490	0	0
T198	0	2826	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	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	T76,T87,T161

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

-1-	Status	Tests
0	Covered	T2,T8,T9
1	Covered	T5,T162,T116

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

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

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

-1-	Status	Tests
0	Covered	T159,T160
1	Covered	T159,T160

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

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

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

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

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

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

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

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

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

-1-	Status	Tests
0	Covered	T2,T8,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,T8,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,T9,T10

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

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

---

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	T2,T3,T4
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,T8,T5
ResetSt	190	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T2,T3,T4
IdleSt->ReadSt	236	Covered	T1,T2,T4
InitSt->ErrorSt	315	Covered	T74,T95,T96
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T73,T112,T183
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T1,T4,T5
ReadSt->ReadWaitSt	252	Covered	T2,T8,T5
ReadWaitSt->ErrorSt	276	Covered	T205,T151,T206
ReadWaitSt->IdleSt	270	Covered	T2,T8,T5
ResetSt->ErrorSt	315	Covered	T80,T81,T82
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	T159,T160
FsmStateError	289	Covered	T2,T3,T4
MacroEccCorrError	221	Covered	T5,T76,T87
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,T5,T9
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T1,T4,T9
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,T160
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	T2,T3,T4
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T5,T76,T87
MacroEccCorrError->NoError	235	Covered	T116,T207,T208
NoError->AccessError	256	Covered	T1,T4,T5
NoError->CheckFailError	317	Covered	T159,T160
NoError->FsmStateError	289	Covered	T2,T3,T8
NoError->MacroEccCorrError	221	Covered	T5,T76,T87

---

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,T8,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,T8,T5

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

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T2,T8,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,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
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	T76,T87,T161
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T73,T112,T183
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T4
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T2,T8,T5
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T9,T6,T27
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T1,T4,T5
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T5,T162,T116
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T2,T8,T9
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T205,T151,T206
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T2,T8,T5
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T20,T21,T22
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T2,T3,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T2,T3,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T2,T3,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T2,T3,T4
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T20,T21,T22

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

Branches:

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

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

Branches:

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

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

Branches:

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

---

Assert Coverage for Instance : tb.dut.gen_partitions[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	471960008	471138890	0	0
DigestKnown_A	471960008	471138890	0	0
DigestOffsetMustBeRepresentable_A	1153	1153	0	0
EccErrorState_A	471960008	5758	0	0
ErrorKnown_A	471960008	471138890	0	0
FsmStateKnown_A	471960008	471138890	0	0
InitDoneKnown_A	471960008	471138890	0	0
InitReadLocksPartition_A	471960008	97401114	0	0
InitWriteLocksPartition_A	471960008	97401114	0	0
OffsetMustBeBlockAligned_A	1153	1153	0	0
OtpAddrKnown_A	471960008	471138890	0	0
OtpCmdKnown_A	471960008	471138890	0	0
OtpErrorState_A	471960008	66	0	0
OtpReqKnown_A	471960008	471138890	0	0
OtpSizeKnown_A	471960008	471138890	0	0
OtpWdataKnown_A	471960008	471138890	0	0
ReadLockPropagation_A	471960008	192781410	0	0
SizeMustBeBlockAligned_A	1153	1153	0	0
TlulGntKnown_A	471960008	471138890	0	0
TlulRdataKnown_A	471960008	471138890	0	0
TlulReadOnReadLock_A	471960008	7582	0	0
TlulRerrorKnown_A	471960008	471138890	0	0
TlulRvalidKnown_A	471960008	471138890	0	0
WriteLockPropagation_A	471960008	2229182	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	471960008	25302750	0	0
u_state_regs_A	471960008	471138890	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

DigestOffsetMustBeRepresentable_A

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

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	5758	0	0
T159	17313	3121	0	0
T160	0	2637	0	0
T174	30216	0	0	0
T175	31063	0	0	0
T176	9847	0	0	0
T177	74877	0	0	0
T178	11670	0	0	0
T179	41413	0	0	0
T180	90943	0	0	0
T181	25705	0	0	0
T182	9086	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	97401114	0	0
T1	12208	277	0	0
T2	78314	66333	0	0
T3	33098	9795	0	0
T4	21248	8106	0	0
T5	150631	71632	0	0
T6	128920	338	0	0
T8	17891	5170	0	0
T9	611165	131646	0	0
T10	34475	618	0	0
T11	4201	57	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	97401114	0	0
T1	12208	277	0	0
T2	78314	66333	0	0
T3	33098	9795	0	0
T4	21248	8106	0	0
T5	150631	71632	0	0
T6	128920	338	0	0
T8	17891	5170	0	0
T9	611165	131646	0	0
T10	34475	618	0	0
T11	4201	57	0	0

OffsetMustBeBlockAligned_A

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

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	66	0	0
T28	340719	0	0	0
T71	16516	0	0	0
T73	11475	1	0	0
T74	30254	0	0	0
T75	17268	0	0	0
T76	13256	0	0	0
T100	64015	0	0	0
T112	8772	1	0	0
T136	27563	0	0	0
T183	0	1	0	0
T184	0	1	0	0
T185	0	1	0	0
T186	0	1	0	0
T188	0	1	0	0
T189	0	1	0	0
T196	0	1	0	0
T197	0	1	0	0
T198	16367	0	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	192781410	0	0
T1	12208	2476	0	0
T2	78314	0	0	0
T3	33098	0	0	0
T4	21248	11662	0	0
T5	150631	17314	0	0
T6	128920	489535	0	0
T7	0	342947	0	0
T8	17891	0	0	0
T9	611165	111711	0	0
T10	34475	1442	0	0
T11	4201	0	0	0
T12	0	57332	0	0
T27	0	182107	0	0
T79	0	4143	0	0

SizeMustBeBlockAligned_A

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

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	7582	0	0
T1	12208	1	0	0
T2	78314	10	0	0
T3	33098	1	0	0
T4	21248	12	0	0
T5	150631	22	0	0
T6	128920	21	0	0
T7	0	21	0	0
T8	17891	0	0	0
T9	611165	29	0	0
T10	34475	1	0	0
T11	4201	0	0	0
T79	0	9	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	2229182	0	0
T6	128920	0	0	0
T7	116530	0	0	0
T9	611165	19223	0	0
T10	34475	0	0	0
T11	4201	0	0	0
T12	108143	0	0	0
T27	745284	74930	0	0
T28	0	14423	0	0
T38	0	22030	0	0
T72	20506	0	0	0
T79	51892	0	0	0
T98	0	9611	0	0
T99	0	2534	0	0
T100	0	5432	0	0
T101	0	8239	0	0
T104	0	8963	0	0
T106	11495	0	0	0
T107	0	3695	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	25302750	0	0
T5	150631	4911	0	0
T6	128920	0	0	0
T7	116530	0	0	0
T9	611165	267124	0	0
T10	34475	20432	0	0
T11	4201	0	0	0
T12	108143	0	0	0
T27	745284	498773	0	0
T28	0	209600	0	0
T72	20506	0	0	0
T73	0	4004	0	0
T74	0	2690	0	0
T79	51892	0	0	0
T100	0	56324	0	0
T101	0	32635	0	0
T112	0	3485	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	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	T57,T163,T164

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

-1-	Status	Tests
0	Covered	T1,T4,T8
1	Covered	T3,T5,T38

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

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

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

-1-	Status	Tests
0	Covered	T145,T159,T160
1	Covered	T145,T159,T160

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

---

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

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T2,T3,T4
IdleSt->ReadSt	236	Covered	T1,T3,T4
InitSt->ErrorSt	315	Covered	T74,T95,T96
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T73,T112,T183
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T9,T6,T79
ReadSt->ReadWaitSt	252	Covered	T1,T3,T4
ReadWaitSt->ErrorSt	276	Covered	T5,T155,T156
ReadWaitSt->IdleSt	270	Covered	T1,T3,T4
ResetSt->ErrorSt	315	Covered	T80,T81,T82
ResetSt->IdleSt	196	Excluded		VC_COV_UNR
ResetSt->InitSt	194	Covered	T1,T2,T3

Summary for FSM :: error_q

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

State, Transition and Sequence Details for FSM :: error_q

---

states	Line No.	Covered	Tests
AccessError	256	Covered	T9,T6,T79
CheckFailError	317	Covered	T145,T159,T160
FsmStateError	289	Covered	T2,T3,T4
MacroEccCorrError	221	Covered	T3,T5,T38
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded		VC_COV_UNR
AccessError->FsmStateError	325	Covered	T13,T14,T138
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T9,T6,T79
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	T145,T159,T160
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	T2,T3,T4
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T3,T5,T155
MacroEccCorrError->NoError	235	Covered	T5,T38,T29
NoError->AccessError	256	Covered	T9,T6,T79
NoError->CheckFailError	317	Covered	T145,T159,T160
NoError->FsmStateError	289	Covered	T2,T3,T4
NoError->MacroEccCorrError	221	Covered	T3,T5,T38

---

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

	Line No.	Total	Covered	Percent
Branches		44	44	100.00
TERNARY	336	2	2	100.00
TERNARY	349	2	2	100.00
TERNARY	358	2	2	100.00
TERNARY	395	2	2	100.00
TERNARY	420	2	2	100.00
CASE	186	23	23	100.00
IF	314	3	3	100.00
IF	321	3	3	100.00
IF	461	2	2	100.00
IF	464	3	3	100.00

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

-1-	Status	Tests
1	Covered	T5,T27,T28
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	T57,T163,T164
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T187,T190,T191
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T3,T4
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T3,T4
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T9,T10,T27
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T9,T6,T79
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T3,T5,T38
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T4,T8
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T5,T155,T156
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T3,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T20,T21,T22
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T2,T3,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T2,T3,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T2,T3,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T2,T3,T4
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T20,T21,T22

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

Branches:

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

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

Branches:

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

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

Branches:

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

---

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

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
AccessKnown_A	471960008	471138890	0	0
DigestKnown_A	471960008	471138890	0	0
DigestOffsetMustBeRepresentable_A	1153	1153	0	0
EccErrorState_A	471960008	9121	0	0
ErrorKnown_A	471960008	471138890	0	0
FsmStateKnown_A	471960008	471138890	0	0
InitDoneKnown_A	471960008	471138890	0	0
InitReadLocksPartition_A	471960008	97574715	0	0
InitWriteLocksPartition_A	471960008	97574715	0	0
OffsetMustBeBlockAligned_A	1153	1153	0	0
OtpAddrKnown_A	471960008	471138890	0	0
OtpCmdKnown_A	471960008	471138890	0	0
OtpErrorState_A	471960008	58	0	0
OtpReqKnown_A	471960008	471138890	0	0
OtpSizeKnown_A	471960008	471138890	0	0
OtpWdataKnown_A	471960008	471138890	0	0
ReadLockPropagation_A	471960008	190496708	0	0
SizeMustBeBlockAligned_A	1153	1153	0	0
TlulGntKnown_A	471960008	471138890	0	0
TlulRdataKnown_A	471960008	471138890	0	0
TlulReadOnReadLock_A	471960008	7844	0	0
TlulRerrorKnown_A	471960008	471138890	0	0
TlulRvalidKnown_A	471960008	471138890	0	0
WriteLockPropagation_A	471960008	1336337	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	471960008	16666794	0	0
u_state_regs_A	471960008	471138890	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

DigestOffsetMustBeRepresentable_A

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

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	9121	0	0
T128	14179	0	0	0
T143	10955	0	0	0
T145	10593	3363	0	0
T159	0	3121	0	0
T160	0	2637	0	0
T204	13699	0	0	0
T209	14512	0	0	0
T210	17470	0	0	0
T211	8374	0	0	0
T212	17334	0	0	0
T213	359229	0	0	0
T214	72710	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	97574715	0	0
T1	12208	311	0	0
T2	78314	66384	0	0
T3	33098	9914	0	0
T4	21248	8157	0	0
T5	150631	71940	0	0
T6	128920	440	0	0
T8	17891	5204	0	0
T9	611165	132632	0	0
T10	34475	754	0	0
T11	4201	74	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	97574715	0	0
T1	12208	311	0	0
T2	78314	66384	0	0
T3	33098	9914	0	0
T4	21248	8157	0	0
T5	150631	71940	0	0
T6	128920	440	0	0
T8	17891	5204	0	0
T9	611165	132632	0	0
T10	34475	754	0	0
T11	4201	74	0	0

OffsetMustBeBlockAligned_A

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

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	58	0	0
T5	150631	1	0	0
T6	128920	0	0	0
T7	116530	0	0	0
T9	611165	0	0	0
T10	34475	0	0	0
T11	4201	0	0	0
T12	108143	0	0	0
T27	745284	0	0	0
T72	20506	0	0	0
T79	51892	0	0	0
T155	0	1	0	0
T156	0	1	0	0
T187	0	1	0	0
T190	0	1	0	0
T191	0	1	0	0
T192	0	1	0	0
T193	0	1	0	0
T194	0	1	0	0
T195	0	1	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	190496708	0	0
T1	12208	2474	0	0
T2	78314	68869	0	0
T3	33098	0	0	0
T4	21248	9964	0	0
T5	150631	0	0	0
T6	128920	489628	0	0
T7	0	225591	0	0
T8	17891	0	0	0
T9	611165	53569	0	0
T10	34475	1373	0	0
T11	4201	0	0	0
T12	0	61768	0	0
T27	0	191228	0	0
T79	0	4136	0	0

SizeMustBeBlockAligned_A

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

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	7844	0	0
T2	78314	17	0	0
T3	33098	1	0	0
T4	21248	7	0	0
T5	150631	19	0	0
T6	128920	20	0	0
T7	0	24	0	0
T8	17891	0	0	0
T9	611165	42	0	0
T10	34475	0	0	0
T11	4201	0	0	0
T12	0	12	0	0
T27	0	45	0	0
T72	20506	0	0	0
T79	0	6	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	1336337	0	0
T27	745284	14913	0	0
T28	340719	14693	0	0
T38	0	22030	0	0
T44	24510	0	0	0
T71	16516	0	0	0
T73	11475	0	0	0
T74	30254	0	0	0
T98	0	14913	0	0
T100	64015	0	0	0
T102	0	829	0	0
T105	0	2943	0	0
T106	11495	0	0	0
T110	25518	0	0	0
T112	8772	0	0	0
T199	0	2822	0	0
T200	0	3441	0	0
T201	0	2956	0	0
T202	0	868	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	16666794	0	0
T5	150631	4894	0	0
T6	128920	0	0	0
T7	116530	0	0	0
T9	611165	0	0	0
T10	34475	0	0	0
T11	4201	0	0	0
T12	108143	0	0	0
T27	745284	258018	0	0
T28	0	125137	0	0
T38	0	135259	0	0
T71	0	8035	0	0
T72	20506	0	0	0
T74	0	2673	0	0
T79	51892	0	0	0
T95	0	2445	0	0
T96	0	4735	0	0
T98	0	104025	0	0
T107	0	12946	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	471960008	471138890	0	0
T1	12208	10915	0	0
T2	78314	78062	0	0
T3	33098	32526	0	0
T4	21248	20974	0	0
T5	150631	149136	0	0
T6	128920	128912	0	0
T8	17891	17640	0	0
T9	611165	606176	0	0
T10	34475	33735	0	0
T11	4201	4137	0	0