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

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

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
92.35	100.00	97.06		64.71	100.00	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
92.98	100.00	97.06	97.87	64.71	98.25	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
92.26	96.15	86.96	87.90		93.10	97.18	dut

Subtrees :

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

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

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
92.35	100.00	97.06		64.71	100.00	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
92.98	100.00	97.06	97.87	64.71	98.25	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
92.26	96.15	86.96	87.90		93.10	97.18	dut

Subtrees :

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

Line Coverage for Instance : tb.dut.gen_partitions[3].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[3].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	T14,T76,T67

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T23,T65,T100

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

-1-	Status	Tests
0	Covered	T9,T10,T12
1	Covered	T28,T29,T30

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

-1-	Status	Tests
0	Covered	T132,T133,T134
1	Covered	T132,T133,T134

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

-1-	Status	Tests
0	Covered	T9,T10,T12
1	Covered	T9,T10,T12

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

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

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

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T1,T3,T9
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'b10001111000) && ({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,T3,T9

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

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

---

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

Summary for FSM :: state_q

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

State, Transition and Sequence Details for FSM :: state_q

---

states	Line No.	Covered	Tests
ErrorSt	224	Covered	T9,T10,T12
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
IdleSt->ErrorSt	315	Covered	T9,T12,T14
IdleSt->ReadSt	236	Covered	T1,T2,T3
InitSt->ErrorSt	315	Covered	T10,T90,T160
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T137,T158,T159
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T1,T3,T4
ReadSt->ReadWaitSt	252	Covered	T1,T2,T3
ReadWaitSt->ErrorSt	276	Covered	T188,T192,T193
ReadWaitSt->IdleSt	270	Covered	T1,T2,T3
ResetSt->ErrorSt	315	Covered	T13,T74,T75
ResetSt->IdleSt	196	Not Covered
ResetSt->InitSt	194	Covered	T1,T2,T3

Summary for FSM :: error_q

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

State, Transition and Sequence Details for FSM :: error_q

---

states	Line No.	Covered	Tests
AccessError	256	Covered	T1,T3,T4
CheckFailError	317	Covered	T132,T133,T134
FsmStateError	289	Covered	T9,T10,T12
MacroEccCorrError	221	Covered	T14,T23,T76
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests
AccessError->CheckFailError	317	Not Covered
AccessError->FsmStateError	325	Covered	T114,T141,T16
AccessError->MacroEccCorrError	221	Not Covered
AccessError->NoError	235	Covered	T1,T3,T4
CheckFailError->AccessError	256	Not Covered
CheckFailError->FsmStateError	325	Not Covered
CheckFailError->MacroEccCorrError	221	Not Covered
CheckFailError->NoError	235	Covered	T132,T133,T134
FsmStateError->AccessError	256	Not Covered
FsmStateError->CheckFailError	317	Not Covered
FsmStateError->MacroEccCorrError	221	Not Covered
FsmStateError->NoError	235	Covered	T9,T10,T12
MacroEccCorrError->AccessError	256	Not Covered
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T14,T76,T67
MacroEccCorrError->NoError	235	Covered	T23,T65,T100
NoError->AccessError	256	Covered	T1,T3,T4
NoError->CheckFailError	317	Covered	T132,T133,T134
NoError->FsmStateError	289	Covered	T9,T10,T12
NoError->MacroEccCorrError	221	Covered	T14,T23,T76

---

