Unified Coverage Report :: Module :: prim_generic_otp

Module : prim_generic_otp

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
97.81	97.27	96.67		100.00	95.12	100.00

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_prim_generic_otp_0/rtl/prim_generic_otp.sv

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.u_otp.gen_generic.u_impl_generic	99.45	97.27	100.00		100.00	100.00	100.00

---

Module Instance : tb.dut.u_otp.gen_generic.u_impl_generic

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
99.45	97.27	100.00		100.00	100.00	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
98.91	93.68	99.80	100.00	100.00	100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
							u_otp

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
u_dec	100.00	100.00	100.00
u_enc	100.00	100.00
u_prim_ram_1p_adv	99.53	98.59				100.00	100.00
u_reg_top	98.32	91.84	99.74	100.00		100.00	100.00
u_state_regs	100.00	100.00				100.00	100.00

Line Coverage for Module : prim_generic_otp

	Line No.	Total	Covered	Percent
TOTAL		110	107	97.27
CONT_ASSIGN	76	1	1	100.00
CONT_ASSIGN	80	1	0	0.00
CONT_ASSIGN	84	1	0	0.00
CONT_ASSIGN	86	1	0	0.00
CONT_ASSIGN	89	1	1	100.00
CONT_ASSIGN	92	1	1	100.00
CONT_ASSIGN	115	1	1	100.00
CONT_ASSIGN	172	1	1	100.00
CONT_ASSIGN	175	1	1	100.00
CONT_ASSIGN	176	1	1	100.00
ALWAYS	180	71	71	100.00
CONT_ASSIGN	329	1	1	100.00
CONT_ASSIGN	349	1	1	100.00
CONT_ASSIGN	353	1	1	100.00
CONT_ASSIGN	358	1	1	100.00
ALWAYS	362	0	0
ALWAYS	362	3	3	100.00
ALWAYS	396	3	3	100.00
ALWAYS	399	19	19	100.00

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

Line No.	Covered	Statements
76	1	1
80	0	1
84	0	1
86	0	1
89	1	1
92	1	1
115	1	1
172	1	1
175	1	1
176	1	1
180	1	1
181	1	1
182	1	1
183	1	1
184	1	1
185	1	1
186	1	1
187	1	1
188	1	1
189	1	1
190	1	1
191	1	1
193	1	1
196	1	1
197	1	1
198	1	1
199	1	1
200	1	1
			==> MISSING_ELSE
			MISSING_ELSE
206	1	1
207	1	1
208	1	1
212	1	1
213	1	1
214	1	1
215	1	1
216	1	1
217	1	1
219	1	1
220	1	1
223	1	1
224	1	1
227	1	1
228	1	1
231	1	1
232	1	1
			MISSING_ELSE
240	1	1
241	1	1
243	1	1
248	1	1
249	1	1
250	1	1
252	1	1
253	1	1
254	1	1
255	1	1
257	1	1
258	1	1
259	1	1
261	1	1
264	1	1
265	1	1
			MISSING_ELSE
			MISSING_ELSE
273	1	1
274	1	1
277	1	1
283	1	1
284	1	1
285	1	1
287	1	1
288	1	1
289	1	1
291	1	1
			MISSING_ELSE
298	1	1
299	1	1
300	1	1
302	1	1
304	1	1
305	1	1
			MISSING_ELSE
308	1	1
309	1	1
310	1	1
			MISSING_ELSE
315	1	1
329	1	1
349	1	1
353	1	1
358	1	1
362	1	1
363	1	1
365	1	1
396	3	3
399	1	1
400	1	1
401	1	1
402	1	1
403	1	1
404	1	1
405	1	1
406	1	1
407	1	1
409	1	1
410	1	1
411	1	1
412	1	1
413	1	1
414	1	1
415	1	1
416	1	1
			MISSING_ELSE
418	1	1
419	1	1
			MISSING_ELSE

---

Cond Coverage for Module : prim_generic_otp

	Total	Covered	Percent
