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.34	94.81	96.15	97.14		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.34	94.81	96.15	97.14		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.34	94.81	96.15	97.14		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	T4,T5,T10
1	Excluded		VC_COV_UNR

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

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

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

-1-	Status	Tests
0	Covered	T79,T162,T163
1	Covered	T79,T162,T163

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

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

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

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

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

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

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

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

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

---

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

Summary for FSM :: state_q

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

State, Transition and Sequence Details for FSM :: state_q

---

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

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T1,T3,T6
IdleSt->ReadSt	236	Covered	T1,T4,T5
InitSt->ErrorSt	315	Covered	T175
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T198,T199,T200
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T1,T4,T5
ReadSt->ReadWaitSt	252	Covered	T4,T5,T10
ReadWaitSt->ErrorSt	276	Not Covered
ReadWaitSt->IdleSt	270	Covered	T4,T5,T10
ResetSt->ErrorSt	315	Covered	T79,T80,T81
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,T4,T5
CheckFailError	317	Covered	T79,T162,T163
FsmStateError	289	Covered	T1,T3,T6
MacroEccCorrError	221	Excluded		VC_COV_UNR
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded
AccessError->FsmStateError	325	Covered	T1,T14,T13
AccessError->MacroEccCorrError	221	Excluded
AccessError->NoError	235	Covered	T4,T5,T16
CheckFailError->AccessError	256	Excluded		VC_COV_UNR
CheckFailError->FsmStateError	325	Excluded		VC_COV_UNR
CheckFailError->MacroEccCorrError	221	Excluded
CheckFailError->NoError	235	Covered	T79,T162,T163
FsmStateError->AccessError	256	Excluded		VC_COV_UNR
FsmStateError->CheckFailError	317	Excluded		VC_COV_UNR
FsmStateError->MacroEccCorrError	221	Excluded
FsmStateError->NoError	235	Covered	T1,T3,T6
MacroEccCorrError->AccessError	256	Excluded
MacroEccCorrError->CheckFailError	317	Excluded
MacroEccCorrError->FsmStateError	325	Excluded
MacroEccCorrError->NoError	235	Excluded
NoError->AccessError	256	Covered	T1,T4,T5
NoError->CheckFailError	317	Covered	T79,T162,T163
NoError->FsmStateError	289	Covered	T3,T6,T9
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	T4,T5,T10
0	Covered	T1,T2,T3

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

Branches:

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

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

Branches:

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

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

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

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	-10-	-11-	-12-	-13-	-14-	-15-	-16-	Status	Tests	Exclude Annotation
ResetSt	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ResetSt	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	Unreachable
ResetSt	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitSt	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitSt	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	Excluded		VC_COV_UNR
InitWaitSt	-	-	-	1	1	1	-	-	-	-	-	-	-	-	-	Excluded		VC_COV_UNR
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Excluded		VC_COV_UNR
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T4,T5
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T4,T5,T10
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T31,T101,T18
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T1,T4,T5
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Excluded		VC_COV_UNR
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T4,T5,T10
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Excluded		VC_COV_UNR
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T4,T5,T10
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T24,T25,T26
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T3,T6
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T1,T3,T6
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T1,T3,T6
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T3,T6
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T24,T25,T26

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T79,T162,T163
1	0	Covered	T79,T162,T163
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,T3,T6
1	0	Covered	T1,T3,T6
0	-	Covered	T1,T2,T3

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

Branches:

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

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

Branches:

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

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

Branches:

