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
88.64	92.39	93.55		72.00	89.13	96.15

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
90.91	94.96	93.55	97.87	72.00	89.83	97.22

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
92.27	96.15	86.96	87.95		93.10	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	94.47	100.00		97.87		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
97.01	100.00	97.06		88.00	100.00	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
96.86	100.00	97.06	97.87	88.00	98.25	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
92.27	96.15	86.96	87.95		93.10	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	94.47	100.00		97.87		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.01	100.00	97.06		88.00	100.00	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
96.86	100.00	97.06	97.87	88.00	98.25	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
92.27	96.15	86.96	87.95		93.10	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	94.47	100.00		97.87		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		92	85	92.39
CONT_ASSIGN	138	1	1	100.00
ALWAYS	153	3	3	100.00
ALWAYS	164	67	60	89.55
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	0	1
			MISSING_ELSE
224	0	1
225	0	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	0	1
			MISSING_ELSE
276	0	1
277	0	1
279	0	1
			MISSING_ELSE
288	1	1
289		excluded
			Exclude Annotation: VC_COV_UNR
			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	31	29	93.55
Logical	31	29	93.55
Non-Logical	0	0
Event	0	0

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

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

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

-1-	Status	Tests
0	Covered	T2,T4,T5
1	Not Covered

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

-1-	Status	Tests
0	Covered	T1,T3,T7
1	Covered	T19,T20,T21

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

-1-	Status	Tests
0	Covered	T152,T151
1	Covered	T152,T151

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

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

 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,T7
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       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	T6,T13,T25

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

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

---

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	14	11	78.57
Sequences	0	0

State, Transition and Sequence Details for FSM :: state_q

---

states	Line No.	Covered	Tests
ErrorSt	224	Covered	T1,T3,T7
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
IdleSt->ErrorSt	315	Covered	T1,T3,T7
IdleSt->ReadSt	236	Covered	T2,T4,T5
InitSt->ErrorSt	315	Covered	T198
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T199,T200,T201
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T5,T13,T25
ReadSt->ReadWaitSt	252	Covered	T2,T4,T5
ReadWaitSt->ErrorSt	276	Not Covered
ReadWaitSt->IdleSt	270	Covered	T2,T4,T5
ResetSt->ErrorSt	315	Covered	T79,T80,T81
ResetSt->IdleSt	196	Not Covered
ResetSt->InitSt	194	Covered	T1,T2,T3

Summary for FSM :: error_q

	Total	Covered	Percent
States	5	4	80.00	(Not included in score)
Transitions	11	7	63.64
Sequences	0	0

State, Transition and Sequence Details for FSM :: error_q

---

states	Line No.	Covered	Tests
AccessError	256	Covered	T5,T13,T25
CheckFailError	317	Covered	T152,T151
FsmStateError	289	Covered	T1,T3,T7
MacroEccCorrError	221	Not Covered
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded		VC_COV_UNR
AccessError->FsmStateError	325	Covered	T5,T11,T15
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T5,T13,T25
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	T152,T151
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,T7
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Not Covered
MacroEccCorrError->NoError	235	Not Covered
NoError->AccessError	256	Covered	T5,T13,T25
NoError->CheckFailError	317	Covered	T152,T151
NoError->FsmStateError	289	Covered	T1,T3,T7
NoError->MacroEccCorrError	221	Not Covered

---

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

	Line No.	Total	Covered	Percent
