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.85	97.40	96.15	97.10		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.85	97.40	96.15	97.10		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
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.85	97.40	96.15	97.10		96.43	97.18	dut

Subtrees :

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

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

	Line No.	Total	Covered	Percent
TOTAL		86	86	100.00
CONT_ASSIGN	138	1	1	100.00
ALWAYS	153	3	3	100.00
ALWAYS	164	61	61	100.00
CONT_ASSIGN	334	1	1	100.00
CONT_ASSIGN	336	1	1	100.00
CONT_ASSIGN	339	1	1	100.00
CONT_ASSIGN	349	1	1	100.00
CONT_ASSIGN	350	1	1	100.00
CONT_ASSIGN	354	1	1	100.00
CONT_ASSIGN	358	1	1	100.00
CONT_ASSIGN	395	1	1	100.00
CONT_ASSIGN	420	1	1	100.00
CONT_ASSIGN	454	1	1	100.00
ALWAYS	461	3	3	100.00
ALWAYS	464	8	8	100.00

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

Line No.	Covered	Statements
138	1	1
153	1	1
154	1	1
156	1	1
164	1	1
167	1	1
170	1	1
171	1	1
174	1	1
175	1	1
176	1	1
179	1	1
182	1	1
183	1	1
184	1	1
186	1	1
191	1	1
193	1	1
194	1	1
196		unreachable
			MISSING_ELSE
205	1	1
206	1	1
207	1	1
			==> MISSING_ELSE
215	1	1
216	1	1
217	1	1
218	1	1
220	1	1
221		excluded
			Exclude Annotation: VC_COV_UNR
			MISSING_ELSE
224		excluded
			Exclude Annotation: VC_COV_UNR
225		excluded
			Exclude Annotation: VC_COV_UNR
			MISSING_ELSE
233	1	1
234	1	1
235	1	1
236	1	1
237	1	1
			MISSING_ELSE
246	1	1
248	1	1
249	1	1
250	1	1
251	1	1
252	1	1
			MISSING_ELSE
255	1	1
256	1	1
257	1	1
258	1	1
266	1	1
267	1	1
268	1	1
269	1	1
270	1	1
272	1	1
273		excluded
			Exclude Annotation: VC_COV_UNR
			MISSING_ELSE
276		excluded
			Exclude Annotation: VC_COV_UNR
277		excluded
			Exclude Annotation: VC_COV_UNR
279		excluded
			Exclude Annotation: VC_COV_UNR
			MISSING_ELSE
288	1	1
289	1	1
			MISSING_ELSE
293	1	1
294	1	1
295	1	1
296	1	1
297	1	1
298	1	1
			MISSING_ELSE
314	1	1
315	1	1
316	1	1
317	1	1
			MISSING_ELSE
			MISSING_ELSE
321	1	1
322	1	1
323	1	1
324	1	1
325	1	1
			MISSING_ELSE
			MISSING_ELSE
334	1	1
336	1	1
339	1	1
349	1	1
350	1	1
354	1	1
358	1	1
395	1	1
420	1	1
454	1	1
461	3	3
464	1	1
465	1	1
466	1	1
467	1	1
469	1	1
470	1	1
471	1	1
472	1	1
			MISSING_ELSE

---

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

	Total	Covered	Percent
Conditions	29	29	100.00
Logical	29	29	100.00
Non-Logical	0	0
Event	0	0

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

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

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

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

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

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

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

-1-	Status	Tests
0	Covered	T73
1	Covered	T73

 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,T9

 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	T3,T4,T6
1	1	Covered	T1,T2,T9

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

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

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

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

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

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

---

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

Summary for FSM :: state_q

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

State, Transition and Sequence Details for FSM :: state_q

---