Branch Coverage for Instance : tb.dut.gen_partitions[3].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,T3,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	T14,T76,T67
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T168,T172,T194
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T1,T40,T102
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T1,T3,T4
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T23,T65,T100
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T188,T192,T193
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T28,T29,T30
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T9,T10,T12
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T9,T13,T66
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T9,T13,T66
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T9,T10,T12
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T28,T29,T30

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T132,T133,T134
1	0	Covered	T132,T133,T134
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	T9,T10,T12
1	0	Covered	T9,T10,T12
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[3].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	1584582250	1583735421	0	0
DigestKnown_A	1584582250	1583735421	0	0
DigestOffsetMustBeRepresentable_A	1127	1127	0	0
EccErrorState_A	1584582250	11072	0	0
ErrorKnown_A	1584582250	1583735421	0	0
FsmStateKnown_A	1584582250	1583735421	0	0
InitDoneKnown_A	1584582250	1583735421	0	0
InitReadLocksPartition_A	1584582250	292407817	0	0
InitWriteLocksPartition_A	1584582250	292407817	0	0
OffsetMustBeBlockAligned_A	1127	1127	0	0
OtpAddrKnown_A	1584582250	1583735421	0	0
OtpCmdKnown_A	1584582250	1583735421	0	0
OtpErrorState_A	1584582250	41	0	0
OtpReqKnown_A	1584582250	1583735421	0	0
OtpSizeKnown_A	1584582250	1583735421	0	0
OtpWdataKnown_A	1584582250	1583735421	0	0
ReadLockPropagation_A	1584582250	813563786	0	0
SizeMustBeBlockAligned_A	1127	1127	0	0
TlulGntKnown_A	1584582250	1583735421	0	0
TlulRdataKnown_A	1584582250	1583735421	0	0
TlulReadOnReadLock_A	1584582250	7453	0	0
TlulRerrorKnown_A	1584582250	1583735421	0	0
TlulRvalidKnown_A	1584582250	1583735421	0	0
WriteLockPropagation_A	1584582250	3671034	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	1584582250	35662566	0	0
u_state_regs_A	1584582250	1583735421	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	1583735421	0	0
T1	187260	184099	0	0
T2	11915	11723	0	0
T3	13072	12245	0	0
T4	44826	44152	0	0
T9	83429	83188	0	0
T10	11172	10872	0	0
T11	4848	4795	0	0
T12	15054	14752	0	0
T13	14393	14061	0	0
T14	12081	11807	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	1583735421	0	0
T1	187260	184099	0	0
T2	11915	11723	0	0
T3	13072	12245	0	0
T4	44826	44152	0	0
T9	83429	83188	0	0
T10	11172	10872	0	0
T11	4848	4795	0	0
T12	15054	14752	0	0
T13	14393	14061	0	0
T14	12081	11807	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1127	1127	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0
T14	1	1	0	0

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	11072	0	0
T48	195590	0	0	0
T132	17859	2282	0	0
T133	0	3151	0	0
T134	0	2385	0	0
T135	0	3254	0	0
T150	14044	0	0	0
T151	11420	0	0	0
T152	12102	0	0	0
T153	50555	0	0	0
T154	82204	0	0	0
T155	186937	0	0	0
T156	28928	0	0	0
T157	7029	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	1583735421	0	0
T1	187260	184099	0	0
T2	11915	11723	0	0
T3	13072	12245	0	0
T4	44826	44152	0	0
T9	83429	83188	0	0
T10	11172	10872	0	0
T11	4848	4795	0	0
T12	15054	14752	0	0
T13	14393	14061	0	0
T14	12081	11807	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	1583735421	0	0
T1	187260	184099	0	0
T2	11915	11723	0	0
T3	13072	12245	0	0
T4	44826	44152	0	0
T9	83429	83188	0	0
T10	11172	10872	0	0
T11	4848	4795	0	0
T12	15054	14752	0	0
T13	14393	14061	0	0
T14	12081	11807	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	1583735421	0	0
T1	187260	184099	0	0
T2	11915	11723	0	0
T3	13072	12245	0	0
T4	44826	44152	0	0
T9	83429	83188	0	0
T10	11172	10872	0	0
T11	4848	4795	0	0
T12	15054	14752	0	0
T13	14393	14061	0	0
T14	12081	11807	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	292407817	0	0
T1	187260	3918	0	0
T2	11915	303	0	0
T3	13072	326	0	0
T4	44826	757	0	0
T9	83429	73436	0	0
T10	11172	3841	0	0
T11	4848	127	0	0
T12	15054	6162	0	0
T13	14393	5073	0	0
T14	12081	4299	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	292407817	0	0
T1	187260	3918	0	0
T2	11915	303	0	0
T3	13072	326	0	0
T4	44826	757	0	0
T9	83429	73436	0	0
T10	11172	3841	0	0
T11	4848	127	0	0
T12	15054	6162	0	0
T13	14393	5073	0	0
T14	12081	4299	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1127	1127	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0
T14	1	1	0	0

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	1583735421	0	0
T1	187260	184099	0	0
T2	11915	11723	0	0
T3	13072	12245	0	0
T4	44826	44152	0	0
T9	83429	83188	0	0
T10	11172	10872	0	0
T11	4848	4795	0	0
T12	15054	14752	0	0
T13	14393	14061	0	0
T14	12081	11807	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	1583735421	0	0
T1	187260	184099	0	0
T2	11915	11723	0	0
T3	13072	12245	0	0
T4	44826	44152	0	0
T9	83429	83188	0	0
T10	11172	10872	0	0
T11	4848	4795	0	0
T12	15054	14752	0	0
T13	14393	14061	0	0
T14	12081	11807	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	41	0	0
T52	14990	0	0	0
T168	14951	1	0	0
T169	14188	0	0	0
T170	13230	0	0	0
T172	0	1	0	0
T188	0	1	0	0
T192	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
T199	24386	0	0	0
T200	114497	0	0	0
T201	12457	0	0	0
T202	52908	0	0	0
T203	106137	0	0	0
T204	39984	0	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	1583735421	0	0
T1	187260	184099	0	0
T2	11915	11723	0	0
T3	13072	12245	0	0
T4	44826	44152	0	0
T9	83429	83188	0	0
T10	11172	10872	0	0
T11	4848	4795	0	0
T12	15054	14752	0	0
T13	14393	14061	0	0
T14	12081	11807	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	1583735421	0	0
T1	187260	184099	0	0
T2	11915	11723	0	0
T3	13072	12245	0	0
T4	44826	44152	0	0
T9	83429	83188	0	0
T10	11172	10872	0	0
T11	4848	4795	0	0
T12	15054	14752	0	0
T13	14393	14061	0	0
T14	12081	11807	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	1583735421	0	0
T1	187260	184099	0	0
T2	11915	11723	0	0
T3	13072	12245	0	0
T4	44826	44152	0	0
T9	83429	83188	0	0
T10	11172	10872	0	0
T11	4848	4795	0	0
T12	15054	14752	0	0
T13	14393	14061	0	0
T14	12081	11807	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	813563786	0	0
T1	187260	39859	0	0
T2	11915	0	0	0
T3	13072	3091	0	0
T4	44826	9852	0	0
T5	0	6702	0	0
T9	83429	0	0	0
T10	11172	0	0	0
T11	4848	0	0	0
T12	15054	0	0	0
T13	14393	0	0	0
T14	12081	0	0	0
T22	0	133665	0	0
T23	0	41551	0	0
T65	0	9921	0	0
T89	0	1825	0	0
T103	0	2295	0	0
T114	0	33365	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1127	1127	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0
T14	1	1	0	0

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	1583735421	0	0
T1	187260	184099	0	0
T2	11915	11723	0	0
T3	13072	12245	0	0
T4	44826	44152	0	0
T9	83429	83188	0	0
T10	11172	10872	0	0
T11	4848	4795	0	0
T12	15054	14752	0	0
T13	14393	14061	0	0
T14	12081	11807	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	1583735421	0	0
T1	187260	184099	0	0
T2	11915	11723	0	0
T3	13072	12245	0	0
T4	44826	44152	0	0
T9	83429	83188	0	0
T10	11172	10872	0	0
T11	4848	4795	0	0
T12	15054	14752	0	0
T13	14393	14061	0	0
T14	12081	11807	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	7453	0	0
T1	187260	8	0	0
T2	11915	0	0	0
T3	13072	3	0	0
T4	44826	2	0	0
T5	0	1	0	0
T9	83429	14	0	0
T10	11172	0	0	0
T11	4848	0	0	0
T12	15054	0	0	0
T13	14393	5	0	0
T14	12081	0	0	0
T23	0	19	0	0
T66	0	15	0	0
T103	0	3	0	0
T114	0	3	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	1583735421	0	0
T1	187260	184099	0	0
T2	11915	11723	0	0
T3	13072	12245	0	0
T4	44826	44152	0	0
T9	83429	83188	0	0
T10	11172	10872	0	0
T11	4848	4795	0	0
T12	15054	14752	0	0
T13	14393	14061	0	0
T14	12081	11807	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	1583735421	0	0
T1	187260	184099	0	0
T2	11915	11723	0	0
T3	13072	12245	0	0
T4	44826	44152	0	0
T9	83429	83188	0	0
T10	11172	10872	0	0
T11	4848	4795	0	0
T12	15054	14752	0	0
T13	14393	14061	0	0
T14	12081	11807	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	3671034	0	0
T1	187260	21275	0	0
T2	11915	0	0	0
T3	13072	0	0	0
T4	44826	4490	0	0
T9	83429	0	0	0
T10	11172	0	0	0
T11	4848	0	0	0
T12	15054	0	0	0
T13	14393	0	0	0
T14	12081	0	0	0
T22	0	114330	0	0
T40	0	1690	0	0
T93	0	13671	0	0
T94	0	8677	0	0
T98	0	3324	0	0
T100	0	3917	0	0
T102	0	33698	0	0
T177	0	2833	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	35662566	0	0
T1	187260	148909	0	0
T2	11915	0	0	0
T3	13072	3272	0	0
T4	44826	33719	0	0
T5	0	149845	0	0
T9	83429	2452	0	0
T10	11172	0	0	0
T11	4848	0	0	0
T12	15054	0	0	0
T13	14393	2898	0	0
T14	12081	0	0	0
T22	0	278234	0	0
T89	0	4194	0	0
T103	0	8083	0	0
T114	0	2950	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	1583735421	0	0
T1	187260	184099	0	0
T2	11915	11723	0	0
T3	13072	12245	0	0
T4	44826	44152	0	0
T9	83429	83188	0	0
T10	11172	10872	0	0
T11	4848	4795	0	0
T12	15054	14752	0	0
T13	14393	14061	0	0
T14	12081	11807	0	0

