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.13	94.16	96.15	96.71		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.13	94.16	96.15	96.71		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.13	94.16	96.15	96.71		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	T2,T3,T5
1	Excluded		VC_COV_UNR

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

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

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

-1-	Status	Tests
0	Covered	T129,T131,T132
1	Covered	T129,T131,T132

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

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

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

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

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

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

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

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

---

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

Summary for FSM :: state_q

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

State, Transition and Sequence Details for FSM :: state_q

---

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

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T1,T2,T3
IdleSt->ReadSt	236	Covered	T2,T3,T5
InitSt->ErrorSt	315	Covered	T165,T190
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T6,T189,T191
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T2,T9,T24
ReadSt->ReadWaitSt	252	Covered	T2,T3,T5
ReadWaitSt->ErrorSt	276	Not Covered
ReadWaitSt->IdleSt	270	Covered	T2,T3,T5
ResetSt->ErrorSt	315	Covered	T71,T72,T73
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	T2,T9,T24
CheckFailError	317	Covered	T129,T131,T132
FsmStateError	289	Covered	T1,T2,T3
MacroEccCorrError	221	Excluded		VC_COV_UNR
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded
AccessError->FsmStateError	325	Covered	T2,T6,T181
AccessError->MacroEccCorrError	221	Excluded
AccessError->NoError	235	Covered	T2,T9,T24
CheckFailError->AccessError	256	Excluded		VC_COV_UNR
CheckFailError->FsmStateError	325	Excluded		VC_COV_UNR
CheckFailError->MacroEccCorrError	221	Excluded
CheckFailError->NoError	235	Covered	T129,T131,T132
FsmStateError->AccessError	256	Excluded		VC_COV_UNR
FsmStateError->CheckFailError	317	Excluded		VC_COV_UNR
FsmStateError->MacroEccCorrError	221	Excluded
FsmStateError->NoError	235	Covered	T1,T2,T3
MacroEccCorrError->AccessError	256	Excluded
MacroEccCorrError->CheckFailError	317	Excluded
MacroEccCorrError->FsmStateError	325	Excluded
MacroEccCorrError->NoError	235	Excluded
NoError->AccessError	256	Covered	T2,T9,T24
NoError->CheckFailError	317	Covered	T129,T131,T132
NoError->FsmStateError	289	Covered	T1,T2,T3
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	T2,T3,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,T3,T5

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

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T2,T3,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	T1,T8,T9
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	T2,T3,T5
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T2,T3,T5
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T6,T94,T143
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T2,T9,T24
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Excluded		VC_COV_UNR
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T2,T3,T5
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Excluded		VC_COV_UNR
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T2,T3,T5
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T18,T19,T20
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T2,T4,T5
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T2,T4,T5
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T3
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T18,T19,T20

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T129,T131,T132
1	0	Covered	T129,T131,T132
0	-	Covered	T1,T2,T3

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

-1-	Status	Tests
1	Covered	T2,T4,T5
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	460274078	459405005	0	0
DigestKnown_A	460274078	459405005	0	0
DigestOffsetMustBeRepresentable_A	1150	1150	0	0
EccErrorState_A	460274078	20694	0	0
ErrorKnown_A	460274078	459405005	0	0
FsmStateKnown_A	460274078	459405005	0	0
InitDoneKnown_A	460274078	459405005	0	0
InitReadLocksPartition_A	460274078	120571506	0	0
InitWriteLocksPartition_A	460274078	120571506	0	0
OffsetMustBeBlockAligned_A	1150	1150	0	0
OtpAddrKnown_A	460274078	459405005	0	0
OtpCmdKnown_A	460274078	459405005	0	0
OtpErrorState_A	460274078	0	0	0
OtpReqKnown_A	460274078	459405005	0	0
OtpSizeKnown_A	460274078	459405005	0	0
OtpWdataKnown_A	460274078	459405005	0	0
ReadLockPropagation_A	460274078	220190062	0	0
SizeMustBeBlockAligned_A	1150	1150	0	0
TlulGntKnown_A	460274078	459405005	0	0
TlulRdataKnown_A	460274078	459405005	0	0
TlulReadOnReadLock_A	460274078	7873	0	0
TlulRerrorKnown_A	460274078	459405005	0	0
TlulRvalidKnown_A	460274078	459405005	0	0
WriteLockPropagation_A	460274078	3045955	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	460274078	34331461	0	0
u_state_regs_A	460274078	459405005	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