states	Line No.	Covered	Tests
ErrorSt	224	Covered	T1,T2,T3
IdleSt	196	Covered	T1,T2,T3
InitSt	194	Covered	T1,T2,T3
InitWaitSt	207	Covered	T1,T2,T3
ReadSt	236	Covered	T1,T2,T9
ReadWaitSt	252	Covered	T1,T2,T9
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,T9
InitSt->ErrorSt	315	Covered	T209
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T106,T210,T159
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T4,T6,T10
ReadSt->ReadWaitSt	252	Covered	T1,T2,T9
ReadWaitSt->ErrorSt	276	Not Covered
ReadWaitSt->IdleSt	270	Covered	T1,T2,T9
ResetSt->ErrorSt	315	Covered	T73,T74,T75
ResetSt->IdleSt	196	Excluded		VC_COV_UNR
ResetSt->InitSt	194	Covered	T1,T2,T3

Summary for FSM :: error_q

	Total	Covered	Percent
States	4	4	100.00	(Not included in score)
Transitions	7	7	100.00
Sequences	0	0

State, Transition and Sequence Details for FSM :: error_q

---

states	Line No.	Covered	Tests	Exclude Annotation
AccessError	256	Covered	T4,T6,T10
CheckFailError	317	Covered	T73
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	T4,T7,T8
AccessError->MacroEccCorrError	221	Excluded
AccessError->NoError	235	Covered	T4,T6,T10
CheckFailError->AccessError	256	Excluded		VC_COV_UNR
CheckFailError->FsmStateError	325	Excluded		VC_COV_UNR
CheckFailError->MacroEccCorrError	221	Excluded
CheckFailError->NoError	235	Covered	T73
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	T4,T6,T10
NoError->CheckFailError	317	Covered	T73
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	T1,T2,T9
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,T9

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

Branches:

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

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

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

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	-10-	-11-	-12-	-13-	-14-	-15-	-16-	Status	Tests	Exclude Annotation
ResetSt	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ResetSt	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	Unreachable
ResetSt	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitSt	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitSt	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	Excluded		VC_COV_UNR
InitWaitSt	-	-	-	1	1	1	-	-	-	-	-	-	-	-	-	Excluded		VC_COV_UNR
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Excluded		VC_COV_UNR
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T9
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T2,T9
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T15,T181,T182
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T4,T6,T10
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Excluded		VC_COV_UNR
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T2,T9
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Excluded		VC_COV_UNR
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T2,T9
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T19,T20,T21
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T3,T4,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T3,T4,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T3
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	T73
1	0	Covered	T73
0	-	Covered	T1,T2,T3

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