-1-	Status	Tests
1	Covered	T3,T10,T11
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	488007750	487162072	0	0
DigestKnown_A	488007750	487162072	0	0
DigestOffsetMustBeRepresentable_A	1153	1153	0	0
EccErrorState_A	488007750	9779	0	0
ErrorKnown_A	488007750	487162072	0	0
FsmStateKnown_A	488007750	487162072	0	0
InitDoneKnown_A	488007750	487162072	0	0
InitReadLocksPartition_A	488007750	104748475	0	0
InitWriteLocksPartition_A	488007750	104748475	0	0
OffsetMustBeBlockAligned_A	1153	1153	0	0
OtpAddrKnown_A	488007750	487162072	0	0
OtpCmdKnown_A	488007750	487162072	0	0
OtpErrorState_A	488007750	0	0	0
OtpReqKnown_A	488007750	487162072	0	0
OtpSizeKnown_A	488007750	487162072	0	0
OtpWdataKnown_A	488007750	487162072	0	0
ReadLockPropagation_A	488007750	214773918	0	0
SizeMustBeBlockAligned_A	1153	1153	0	0
TlulGntKnown_A	488007750	487162072	0	0
TlulRdataKnown_A	488007750	487162072	0	0
TlulReadOnReadLock_A	488007750	7336	0	0
TlulRerrorKnown_A	488007750	487162072	0	0
TlulRvalidKnown_A	488007750	487162072	0	0
WriteLockPropagation_A	488007750	2188619	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	488007750	27506184	0	0
u_state_regs_A	488007750	487162072	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	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
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	9779	0	0
T17	5820	0	0	0
T31	38559	0	0	0
T65	122340	0	0	0
T73	15146	0	0	0
T79	13937	3234	0	0
T108	9545	0	0	0
T147	6395	0	0	0
T152	55163	0	0	0
T162	0	3926	0	0
T163	0	2619	0	0
T173	11502	0	0	0
T174	28504	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	104748475	0	0
T1	37051	21709	0	0
T2	24885	184	0	0
T3	25498	4729	0	0
T4	85335	850	0	0
T5	682046	567778	0	0
T6	17093	7322	0	0
T9	82522	75934	0	0
T10	14361	4784	0	0
T11	26732	7306	0	0
T12	49735	429	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	104748475	0	0
T1	37051	21709	0	0
T2	24885	184	0	0
T3	25498	4729	0	0
T4	85335	850	0	0
T5	682046	567778	0	0
T6	17093	7322	0	0
T9	82522	75934	0	0
T10	14361	4784	0	0
T11	26732	7306	0	0
T12	49735	429	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
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	0	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	214773918	0	0
T1	37051	27175	0	0
T2	24885	0	0	0
T3	25498	0	0	0
T4	85335	10528	0	0
T5	682046	484130	0	0
T6	17093	0	0	0
T9	82522	0	0	0
T10	14361	0	0	0
T11	26732	2262	0	0
T12	49735	0	0	0
T16	0	6580	0	0
T31	0	3800	0	0
T38	0	3975	0	0
T65	0	52168	0	0
T108	0	2051	0	0
T152	0	46497	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
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	7336	0	0
T1	37051	6	0	0
T2	24885	0	0	0
T3	25498	2	0	0
T4	85335	1	0	0
T5	682046	1	0	0
T6	17093	1	0	0
T7	0	9	0	0
T9	82522	16	0	0
T10	14361	0	0	0
T11	26732	5	0	0
T12	49735	0	0	0
T16	0	5	0	0
T38	0	1	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	2188619	0	0
T4	85335	7369	0	0
T5	682046	0	0	0
T7	97367	0	0	0
T10	14361	0	0	0
T11	26732	0	0	0
T12	49735	0	0	0
T16	30557	0	0	0
T18	0	21633	0	0
T38	28719	0	0	0
T39	0	6811	0	0
T52	12010	0	0	0
T72	13501	0	0	0
T84	0	6221	0	0
T100	0	2657	0	0
T101	0	7093	0	0
T102	0	1913	0	0
T103	0	261	0	0
T105	0	3479	0	0
T124	0	32680	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	27506184	0	0
T1	37051	2579	0	0
T2	24885	0	0	0
T3	25498	0	0	0
T4	85335	50836	0	0
T5	682046	0	0	0
T6	17093	0	0	0
T9	82522	0	0	0
T10	14361	3759	0	0
T11	26732	0	0	0
T12	49735	0	0	0
T16	0	19243	0	0
T31	0	28784	0	0
T38	0	18476	0	0
T65	0	103777	0	0
T72	0	2429	0	0
T73	0	2612	0	0
T152	0	2578	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	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	T10,T72,T73

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