DigestOffsetMustBeRepresentable_A

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

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	20694	0	0
T111	14047	0	0	0
T129	12450	2952	0	0
T131	0	3553	0	0
T132	0	2624	0	0
T136	0	2382	0	0
T147	0	3195	0	0
T148	0	2057	0	0
T149	0	3931	0	0
T150	21252	0	0	0
T151	9400	0	0	0
T152	9956	0	0	0
T153	114776	0	0	0
T154	56515	0	0	0
T155	667890	0	0	0
T156	5375	0	0	0
T157	13434	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	120571506	0	0
T1	34855	6547	0	0
T2	935256	135158	0	0
T3	15086	4115	0	0
T4	99939	52052	0	0
T5	440148	36942	0	0
T7	62862	10447	0	0
T8	13768	3710	0	0
T9	82484	6872	0	0
T10	20012	14235	0	0
T11	9427	162	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	120571506	0	0
T1	34855	6547	0	0
T2	935256	135158	0	0
T3	15086	4115	0	0
T4	99939	52052	0	0
T5	440148	36942	0	0
T7	62862	10447	0	0
T8	13768	3710	0	0
T9	82484	6872	0	0
T10	20012	14235	0	0
T11	9427	162	0	0

OffsetMustBeBlockAligned_A

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

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	0	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	220190062	0	0
T2	935256	751236	0	0
T3	15086	0	0	0
T4	99939	0	0	0
T5	440148	973157	0	0
T6	0	134097	0	0
T7	62862	0	0	0
T8	13768	0	0	0
T9	82484	12672	0	0
T10	20012	0	0	0
T11	9427	0	0	0
T24	0	39828	0	0
T31	13575	0	0	0
T84	0	1073	0	0
T86	0	20032	0	0
T87	0	10348	0	0
T98	0	2002	0	0
T101	0	34862	0	0

SizeMustBeBlockAligned_A

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

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	7873	0	0
T2	935256	32	0	0
T3	15086	0	0	0
T4	99939	12	0	0
T5	440148	1	0	0
T6	0	86	0	0
T7	62862	2	0	0
T8	13768	0	0	0
T9	82484	10	0	0
T10	20012	5	0	0
T11	9427	0	0	0
T24	0	3	0	0
T31	13575	0	0	0
T84	0	1	0	0
T86	0	10	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	3045955	0	0
T6	120871	19108	0	0
T9	82484	4886	0	0
T10	20012	0	0	0
T11	9427	0	0	0
T24	110506	18406	0	0
T31	13575	0	0	0
T46	11502	0	0	0
T84	9935	0	0	0
T85	5590	0	0	0
T86	74818	0	0	0
T87	0	4641	0	0
T88	0	14439	0	0
T89	0	5901	0	0
T91	0	2115	0	0
T92	0	2204	0	0
T94	0	8380	0	0
T96	0	17539	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	34331461	0	0
T1	34855	20822	0	0
T2	935256	0	0	0
T3	15086	0	0	0
T4	99939	0	0	0
T5	440148	0	0	0
T6	0	398925	0	0
T7	62862	0	0	0
T8	13768	2920	0	0
T9	82484	70545	0	0
T10	20012	0	0	0
T11	9427	0	0	0
T24	0	87938	0	0
T35	0	9143	0	0
T86	0	56312	0	0
T87	0	52850	0	0
T88	0	87271	0	0
T101	0	2816	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	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	T133,T40,T134

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

-1-	Status	Tests
0	Covered	T2,T5,T8
1	Covered	T9,T35,T135

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

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

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

