Unified Coverage Report :: Module Instance :: tb.dut.gen_partitions[0].gen_unbuffered.u_part_unbuf

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

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
97.23	100.00	100.00		90.00	100.00	96.15

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
97.56	100.00	100.00	100.00	90.00	98.15	97.22

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
96.23	94.16	96.15	97.22		96.43	97.18	dut

Subtrees :

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

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

Instance :

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

Instance's subtree :

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

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
96.23	94.16	96.15	97.22		96.43	97.18	dut

Subtrees :

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

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

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
97.75	100.00	97.06		91.67	100.00	100.00

Instance's subtree :

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

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
96.23	94.16	96.15	97.22		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,T3
1	Excluded		VC_COV_UNR

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T17,T18,T19

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

-1-	Status	Tests
0	Covered	T75,T76,T175
1	Covered	T75,T76,T175

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

---

FSM Coverage for Instance : tb.dut.gen_partitions[0].gen_unbuffered.u_part_unbuf

Summary for FSM :: state_q

	Total	Covered	Percent
States	7	7	100.00	(Not included in score)
Transitions	13	11	84.62
Sequences	0	0

State, Transition and Sequence Details for FSM :: state_q

---

states	Line No.	Covered	Tests
ErrorSt	224	Covered	T1,T2,T3
IdleSt	196	Covered	T1,T2,T3
InitSt	194	Covered	T1,T2,T3
InitWaitSt	207	Covered	T1,T2,T3
ReadSt	236	Covered	T1,T2,T3
ReadWaitSt	252	Covered	T1,T2,T3
ResetSt	190	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T1,T2,T3
IdleSt->ReadSt	236	Covered	T1,T2,T3
InitSt->ErrorSt	315	Covered	T215
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T216,T96,T217
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T1,T2,T3
ReadSt->ReadWaitSt	252	Covered	T1,T2,T3
ReadWaitSt->ErrorSt	276	Not Covered
ReadWaitSt->IdleSt	270	Covered	T1,T2,T3
ResetSt->ErrorSt	315	Covered	T9,T75,T76
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	T1,T2,T3
CheckFailError	317	Covered	T75,T76,T175
FsmStateError	289	Covered	T1,T2,T3
MacroEccCorrError	221	Excluded		VC_COV_UNR
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded
AccessError->FsmStateError	325	Covered	T1,T2,T3
AccessError->MacroEccCorrError	221	Excluded
AccessError->NoError	235	Covered	T1,T3,T5
CheckFailError->AccessError	256	Excluded		VC_COV_UNR
CheckFailError->FsmStateError	325	Excluded		VC_COV_UNR
CheckFailError->MacroEccCorrError	221	Excluded
CheckFailError->NoError	235	Covered	T75,T76,T175
FsmStateError->AccessError	256	Excluded		VC_COV_UNR
FsmStateError->CheckFailError	317	Excluded		VC_COV_UNR
FsmStateError->MacroEccCorrError	221	Excluded
FsmStateError->NoError	235	Covered	T1,T2,T3
MacroEccCorrError->AccessError	256	Excluded
MacroEccCorrError->CheckFailError	317	Excluded
MacroEccCorrError->FsmStateError	325	Excluded
MacroEccCorrError->NoError	235	Excluded
NoError->AccessError	256	Covered	T1,T2,T3
NoError->CheckFailError	317	Covered	T75,T76,T175
NoError->FsmStateError	289	Covered	T1,T3,T7
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,T3
0	Covered	T1,T2,T3

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	-10-	-11-	-12-	-13-	-14-	-15-	-16-	Status	Tests	Exclude Annotation
ResetSt	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ResetSt	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	Unreachable
ResetSt	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitSt	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitSt	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	Excluded		VC_COV_UNR
InitWaitSt	-	-	-	1	1	1	-	-	-	-	-	-	-	-	-	Excluded		VC_COV_UNR
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Excluded		VC_COV_UNR
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T120,T103,T143
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Excluded		VC_COV_UNR
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Excluded		VC_COV_UNR
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T17,T18,T19
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T3
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T17,T18,T19

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T75,T76,T175
1	0	Covered	T75,T76,T175
0	-	Covered	T1,T2,T3

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