Line Coverage for Instance : tb.dut.gen_partitions[4].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[4].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	T76,T67,T31

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

-1-	Status	Tests
0	Covered	T1,T2,T4
1	Covered	T65,T100,T71

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

-1-	Status	Tests
0	Covered	T9,T10,T12
1	Covered	T28,T29,T30

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

-1-	Status	Tests
0	Covered	T75,T134,T135
1	Covered	T75,T134,T135

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

-1-	Status	Tests
0	Covered	T9,T10,T12
1	Covered	T9,T10,T12

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

---

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

Summary for FSM :: state_q

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

State, Transition and Sequence Details for FSM :: state_q

---

states	Line No.	Covered	Tests
ErrorSt	224	Covered	T9,T10,T12
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,T4
ResetSt	190	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests
IdleSt->ErrorSt	315	Covered	T9,T12,T44
IdleSt->ReadSt	236	Covered	T1,T2,T3
InitSt->ErrorSt	315	Covered	T10,T90,T137
InitSt->InitWaitSt	207	Covered	T1,T2,T3
InitWaitSt->ErrorSt	224	Covered	T14,T106,T185
InitWaitSt->IdleSt	218	Covered	T1,T2,T3
ReadSt->ErrorSt	315	Not Covered
ReadSt->IdleSt	255	Covered	T1,T3,T4
ReadSt->ReadWaitSt	252	Covered	T1,T2,T4
ReadWaitSt->ErrorSt	276	Covered	T138,T140,T205
ReadWaitSt->IdleSt	270	Covered	T1,T2,T4
ResetSt->ErrorSt	315	Covered	T13,T74,T75
ResetSt->IdleSt	196	Not Covered
ResetSt->InitSt	194	Covered	T1,T2,T3