-1-	Status	Tests
0	Covered	T128,T131,T136
1	Covered	T128,T131,T136

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

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

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

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

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

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

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

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

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

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

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

---

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

Summary for FSM :: state_q

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

State, Transition and Sequence Details for FSM :: state_q

---

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

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T1,T2,T3
IdleSt->ReadSt	236	Covered	T2,T5,T8
InitSt->ErrorSt	315	Covered	T6,T189,T191
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T97,T167,T168
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T2,T5,T9
ReadSt->ReadWaitSt	252	Covered	T2,T5,T8
ReadWaitSt->ErrorSt	276	Covered	T192,T193,T194
ReadWaitSt->IdleSt	270	Covered	T2,T5,T8
ResetSt->ErrorSt	315	Covered	T71,T72,T73
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	T2,T5,T9
CheckFailError	317	Covered	T128,T131,T136
FsmStateError	289	Covered	T1,T2,T3
MacroEccCorrError	221	Covered	T9,T35,T133
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded		VC_COV_UNR
AccessError->FsmStateError	325	Covered	T6,T181,T12
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T2,T5,T9
CheckFailError->AccessError	256	Excluded		VC_COV_UNR
CheckFailError->FsmStateError	325	Excluded		VC_COV_UNR
CheckFailError->MacroEccCorrError	221	Excluded		VC_COV_UNR
CheckFailError->NoError	235	Covered	T128,T131,T136
FsmStateError->AccessError	256	Excluded		VC_COV_UNR
FsmStateError->CheckFailError	317	Excluded		VC_COV_UNR
FsmStateError->MacroEccCorrError	221	Excluded		VC_COV_UNR
FsmStateError->NoError	235	Covered	T1,T2,T3
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T133,T135,T40
MacroEccCorrError->NoError	235	Covered	T9,T35,T74
NoError->AccessError	256	Covered	T2,T5,T9
NoError->CheckFailError	317	Covered	T128,T131,T136
NoError->FsmStateError	289	Covered	T1,T2,T3
NoError->MacroEccCorrError	221	Covered	T9,T35,T133

---

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

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

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

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

Branches:

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

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

Branches:

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

	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,T9,T24
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	T133,T40,T134
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T97,T167,T168
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T2,T5,T8
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T2,T5,T8
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T6,T99,T94
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T2,T5,T9
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T9,T35,T135
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T2,T5,T8
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T192,T193,T194
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T2,T5,T8
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T18,T19,T20
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T2,T4,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T2,T4,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T3
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T18,T19,T20

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T128,T131,T136
1	0	Covered	T128,T131,T136
0	-	Covered	T1,T2,T3

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

Branches:

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

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

Branches:

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

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

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T2,T4,T5
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	460274078	459405005	0	0
DigestKnown_A	460274078	459405005	0	0
DigestOffsetMustBeRepresentable_A	1150	1150	0	0
EccErrorState_A	460274078	9103	0	0
ErrorKnown_A	460274078	459405005	0	0
FsmStateKnown_A	460274078	459405005	0	0
InitDoneKnown_A	460274078	459405005	0	0
InitReadLocksPartition_A	460274078	120755078	0	0
InitWriteLocksPartition_A	460274078	120755078	0	0
OffsetMustBeBlockAligned_A	1150	1150	0	0
OtpAddrKnown_A	460274078	459405005	0	0
OtpCmdKnown_A	460274078	459405005	0	0
OtpErrorState_A	460274078	69	0	0
OtpReqKnown_A	460274078	459405005	0	0
OtpSizeKnown_A	460274078	459405005	0	0
OtpWdataKnown_A	460274078	459405005	0	0
ReadLockPropagation_A	460274078	217128852	0	0
SizeMustBeBlockAligned_A	1150	1150	0	0
TlulGntKnown_A	460274078	459405005	0	0
TlulRdataKnown_A	460274078	459405005	0	0
TlulReadOnReadLock_A	460274078	8262	0	0
TlulRerrorKnown_A	460274078	459405005	0	0
TlulRvalidKnown_A	460274078	459405005	0	0
WriteLockPropagation_A	460274078	3853817	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	460274078	32124120	0	0
u_state_regs_A	460274078	459405005	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