-1-	Status	Tests
1	Covered	T1,T3,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	493387688	492531105	0	0
DigestKnown_A	493387688	492531105	0	0
DigestOffsetMustBeRepresentable_A	1151	1151	0	0
EccErrorState_A	493387688	15402	0	0
ErrorKnown_A	493387688	492531105	0	0
FsmStateKnown_A	493387688	492531105	0	0
InitDoneKnown_A	493387688	492531105	0	0
InitReadLocksPartition_A	493387688	98680040	0	0
InitWriteLocksPartition_A	493387688	98680040	0	0
OffsetMustBeBlockAligned_A	1151	1151	0	0
OtpAddrKnown_A	493387688	492531105	0	0
OtpCmdKnown_A	493387688	492531105	0	0
OtpErrorState_A	493387688	0	0	0
OtpReqKnown_A	493387688	492531105	0	0
OtpSizeKnown_A	493387688	492531105	0	0
OtpWdataKnown_A	493387688	492531105	0	0
ReadLockPropagation_A	493387688	195316589	0	0
SizeMustBeBlockAligned_A	1151	1151	0	0
TlulGntKnown_A	493387688	492531105	0	0
TlulRdataKnown_A	493387688	492531105	0	0
TlulReadOnReadLock_A	493387688	7757	0	0
TlulRerrorKnown_A	493387688	492531105	0	0
TlulRvalidKnown_A	493387688	492531105	0	0
WriteLockPropagation_A	493387688	2977696	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	493387688	30496897	0	0
u_state_regs_A	493387688	492531105	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1151	1151	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
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	493387688	15402	0	0
T71	66096	0	0	0
T75	14130	2107	0	0
T76	0	3840	0	0
T104	76907	0	0	0
T138	71283	0	0	0
T143	481546	0	0	0
T172	11798	0	0	0
T173	0	3506	0	0
T174	0	3359	0	0
T175	0	2590	0	0
T183	12550	0	0	0
T184	9240	0	0	0
T185	42798	0	0	0
T186	7183	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	98680040	0	0
T1	318614	757948	0	0
T2	29106	19772	0	0
T3	839433	161978	0	0
T4	14464	4402	0	0
T5	155310	893	0	0
T6	199542	674	0	0
T7	16990	5678	0	0
T8	83214	11408	0	0
T9	23839	14501	0	0
T10	24904	172	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	98680040	0	0
T1	318614	757948	0	0
T2	29106	19772	0	0
T3	839433	161978	0	0
T4	14464	4402	0	0
T5	155310	893	0	0
T6	199542	674	0	0
T7	16990	5678	0	0
T8	83214	11408	0	0
T9	23839	14501	0	0
T10	24904	172	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1151	1151	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
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	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	0	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	195316589	0	0
T1	318614	283272	0	0
T2	29106	22527	0	0
T3	839433	316082	0	0
T4	14464	3904	0	0
T5	155310	68922	0	0
T6	199542	124303	0	0
T7	16990	0	0	0
T8	83214	1107	0	0
T9	23839	0	0	0
T10	24904	0	0	0
T23	0	5178	0	0
T42	0	35526	0	0
T118	0	6194	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1151	1151	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
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	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	7757	0	0
T1	318614	16	0	0
T2	29106	18	0	0
T3	839433	60	0	0
T4	14464	3	0	0
T5	155310	19	0	0
T6	199542	24	0	0
T7	16990	0	0	0
T8	83214	0	0	0
T9	23839	8	0	0
T10	24904	0	0	0
T23	0	1	0	0
T42	0	8	0	0
T159	0	1	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	2977696	0	0
T11	263795	0	0	0
T45	15074	0	0	0
T67	0	6337	0	0
T99	93807	0	0	0
T101	0	5196	0	0
T102	0	16673	0	0
T103	0	2853	0	0
T106	0	3416	0	0
T112	0	4025	0	0
T118	41501	4681	0	0
T119	10567	0	0	0
T120	28220	1027	0	0
T164	53926	0	0	0
T166	0	9199	0	0
T207	10318	0	0	0
T208	6362	0	0	0
T210	0	6837	0	0
T214	10470	0	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	30496897	0	0
T2	29106	2695	0	0
T3	839433	0	0	0
T4	14464	0	0	0
T5	155310	135859	0	0
T6	199542	0	0	0
T7	16990	3798	0	0
T8	83214	37104	0	0
T9	23839	2690	0	0
T10	24904	0	0	0
T23	60893	0	0	0
T65	0	2819	0	0
T66	0	3287	0	0
T118	0	23934	0	0
T159	0	3613	0	0
T207	0	2698	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	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	T126,T21,T176

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T102,T166,T167

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T17,T18,T19

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