-1-	Status	Tests
0	Covered	T1,T2,T4
1	Covered	T76,T83,T62

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

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

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

-1-	Status	Tests
0	Covered	T79,T80,T164
1	Covered	T79,T80,T164

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

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

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

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

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

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T1,T3,T9
1	1	Covered	T1,T2,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'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,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,T2,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	T4,T16,T38

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

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

---

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

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T1,T3,T6
IdleSt->ReadSt	236	Covered	T1,T2,T4
InitSt->ErrorSt	315	Covered	T198,T175,T199
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T169,T170,T93
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T1,T4,T5
ReadSt->ReadWaitSt	252	Covered	T1,T2,T4
ReadWaitSt->ErrorSt	276	Covered	T201,T202,T203
ReadWaitSt->IdleSt	270	Covered	T1,T2,T4
ResetSt->ErrorSt	315	Covered	T79,T80,T81
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	T79,T80,T164
FsmStateError	289	Covered	T1,T3,T6
MacroEccCorrError	221	Covered	T10,T72,T73
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,T152,T14
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T4,T5,T16
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	T79,T80,T164
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,T3,T6
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T10,T72,T73
MacroEccCorrError->NoError	235	Covered	T76,T83,T62
NoError->AccessError	256	Covered	T1,T4,T5
NoError->CheckFailError	317	Covered	T79,T80,T164
NoError->FsmStateError	289	Covered	T3,T6,T9
NoError->MacroEccCorrError	221	Covered	T10,T72,T73

---

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

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

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,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	T4,T16,T38
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	T10,T72,T73
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T169,T170,T93
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T4
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T2,T4
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T31,T101,T18
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T1,T4,T5
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T76,T83,T62
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T2,T4
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T201,T202,T203
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T2,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T24,T25,T26
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T3,T6
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T1,T3,T9
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T1,T3,T9
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T3,T6
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T24,T25,T26

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T79,T80,T164
1	0	Covered	T79,T80,T164
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,T3,T6
1	0	Covered	T1,T3,T6
0	-	Covered	T1,T2,T3

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

Branches:

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

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

Branches:

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