DigestOffsetMustBeRepresentable_A

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

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	9103	0	0
T111	14047	0	0	0
T128	14180	3168	0	0
T129	12450	0	0	0
T131	0	3553	0	0
T136	0	2382	0	0
T150	21252	0	0	0
T151	9400	0	0	0
T152	9956	0	0	0
T153	114776	0	0	0
T154	56515	0	0	0
T155	667890	0	0	0
T156	5375	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	120755078	0	0
T1	34855	6615	0	0
T2	935256	135180	0	0
T3	15086	4166	0	0
T4	99939	52273	0	0
T5	440148	37129	0	0
T7	62862	10651	0	0
T8	13768	3744	0	0
T9	82484	7059	0	0
T10	20012	14269	0	0
T11	9427	196	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	120755078	0	0
T1	34855	6615	0	0
T2	935256	135180	0	0
T3	15086	4166	0	0
T4	99939	52273	0	0
T5	440148	37129	0	0
T7	62862	10651	0	0
T8	13768	3744	0	0
T9	82484	7059	0	0
T10	20012	14269	0	0
T11	9427	196	0	0

OffsetMustBeBlockAligned_A

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

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	69	0	0
T35	25851	0	0	0
T66	11387	0	0	0
T87	62286	0	0	0
T88	103616	0	0	0
T97	9086	1	0	0
T98	25643	0	0	0
T99	13536	0	0	0
T101	47621	0	0	0
T167	0	1	0	0
T168	0	1	0	0
T169	0	1	0	0
T170	0	1	0	0
T171	0	1	0	0
T172	0	1	0	0
T173	0	1	0	0
T174	0	1	0	0
T176	0	1	0	0
T181	84957	0	0	0
T182	18147	0	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	217128852	0	0
T2	935256	233115	0	0
T3	15086	0	0	0
T4	99939	0	0	0
T5	440148	973132	0	0
T6	0	237950	0	0
T7	62862	1142	0	0
T8	13768	0	0	0
T9	82484	12178	0	0
T10	20012	0	0	0
T11	9427	0	0	0
T24	0	50292	0	0
T31	13575	0	0	0
T84	0	1631	0	0
T86	0	17489	0	0
T87	0	11416	0	0
T98	0	13034	0	0

SizeMustBeBlockAligned_A

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

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	8262	0	0
T2	935256	22	0	0
T3	15086	0	0	0
T4	99939	5	0	0
T5	440148	2	0	0
T6	0	108	0	0
T7	62862	12	0	0
T8	13768	0	0	0
T9	82484	14	0	0
T10	20012	3	0	0
T11	9427	0	0	0
T24	0	12	0	0
T31	13575	0	0	0
T86	0	6	0	0
T87	0	6	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	3853817	0	0
T6	120871	11045	0	0
T24	110506	27388	0	0
T35	0	3003	0	0
T46	11502	0	0	0
T84	9935	0	0	0
T85	5590	0	0	0
T86	74818	0	0	0
T87	62286	0	0	0
T88	0	15110	0	0
T93	0	9242	0	0
T94	0	18891	0	0
T96	0	17701	0	0
T97	9086	0	0	0
T98	25643	0	0	0
T99	13536	0	0	0
T143	0	69618	0	0
T184	0	4079	0	0
T185	0	13621	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	32124120	0	0
T1	34855	20788	0	0
T2	935256	0	0	0
T3	15086	0	0	0
T4	99939	0	0	0
T5	440148	0	0	0
T6	0	512088	0	0
T7	62862	0	0	0
T8	13768	0	0	0
T9	82484	70375	0	0
T10	20012	0	0	0
T11	9427	0	0	0
T24	0	87734	0	0
T66	0	7705	0	0
T86	0	56125	0	0
T87	0	52663	0	0
T97	0	2632	0	0
T98	0	5250	0	0
T101	0	2799	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	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	T137,T138,T139

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T7,T9,T135

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

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

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