-1-	Status	Tests
0	Covered	T75,T160,T177
1	Covered	T75,T160,T177

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

---

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

Summary for FSM :: state_q

	Total	Covered	Percent
States	7	7	100.00	(Not included in score)
Transitions	13	12	92.31
Sequences	0	0

State, Transition and Sequence Details for FSM :: state_q

---

states	Line No.	Covered	Tests
ErrorSt	224	Covered	T1,T2,T3
IdleSt	196	Covered	T1,T2,T3
InitSt	194	Covered	T1,T2,T3
InitWaitSt	207	Covered	T1,T2,T3
ReadSt	236	Covered	T1,T2,T3
ReadWaitSt	252	Covered	T1,T2,T3
ResetSt	190	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T1,T2,T3
IdleSt->ReadSt	236	Covered	T1,T2,T3
InitSt->ErrorSt	315	Covered	T216,T96,T217
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T65,T182,T195
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T1,T3,T4
ReadSt->ReadWaitSt	252	Covered	T1,T2,T3
ReadWaitSt->ErrorSt	276	Covered	T166,T180,T218
ReadWaitSt->IdleSt	270	Covered	T1,T2,T3
ResetSt->ErrorSt	315	Covered	T9,T75,T76
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,T3,T4
CheckFailError	317	Covered	T75,T160,T177
FsmStateError	289	Covered	T1,T2,T3
MacroEccCorrError	221	Covered	T126,T102,T21
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded		VC_COV_UNR
AccessError->FsmStateError	325	Covered	T3,T4,T11
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T1,T3,T5
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	T75,T160,T177
FsmStateError->AccessError	256	Excluded		VC_COV_UNR
FsmStateError->CheckFailError	317	Excluded		VC_COV_UNR
FsmStateError->MacroEccCorrError	221	Excluded		VC_COV_UNR
FsmStateError->NoError	235	Covered	T1,T2,T3
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T126,T21,T176
MacroEccCorrError->NoError	235	Covered	T102,T72,T219
NoError->AccessError	256	Covered	T1,T3,T4
NoError->CheckFailError	317	Covered	T75,T160,T177
NoError->FsmStateError	289	Covered	T1,T2,T3
NoError->MacroEccCorrError	221	Covered	T126,T102,T21

---

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

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

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

-1-	Status	Tests
1	Covered	T2,T5,T8
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	T126,T21,T176
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T65,T182,T195
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T3,T8,T120
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T1,T3,T4
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T102,T166,T167
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T166,T180,T218
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T17,T18,T19
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T3
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T17,T18,T19

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T75,T160,T177
1	0	Covered	T75,T160,T177
0	-	Covered	T1,T2,T3

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

Branches:

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

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

Branches:

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

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

Branches:

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

---