-1-	Status	Tests
1	Covered	T1,T9,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	478900632	478052342	0	0
DigestKnown_A	478900632	478052342	0	0
DigestOffsetMustBeRepresentable_A	1151	1151	0	0
EccErrorState_A	478900632	2508	0	0
ErrorKnown_A	478900632	478052342	0	0
FsmStateKnown_A	478900632	478052342	0	0
InitDoneKnown_A	478900632	478052342	0	0
InitReadLocksPartition_A	478900632	106801774	0	0
InitWriteLocksPartition_A	478900632	106801774	0	0
OffsetMustBeBlockAligned_A	1151	1151	0	0
OtpAddrKnown_A	478900632	478052342	0	0
OtpCmdKnown_A	478900632	478052342	0	0
OtpErrorState_A	478900632	0	0	0
OtpReqKnown_A	478900632	478052342	0	0
OtpSizeKnown_A	478900632	478052342	0	0
OtpWdataKnown_A	478900632	478052342	0	0
ReadLockPropagation_A	478900632	185297254	0	0
SizeMustBeBlockAligned_A	1151	1151	0	0
TlulGntKnown_A	478900632	478052342	0	0
TlulRdataKnown_A	478900632	478052342	0	0
TlulReadOnReadLock_A	478900632	7892	0	0
TlulRerrorKnown_A	478900632	478052342	0	0
TlulRvalidKnown_A	478900632	478052342	0	0
WriteLockPropagation_A	478900632	2635675	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	478900632	30251659	0	0
u_state_regs_A	478900632	478052342	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1151	1151	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	2508	0	0
T34	87132	0	0	0
T49	34538	0	0	0
T73	14062	2508	0	0
T104	402598	0	0	0
T115	8189	0	0	0
T116	142685	0	0	0
T117	10884	0	0	0
T119	36622	0	0	0
T183	7141	0	0	0
T184	11488	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	106801774	0	0
T1	14015	4741	0	0
T2	16947	4889	0	0
T3	61942	55527	0	0
T4	280607	123439	0	0
T5	70923	18920	0	0
T6	103716	836	0	0
T9	13289	2716	0	0
T10	48953	524	0	0
T11	49957	12193	0	0
T12	18520	3549	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	106801774	0	0
T1	14015	4741	0	0
T2	16947	4889	0	0
T3	61942	55527	0	0
T4	280607	123439	0	0
T5	70923	18920	0	0
T6	103716	836	0	0
T9	13289	2716	0	0
T10	48953	524	0	0
T11	49957	12193	0	0
T12	18520	3549	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1151	1151	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	0	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	185297254	0	0
T4	280607	283656	0	0
T5	70923	294	0	0
T6	103716	37917	0	0
T7	556173	341350	0	0
T8	0	726468	0	0
T10	48953	11784	0	0
T11	49957	0	0	0
T12	18520	0	0	0
T33	40418	7901	0	0
T34	0	17357	0	0
T49	0	3016	0	0
T65	12967	0	0	0
T111	8574	0	0	0
T112	0	26584	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1151	1151	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	7892	0	0
T3	61942	8	0	0
T4	280607	12	0	0
T5	70923	0	0	0
T6	103716	6	0	0
T7	0	59	0	0
T9	13289	0	0	0
T10	48953	8	0	0
T11	49957	0	0	0
T12	18520	0	0	0
T33	0	7	0	0
T65	12967	0	0	0
T111	8574	0	0	0
T112	0	6	0	0
T138	0	6	0	0
T139	0	10	0	0
T140	0	3	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	2635675	0	0
T7	556173	0	0	0
T10	48953	3221	0	0
T11	49957	0	0	0
T12	18520	0	0	0
T15	0	53963	0	0
T33	40418	0	0	0
T44	14979	0	0	0
T65	12967	0	0	0
T66	14397	0	0	0
T70	0	10855	0	0
T104	0	74108	0	0
T105	0	11358	0	0
T106	0	21667	0	0
T107	0	25140	0	0
T111	8574	0	0	0
T112	34213	0	0	0
T113	0	11965	0	0
T114	0	9741	0	0
T181	0	4515	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	30251659	0	0
T1	14015	3855	0	0
T2	16947	0	0	0
T3	61942	0	0	0
T4	280607	0	0	0
T5	70923	6604	0	0
T6	103716	89839	0	0
T9	13289	2256	0	0
T10	48953	39285	0	0
T11	49957	0	0	0
T12	18520	0	0	0
T34	0	75194	0	0
T49	0	21756	0	0
T104	0	393874	0	0
T129	0	3576	0	0
T184	0	3777	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	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	T9,T41,T78

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

-1-	Status	Tests
0	Covered	T1,T2,T9
1	Covered	T176,T109,T70

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

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

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

-1-	Status	Tests
0	Covered	T73,T178,T179
1	Covered	T73,T178,T179

 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,T9

 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	T3,T4,T6
1	1	Covered	T1,T2,T9

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

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

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

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

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

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

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

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

---

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

Summary for FSM :: state_q

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

State, Transition and Sequence Details for FSM :: state_q

---