---

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

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
AccessKnown_A	488007750	487162072	0	0
DigestKnown_A	488007750	487162072	0	0
DigestOffsetMustBeRepresentable_A	1153	1153	0	0
EccErrorState_A	488007750	12347	0	0
ErrorKnown_A	488007750	487162072	0	0
FsmStateKnown_A	488007750	487162072	0	0
InitDoneKnown_A	488007750	487162072	0	0
InitReadLocksPartition_A	488007750	104929120	0	0
InitWriteLocksPartition_A	488007750	104929120	0	0
OffsetMustBeBlockAligned_A	1153	1153	0	0
OtpAddrKnown_A	488007750	487162072	0	0
OtpCmdKnown_A	488007750	487162072	0	0
OtpErrorState_A	488007750	65	0	0
OtpReqKnown_A	488007750	487162072	0	0
OtpSizeKnown_A	488007750	487162072	0	0
OtpWdataKnown_A	488007750	487162072	0	0
ReadLockPropagation_A	488007750	212747689	0	0
SizeMustBeBlockAligned_A	1153	1153	0	0
TlulGntKnown_A	488007750	487162072	0	0
TlulRdataKnown_A	488007750	487162072	0	0
TlulReadOnReadLock_A	488007750	7580	0	0
TlulRerrorKnown_A	488007750	487162072	0	0
TlulRvalidKnown_A	488007750	487162072	0	0
WriteLockPropagation_A	488007750	2176484	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	488007750	26498646	0	0
u_state_regs_A	488007750	487162072	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	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
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	12347	0	0
T17	5820	0	0	0
T31	38559	0	0	0
T65	122340	0	0	0
T73	15146	0	0	0
T79	13937	3234	0	0
T80	0	3725	0	0
T108	9545	0	0	0
T147	6395	0	0	0
T152	55163	0	0	0
T163	0	2619	0	0
T164	0	2769	0	0
T173	11502	0	0	0
T174	28504	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	104929120	0	0
T1	37051	21743	0	0
T2	24885	235	0	0
T3	25498	4848	0	0
T4	85335	1105	0	0
T5	682046	567788	0	0
T6	17093	7373	0	0
T9	82522	75985	0	0
T10	14361	4835	0	0
T11	26732	7408	0	0
T12	49735	535	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	104929120	0	0
T1	37051	21743	0	0
T2	24885	235	0	0
T3	25498	4848	0	0
T4	85335	1105	0	0
T5	682046	567788	0	0
T6	17093	7373	0	0
T9	82522	75985	0	0
T10	14361	4835	0	0
T11	26732	7408	0	0
T12	49735	535	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
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	65	0	0
T8	648448	0	0	0
T18	426180	0	0	0
T76	91696	0	0	0
T93	0	1	0	0
T101	53323	0	0	0
T102	53436	0	0	0
T103	47860	0	0	0
T107	30176	0	0	0
T157	59762	0	0	0
T169	8753	1	0	0
T170	0	1	0	0
T179	0	1	0	0
T182	0	1	0	0
T183	0	1	0	0
T185	0	1	0	0
T186	0	1	0	0
T190	0	1	0	0
T191	0	1	0	0
T193	55177	0	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	212747689	0	0
T1	37051	25738	0	0
T2	24885	0	0	0
T3	25498	0	0	0
T4	85335	6026	0	0
T5	682046	484098	0	0
T6	17093	7015	0	0
T9	82522	0	0	0
T10	14361	0	0	0
T11	26732	0	0	0
T12	49735	0	0	0
T16	0	7131	0	0
T31	0	3011	0	0
T38	0	1873	0	0
T65	0	35255	0	0
T100	0	6477	0	0
T152	0	46493	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
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	7580	0	0
T1	37051	7	0	0
T2	24885	0	0	0
T3	25498	4	0	0
T4	85335	1	0	0
T5	682046	3	0	0
T6	17093	0	0	0
T7	0	9	0	0
T9	82522	16	0	0
T10	14361	0	0	0
T11	26732	4	0	0
T12	49735	0	0	0
T16	0	2	0	0
T31	0	3	0	0
T152	0	10	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	2176484	0	0
T4	85335	3224	0	0
T5	682046	0	0	0
T7	97367	0	0	0
T10	14361	0	0	0
T11	26732	0	0	0
T12	49735	0	0	0
T16	30557	0	0	0
T18	0	34961	0	0
T31	0	4506	0	0
T38	28719	0	0	0
T52	12010	0	0	0
T65	0	9501	0	0
T72	13501	0	0	0
T101	0	5508	0	0
T102	0	1913	0	0
T105	0	5532	0	0
T106	0	18541	0	0
T124	0	50273	0	0
T194	0	28572	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	26498646	0	0
T4	85335	50700	0	0
T5	682046	0	0	0
T7	97367	0	0	0
T10	14361	0	0	0
T11	26732	0	0	0
T12	49735	0	0	0
T16	30557	19175	0	0
T31	0	28665	0	0
T38	28719	18408	0	0
T52	12010	0	0	0
T65	0	103556	0	0
T72	13501	0	0	0
T100	0	19016	0	0
T101	0	45329	0	0
T110	0	10001	0	0
T152	0	2561	0	0
T169	0	2633	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	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	T74,T165,T166

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

-1-	Status	Tests
0	Covered	T2,T4,T5
1	Covered	T83,T159,T39

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

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

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