-1-	Status	Tests
0	Covered	T130,T132,T140
1	Covered	T130,T132,T140

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

---

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

Summary for FSM :: state_q

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

State, Transition and Sequence Details for FSM :: state_q

---

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

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T1,T2,T3
IdleSt->ReadSt	236	Covered	T1,T2,T3
InitSt->ErrorSt	315	Covered	T6,T189,T191
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T8,T97,T144
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T2,T9,T24
ReadSt->ReadWaitSt	252	Covered	T1,T2,T3
ReadWaitSt->ErrorSt	276	Covered	T135,T142,T195
ReadWaitSt->IdleSt	270	Covered	T1,T2,T3
ResetSt->ErrorSt	315	Covered	T71,T72,T73
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	T2,T9,T24
CheckFailError	317	Covered	T130,T132,T140
FsmStateError	289	Covered	T1,T2,T3
MacroEccCorrError	221	Covered	T7,T9,T135
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded		VC_COV_UNR
AccessError->FsmStateError	325	Covered	T6,T181,T12
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T2,T9,T24
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	T130,T132,T140
FsmStateError->AccessError	256	Excluded		VC_COV_UNR
FsmStateError->CheckFailError	317	Excluded		VC_COV_UNR
FsmStateError->MacroEccCorrError	221	Excluded		VC_COV_UNR
FsmStateError->NoError	235	Covered	T1,T2,T3
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T7,T135,T137
MacroEccCorrError->NoError	235	Covered	T9,T70,T74
NoError->AccessError	256	Covered	T2,T9,T24
NoError->CheckFailError	317	Covered	T130,T132,T140
NoError->FsmStateError	289	Covered	T1,T2,T3
NoError->MacroEccCorrError	221	Covered	T7,T9,T135

---

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

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

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

-1-	Status	Tests
1	Covered	T1,T8,T9
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	T137,T138,T139
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T8,T144,T134
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T6,T99,T94
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T2,T9,T24
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T7,T9,T135
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T135,T142,T195
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T18,T19,T20
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T2,T4,T5
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T2,T4,T5
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T3
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T18,T19,T20

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T130,T132,T140
1	0	Covered	T130,T132,T140
0	-	Covered	T1,T2,T3

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

Branches:

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

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

Branches:

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

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

Branches:

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

---

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

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
AccessKnown_A	460274078	459405005	0	0
DigestKnown_A	460274078	459405005	0	0
DigestOffsetMustBeRepresentable_A	1150	1150	0	0
EccErrorState_A	460274078	11509	0	0
ErrorKnown_A	460274078	459405005	0	0
FsmStateKnown_A	460274078	459405005	0	0
InitDoneKnown_A	460274078	459405005	0	0
InitReadLocksPartition_A	460274078	120937437	0	0
InitWriteLocksPartition_A	460274078	120937437	0	0
OffsetMustBeBlockAligned_A	1150	1150	0	0
OtpAddrKnown_A	460274078	459405005	0	0
OtpCmdKnown_A	460274078	459405005	0	0
OtpErrorState_A	460274078	62	0	0
OtpReqKnown_A	460274078	459405005	0	0
OtpSizeKnown_A	460274078	459405005	0	0
OtpWdataKnown_A	460274078	459405005	0	0
ReadLockPropagation_A	460274078	220230069	0	0
SizeMustBeBlockAligned_A	1150	1150	0	0
TlulGntKnown_A	460274078	459405005	0	0
TlulRdataKnown_A	460274078	459405005	0	0
TlulReadOnReadLock_A	460274078	8384	0	0
TlulRerrorKnown_A	460274078	459405005	0	0
TlulRvalidKnown_A	460274078	459405005	0	0
WriteLockPropagation_A	460274078	2589226	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	460274078	22431125	0	0
u_state_regs_A	460274078	459405005	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