states	Line No.	Covered	Tests
ErrorSt	224	Covered	T1,T2,T3
IdleSt	196	Covered	T1,T2,T3
InitSt	194	Covered	T1,T2,T3
InitWaitSt	207	Covered	T1,T2,T3
ReadSt	236	Covered	T1,T2,T9
ReadWaitSt	252	Covered	T1,T2,T9
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,T9
InitSt->ErrorSt	315	Covered	T106,T210,T159
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T65,T111,T184
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T4,T6,T10
ReadSt->ReadWaitSt	252	Covered	T1,T2,T9
ReadWaitSt->ErrorSt	276	Covered	T180,T197,T211
ReadWaitSt->IdleSt	270	Covered	T1,T2,T9
ResetSt->ErrorSt	315	Covered	T73,T74,T75
ResetSt->IdleSt	196	Excluded		VC_COV_UNR
ResetSt->InitSt	194	Covered	T1,T2,T3

Summary for FSM :: error_q

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

State, Transition and Sequence Details for FSM :: error_q

---

states	Line No.	Covered	Tests
AccessError	256	Covered	T4,T6,T10
CheckFailError	317	Covered	T73,T178,T179
FsmStateError	289	Covered	T1,T2,T3
MacroEccCorrError	221	Covered	T9,T41,T176
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded		VC_COV_UNR
AccessError->FsmStateError	325	Covered	T4,T112,T8
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T4,T6,T10
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	T73,T178,T179
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	T9,T41,T176
MacroEccCorrError->NoError	235	Covered	T109,T70,T212
NoError->AccessError	256	Covered	T4,T6,T10
NoError->CheckFailError	317	Covered	T73,T178,T179
NoError->FsmStateError	289	Covered	T1,T2,T3
NoError->MacroEccCorrError	221	Covered	T9,T41,T176

---

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,T9
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,T9

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

Branches:

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

	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	T3,T5,T6
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	T9,T41,T78
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T65,T111,T184
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T9
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T2,T9
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T16,T106,T15
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T4,T6,T10
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T176,T109,T70
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T2,T9
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T180,T197,T211
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T2,T9
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T19,T20,T21
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T3,T4,T11
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T3,T4,T11
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T3
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	T73,T178,T179
1	0	Covered	T73,T178,T179
0	-	Covered	T1,T2,T3

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

Branches:

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

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

Branches:

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

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

Branches:

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