Branches		46	41	89.13
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	18	78.26
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	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	T6,T13,T25
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	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
InitWaitSt	-	-	-	1	1	1	-	-	-	-	-	-	-	-	-	Not Covered
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Not Covered
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	T108,T149,T161
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T5,T13,T25
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Not Covered
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T2,T4,T5
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Not Covered
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T2,T4,T5
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T19,T20,T21
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T3,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T1,T3,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T1,T3,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T3,T7
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T19,T20,T21

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T152,T151
1	0	Covered	T152,T151
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,T7
1	0	Covered	T1,T3,T7
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,T4,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	1608407752	1607533353	0	0
DigestKnown_A	1608407752	1607533353	0	0
DigestOffsetMustBeRepresentable_A	1128	1128	0	0
EccErrorState_A	1608407752	7400	0	0
ErrorKnown_A	1608407752	1607533353	0	0
FsmStateKnown_A	1608407752	1607533353	0	0
InitDoneKnown_A	1608407752	1607533353	0	0
InitReadLocksPartition_A	1608407752	298033075	0	0
InitWriteLocksPartition_A	1608407752	298033075	0	0
OffsetMustBeBlockAligned_A	1128	1128	0	0
OtpAddrKnown_A	1608407752	1607533353	0	0
OtpCmdKnown_A	1608407752	1607533353	0	0
OtpErrorState_A	1608407752	0	0	0
OtpReqKnown_A	1608407752	1607533353	0	0
OtpSizeKnown_A	1608407752	1607533353	0	0
OtpWdataKnown_A	1608407752	1607533353	0	0
ReadLockPropagation_A	1608407752	760688755	0	0
SizeMustBeBlockAligned_A	1128	1128	0	0
TlulGntKnown_A	1608407752	1607533353	0	0
TlulRdataKnown_A	1608407752	1607533353	0	0
TlulReadOnReadLock_A	1608407752	7564	0	0
TlulRerrorKnown_A	1608407752	1607533353	0	0
TlulRvalidKnown_A	1608407752	1607533353	0	0
WriteLockPropagation_A	1608407752	2238600	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	1608407752	25719072	0	0
u_state_regs_A	1608407752	1607533353	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1128	1128	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	1608407752	7400	0	0
T151	0	3496	0	0
T152	11204	3904	0	0
T168	71632	0	0	0
T169	12919	0	0	0
T170	10512	0	0	0
T171	32636	0	0	0
T172	11689	0	0	0
T173	10942	0	0	0
T174	14685	0	0	0
T175	13946	0	0	0
T176	228717	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	298033075	0	0
T1	47041	23954	0	0
T2	12369	157	0	0
T3	31150	20775	0	0
T4	11094	136	0	0
T5	271197	108438	0	0
T6	30988	2023	0	0
T7	48526	37687	0	0
T8	89789	16367	0	0
T9	11588	168	0	0
T10	42821	34000	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	298033075	0	0
T1	47041	23954	0	0
T2	12369	157	0	0
T3	31150	20775	0	0
T4	11094	136	0	0
T5	271197	108438	0	0
T6	30988	2023	0	0
T7	48526	37687	0	0
T8	89789	16367	0	0
T9	11588	168	0	0
T10	42821	34000	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1128	1128	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	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	0	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	760688755	0	0
T1	47041	36958	0	0
T2	12369	0	0	0
T3	31150	0	0	0
T4	11094	1835	0	0
T5	271197	126045	0	0
T6	30988	2301	0	0
T7	48526	40195	0	0
T8	89789	0	0	0
T9	11588	0	0	0
T10	42821	0	0	0
T13	0	3336	0	0
T25	0	2678	0	0
T114	0	66525	0	0
T115	0	34799	0	0
T118	0	34225	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1128	1128	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	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	7564	0	0
T1	47041	3	0	0
T2	12369	0	0	0
T3	31150	6	0	0
T4	11094	0	0	0
T5	271197	50	0	0
T6	30988	0	0	0
T7	48526	9	0	0
T8	89789	4	0	0
T9	11588	0	0	0
T10	42821	14	0	0
T13	0	1	0	0
T25	0	1	0	0
T114	0	15	0	0
T115	0	7	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	2238600	0	0
T6	30988	1981	0	0
T8	89789	0	0	0
T9	11588	0	0	0
T10	42821	0	0	0
T13	34894	0	0	0
T25	50598	0	0	0
T26	0	2746	0	0
T28	0	8842	0	0
T39	0	2333	0	0
T68	12348	0	0	0
T85	0	20838	0	0
T110	0	5538	0	0
T111	0	4643	0	0
T113	8171	0	0	0
T114	74200	0	0	0
T115	58460	0	0	0
T134	0	14641	0	0
T135	0	8627	0	0
T161	0	686	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	25719072	0	0
T6	30988	11793	0	0
T8	89789	0	0	0
T9	11588	0	0	0
T10	42821	0	0	0
T13	34894	26788	0	0
T25	50598	39769	0	0
T26	0	41367	0	0
T27	0	94267	0	0
T28	0	70295	0	0
T38	0	34647	0	0
T68	12348	0	0	0
T69	0	3993	0	0
T106	0	9294	0	0
T113	8171	0	0	0
T114	74200	3864	0	0
T115	58460	0	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

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

	Line No.	Total	Covered	Percent
