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	T22,T23,T24
1	0	Covered	T22,T23,T24

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

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

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

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

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

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

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

 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	T22,T23,T24
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	T1,T2,T3
WriteSt	289	Covered	T1,T2,T3
WriteWaitSt	273	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests
IdleSt->ReadSt	219	Covered	T1,T2,T3
IdleSt->WriteCheckSt	223	Covered	T1,T2,T3
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	T1,T2,T3
WriteSt->IdleSt	310	Covered	T1,T2,T3
WriteWaitSt->WriteCheckSt	291	Covered	T1,T2,T3
WriteWaitSt->WriteSt	289	Covered	T1,T2,T3

---

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

	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	T1,T2,T3
IdleSt	-	-	1	ReadRaw	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	1	WriteRaw	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	1	default	-	-	-	-	-	-	-	-	Not Covered
IdleSt	-	-	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	1	0	1	-	-	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	1	0	0	-	-	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	1	0	-	1	-	-	-	-	Covered	T1,T2,T4
ReadWaitSt	-	-	-	-	1	0	-	0	-	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T1,T2,T3
WriteCheckSt	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
WriteWaitSt	-	-	-	-	-	-	-	-	1	1	-	-	Covered	T1,T2,T3
WriteWaitSt	-	-	-	-	-	-	-	-	1	0	-	-	Covered	T1,T2,T3
WriteWaitSt	-	-	-	-	-	-	-	-	0	-	-	-	Covered	T1,T2,T3
WriteSt	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T3,T5,T17
WriteSt	-	-	-	-	-	-	-	-	-	-	0	-	Covered	T1,T2,T3
WriteSt	-	-	-	-	-	-	-	-	-	-	-	1	Covered	T1,T2,T3
WriteSt	-	-	-	-	-	-	-	-	-	-	-	0	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T22,T23,T24
default	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T22,T23,T24

	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	480755465	12250	0	0
CheckCommands1_A	480755465	1475265	0	0
NoWrapArounds_A	480755465	4427790	0	0
SecDecWidth_A	1148	1148	0	0
u_state_regs_A	480755465	479856981	0	0

CheckCommands0_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	480755465	12250	0	0
T1	10289	2	0	0
T2	179212	17	0	0
T3	27221	2	0	0
T4	84418	17	0	0
T5	51821	2	0	0
T8	31622	5	0	0
T9	40773	2	0	0
T10	13392	3	0	0
T11	213226	6	0	0
T12	9007	4	0	0

CheckCommands1_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	480755465	1475265	0	0
T1	10289	163	0	0
T2	179212	1309	0	0
T3	27221	149	0	0
T4	84418	1256	0	0
T5	51821	181	0	0
T8	31622	329	0	0
T9	40773	1002	0	0
T10	13392	130	0	0
T11	213226	385	0	0
T12	9007	131	0	0

NoWrapArounds_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	480755465	4427790	0	0
T1	10289	583	0	0
T2	179212	4644	0	0
T3	27221	597	0	0
T4	84418	4253	0	0
T5	51821	609	0	0
T8	31622	1232	0	0
T9	40773	2356	0	0
T10	13392	522	0	0
T11	213226	1355	0	0
T12	9007	542	0	0

SecDecWidth_A

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

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	480755465	479856981	0	0
T1	10289	10004	0	0
T2	179212	177882	0	0
T3	27221	27049	0	0
T4	84418	83098	0	0
T5	51821	51708	0	0
T8	31622	31310	0	0
T9	40773	40611	0	0
T10	13392	13024	0	0
T11	213226	212667	0	0
T12	9007	7718	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	T22,T23,T24
1	0	Covered	T22,T23,T24

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

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

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

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

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

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

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

 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	T22,T23,T24
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	T1,T2,T3
WriteSt	289	Covered	T1,T2,T3
WriteWaitSt	273	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests
IdleSt->ReadSt	219	Covered	T1,T2,T3
IdleSt->WriteCheckSt	223	Covered	T1,T2,T3
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	T1,T2,T3
WriteSt->IdleSt	310	Covered	T1,T2,T3
WriteWaitSt->WriteCheckSt	291	Covered	T1,T2,T3
WriteWaitSt->WriteSt	289	Covered	T1,T2,T3

---

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

	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	T1,T2,T3
IdleSt	-	-	1	ReadRaw	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	1	WriteRaw	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	-	1	default	-	-	-	-	-	-	-	-	Excluded		VC_COV_UNR
IdleSt	-	-	0	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadSt	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	1	1	-	-	-	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	1	0	1	-	-	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	1	0	0	-	-	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	1	0	-	1	-	-	-	-	Covered	T1,T2,T4
ReadWaitSt	-	-	-	-	1	0	-	0	-	-	-	-	Covered	T1,T2,T3
ReadWaitSt	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T1,T2,T3
WriteCheckSt	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
WriteWaitSt	-	-	-	-	-	-	-	-	1	1	-	-	Covered	T1,T2,T3
WriteWaitSt	-	-	-	-	-	-	-	-	1	0	-	-	Covered	T1,T2,T3
WriteWaitSt	-	-	-	-	-	-	-	-	0	-	-	-	Covered	T1,T2,T3
WriteSt	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T3,T5,T17
WriteSt	-	-	-	-	-	-	-	-	-	-	0	-	Covered	T1,T2,T3
WriteSt	-	-	-	-	-	-	-	-	-	-	-	1	Covered	T1,T2,T3
WriteSt	-	-	-	-	-	-	-	-	-	-	-	0	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T22,T23,T24
default	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T22,T23,T24

	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	480755465	12250	0	0
CheckCommands1_A	480755465	1475265	0	0
NoWrapArounds_A	480755465	4427790	0	0
SecDecWidth_A	1148	1148	0	0
u_state_regs_A	480755465	479856981	0	0

CheckCommands0_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	480755465	12250	0	0
T1	10289	2	0	0
T2	179212	17	0	0
T3	27221	2	0	0
T4	84418	17	0	0
T5	51821	2	0	0
T8	31622	5	0	0
T9	40773	2	0	0
T10	13392	3	0	0
T11	213226	6	0	0
T12	9007	4	0	0

CheckCommands1_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	480755465	1475265	0	0
T1	10289	163	0	0
T2	179212	1309	0	0
T3	27221	149	0	0
T4	84418	1256	0	0
T5	51821	181	0	0
T8	31622	329	0	0
T9	40773	1002	0	0
T10	13392	130	0	0
T11	213226	385	0	0
T12	9007	131	0	0

NoWrapArounds_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	480755465	4427790	0	0
T1	10289	583	0	0
T2	179212	4644	0	0
T3	27221	597	0	0
T4	84418	4253	0	0
T5	51821	609	0	0
T8	31622	1232	0	0
T9	40773	2356	0	0
T10	13392	522	0	0
T11	213226	1355	0	0
T12	9007	542	0	0

SecDecWidth_A

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

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	480755465	479856981	0	0
T1	10289	10004	0	0
T2	179212	177882	0	0
T3	27221	27049	0	0
T4	84418	83098	0	0
T5	51821	51708	0	0
T8	31622	31310	0	0
T9	40773	40611	0	0
T10	13392	13024	0	0
T11	213226	212667	0	0
T12	9007	7718	0	0