---

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

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
AccessKnown_A	478900632	478052342	0	0
DigestKnown_A	478900632	478052342	0	0
DigestOffsetMustBeRepresentable_A	1151	1151	0	0
EccErrorState_A	478900632	7835	0	0
ErrorKnown_A	478900632	478052342	0	0
FsmStateKnown_A	478900632	478052342	0	0
InitDoneKnown_A	478900632	478052342	0	0
InitReadLocksPartition_A	478900632	106982066	0	0
InitWriteLocksPartition_A	478900632	106982066	0	0
OffsetMustBeBlockAligned_A	1151	1151	0	0
OtpAddrKnown_A	478900632	478052342	0	0
OtpCmdKnown_A	478900632	478052342	0	0
OtpErrorState_A	478900632	62	0	0
OtpReqKnown_A	478900632	478052342	0	0
OtpSizeKnown_A	478900632	478052342	0	0
OtpWdataKnown_A	478900632	478052342	0	0
ReadLockPropagation_A	478900632	192917316	0	0
SizeMustBeBlockAligned_A	1151	1151	0	0
TlulGntKnown_A	478900632	478052342	0	0
TlulRdataKnown_A	478900632	478052342	0	0
TlulReadOnReadLock_A	478900632	8262	0	0
TlulRerrorKnown_A	478900632	478052342	0	0
TlulRvalidKnown_A	478900632	478052342	0	0
WriteLockPropagation_A	478900632	3161506	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	478900632	31125805	0	0
u_state_regs_A	478900632	478052342	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1151	1151	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	7835	0	0
T34	87132	0	0	0
T49	34538	0	0	0
T73	14062	2508	0	0
T104	402598	0	0	0
T115	8189	0	0	0
T116	142685	0	0	0
T117	10884	0	0	0
T119	36622	0	0	0
T178	0	3075	0	0
T179	0	2252	0	0
T183	7141	0	0	0
T184	11488	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	106982066	0	0
T1	14015	4775	0	0
T2	16947	4940	0	0
T3	61942	55561	0	0
T4	280607	123449	0	0
T5	70923	19090	0	0
T6	103716	1074	0	0
T9	13289	2767	0	0
T10	48953	677	0	0
T11	49957	12346	0	0
T12	18520	3634	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	106982066	0	0
T1	14015	4775	0	0
T2	16947	4940	0	0
T3	61942	55561	0	0
T4	280607	123449	0	0
T5	70923	19090	0	0
T6	103716	1074	0	0
T9	13289	2767	0	0
T10	48953	677	0	0
T11	49957	12346	0	0
T12	18520	3634	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1151	1151	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	62	0	0
T7	556173	0	0	0
T33	40418	0	0	0
T44	14979	0	0	0
T65	12967	1	0	0
T66	14397	0	0	0
T111	8574	1	0	0
T112	34213	0	0	0
T124	13800	0	0	0
T138	58573	0	0	0
T139	145079	0	0	0
T180	0	1	0	0
T184	0	1	0	0
T193	0	1	0	0
T194	0	1	0	0
T195	0	1	0	0
T196	0	1	0	0
T197	0	1	0	0
T198	0	1	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	192917316	0	0
T4	280607	283654	0	0
T5	70923	8022	0	0
T6	103716	30778	0	0
T7	556173	367879	0	0
T8	0	737274	0	0
T10	48953	5602	0	0
T11	49957	8053	0	0
T12	18520	0	0	0
T33	40418	9578	0	0
T65	12967	0	0	0
T111	8574	0	0	0
T112	0	26603	0	0
T139	0	6699	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1151	1151	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	8262	0	0
T3	61942	11	0	0
T4	280607	9	0	0
T5	70923	0	0	0
T6	103716	3	0	0
T7	0	55	0	0
T9	13289	0	0	0
T10	48953	4	0	0
T11	49957	2	0	0
T12	18520	0	0	0
T33	0	2	0	0
T65	12967	0	0	0
T111	8574	0	0	0
T112	0	4	0	0
T138	0	5	0	0
T139	0	5	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	3161506	0	0
T5	70923	7724	0	0
T6	103716	6991	0	0
T7	556173	0	0	0
T10	48953	0	0	0
T11	49957	0	0	0
T12	18520	0	0	0
T15	0	47936	0	0
T33	40418	0	0	0
T34	0	5106	0	0
T49	0	7064	0	0
T65	12967	0	0	0
T105	0	5046	0	0
T106	0	15176	0	0
T107	0	12945	0	0
T108	0	3330	0	0
T111	8574	0	0	0
T112	34213	0	0	0
T113	0	5181	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	31125805	0	0
T3	61942	2931	0	0
T4	280607	0	0	0
T5	70923	39165	0	0
T6	103716	89635	0	0
T9	13289	0	0	0
T10	48953	39166	0	0
T11	49957	0	0	0
T12	18520	0	0	0
T33	0	20189	0	0
T34	0	74990	0	0
T49	0	21688	0	0
T65	12967	0	0	0
T111	8574	2460	0	0
T138	0	19295	0	0
T184	0	3772	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	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	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	T124,T41,T55

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

-1-	Status	Tests
0	Covered	T1,T2,T9
1	Covered	T11,T138,T176

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

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

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

-1-	Status	Tests
0	Covered	T73,T168
1	Covered	T73,T168

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

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

 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,T9

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

 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	Exclude Annotation
0	1	Covered	T1,T2,T3
1	0	Excluded		VC_COV_UNR
1	1	Covered	T1,T2,T3

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

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

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

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