TOTAL		90	90	100.00
CONT_ASSIGN	138	1	1	100.00
CONT_ASSIGN	149	1	1	100.00
ALWAYS	164	67	67	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		excluded
			Exclude Annotation: VC_COV_UNR
			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	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	T153,T154,T155

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

-1-	Status	Tests
0	Covered	T1,T2,T4
1	Covered	T63,T39,T85

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

-1-	Status	Tests
0	Covered	T1,T3,T7
1	Covered	T19,T20,T21

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

-1-	Status	Tests
0	Covered	T79,T151,T156
1	Covered	T79,T151,T156

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

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

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

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

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

---

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	14	12	85.71
Sequences	0	0

State, Transition and Sequence Details for FSM :: state_q

---

states	Line No.	Covered	Tests
ErrorSt	224	Covered	T1,T3,T7
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
IdleSt->ErrorSt	315	Covered	T1,T3,T7
IdleSt->ReadSt	236	Covered	T1,T2,T4
InitSt->ErrorSt	315	Covered	T199,T200,T201
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T68,T69,T177
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T1,T7,T5
ReadSt->ReadWaitSt	252	Covered	T1,T2,T4
ReadWaitSt->ErrorSt	276	Covered	T136,T186,T202
ReadWaitSt->IdleSt	270	Covered	T1,T2,T4
ResetSt->ErrorSt	315	Covered	T79,T80,T81
ResetSt->IdleSt	196	Not Covered
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,T7,T5
CheckFailError	317	Covered	T79,T151,T156
FsmStateError	289	Covered	T1,T3,T7
MacroEccCorrError	221	Covered	T153,T63,T39
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,T7,T5
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T1,T7,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	T79,T151,T156
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,T7
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T153,T154,T155
MacroEccCorrError->NoError	235	Covered	T63,T39,T85
NoError->AccessError	256	Covered	T1,T7,T5
NoError->CheckFailError	317	Covered	T79,T151,T156
NoError->FsmStateError	289	Covered	T3,T5,T8
NoError->MacroEccCorrError	221	Covered	T153,T63,T39