-1-	Status	Tests
0	Covered	T148,T164,T163
1	Covered	T148,T164,T163

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

---

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

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T1,T3,T6
IdleSt->ReadSt	236	Covered	T2,T4,T5
InitSt->ErrorSt	315	Covered	T198,T175,T199
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T72,T168,T169
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T4,T5,T16
ReadSt->ReadWaitSt	252	Covered	T2,T4,T5
ReadWaitSt->ErrorSt	276	Covered	T157,T204,T153
ReadWaitSt->IdleSt	270	Covered	T2,T4,T5
ResetSt->ErrorSt	315	Covered	T79,T80,T81
ResetSt->IdleSt	196	Excluded		VC_COV_UNR
ResetSt->InitSt	194	Covered	T1,T2,T3

Summary for FSM :: error_q

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

State, Transition and Sequence Details for FSM :: error_q

---

states	Line No.	Covered	Tests
AccessError	256	Covered	T4,T5,T16
CheckFailError	317	Covered	T148,T164,T163
FsmStateError	289	Covered	T1,T3,T6
MacroEccCorrError	221	Covered	T74,T83,T159
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded		VC_COV_UNR
AccessError->FsmStateError	325	Covered	T152,T14,T13
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T4,T5,T16
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	T148,T164,T163
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,T3,T6
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T74,T159,T165
MacroEccCorrError->NoError	235	Covered	T83,T39,T90
NoError->AccessError	256	Covered	T4,T5,T16
NoError->CheckFailError	317	Covered	T148,T164,T163
NoError->FsmStateError	289	Covered	T1,T3,T6
NoError->MacroEccCorrError	221	Covered	T74,T83,T159

---

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

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

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

-1-	Status	Tests
1	Covered	T4,T16,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
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	T74,T165,T166
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T72,T168,T181
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T2,T4,T5
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T2,T4,T5
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T31,T101,T18
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T4,T5,T16
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T83,T159,T39
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T2,T4,T5
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T157,T204,T153
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T2,T4,T5
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T24,T25,T26
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T3,T6
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T1,T3,T6
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T1,T3,T6
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T3,T6
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T24,T25,T26

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T148,T164,T163
1	0	Covered	T148,T164,T163
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,T3,T6
1	0	Covered	T1,T3,T6
0	-	Covered	T1,T2,T3

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

Branches:

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

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

Branches:

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