---

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,T9
ReadWaitSt	252	Covered	T1,T2,T9
ResetSt	190	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
IdleSt->ErrorSt	315	Covered	T2,T3,T9
IdleSt->ReadSt	236	Covered	T1,T2,T9
InitSt->ErrorSt	315	Covered	T106,T210,T159
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T1,T65,T111
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T4,T5,T6
ReadSt->ReadWaitSt	252	Covered	T1,T2,T9
ReadWaitSt->ErrorSt	276	Covered	T204,T205,T174
ReadWaitSt->IdleSt	270	Covered	T1,T2,T9
ResetSt->ErrorSt	315	Covered	T73,T74,T75
ResetSt->IdleSt	196	Excluded		VC_COV_UNR
ResetSt->InitSt	194	Covered	T1,T2,T3

Summary for FSM :: error_q

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

State, Transition and Sequence Details for FSM :: error_q

---

states	Line No.	Covered	Tests
AccessError	256	Covered	T4,T5,T6
CheckFailError	317	Covered	T73,T168
FsmStateError	289	Covered	T2,T3,T9
MacroEccCorrError	221	Covered	T11,T138,T124
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
AccessError->CheckFailError	317	Excluded		VC_COV_UNR
AccessError->FsmStateError	325	Covered	T4,T8,T16
AccessError->MacroEccCorrError	221	Excluded		VC_COV_UNR
AccessError->NoError	235	Covered	T4,T5,T6
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	T73,T168
FsmStateError->AccessError	256	Excluded		VC_COV_UNR
FsmStateError->CheckFailError	317	Excluded		VC_COV_UNR
FsmStateError->MacroEccCorrError	221	Excluded		VC_COV_UNR
FsmStateError->NoError	235	Covered	T2,T3,T9
MacroEccCorrError->AccessError	256	Excluded		VC_COV_UNR
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T138,T124,T41
MacroEccCorrError->NoError	235	Covered	T11,T176,T70
NoError->AccessError	256	Covered	T4,T5,T6
NoError->CheckFailError	317	Covered	T73,T168
NoError->FsmStateError	289	Covered	T2,T3,T9
NoError->MacroEccCorrError	221	Covered	T11,T138,T124

---

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,T9
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,T9

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