---

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,T6,T68
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	T153,T154,T155
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T68,T69,T177
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	T5,T161,T111
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T1,T7,T5
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T63,T39,T85
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T2,T4
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T136,T186,T202
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T2,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T19,T20,T21
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T3,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T1,T3,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T1,T3,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T3,T7
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T19,T20,T21

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T79,T151,T156
1	0	Covered	T79,T151,T156
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,T7
1	0	Covered	T1,T3,T7
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	1608407752	1607533353	0	0
DigestKnown_A	1608407752	1607533353	0	0
DigestOffsetMustBeRepresentable_A	1128	1128	0	0
EccErrorState_A	1608407752	10512	0	0
ErrorKnown_A	1608407752	1607533353	0	0
FsmStateKnown_A	1608407752	1607533353	0	0
InitDoneKnown_A	1608407752	1607533353	0	0
InitReadLocksPartition_A	1608407752	298215513	0	0
InitWriteLocksPartition_A	1608407752	298215513	0	0
OffsetMustBeBlockAligned_A	1128	1128	0	0
OtpAddrKnown_A	1608407752	1607533353	0	0
OtpCmdKnown_A	1608407752	1607533353	0	0
OtpErrorState_A	1608407752	72	0	0
OtpReqKnown_A	1608407752	1607533353	0	0
OtpSizeKnown_A	1608407752	1607533353	0	0
OtpWdataKnown_A	1608407752	1607533353	0	0
ReadLockPropagation_A	1608407752	759752281	0	0
SizeMustBeBlockAligned_A	1128	1128	0	0
TlulGntKnown_A	1608407752	1607533353	0	0
TlulRdataKnown_A	1608407752	1607533353	0	0
TlulReadOnReadLock_A	1608407752	7775	0	0
TlulRerrorKnown_A	1608407752	1607533353	0	0
TlulRvalidKnown_A	1608407752	1607533353	0	0
WriteLockPropagation_A	1608407752	2270524	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	1608407752	25971251	0	0
u_state_regs_A	1608407752	1607533353	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1128	1128	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	1608407752	10512	0	0
T79	9340	3005	0	0
T135	138594	0	0	0
T143	77782	0	0	0
T144	41350	0	0	0
T151	0	3496	0	0
T156	0	4011	0	0
T162	15269	0	0	0
T163	30949	0	0	0
T164	14274	0	0	0
T165	96159	0	0	0
T166	337467	0	0	0
T167	136203	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	298215513	0	0
T1	47041	24005	0	0
T2	12369	208	0	0
T3	31150	20826	0	0
T4	11094	170	0	0
T5	271197	108440	0	0
T6	30988	2142	0	0
T7	48526	37738	0	0
T8	89789	16571	0	0
T9	11588	219	0	0
T10	42821	34051	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	298215513	0	0
T1	47041	24005	0	0
T2	12369	208	0	0
T3	31150	20826	0	0
T4	11094	170	0	0
T5	271197	108440	0	0
T6	30988	2142	0	0
T7	48526	37738	0	0
T8	89789	16571	0	0
T9	11588	219	0	0
T10	42821	34051	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1128	1128	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	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	72	0	0
T13	34894	0	0	0
T14	21195	0	0	0
T25	50598	0	0	0
T34	19047	0	0	0
T68	12348	1	0	0
T69	0	1	0	0
T114	74200	0	0	0
T115	58460	0	0	0
T116	57062	0	0	0
T117	32631	0	0	0
T118	43403	0	0	0
T136	0	1	0	0
T177	0	1	0	0
T179	0	1	0	0
T181	0	1	0	0
T185	0	1	0	0
T186	0	1	0	0
T187	0	1	0	0
T188	0	1	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	759752281	0	0
T1	47041	36946	0	0
T2	12369	0	0	0
T3	31150	0	0	0
T4	11094	0	0	0
T5	271197	125971	0	0
T6	30988	3121	0	0
T7	48526	38908	0	0
T8	89789	981	0	0
T9	11588	0	0	0
T10	42821	0	0	0
T13	0	3095	0	0
T25	0	7528	0	0
T114	0	66790	0	0
T115	0	40827	0	0
T116	0	45993	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1128	1128	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	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	7775	0	0
T1	47041	6	0	0
T2	12369	0	0	0
T3	31150	6	0	0
T4	11094	0	0	0
T5	271197	57	0	0
T6	30988	0	0	0
T7	48526	9	0	0
T8	89789	4	0	0
T9	11588	0	0	0
T10	42821	3	0	0
T13	0	1	0	0
T25	0	1	0	0
T113	0	1	0	0
T114	0	18	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	2270524	0	0
T15	227680	0	0	0
T27	112762	27324	0	0
T28	103139	0	0	0
T63	0	524	0	0
T70	10127	0	0	0
T106	0	1297	0	0
T109	0	9674	0	0
T110	0	3442	0	0
T111	0	4924	0	0
T121	22487	0	0	0
T135	0	24289	0	0
T136	42123	0	0	0
T137	5409	0	0	0
T138	10104	0	0	0
T143	0	10540	0	0
T144	0	2097	0	0
T153	9177	0	0	0
T161	0	3815	0	0
T189	76922	0	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	25971251	0	0
T4	11094	3385	0	0
T5	271197	0	0	0
T6	30988	11742	0	0
T7	48526	0	0	0
T8	89789	0	0	0
T9	11588	0	0	0
T10	42821	0	0	0
T13	34894	18242	0	0
T25	0	39633	0	0
T26	0	35656	0	0
T27	0	94148	0	0
T28	0	84958	0	0
T68	12348	2151	0	0
T69	0	3988	0	0
T113	8171	0	0	0
T114	0	3830	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

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

	Line No.	Total	Covered	Percent