Summary for FSM :: error_q

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

State, Transition and Sequence Details for FSM :: error_q

---

states	Line No.	Covered	Tests
AccessError	256	Covered	T1,T3,T4
CheckFailError	317	Covered	T75,T134,T135
FsmStateError	289	Covered	T9,T10,T12
MacroEccCorrError	221	Covered	T76,T65,T67
NoError	235	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests
AccessError->CheckFailError	317	Not Covered
AccessError->FsmStateError	325	Covered	T6,T141,T8
AccessError->MacroEccCorrError	221	Not Covered
AccessError->NoError	235	Covered	T1,T3,T4
CheckFailError->AccessError	256	Not Covered
CheckFailError->FsmStateError	325	Not Covered
CheckFailError->MacroEccCorrError	221	Not Covered
CheckFailError->NoError	235	Covered	T75,T134,T135
FsmStateError->AccessError	256	Not Covered
FsmStateError->CheckFailError	317	Not Covered
FsmStateError->MacroEccCorrError	221	Not Covered
FsmStateError->NoError	235	Covered	T9,T10,T12
MacroEccCorrError->AccessError	256	Not Covered
MacroEccCorrError->CheckFailError	317	Not Covered
MacroEccCorrError->FsmStateError	325	Covered	T76,T67,T31
MacroEccCorrError->NoError	235	Covered	T65,T100,T71
NoError->AccessError	256	Covered	T1,T3,T4
NoError->CheckFailError	317	Covered	T75,T134,T135
NoError->FsmStateError	289	Covered	T9,T10,T12
NoError->MacroEccCorrError	221	Covered	T76,T65,T67