DigestOffsetMustBeRepresentable_A

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

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	11509	0	0
T130	14230	3607	0	0
T132	0	2624	0	0
T136	0	2382	0	0
T140	0	2896	0	0
T158	19734	0	0	0
T159	16465	0	0	0
T160	9796	0	0	0
T161	106024	0	0	0
T162	28459	0	0	0
T163	10897	0	0	0
T164	13367	0	0	0
T165	308649	0	0	0
T166	12222	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	120937437	0	0
T1	34855	6683	0	0
T2	935256	135202	0	0
T3	15086	4217	0	0
T4	99939	52494	0	0
T5	440148	37316	0	0
T7	62862	10855	0	0
T8	13768	3768	0	0
T9	82484	7246	0	0
T10	20012	14303	0	0
T11	9427	230	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	120937437	0	0
T1	34855	6683	0	0
T2	935256	135202	0	0
T3	15086	4217	0	0
T4	99939	52494	0	0
T5	440148	37316	0	0
T7	62862	10855	0	0
T8	13768	3768	0	0
T9	82484	7246	0	0
T10	20012	14303	0	0
T11	9427	230	0	0

OffsetMustBeBlockAligned_A

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

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	62	0	0
T6	120871	0	0	0
T8	13768	1	0	0
T9	82484	0	0	0
T10	20012	0	0	0
T11	9427	0	0	0
T24	110506	0	0	0
T31	13575	0	0	0
T46	11502	0	0	0
T84	9935	0	0	0
T85	5590	0	0	0
T134	0	1	0	0
T135	0	1	0	0
T142	0	1	0	0
T144	0	1	0	0
T175	0	1	0	0
T177	0	1	0	0
T178	0	1	0	0
T179	0	1	0	0
T180	0	1	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	220230069	0	0
T2	935256	701202	0	0
T3	15086	0	0	0
T4	99939	0	0	0
T5	440148	28901	0	0
T6	0	256535	0	0
T7	62862	1140	0	0
T8	13768	0	0	0
T9	82484	11368	0	0
T10	20012	0	0	0
T11	9427	0	0	0
T24	0	50144	0	0
T31	13575	0	0	0
T86	0	16954	0	0
T87	0	8644	0	0
T98	0	13349	0	0
T181	0	75615	0	0

SizeMustBeBlockAligned_A

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

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	8384	0	0
T2	935256	27	0	0
T3	15086	0	0	0
T4	99939	6	0	0
T5	440148	1	0	0
T6	0	85	0	0
T7	62862	6	0	0
T8	13768	0	0	0
T9	82484	11	0	0
T10	20012	1	0	0
T11	9427	0	0	0
T24	0	7	0	0
T31	13575	0	0	0
T86	0	9	0	0
T87	0	3	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	2589226	0	0
T6	120871	26309	0	0
T9	82484	13299	0	0
T10	20012	0	0	0
T11	9427	0	0	0
T24	110506	26587	0	0
T31	13575	0	0	0
T46	11502	0	0	0
T84	9935	0	0	0
T85	5590	0	0	0
T86	74818	0	0	0
T87	0	7155	0	0
T88	0	7551	0	0
T89	0	10055	0	0
T93	0	9496	0	0
T94	0	2866	0	0
T95	0	2906	0	0
T96	0	3093	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	22431125	0	0
T1	34855	20754	0	0
T2	935256	0	0	0
T3	15086	0	0	0
T4	99939	0	0	0
T5	440148	0	0	0
T6	0	395775	0	0
T7	62862	0	0	0
T8	13768	2898	0	0
T9	82484	70205	0	0
T10	20012	0	0	0
T11	9427	0	0	0
T24	0	87530	0	0
T87	0	52476	0	0
T88	0	86897	0	0
T89	0	71435	0	0
T93	0	72828	0	0
T188	0	5873	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	460274078	459405005	0	0
T1	34855	34621	0	0
T2	935256	935232	0	0
T3	15086	14851	0	0
T4	99939	98981	0	0
T5	440148	440132	0	0
T7	62862	61523	0	0
T8	13768	13485	0	0
T9	82484	81308	0	0
T10	20012	19737	0	0
T11	9427	8913	0	0