Conditions	30	29	96.67
Logical	30	29	96.67
Non-Logical	0	0
Event	0	0

 LINE       92
 EXPRESSION (intg_err || fsm_err)
             ----1---    ---2---

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

 LINE       172
 EXPRESSION (cnt_clr ? '0 : (cnt_en ? ((cnt_q + 1'b1)) : cnt_q))
             ---1---

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

 LINE       172
 SUB-EXPRESSION (cnt_en ? ((cnt_q + 1'b1)) : cnt_q)
                 ---1--

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

 LINE       199
 EXPRESSION (cmd_i == Init)
            -------1-------

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

 LINE       252
 EXPRESSION (rerror[1] && integrity_en_q)
             ----1----    -------2------

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

 LINE       257
 EXPRESSION (cnt_q == size_q)
            --------1--------

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

 LINE       264
 EXPRESSION (rerror[0] && integrity_en_q)
             ----1----    -------2------

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

 LINE       287
 EXPRESSION (cnt_q == size_q)
            --------1--------

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

 LINE       308
 EXPRESSION (cnt_q == size_q)
            --------1--------

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

 LINE       349
 EXPRESSION (read_ecc_on ? ({{EccWidth {1'b0}}, rdata_corr}) : rdata_ecc)
             -----1-----

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

 LINE       353
 EXPRESSION (write_ecc_on ? ((wdata_ecc | rdata_q[cnt_q])) : (({{EccWidth {1'b0}}, wdata_q[cnt_q]} | rdata_q[cnt_q])))
             ------1-----

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

 LINE       358
 EXPRESSION ((rdata_q[cnt_q] & wdata_ecc) != rdata_q[cnt_q])
            ------------------------1-----------------------

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

 LINE       413
 EXPRESSION (ready_o && valid_i)
             ---1---    ---2---

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

---

FSM Coverage for Module : prim_generic_otp

Summary for FSM :: state_q

	Total	Covered	Percent
States	9	9	100.00	(Not included in score)
Transitions	11	11	100.00
Sequences	0	0

State, Transition and Sequence Details for FSM :: state_q

---

states	Line No.	Covered	Tests
ErrorSt	314	Covered	T19,T20,T21
IdleSt	206	Covered	T1,T2,T3
InitSt	200	Covered	T1,T2,T3
ReadSt	219	Covered	T1,T2,T3
ReadWaitSt	240	Covered	T1,T2,T3
ResetSt	195	Covered	T1,T2,T3
WriteCheckSt	223	Covered	T2,T3,T6
WriteSt	289	Covered	T2,T3,T6
WriteWaitSt	273	Covered	T2,T3,T6

transitions	Line No.	Covered	Tests
IdleSt->ReadSt	219	Covered	T1,T2,T3
IdleSt->WriteCheckSt	223	Covered	T2,T3,T6
InitSt->IdleSt	206	Covered	T1,T2,T3
ReadSt->ReadWaitSt	240	Covered	T1,T2,T3
ReadWaitSt->IdleSt	253	Covered	T1,T2,T3
ReadWaitSt->ReadSt	261	Covered	T1,T2,T3
ResetSt->InitSt	200	Covered	T1,T2,T3
WriteCheckSt->WriteWaitSt	273	Covered	T2,T3,T6
WriteSt->IdleSt	310	Covered	T2,T3,T6
WriteWaitSt->WriteCheckSt	291	Covered	T2,T3,T6
WriteWaitSt->WriteSt	289	Covered	T2,T3,T6

---

Branch Coverage for Module : prim_generic_otp

	Line No.	Total	Covered	Percent
Branches		41	39	95.12
TERNARY	172	3	3	100.00
TERNARY	349	2	2	100.00
TERNARY	353	2	2	100.00
CASE	193	27	25	92.59
IF	396	2	2	100.00
IF	399	5	5	100.00

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

	LineNo.	Expression
-1-:	172	(cnt_clr) ? 
-2-:	172	(cnt_en) ? 

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-:	349	(read_ecc_on) ? 

Branches:

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

	LineNo.	Expression
-1-:	353	(write_ecc_on) ? 

Branches:

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

	LineNo.	Expression
-1-:	193	case (state_q)
-2-:	198	if (valid_i)
-3-:	199	if ((cmd_i == Init))
-4-:	214	if (valid_i)
-5-:	217	case (cmd_i)
-6-:	249	if (rvalid)
-7-:	252	if ((rerror[1] && integrity_en_q))
-8-:	257	if ((cnt_q == size_q))
-9-:	264	if ((rerror[0] && integrity_en_q))
-10-:	284	if (rvalid)
-11-:	287	if ((cnt_q == size_q))
-12-:	304	if (wdata_inconsistent)
-13-:	308	if ((cnt_q == size_q))

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	-10-	-11-	-12-	-13-	Status	Tests
ResetSt	1	1	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ResetSt	1	0	-	-	-	-	-	-	-	-	-	-	Not Covered
ResetSt	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitSt	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	1	Read	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	1	Write	-	-	-	-	-	-	-	-	Covered	T2,T3,T6
IdleSt	-	-	1	ReadRaw	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	1	WriteRaw	-	-	-	-	-	-	-	-	Covered	T2,T3,T6
IdleSt	-	-	1	default	-	-	-	-	-	-	-	-	Not Covered
IdleSt	-	-	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T2,T6,T11
ReadWaitSt	-	-	-	-	1	0	1	-	-	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	1	0	0	-	-	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	1	0	-	1	-	-	-	-	Covered	T2,T6,T11
ReadWaitSt	-	-	-	-	1	0	-	0	-	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T1,T2,T3
WriteCheckSt	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T2,T3,T6
WriteWaitSt	-	-	-	-	-	-	-	-	1	1	-	-	Covered	T2,T3,T6
WriteWaitSt	-	-	-	-	-	-	-	-	1	0	-	-	Covered	T2,T3,T6
WriteWaitSt	-	-	-	-	-	-	-	-	0	-	-	-	Covered	T2,T3,T6
WriteSt	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T8,T9,T10
WriteSt	-	-	-	-	-	-	-	-	-	-	0	-	Covered	T2,T3,T6
WriteSt	-	-	-	-	-	-	-	-	-	-	-	1	Covered	T2,T3,T6
WriteSt	-	-	-	-	-	-	-	-	-	-	-	0	Covered	T2,T3,T6
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T19,T20,T21
default	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T19,T20,T21

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

Branches:

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

	LineNo.	Expression
-1-:	399	if ((!rst_ni))
-2-:	413	if ((ready_o && valid_i))
-3-:	418	if (rvalid)

Branches:

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

---

Assert Coverage for Module : prim_generic_otp

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
CheckCommands0_A	418887820	11807	0	0
CheckCommands1_A	418887820	1399022	0	0
NoWrapArounds_A	418887820	4204520	0	0
SecDecWidth_A	1142	1142	0	0
u_state_regs_A	418887820	418028873	0	0

CheckCommands0_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	418887820	11807	0	0
T1	18171	1	0	0
T2	10983	2	0	0
T3	12005	3	0	0
T4	66620	14	0	0
T5	25260	4	0	0
T6	10913	3	0	0
T7	27700	4	0	0
T11	12540	3	0	0
T12	8654	2	0	0
T13	15802	4	0	0

CheckCommands1_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	418887820	1399022	0	0
T1	18171	54	0	0
T2	10983	169	0	0
T3	12005	185	0	0
T4	66620	1208	0	0
T5	25260	113	0	0
T6	10913	197	0	0
T7	27700	147	0	0
T11	12540	178	0	0
T12	8654	126	0	0
T13	15802	659	0	0

NoWrapArounds_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	418887820	4204520	0	0
T1	18171	216	0	0
T2	10983	590	0	0
T3	12005	642	0	0
T4	66620	3900	0	0
T5	25260	458	0	0
T6	10913	694	0	0
T7	27700	583	0	0
T11	12540	669	0	0
T12	8654	448	0	0
T13	15802	1777	0	0

SecDecWidth_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1142	1142	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T7	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	418887820	418028873	0	0
T1	18171	18106	0	0
T2	10983	10735	0	0
T3	12005	11725	0	0
T4	66620	65527	0	0
T5	25260	25007	0	0
T6	10913	10643	0	0
T7	27700	27398	0	0
T11	12540	12258	0	0
T12	8654	8433	0	0
T13	15802	15530	0	0

Line Coverage for Instance : tb.dut.u_otp.gen_generic.u_impl_generic

	Line No.	Total	Covered	Percent
TOTAL		110	107	97.27
CONT_ASSIGN	76	1	1	100.00
CONT_ASSIGN	80	1	0	0.00
CONT_ASSIGN	84	1	0	0.00
CONT_ASSIGN	86	1	0	0.00
CONT_ASSIGN	89	1	1	100.00
CONT_ASSIGN	92	1	1	100.00
CONT_ASSIGN	115	1	1	100.00
CONT_ASSIGN	172	1	1	100.00
CONT_ASSIGN	175	1	1	100.00
CONT_ASSIGN	176	1	1	100.00
ALWAYS	180	71	71	100.00
CONT_ASSIGN	329	1	1	100.00
CONT_ASSIGN	349	1	1	100.00
CONT_ASSIGN	353	1	1	100.00
CONT_ASSIGN	358	1	1	100.00
ALWAYS	362	0	0
ALWAYS	362	3	3	100.00
ALWAYS	396	3	3	100.00
ALWAYS	399	19	19	100.00

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

Line No.	Covered	Statements
76	1	1
80	0	1
84	0	1
86	0	1
89	1	1
92	1	1
115	1	1
172	1	1
175	1	1
176	1	1
180	1	1
181	1	1
182	1	1
183	1	1
184	1	1
185	1	1
186	1	1
187	1	1
188	1	1
189	1	1
190	1	1
191	1	1
193	1	1
196	1	1
197	1	1
198	1	1
199	1	1
200	1	1
			==> MISSING_ELSE
			MISSING_ELSE
206	1	1
207	1	1
208	1	1
212	1	1
213	1	1
214	1	1
215	1	1
216	1	1
217	1	1
219	1	1
220	1	1
223	1	1
224	1	1
227	1	1
228	1	1
231	1	1
232	1	1
			Exclude Annotation: VC_COV_UNR
			MISSING_ELSE
240	1	1
241	1	1
243	1	1
248	1	1
249	1	1
250	1	1
252	1	1
253	1	1
254	1	1
255	1	1
257	1	1
258	1	1
259	1	1
261	1	1
264	1	1
265	1	1
			MISSING_ELSE
			MISSING_ELSE
273	1	1
274	1	1
277	1	1
283	1	1
284	1	1
285	1	1
287	1	1
288	1	1
289	1	1
291	1	1
			MISSING_ELSE
298	1	1
299	1	1
300	1	1
302	1	1
304	1	1
305	1	1
			MISSING_ELSE
308	1	1
309	1	1
310	1	1
			MISSING_ELSE
315	1	1
329	1	1
349	1	1
353	1	1
358	1	1
362	1	1
363	1	1
365	1	1
396	3	3
399	1	1
400	1	1
401	1	1
402	1	1
403	1	1
404	1	1
405	1	1
406	1	1
407	1	1
409	1	1
410	1	1
411	1	1
412	1	1
413	1	1
414	1	1
415	1	1
416	1	1
			MISSING_ELSE
418	1	1
419	1	1
			MISSING_ELSE

---

Cond Coverage for Instance : tb.dut.u_otp.gen_generic.u_impl_generic

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

 LINE       92
 EXPRESSION (intg_err || fsm_err)
             ----1---    ---2---

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

 LINE       172
 EXPRESSION (cnt_clr ? '0 : (cnt_en ? ((cnt_q + 1'b1)) : cnt_q))
             ---1---

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

 LINE       172
 SUB-EXPRESSION (cnt_en ? ((cnt_q + 1'b1)) : cnt_q)
                 ---1--

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

 LINE       199
 EXPRESSION (cmd_i == Init)
            -------1-------

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

 LINE       252
 EXPRESSION (rerror[1] && integrity_en_q)
             ----1----    -------2------

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

 LINE       257
 EXPRESSION (cnt_q == size_q)
            --------1--------

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

 LINE       264
 EXPRESSION (rerror[0] && integrity_en_q)
             ----1----    -------2------

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

 LINE       287
 EXPRESSION (cnt_q == size_q)
            --------1--------

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

 LINE       308
 EXPRESSION (cnt_q == size_q)
            --------1--------

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

 LINE       349
 EXPRESSION (read_ecc_on ? ({{EccWidth {1'b0}}, rdata_corr}) : rdata_ecc)
             -----1-----

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

 LINE       353
 EXPRESSION (write_ecc_on ? ((wdata_ecc | rdata_q[cnt_q])) : (({{EccWidth {1'b0}}, wdata_q[cnt_q]} | rdata_q[cnt_q])))
             ------1-----

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

 LINE       358
 EXPRESSION ((rdata_q[cnt_q] & wdata_ecc) != rdata_q[cnt_q])
            ------------------------1-----------------------

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

 LINE       413
 EXPRESSION (ready_o && valid_i)
             ---1---    ---2---

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

---

FSM Coverage for Instance : tb.dut.u_otp.gen_generic.u_impl_generic

Summary for FSM :: state_q

	Total	Covered	Percent
States	9	9	100.00	(Not included in score)
Transitions	11	11	100.00
Sequences	0	0

State, Transition and Sequence Details for FSM :: state_q

---

states	Line No.	Covered	Tests
ErrorSt	314	Covered	T19,T20,T21
IdleSt	206	Covered	T1,T2,T3
InitSt	200	Covered	T1,T2,T3
ReadSt	219	Covered	T1,T2,T3
ReadWaitSt	240	Covered	T1,T2,T3
ResetSt	195	Covered	T1,T2,T3
WriteCheckSt	223	Covered	T2,T3,T6
WriteSt	289	Covered	T2,T3,T6
WriteWaitSt	273	Covered	T2,T3,T6

transitions	Line No.	Covered	Tests
IdleSt->ReadSt	219	Covered	T1,T2,T3
IdleSt->WriteCheckSt	223	Covered	T2,T3,T6
InitSt->IdleSt	206	Covered	T1,T2,T3
ReadSt->ReadWaitSt	240	Covered	T1,T2,T3
ReadWaitSt->IdleSt	253	Covered	T1,T2,T3
ReadWaitSt->ReadSt	261	Covered	T1,T2,T3
ResetSt->InitSt	200	Covered	T1,T2,T3
WriteCheckSt->WriteWaitSt	273	Covered	T2,T3,T6
WriteSt->IdleSt	310	Covered	T2,T3,T6
WriteWaitSt->WriteCheckSt	291	Covered	T2,T3,T6
WriteWaitSt->WriteSt	289	Covered	T2,T3,T6

---

Branch Coverage for Instance : tb.dut.u_otp.gen_generic.u_impl_generic

	Line No.	Total	Covered	Percent
Branches		39	39	100.00
TERNARY	172	3	3	100.00
TERNARY	349	2	2	100.00
TERNARY	353	2	2	100.00
CASE	193	25	25	100.00
IF	396	2	2	100.00
IF	399	5	5	100.00

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

	LineNo.	Expression
-1-:	172	(cnt_clr) ? 
-2-:	172	(cnt_en) ? 

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-:	349	(read_ecc_on) ? 

Branches:

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

	LineNo.	Expression
-1-:	353	(write_ecc_on) ? 

Branches:

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

	LineNo.	Expression
-1-:	193	case (state_q)
-2-:	198	if (valid_i)
-3-:	199	if ((cmd_i == Init))
-4-:	214	if (valid_i)
-5-:	217	case (cmd_i)
-6-:	249	if (rvalid)
-7-:	252	if ((rerror[1] && integrity_en_q))
-8-:	257	if ((cnt_q == size_q))
-9-:	264	if ((rerror[0] && integrity_en_q))
-10-:	284	if (rvalid)
-11-:	287	if ((cnt_q == size_q))
-12-:	304	if (wdata_inconsistent)
-13-:	308	if ((cnt_q == size_q))

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	-10-	-11-	-12-	-13-	Status	Tests	Exclude Annotation
ResetSt	1	1	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ResetSt	1	0	-	-	-	-	-	-	-	-	-	-	Excluded		VC_COV_UNR
ResetSt	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
InitSt	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	1	Read	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	1	Write	-	-	-	-	-	-	-	-	Covered	T2,T3,T6
IdleSt	-	-	1	ReadRaw	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	1	WriteRaw	-	-	-	-	-	-	-	-	Covered	T2,T3,T6
IdleSt	-	-	1	default	-	-	-	-	-	-	-	-	Excluded		VC_COV_UNR
IdleSt	-	-	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T2,T6,T11
ReadWaitSt	-	-	-	-	1	0	1	-	-	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	1	0	0	-	-	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	1	0	-	1	-	-	-	-	Covered	T2,T6,T11
ReadWaitSt	-	-	-	-	1	0	-	0	-	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T1,T2,T3
WriteCheckSt	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T2,T3,T6
WriteWaitSt	-	-	-	-	-	-	-	-	1	1	-	-	Covered	T2,T3,T6
WriteWaitSt	-	-	-	-	-	-	-	-	1	0	-	-	Covered	T2,T3,T6
WriteWaitSt	-	-	-	-	-	-	-	-	0	-	-	-	Covered	T2,T3,T6
WriteSt	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T8,T9,T10
WriteSt	-	-	-	-	-	-	-	-	-	-	0	-	Covered	T2,T3,T6
WriteSt	-	-	-	-	-	-	-	-	-	-	-	1	Covered	T2,T3,T6
WriteSt	-	-	-	-	-	-	-	-	-	-	-	0	Covered	T2,T3,T6
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T19,T20,T21
default	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T19,T20,T21

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

Branches:

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

	LineNo.	Expression
-1-:	399	if ((!rst_ni))
-2-:	413	if ((ready_o && valid_i))
-3-:	418	if (rvalid)

Branches:

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

---

Assert Coverage for Instance : tb.dut.u_otp.gen_generic.u_impl_generic

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
CheckCommands0_A	418887820	11807	0	0
CheckCommands1_A	418887820	1399022	0	0
NoWrapArounds_A	418887820	4204520	0	0
SecDecWidth_A	1142	1142	0	0
u_state_regs_A	418887820	418028873	0	0

CheckCommands0_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	418887820	11807	0	0
T1	18171	1	0	0
T2	10983	2	0	0
T3	12005	3	0	0
T4	66620	14	0	0
T5	25260	4	0	0
T6	10913	3	0	0
T7	27700	4	0	0
T11	12540	3	0	0
T12	8654	2	0	0
T13	15802	4	0	0

CheckCommands1_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	418887820	1399022	0	0
T1	18171	54	0	0
T2	10983	169	0	0
T3	12005	185	0	0
T4	66620	1208	0	0
T5	25260	113	0	0
T6	10913	197	0	0
T7	27700	147	0	0
T11	12540	178	0	0
T12	8654	126	0	0
T13	15802	659	0	0

NoWrapArounds_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	418887820	4204520	0	0
T1	18171	216	0	0
T2	10983	590	0	0
T3	12005	642	0	0
T4	66620	3900	0	0
T5	25260	458	0	0
T6	10913	694	0	0
T7	27700	583	0	0
T11	12540	669	0	0
T12	8654	448	0	0
T13	15802	1777	0	0

SecDecWidth_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1142	1142	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T7	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	418887820	418028873	0	0
T1	18171	18106	0	0
T2	10983	10735	0	0
T3	12005	11725	0	0
T4	66620	65527	0	0
T5	25260	25007	0	0
T6	10913	10643	0	0
T7	27700	27398	0	0
T11	12540	12258	0	0
T12	8654	8433	0	0
T13	15802	15530	0	0