---

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

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

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

-1-	Status	Tests
1	Covered	T3,T14,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	T76,T67,T31
InitWaitSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitWaitSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T14,T106,T185
InitWaitSt	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T2,T4
ReadSt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	Covered	T40,T102,T111
ReadSt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T1,T3,T4
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Covered	T65,T100,T71
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T2,T4
ReadWaitSt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	Covered	T138,T140,T205
ReadWaitSt	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T2,T4
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T28,T29,T30
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	Covered	T9,T10,T12
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T9,T13,T66
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	1	Covered	T9,T13,T66
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	0	Covered	T9,T10,T12
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T28,T29,T30

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

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T75,T134,T135
1	0	Covered	T75,T134,T135
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	T9,T10,T12
1	0	Covered	T9,T10,T12
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[4].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	1584582250	1583735421	0	0
DigestKnown_A	1584582250	1583735421	0	0
DigestOffsetMustBeRepresentable_A	1127	1127	0	0
EccErrorState_A	1584582250	9113	0	0
ErrorKnown_A	1584582250	1583735421	0	0
FsmStateKnown_A	1584582250	1583735421	0	0
InitDoneKnown_A	1584582250	1583735421	0	0
InitReadLocksPartition_A	1584582250	292582031	0	0
InitWriteLocksPartition_A	1584582250	292582031	0	0
OffsetMustBeBlockAligned_A	1127	1127	0	0
OtpAddrKnown_A	1584582250	1583735421	0	0
OtpCmdKnown_A	1584582250	1583735421	0	0
OtpErrorState_A	1584582250	35	0	0
OtpReqKnown_A	1584582250	1583735421	0	0
OtpSizeKnown_A	1584582250	1583735421	0	0
OtpWdataKnown_A	1584582250	1583735421	0	0
ReadLockPropagation_A	1584582250	789845669	0	0
SizeMustBeBlockAligned_A	1127	1127	0	0
TlulGntKnown_A	1584582250	1583735421	0	0
TlulRdataKnown_A	1584582250	1583735421	0	0
TlulReadOnReadLock_A	1584582250	7202	0	0
TlulRerrorKnown_A	1584582250	1583735421	0	0
TlulRvalidKnown_A	1584582250	1583735421	0	0
WriteLockPropagation_A	1584582250	943665	0	0
gen_digest_write_lock.DigestWriteLocksPartition_A	1584582250	17203023	0	0
u_state_regs_A	1584582250	1583735421	0	0

AccessKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	1583735421	0	0
T1	187260	184099	0	0
T2	11915	11723	0	0
T3	13072	12245	0	0
T4	44826	44152	0	0
T9	83429	83188	0	0
T10	11172	10872	0	0
T11	4848	4795	0	0
T12	15054	14752	0	0
T13	14393	14061	0	0
T14	12081	11807	0	0

DigestKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	1583735421	0	0
T1	187260	184099	0	0
T2	11915	11723	0	0
T3	13072	12245	0	0
T4	44826	44152	0	0
T9	83429	83188	0	0
T10	11172	10872	0	0
T11	4848	4795	0	0
T12	15054	14752	0	0
T13	14393	14061	0	0
T14	12081	11807	0	0

DigestOffsetMustBeRepresentable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1127	1127	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0
T14	1	1	0	0

EccErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	9113	0	0
T53	16866	0	0	0
T75	10339	3474	0	0
T134	0	2385	0	0
T135	0	3254	0	0
T142	311768	0	0	0
T143	24273	0	0	0
T144	531039	0	0	0
T145	130254	0	0	0
T146	26688	0	0	0
T147	9438	0	0	0
T148	42324	0	0	0
T149	21706	0	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	1583735421	0	0
T1	187260	184099	0	0
T2	11915	11723	0	0
T3	13072	12245	0	0
T4	44826	44152	0	0
T9	83429	83188	0	0
T10	11172	10872	0	0
T11	4848	4795	0	0
T12	15054	14752	0	0
T13	14393	14061	0	0
T14	12081	11807	0	0

FsmStateKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	1583735421	0	0
T1	187260	184099	0	0
T2	11915	11723	0	0
T3	13072	12245	0	0
T4	44826	44152	0	0
T9	83429	83188	0	0
T10	11172	10872	0	0
T11	4848	4795	0	0
T12	15054	14752	0	0
T13	14393	14061	0	0
T14	12081	11807	0	0

InitDoneKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	1583735421	0	0
T1	187260	184099	0	0
T2	11915	11723	0	0
T3	13072	12245	0	0
T4	44826	44152	0	0
T9	83429	83188	0	0
T10	11172	10872	0	0
T11	4848	4795	0	0
T12	15054	14752	0	0
T13	14393	14061	0	0
T14	12081	11807	0	0

InitReadLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	292582031	0	0
T1	187260	4564	0	0
T2	11915	354	0	0
T3	13072	377	0	0
T4	44826	893	0	0
T9	83429	73487	0	0
T10	11172	3875	0	0
T11	4848	144	0	0
T12	15054	6213	0	0
T13	14393	5107	0	0
T14	12081	4340	0	0

InitWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	292582031	0	0
T1	187260	4564	0	0
T2	11915	354	0	0
T3	13072	377	0	0
T4	44826	893	0	0
T9	83429	73487	0	0
T10	11172	3875	0	0
T11	4848	144	0	0
T12	15054	6213	0	0
T13	14393	5107	0	0
T14	12081	4340	0	0

OffsetMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1127	1127	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0
T14	1	1	0	0

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	1583735421	0	0
T1	187260	184099	0	0
T2	11915	11723	0	0
T3	13072	12245	0	0
T4	44826	44152	0	0
T9	83429	83188	0	0
T10	11172	10872	0	0
T11	4848	4795	0	0
T12	15054	14752	0	0
T13	14393	14061	0	0
T14	12081	11807	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	1583735421	0	0
T1	187260	184099	0	0
T2	11915	11723	0	0
T3	13072	12245	0	0
T4	44826	44152	0	0
T9	83429	83188	0	0
T10	11172	10872	0	0
T11	4848	4795	0	0
T12	15054	14752	0	0
T13	14393	14061	0	0
T14	12081	11807	0	0

OtpErrorState_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	35	0	0
T5	151856	0	0	0
T14	12081	1	0	0
T22	424703	0	0	0
T23	179925	0	0	0
T44	12865	0	0	0
T51	10797	0	0	0
T66	58231	0	0	0
T91	0	1	0	0
T103	20976	0	0	0
T106	10345	1	0	0
T127	5178	0	0	0
T138	0	1	0	0
T140	0	1	0	0
T175	0	1	0	0
T185	0	1	0	0
T206	0	1	0	0
T207	0	1	0	0
T208	0	1	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	1583735421	0	0
T1	187260	184099	0	0
T2	11915	11723	0	0
T3	13072	12245	0	0
T4	44826	44152	0	0
T9	83429	83188	0	0
T10	11172	10872	0	0
T11	4848	4795	0	0
T12	15054	14752	0	0
T13	14393	14061	0	0
T14	12081	11807	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	1583735421	0	0
T1	187260	184099	0	0
T2	11915	11723	0	0
T3	13072	12245	0	0
T4	44826	44152	0	0
T9	83429	83188	0	0
T10	11172	10872	0	0
T11	4848	4795	0	0
T12	15054	14752	0	0
T13	14393	14061	0	0
T14	12081	11807	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	1583735421	0	0
T1	187260	184099	0	0
T2	11915	11723	0	0
T3	13072	12245	0	0
T4	44826	44152	0	0
T9	83429	83188	0	0
T10	11172	10872	0	0
T11	4848	4795	0	0
T12	15054	14752	0	0
T13	14393	14061	0	0
T14	12081	11807	0	0

ReadLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	789845669	0	0
T1	187260	40378	0	0
T2	11915	0	0	0
T3	13072	3089	0	0
T4	44826	12592	0	0
T5	0	6264	0	0
T9	83429	0	0	0
T10	11172	0	0	0
T11	4848	0	0	0
T12	15054	0	0	0
T13	14393	0	0	0
T14	12081	0	0	0
T22	0	65814	0	0
T23	0	45863	0	0
T65	0	16659	0	0
T89	0	1818	0	0
T103	0	2293	0	0
T114	0	30265	0	0

SizeMustBeBlockAligned_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1127	1127	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0
T14	1	1	0	0

TlulGntKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	1583735421	0	0
T1	187260	184099	0	0
T2	11915	11723	0	0
T3	13072	12245	0	0
T4	44826	44152	0	0
T9	83429	83188	0	0
T10	11172	10872	0	0
T11	4848	4795	0	0
T12	15054	14752	0	0
T13	14393	14061	0	0
T14	12081	11807	0	0

TlulRdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	1583735421	0	0
T1	187260	184099	0	0
T2	11915	11723	0	0
T3	13072	12245	0	0
T4	44826	44152	0	0
T9	83429	83188	0	0
T10	11172	10872	0	0
T11	4848	4795	0	0
T12	15054	14752	0	0
T13	14393	14061	0	0
T14	12081	11807	0	0

TlulReadOnReadLock_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	7202	0	0
T1	187260	6	0	0
T2	11915	0	0	0
T3	13072	1	0	0
T4	44826	9	0	0
T5	0	3	0	0
T9	83429	24	0	0
T10	11172	0	0	0
T11	4848	0	0	0
T12	15054	0	0	0
T13	14393	2	0	0
T14	12081	0	0	0
T23	0	27	0	0
T65	0	16	0	0
T66	0	17	0	0
T114	0	2	0	0

TlulRerrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	1583735421	0	0
T1	187260	184099	0	0
T2	11915	11723	0	0
T3	13072	12245	0	0
T4	44826	44152	0	0
T9	83429	83188	0	0
T10	11172	10872	0	0
T11	4848	4795	0	0
T12	15054	14752	0	0
T13	14393	14061	0	0
T14	12081	11807	0	0

TlulRvalidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	1583735421	0	0
T1	187260	184099	0	0
T2	11915	11723	0	0
T3	13072	12245	0	0
T4	44826	44152	0	0
T9	83429	83188	0	0
T10	11172	10872	0	0
T11	4848	4795	0	0
T12	15054	14752	0	0
T13	14393	14061	0	0
T14	12081	11807	0	0

WriteLockPropagation_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	943665	0	0
T7	306405	0	0	0
T8	39803	0	0	0
T16	99017	0	0	0
T31	15778	0	0	0
T93	110231	14753	0	0
T94	141418	0	0	0
T98	0	3244	0	0
T111	0	358	0	0
T141	21968	0	0	0
T142	0	9879	0	0
T144	0	29267	0	0
T145	0	16567	0	0
T179	0	2195	0	0
T181	0	9274	0	0
T182	26016	0	0	0
T183	4241	0	0	0
T184	48710	0	0	0
T209	0	23394	0	0
T210	0	5714	0	0

gen_digest_write_lock.DigestWriteLocksPartition_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	17203023	0	0
T3	13072	3238	0	0
T4	44826	0	0	0
T5	151856	149837	0	0
T9	83429	0	0	0
T10	11172	0	0	0
T11	4848	0	0	0
T12	15054	0	0	0
T13	14393	0	0	0
T14	12081	3422	0	0
T44	12865	0	0	0
T71	0	65460	0	0
T93	0	94236	0	0
T98	0	47893	0	0
T106	0	2269	0	0
T175	0	3506	0	0
T177	0	9316	0	0
T185	0	3803	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1584582250	1583735421	0	0
T1	187260	184099	0	0
T2	11915	11723	0	0
T3	13072	12245	0	0
T4	44826	44152	0	0
T9	83429	83188	0	0
T10	11172	10872	0	0
T11	4848	4795	0	0
T12	15054	14752	0	0
T13	14393	14061	0	0
T14	12081	11807	0	0