TOTAL		90	90	100.00
CONT_ASSIGN	138	1	1	100.00
CONT_ASSIGN	149	1	1	100.00
ALWAYS	164	67	67	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		excluded
			Exclude Annotation: VC_COV_UNR
			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	T22,T157,T158

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

-1-	Status	Tests
0	Covered	T2,T5,T6
1	Covered	T4,T8,T28

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

-1-	Status	Tests
0	Covered	T1,T3,T7
1	Covered	T19,T20,T21

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

-1-	Status	Tests
0	Covered	T156
1	Covered	T156

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

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

 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,T7
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'b00111101000) && ({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,T6,T114

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

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

---

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	14	12	85.71
Sequences	0	0

State, Transition and Sequence Details for FSM :: state_q

---

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

transitions	Line No.	Covered	Tests
IdleSt->ErrorSt	315	Covered	T1,T3,T7
IdleSt->ReadSt	236	Covered	T1,T2,T4
InitSt->ErrorSt	315	Covered	T199,T200,T201
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T68,T69,T153
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T1,T7,T5
ReadSt->ReadWaitSt	252	Covered	T2,T4,T5
ReadWaitSt->ErrorSt	276	Covered	T159,T160,T203
ReadWaitSt->IdleSt	270	Covered	T2,T4,T5
ResetSt->ErrorSt	315	Covered	T79,T80,T81
ResetSt->IdleSt	196	Not Covered
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,T7,T5
CheckFailError	317	Covered	T156
FsmStateError	289	Covered	T1,T3,T7
MacroEccCorrError	221	Covered	T4,T8,T28
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,T7,T5
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T1,T7,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	T156
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,T7
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T8,T22,T204
MacroEccCorrError->NoError	235	Covered	T4,T28,T39
NoError->AccessError	256	Covered	T1,T7,T5
NoError->CheckFailError	317	Covered	T156
NoError->FsmStateError	289	Covered	T3,T5,T8
NoError->MacroEccCorrError	221	Covered	T4,T8,T28