---

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

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
AccessKnown_A	488007750	487162072	0	0
DigestKnown_A	488007750	487162072	0	0
DigestOffsetMustBeRepresentable_A	1153	1153	0	0
EccErrorState_A	488007750	7587	0	0
ErrorKnown_A	488007750	487162072	0	0
FsmStateKnown_A	488007750	487162072	0	0
InitDoneKnown_A	488007750	487162072	0	0
InitReadLocksPartition_A	488007750	105108534	0	0
InitWriteLocksPartition_A	488007750	105108534	0	0
OffsetMustBeBlockAligned_A	1153	1153	0	0
OtpAddrKnown_A	488007750	487162072	0	0
OtpCmdKnown_A	488007750	487162072	0	0
OtpErrorState_A	488007750	62	0	0
OtpReqKnown_A	488007750	487162072	0	0
OtpSizeKnown_A	488007750	487162072	0	0
OtpWdataKnown_A	488007750	487162072	0	0
ReadLockPropagation_A	488007750	211087110	0	0
SizeMustBeBlockAligned_A	1153	1153	0	0
TlulGntKnown_A	488007750	487162072	0	0
TlulRdataKnown_A	488007750	487162072	0	0
TlulReadOnReadLock_A	488007750	7810	0	0
TlulRerrorKnown_A	488007750	487162072	0	0
TlulRvalidKnown_A	488007750	487162072	0	0
WriteLockPropagation_A	488007750	1247955	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	488007750	16951521	0	0
u_state_regs_A	488007750	487162072	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	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
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	7587	0	0
T21	736916	0	0	0
T22	103175	0	0	0
T78	103087	0	0	0
T148	7961	2199	0	0
T163	0	2619	0	0
T164	0	2769	0	0
T175	24940	0	0	0
T176	90118	0	0	0
T177	11981	0	0	0
T178	33341	0	0	0
T179	11832	0	0	0
T180	31614	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	105108534	0	0
T1	37051	21777	0	0
T2	24885	286	0	0
T3	25498	4967	0	0
T4	85335	1360	0	0
T5	682046	567798	0	0
T6	17093	7424	0	0
T9	82522	76036	0	0
T10	14361	4886	0	0
T11	26732	7510	0	0
T12	49735	620	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	105108534	0	0
T1	37051	21777	0	0
T2	24885	286	0	0
T3	25498	4967	0	0
T4	85335	1360	0	0
T5	682046	567798	0	0
T6	17093	7424	0	0
T9	82522	76036	0	0
T10	14361	4886	0	0
T11	26732	7510	0	0
T12	49735	620	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
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	62	0	0
T7	97367	0	0	0
T17	5820	0	0	0
T31	38559	0	0	0
T38	28719	0	0	0
T72	13501	1	0	0
T79	13937	0	0	0
T97	0	1	0	0
T108	9545	0	0	0
T147	6395	0	0	0
T152	55163	0	0	0
T157	0	1	0	0
T168	0	1	0	0
T173	11502	0	0	0
T181	0	1	0	0
T184	0	1	0	0
T187	0	1	0	0
T188	0	1	0	0
T189	0	1	0	0
T192	0	1	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	211087110	0	0
T1	37051	27171	0	0
T2	24885	0	0	0
T3	25498	0	0	0
T4	85335	12777	0	0
T5	682046	483873	0	0
T6	17093	0	0	0
T9	82522	0	0	0
T10	14361	0	0	0
T11	26732	0	0	0
T12	49735	0	0	0
T16	0	6918	0	0
T31	0	2909	0	0
T38	0	4696	0	0
T65	0	44155	0	0
T100	0	5866	0	0
T108	0	2036	0	0
T152	0	46488	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
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	7810	0	0
T1	37051	6	0	0
T2	24885	0	0	0
T3	25498	4	0	0
T4	85335	3	0	0
T5	682046	2	0	0
T6	17093	5	0	0
T7	0	15	0	0
T9	82522	14	0	0
T10	14361	0	0	0
T11	26732	5	0	0
T12	49735	0	0	0
T16	0	4	0	0
T38	0	1	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	1247955	0	0
T17	5820	0	0	0
T18	0	10253	0	0
T31	38559	2884	0	0
T65	122340	0	0	0
T73	15146	0	0	0
T76	0	9232	0	0
T84	0	1929	0	0
T100	27596	0	0	0
T101	0	923	0	0
T103	0	2875	0	0
T105	0	5532	0	0
T106	0	50834	0	0
T108	9545	0	0	0
T109	23099	0	0	0
T124	0	21759	0	0
T147	6395	0	0	0
T173	11502	0	0	0
T174	28504	0	0	0
T195	0	9720	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	16951521	0	0
T4	85335	67650	0	0
T5	682046	0	0	0
T7	97367	0	0	0
T10	14361	0	0	0
T11	26732	0	0	0
T12	49735	0	0	0
T16	30557	19107	0	0
T31	0	28546	0	0
T38	28719	18340	0	0
T52	12010	0	0	0
T72	13501	2407	0	0
T76	0	71978	0	0
T101	0	45159	0	0
T102	0	40479	0	0
T110	0	9933	0	0
T152	0	2544	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	488007750	487162072	0	0
T1	37051	36822	0	0
T2	24885	24588	0	0
T3	25498	24933	0	0
T4	85335	83868	0	0
T5	682046	682036	0	0
T6	17093	16829	0	0
T9	82522	82366	0	0
T10	14361	14088	0	0
T11	26732	26306	0	0
T12	49735	49266	0	0