Assert Coverage for Instance : tb.dut.gen_partitions[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	493387688	492531105	0	0
DigestKnown_A	493387688	492531105	0	0
DigestOffsetMustBeRepresentable_A	1151	1151	0	0
EccErrorState_A	493387688	11550	0	0
ErrorKnown_A	493387688	492531105	0	0
FsmStateKnown_A	493387688	492531105	0	0
InitDoneKnown_A	493387688	492531105	0	0
InitReadLocksPartition_A	493387688	98861073	0	0
InitWriteLocksPartition_A	493387688	98861073	0	0
OffsetMustBeBlockAligned_A	1151	1151	0	0
OtpAddrKnown_A	493387688	492531105	0	0
OtpCmdKnown_A	493387688	492531105	0	0
OtpErrorState_A	493387688	72	0	0
OtpReqKnown_A	493387688	492531105	0	0
OtpSizeKnown_A	493387688	492531105	0	0
OtpWdataKnown_A	493387688	492531105	0	0
ReadLockPropagation_A	493387688	203267075	0	0
SizeMustBeBlockAligned_A	1151	1151	0	0
TlulGntKnown_A	493387688	492531105	0	0
TlulRdataKnown_A	493387688	492531105	0	0
TlulReadOnReadLock_A	493387688	8042	0	0
TlulRerrorKnown_A	493387688	492531105	0	0
TlulRvalidKnown_A	493387688	492531105	0	0
WriteLockPropagation_A	493387688	2750180	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	493387688	28415159	0	0
u_state_regs_A	493387688	492531105	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1151	1151	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
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	493387688	11550	0	0
T71	66096	0	0	0
T75	14130	2107	0	0
T104	76907	0	0	0
T138	71283	0	0	0
T143	481546	0	0	0
T160	0	2868	0	0
T172	11798	0	0	0
T173	0	3506	0	0
T177	0	3069	0	0
T183	12550	0	0	0
T184	9240	0	0	0
T185	42798	0	0	0
T186	7183	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	98861073	0	0
T1	318614	758084	0	0
T2	29106	19823	0	0
T3	839433	161999	0	0
T4	14464	4453	0	0
T5	155310	1131	0	0
T6	199542	759	0	0
T7	16990	5712	0	0
T8	83214	11578	0	0
T9	23839	14552	0	0
T10	24904	240	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	98861073	0	0
T1	318614	758084	0	0
T2	29106	19823	0	0
T3	839433	161999	0	0
T4	14464	4453	0	0
T5	155310	1131	0	0
T6	199542	759	0	0
T7	16990	5712	0	0
T8	83214	11578	0	0
T9	23839	14552	0	0
T10	24904	240	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1151	1151	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
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	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	72	0	0
T42	94630	0	0	0
T65	11468	1	0	0
T66	10439	0	0	0
T116	14590	0	0	0
T117	32446	0	0	0
T118	41501	0	0	0
T119	10567	0	0	0
T120	28220	0	0	0
T159	22236	0	0	0
T166	0	1	0	0
T180	0	1	0	0
T182	0	1	0	0
T195	0	1	0	0
T196	0	1	0	0
T197	0	1	0	0
T199	0	1	0	0
T201	0	1	0	0
T203	0	1	0	0
T207	10318	0	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	203267075	0	0
T1	318614	206461	0	0
T2	29106	0	0	0
T3	839433	162442	0	0
T4	14464	4175	0	0
T5	155310	75409	0	0
T6	199542	196990	0	0
T7	16990	0	0	0
T8	83214	659	0	0
T9	23839	1152	0	0
T10	24904	0	0	0
T23	0	5857	0	0
T42	0	39170	0	0
T118	0	5663	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1151	1151	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
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	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	8042	0	0
T1	318614	10	0	0
T2	29106	30	0	0
T3	839433	41	0	0
T4	14464	4	0	0
T5	155310	19	0	0
T6	199542	14	0	0
T7	16990	0	0	0
T8	83214	0	0	0
T9	23839	13	0	0
T10	24904	0	0	0
T23	0	4	0	0
T42	0	10	0	0
T159	0	1	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	2750180	0	0
T5	155310	18974	0	0
T6	199542	0	0	0
T8	83214	0	0	0
T9	23839	0	0	0
T10	24904	0	0	0
T23	60893	0	0	0
T42	0	8388	0	0
T65	11468	0	0	0
T67	0	12239	0	0
T99	0	10359	0	0
T103	0	2941	0	0
T104	0	4956	0	0
T105	0	7793	0	0
T106	0	3817	0	0
T108	0	13999	0	0
T109	14372	0	0	0
T110	523327	0	0	0
T111	12124	0	0	0
T118	0	4458	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	28415159	0	0
T2	29106	2678	0	0
T3	839433	0	0	0
T4	14464	0	0	0
T5	155310	135655	0	0
T6	199542	0	0	0
T7	16990	0	0	0
T8	83214	37019	0	0
T9	23839	2673	0	0
T10	24904	0	0	0
T23	60893	0	0	0
T42	0	66610	0	0
T65	0	2814	0	0
T99	0	76535	0	0
T118	0	23883	0	0
T120	0	18300	0	0
T159	0	3588	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	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	T178,T172,T179

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T102,T180,T181

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T17,T18,T19

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

-1-	Status	Tests
0	Covered	T76,T177,T174
1	Covered	T76,T177,T174

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

---

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

Summary for FSM :: state_q

	Total	Covered	Percent
States	7	7	100.00	(Not included in score)
Transitions	13	12	92.31
Sequences	0	0

State, Transition and Sequence Details for FSM :: state_q

---

states	Line No.	Covered	Tests
ErrorSt	224	Covered	T1,T2,T3
IdleSt	196	Covered	T1,T2,T3
InitSt	194	Covered	T1,T2,T3
InitWaitSt	207	Covered	T1,T2,T3
ReadSt	236	Covered	T1,T2,T3
ReadWaitSt	252	Covered	T1,T2,T3
ResetSt	190	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T1,T2,T3
IdleSt->ReadSt	236	Covered	T1,T2,T3
InitSt->ErrorSt	315	Covered	T216,T96,T217
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T65,T66,T126
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T1,T3,T5
ReadSt->ReadWaitSt	252	Covered	T1,T2,T3
ReadWaitSt->ErrorSt	276	Covered	T167,T220,T221
ReadWaitSt->IdleSt	270	Covered	T1,T2,T3
ResetSt->ErrorSt	315	Covered	T9,T75,T76
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,T3,T5
CheckFailError	317	Covered	T76,T177,T174
FsmStateError	289	Covered	T1,T2,T3
MacroEccCorrError	221	Covered	T178,T102,T172
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,T3,T11
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T1,T3,T5
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	T76,T177,T174
FsmStateError->AccessError	256	Excluded		VC_COV_UNR
FsmStateError->CheckFailError	317	Excluded		VC_COV_UNR
FsmStateError->MacroEccCorrError	221	Excluded		VC_COV_UNR
FsmStateError->NoError	235	Covered	T1,T2,T3
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T178,T172,T179
MacroEccCorrError->NoError	235	Covered	T102,T219,T222
NoError->AccessError	256	Covered	T1,T3,T5
NoError->CheckFailError	317	Covered	T76,T177,T174
NoError->FsmStateError	289	Covered	T1,T2,T3
NoError->MacroEccCorrError	221	Covered	T178,T102,T172

---

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

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

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	-10-	-11-	-12-	-13-	-14-	-15-	-16-	Status	Tests
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	T178,T172,T179
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T66,T126,T194
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T6,T103,T112
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T1,T3,T5
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T102,T180,T181
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T167,T220,T221
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T17,T18,T19
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T3
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T17,T18,T19

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T76,T177,T174
1	0	Covered	T76,T177,T174
0	-	Covered	T1,T2,T3

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

Branches:

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

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

Branches:

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

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

Branches:

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

---

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

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
AccessKnown_A	493387688	492531105	0	0
DigestKnown_A	493387688	492531105	0	0
DigestOffsetMustBeRepresentable_A	1151	1151	0	0
EccErrorState_A	493387688	10268	0	0
ErrorKnown_A	493387688	492531105	0	0
FsmStateKnown_A	493387688	492531105	0	0
InitDoneKnown_A	493387688	492531105	0	0
InitReadLocksPartition_A	493387688	99040774	0	0
InitWriteLocksPartition_A	493387688	99040774	0	0
OffsetMustBeBlockAligned_A	1151	1151	0	0
OtpAddrKnown_A	493387688	492531105	0	0
OtpCmdKnown_A	493387688	492531105	0	0
OtpErrorState_A	493387688	65	0	0
OtpReqKnown_A	493387688	492531105	0	0
OtpSizeKnown_A	493387688	492531105	0	0
OtpWdataKnown_A	493387688	492531105	0	0
ReadLockPropagation_A	493387688	211416967	0	0
SizeMustBeBlockAligned_A	1151	1151	0	0
TlulGntKnown_A	493387688	492531105	0	0
TlulRdataKnown_A	493387688	492531105	0	0
TlulReadOnReadLock_A	493387688	8309	0	0
TlulRerrorKnown_A	493387688	492531105	0	0
TlulRvalidKnown_A	493387688	492531105	0	0
WriteLockPropagation_A	493387688	1476074	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	493387688	19556197	0	0
u_state_regs_A	493387688	492531105	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1151	1151	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
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	493387688	10268	0	0
T76	13095	3840	0	0
T114	202893	0	0	0
T115	40647	0	0	0
T174	0	3359	0	0
T177	0	3069	0	0
T187	25094	0	0	0
T188	10600	0	0	0
T189	119565	0	0	0
T190	26296	0	0	0
T191	13871	0	0	0
T192	79706	0	0	0
T193	158005	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	99040774	0	0
T1	318614	758220	0	0
T2	29106	19874	0	0
T3	839433	162019	0	0
T4	14464	4504	0	0
T5	155310	1369	0	0
T6	199542	844	0	0
T7	16990	5746	0	0
T8	83214	11748	0	0
T9	23839	14603	0	0
T10	24904	308	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	99040774	0	0
T1	318614	758220	0	0
T2	29106	19874	0	0
T3	839433	162019	0	0
T4	14464	4504	0	0
T5	155310	1369	0	0
T6	199542	844	0	0
T7	16990	5746	0	0
T8	83214	11748	0	0
T9	23839	14603	0	0
T10	24904	308	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1151	1151	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
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	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	65	0	0
T11	263795	0	0	0
T66	10439	1	0	0
T99	93807	0	0	0
T118	41501	0	0	0
T119	10567	0	0	0
T120	28220	0	0	0
T126	0	1	0	0
T159	22236	0	0	0
T164	53926	0	0	0
T167	0	2	0	0
T194	0	1	0	0
T198	0	1	0	0
T200	0	1	0	0
T202	0	1	0	0
T204	0	1	0	0
T205	0	1	0	0
T206	0	1	0	0
T207	10318	0	0	0
T208	6362	0	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	211416967	0	0
T1	318614	283080	0	0
T2	29106	20884	0	0
T3	839433	245155	0	0
T4	14464	0	0	0
T5	155310	65572	0	0
T6	199542	197086	0	0
T7	16990	0	0	0
T8	83214	553	0	0
T9	23839	824	0	0
T10	24904	0	0	0
T23	0	3801	0	0
T42	0	25626	0	0
T118	0	7421	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1151	1151	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
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	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	8309	0	0
T1	318614	17	0	0
T2	29106	13	0	0
T3	839433	55	0	0
T4	14464	3	0	0
T5	155310	15	0	0
T6	199542	27	0	0
T7	16990	0	0	0
T8	83214	0	0	0
T9	23839	10	0	0
T10	24904	0	0	0
T23	0	3	0	0
T42	0	3	0	0
T118	0	4	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	1476074	0	0
T21	20616	0	0	0
T103	61615	5683	0	0
T105	0	7793	0	0
T107	0	8241	0	0
T108	0	4386	0	0
T112	57537	2953	0	0
T113	0	2669	0	0
T134	0	25191	0	0
T154	84952	0	0	0
T155	13649	0	0	0
T211	0	2260	0	0
T212	0	1383	0	0
T213	0	19406	0	0
T223	9486	0	0	0
T224	13008	0	0	0
T225	4873	0	0	0
T226	19439	0	0	0
T227	73803	0	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	19556197	0	0
T2	29106	2661	0	0
T3	839433	0	0	0
T4	14464	0	0	0
T5	155310	0	0	0
T6	199542	0	0	0
T7	16990	0	0	0
T8	83214	36934	0	0
T9	23839	0	0	0
T10	24904	0	0	0
T23	60893	0	0	0
T34	0	20420	0	0
T66	0	3265	0	0
T68	0	10838	0	0
T100	0	12553	0	0
T126	0	3849	0	0
T151	0	2574	0	0
T153	0	3654	0	0
T194	0	3100	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	493387688	492531105	0	0
T1	318614	318590	0	0
T2	29106	28863	0	0
T3	839433	839407	0	0
T4	14464	14216	0	0
T5	155310	154085	0	0
T6	199542	199528	0	0
T7	16990	16764	0	0
T8	83214	82216	0	0
T9	23839	23494	0	0
T10	24904	24640	0	0