---

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,T6,T114
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	T22,T157,T158
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T153,T178,T162
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T4
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T2,T4,T5
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T37,T108,T161
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T1,T7,T5
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T4,T8,T28
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T2,T5,T6
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T159,T160,T203
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T2,T4,T5
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T19,T20,T21
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T3,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T1,T3,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T1,T3,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T3,T7
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T19,T20,T21

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T156
1	0	Covered	T156
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,T7
1	0	Covered	T1,T3,T7
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	1608407752	1607533353	0	0
DigestKnown_A	1608407752	1607533353	0	0
DigestOffsetMustBeRepresentable_A	1128	1128	0	0
EccErrorState_A	1608407752	4011	0	0
ErrorKnown_A	1608407752	1607533353	0	0
FsmStateKnown_A	1608407752	1607533353	0	0
InitDoneKnown_A	1608407752	1607533353	0	0
InitReadLocksPartition_A	1608407752	298396571	0	0
InitWriteLocksPartition_A	1608407752	298396571	0	0
OffsetMustBeBlockAligned_A	1128	1128	0	0
OtpAddrKnown_A	1608407752	1607533353	0	0
OtpCmdKnown_A	1608407752	1607533353	0	0
OtpErrorState_A	1608407752	57	0	0
OtpReqKnown_A	1608407752	1607533353	0	0
OtpSizeKnown_A	1608407752	1607533353	0	0
OtpWdataKnown_A	1608407752	1607533353	0	0
ReadLockPropagation_A	1608407752	728212547	0	0
SizeMustBeBlockAligned_A	1128	1128	0	0
TlulGntKnown_A	1608407752	1607533353	0	0
TlulRdataKnown_A	1608407752	1607533353	0	0
TlulReadOnReadLock_A	1608407752	8066	0	0
TlulRerrorKnown_A	1608407752	1607533353	0	0
TlulRvalidKnown_A	1608407752	1607533353	0	0
WriteLockPropagation_A	1608407752	1399669	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	1608407752	16855340	0	0
u_state_regs_A	1608407752	1607533353	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1128	1128	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	1608407752	4011	0	0
T42	15293	0	0	0
T156	13907	4011	0	0
T205	14295	0	0	0
T206	69226	0	0	0
T207	34112	0	0	0
T208	34714	0	0	0
T209	25127	0	0	0
T210	12294	0	0	0
T211	14217	0	0	0
T212	37904	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	298396571	0	0
T1	47041	24056	0	0
T2	12369	259	0	0
T3	31150	20877	0	0
T4	11094	204	0	0
T5	271197	108443	0	0
T6	30988	2261	0	0
T7	48526	37789	0	0
T8	89789	16775	0	0
T9	11588	270	0	0
T10	42821	34102	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	298396571	0	0
T1	47041	24056	0	0
T2	12369	259	0	0
T3	31150	20877	0	0
T4	11094	204	0	0
T5	271197	108443	0	0
T6	30988	2261	0	0
T7	48526	37789	0	0
T8	89789	16775	0	0
T9	11588	270	0	0
T10	42821	34102	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1128	1128	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	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	57	0	0
T29	80384	0	0	0
T38	41837	0	0	0
T99	0	1	0	0
T106	48768	0	0	0
T122	29124	0	0	0
T153	9177	1	0	0
T155	0	1	0	0
T159	0	2	0	0
T162	0	1	0	0
T178	0	1	0	0
T180	0	1	0	0
T182	0	1	0	0
T183	0	1	0	0
T184	0	1	0	0
T189	76922	0	0	0
T190	6879	0	0	0
T191	16723	0	0	0
T192	12587	0	0	0
T193	3619	0	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	728212547	0	0
T1	47041	39956	0	0
T2	12369	0	0	0
T3	31150	0	0	0
T4	11094	0	0	0
T5	271197	125905	0	0
T6	30988	1174	0	0
T7	48526	38899	0	0
T8	89789	1567	0	0
T9	11588	0	0	0
T10	42821	0	0	0
T13	0	3089	0	0
T25	0	1194	0	0
T114	0	66772	0	0
T115	0	34789	0	0
T116	0	45981	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1128	1128	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	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	8066	0	0
T1	47041	6	0	0
T2	12369	0	0	0
T3	31150	2	0	0
T4	11094	0	0	0
T5	271197	65	0	0
T6	30988	1	0	0
T7	48526	9	0	0
T8	89789	3	0	0
T9	11588	0	0	0
T10	42821	11	0	0
T13	0	2	0	0
T113	0	1	0	0
T114	0	10	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1399669	0	0
T29	80384	0	0	0
T37	229277	0	0	0
T46	14709	0	0	0
T63	43910	0	0	0
T71	9740	0	0	0
T72	14164	0	0	0
T85	0	12432	0	0
T106	48768	1825	0	0
T107	56301	0	0	0
T108	0	966	0	0
T109	0	5167	0	0
T111	0	2602	0	0
T135	0	16828	0	0
T167	0	19767	0	0
T177	13763	0	0	0
T193	3619	0	0	0
T194	0	2062	0	0
T195	0	518	0	0
T196	0	4533	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	16855340	0	0
T4	11094	3368	0	0
T5	271197	0	0	0
T6	30988	11691	0	0
T7	48526	0	0	0
T8	89789	0	0	0
T9	11588	0	0	0
T10	42821	0	0	0
T13	34894	0	0	0
T28	0	84788	0	0
T68	12348	0	0	0
T72	0	7437	0	0
T85	0	112028	0	0
T106	0	42334	0	0
T108	0	22087	0	0
T113	8171	0	0	0
T114	0	3796	0	0
T153	0	3431	0	0
T197	0	4207	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1608407752	1607533353	0	0
T1	47041	46750	0	0
T2	12369	12045	0	0
T3	31150	30824	0	0
T4	11094	10824	0	0
T5	271197	271190	0	0
T6	30988	30501	0	0
T7	48526	48273	0	0
T8	89789	88561	0	0
T9	11588	11350	0	0
T10	42821	42532	0	0