Branches:

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

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

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

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	-10-	-11-	-12-	-13-	-14-	-15-	-16-	Status	Tests
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	T124,T41,T55
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T1,T199,T200
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T9
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T2,T9
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T106,T15,T181
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T4,T5,T6
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T11,T138,T176
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T2,T9
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T204,T205,T174
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T2,T9
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T19,T20,T21
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T3,T7,T112
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T3,T7,T112
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T1,T2,T3
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	T73,T168
1	0	Covered	T73,T168
0	-	Covered	T1,T2,T3

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T2,T3,T9
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	478900632	478052342	0	0
DigestKnown_A	478900632	478052342	0	0
DigestOffsetMustBeRepresentable_A	1151	1151	0	0
EccErrorState_A	478900632	6551	0	0
ErrorKnown_A	478900632	478052342	0	0
FsmStateKnown_A	478900632	478052342	0	0
InitDoneKnown_A	478900632	478052342	0	0
InitReadLocksPartition_A	478900632	107161119	0	0
InitWriteLocksPartition_A	478900632	107161119	0	0
OffsetMustBeBlockAligned_A	1151	1151	0	0
OtpAddrKnown_A	478900632	478052342	0	0
OtpCmdKnown_A	478900632	478052342	0	0
OtpErrorState_A	478900632	59	0	0
OtpReqKnown_A	478900632	478052342	0	0
OtpSizeKnown_A	478900632	478052342	0	0
OtpWdataKnown_A	478900632	478052342	0	0
ReadLockPropagation_A	478900632	198312715	0	0
SizeMustBeBlockAligned_A	1151	1151	0	0
TlulGntKnown_A	478900632	478052342	0	0
TlulRdataKnown_A	478900632	478052342	0	0
TlulReadOnReadLock_A	478900632	8461	0	0
TlulRerrorKnown_A	478900632	478052342	0	0
TlulRvalidKnown_A	478900632	478052342	0	0
WriteLockPropagation_A	478900632	1727213	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	478900632	18496244	0	0
u_state_regs_A	478900632	478052342	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1151	1151	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	6551	0	0
T34	87132	0	0	0
T49	34538	0	0	0
T73	14062	2508	0	0
T104	402598	0	0	0
T115	8189	0	0	0
T116	142685	0	0	0
T117	10884	0	0	0
T119	36622	0	0	0
T168	0	4043	0	0
T183	7141	0	0	0
T184	11488	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	107161119	0	0
T1	14015	4799	0	0
T2	16947	4991	0	0
T3	61942	55595	0	0
T4	280607	123459	0	0
T5	70923	19260	0	0
T6	103716	1312	0	0
T9	13289	2818	0	0
T10	48953	830	0	0
T11	49957	12499	0	0
T12	18520	3719	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	107161119	0	0
T1	14015	4799	0	0
T2	16947	4991	0	0
T3	61942	55595	0	0
T4	280607	123459	0	0
T5	70923	19260	0	0
T6	103716	1312	0	0
T9	13289	2818	0	0
T10	48953	830	0	0
T11	49957	12499	0	0
T12	18520	3719	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1151	1151	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	59	0	0
T1	14015	1	0	0
T2	16947	0	0	0
T3	61942	0	0	0
T4	280607	0	0	0
T5	70923	0	0	0
T6	103716	0	0	0
T9	13289	0	0	0
T10	48953	0	0	0
T11	49957	0	0	0
T12	18520	0	0	0
T199	0	1	0	0
T200	0	1	0	0
T201	0	1	0	0
T202	0	1	0	0
T203	0	1	0	0
T204	0	1	0	0
T205	0	1	0	0
T206	0	1	0	0
T207	0	1	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	198312715	0	0
T4	280607	283652	0	0
T5	70923	6647	0	0
T6	103716	44405	0	0
T7	556173	341488	0	0
T8	0	738844	0	0
T10	48953	10783	0	0
T11	49957	3909	0	0
T12	18520	0	0	0
T33	40418	9812	0	0
T49	0	8785	0	0
T65	12967	0	0	0
T111	8574	0	0	0
T112	0	26600	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1151	1151	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	8461	0	0
T3	61942	9	0	0
T4	280607	7	0	0
T5	70923	1	0	0
T6	103716	12	0	0
T7	0	52	0	0
T9	13289	0	0	0
T10	48953	7	0	0
T11	49957	0	0	0
T12	18520	0	0	0
T33	0	6	0	0
T65	12967	0	0	0
T111	8574	0	0	0
T112	0	5	0	0
T138	0	7	0	0
T139	0	14	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	1727213	0	0
T5	70923	7948	0	0
T6	103716	0	0	0
T7	556173	0	0	0
T10	48953	5305	0	0
T11	49957	0	0	0
T12	18520	0	0	0
T15	0	32313	0	0
T33	40418	0	0	0
T34	0	5106	0	0
T65	12967	0	0	0
T105	0	4530	0	0
T106	0	3078	0	0
T108	0	105479	0	0
T109	0	3464	0	0
T110	0	19698	0	0
T111	8574	0	0	0
T112	34213	0	0	0
T113	0	2871	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	18496244	0	0
T1	14015	3833	0	0
T2	16947	0	0	0
T3	61942	2914	0	0
T4	280607	0	0	0
T5	70923	39046	0	0
T6	103716	0	0	0
T9	13289	0	0	0
T10	48953	39047	0	0
T11	49957	0	0	0
T12	18520	0	0	0
T34	0	74786	0	0
T49	0	21620	0	0
T105	0	76577	0	0
T106	0	46948	0	0
T113	0	50417	0	0
T176	0	28429	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	478900632	478052342	0	0
T1	14015	13784	0	0
T2	16947	16668	0	0
T3	61942	61809	0	0
T4	280607	280598	0	0
T5	70923	70039	0	0
T6	103716	102493	0	0
T9	13289	13000	0	0
T10	48953	48113	0	0
T11	49957	49155	0	0
T12	18520	17975	0	0