Unified Coverage Report :: Module :: otp_ctrl_lci

Module : otp_ctrl_lci

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
93.85	94.23	83.33		100.00	91.67	100.00

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_ip_otp_ctrl_1.0/rtl/otp_ctrl_lci.sv

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.u_otp_ctrl_lci	93.85	94.23	83.33		100.00	91.67	100.00

---

Module Instance : tb.dut.u_otp_ctrl_lci

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
93.85	94.23	83.33		100.00	91.67	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
95.12	95.08	83.33	100.00	100.00	92.31	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
90.86	95.10	88.12	78.08		96.00	97.01	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
u_prim_count	100.00			100.00
u_state_regs	100.00	100.00				100.00	100.00

---

Since this is the module's only instance, the coverage report is the same as for the module.

Line Coverage for Module : otp_ctrl_lci

	Line No.	Total	Covered	Percent
TOTAL		52	49	94.23
CONT_ASSIGN	114	1	1	100.00
ALWAYS	117	41	38	92.68
CONT_ASSIGN	257	1	1	100.00
CONT_ASSIGN	263	1	1	100.00
CONT_ASSIGN	264	1	1	100.00
CONT_ASSIGN	267	1	1	100.00
ALWAYS	273	3	3	100.00
ALWAYS	276	3	3	100.00

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

Line No.	Covered	Statements
114	1	1
117	1	1
120	1	1
121	1	1
124	1	1
127	1	1
128	1	1
131	1	1
132	1	1
135	1	1
136	1	1
138	1	1
142	1	1
143	1	1
144	1	1
			MISSING_ELSE
150	1	1
151	1	1
152	1	1
			MISSING_ELSE
160	1	1
161	1	1
162	1	1
163	1	1
164	1	1
			MISSING_ELSE
172	1	1
173	1	1
179	1	1
180	0	1
			MISSING_ELSE
185	1	1
186	1	1
187	1	1
190	1	1
191	0	1
192	0	1
			MISSING_ELSE
196	1	1
197	1	1
			MISSING_ELSE
206	1	1
207	1	1
			MISSING_ELSE
222	1	1
223	1	1
224	1	1
225	1	1
226	1	1
			MISSING_ELSE
			MISSING_ELSE
257	1	1
263	1	1
264	1	1
267	1	1
273	3	3
276	1	1
277	1	1
279	1	1

---

Cond Coverage for Module : otp_ctrl_lci

	Total	Covered	Percent
Conditions	12	10	83.33
Logical	12	10	83.33
Non-Logical	0	0
Event	0	0

 LINE       179
 EXPRESSION (otp_err_e'(otp_err_i) != NoError)
            -----------------1----------------

-1-	Status	Tests
0	Covered	T4,T5,T7
1	Not Covered

 LINE       185
 EXPRESSION (cnt == LastLcOtpWord)
            -----------1----------

-1-	Status	Tests
0	Covered	T4,T5,T7
1	Covered	T4,T5,T7

 LINE       190
 EXPRESSION (error_d != NoError)
            ----------1---------

-1-	Status	Tests
0	Covered	T4,T5,T7
1	Not Covered

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T14,T15,T16

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

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

 LINE       264
 EXPRESSION (otp_req_o ? (64'(data[cnt])) : '0)
             ----1----

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

---

FSM Coverage for Module : otp_ctrl_lci

Summary for FSM :: state_q

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

State, Transition and Sequence Details for FSM :: state_q

---

states	Line No.	Covered	Tests
ErrorSt	192	Covered	T1,T2,T3
IdleSt	144	Covered	T1,T2,T3
ResetSt	141	Covered	T1,T2,T3
WriteSt	151	Covered	T4,T5,T7
WriteWaitSt	164	Covered	T4,T5,T7

transitions	Line No.	Covered	Tests
IdleSt->ErrorSt	223	Covered	T1,T9,T8
IdleSt->WriteSt	151	Covered	T4,T5,T7
ResetSt->ErrorSt	223	Covered	T2,T3,T17
ResetSt->IdleSt	144	Covered	T1,T2,T3
WriteSt->ErrorSt	223	Covered	T151,T254
WriteSt->WriteWaitSt	164	Covered	T4,T5,T7
WriteWaitSt->ErrorSt	192	Covered	T258,T259,T260
WriteWaitSt->IdleSt	186	Covered	T4,T5,T7
WriteWaitSt->WriteSt	196	Covered	T4,T5,T7

---

Branch Coverage for Module : otp_ctrl_lci

	Line No.	Total	Covered	Percent
Branches		24	22	91.67
TERNARY	264	2	2	100.00
CASE	138	15	13	86.67
IF	222	3	3	100.00
IF	273	2	2	100.00
IF	276	2	2	100.00

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

	LineNo.	Expression
-1-:	264	(otp_req_o) ? 

Branches:

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

	LineNo.	Expression
-1-:	138	case (state_q)
-2-:	143	if (lci_en_i)
-3-:	150	if (lc_req_i)
-4-:	163	if (otp_gnt_i)
-5-:	173	if (otp_rvalid_i)
-6-:	179	if ((otp_err_e'(otp_err_i) != NoError))
-7-:	185	if ((cnt == LastLcOtpWord))
-8-:	190	if ((error_d != NoError))
-9-:	206	if ((error_q == NoError))

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	Status	Tests
ResetSt	1	-	-	-	-	-	-	-	Covered	T1,T2,T3
ResetSt	0	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	1	-	-	-	-	-	-	Covered	T4,T5,T7
IdleSt	-	0	-	-	-	-	-	-	Covered	T1,T2,T3
WriteSt	-	-	1	-	-	-	-	-	Covered	T4,T5,T7
WriteSt	-	-	0	-	-	-	-	-	Covered	T151,T150,T254
WriteWaitSt	-	-	-	1	1	-	-	-	Not Covered
WriteWaitSt	-	-	-	1	0	-	-	-	Covered	T4,T5,T7
WriteWaitSt	-	-	-	1	-	1	1	-	Not Covered
WriteWaitSt	-	-	-	1	-	1	0	-	Covered	T4,T5,T7
WriteWaitSt	-	-	-	1	-	0	-	-	Covered	T4,T5,T7
WriteWaitSt	-	-	-	0	-	-	-	-	Covered	T4,T5,T7
ErrorSt	-	-	-	-	-	-	-	1	Covered	T14,T15,T16
ErrorSt	-	-	-	-	-	-	-	0	Covered	T1,T2,T3
default	-	-	-	-	-	-	-	-	Covered	T14,T15,T16

	LineNo.	Expression
-1-:	222	if ((lc_ctrl_pkg::lc_tx_test_true_loose(escalate_en_i) || cnt_err))
-2-:	225	if ((error_q == NoError))

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-:	273	if ((!rst_ni))

Branches:

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

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

Branches:

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

---

Assert Coverage for Module : otp_ctrl_lci

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
ErrorKnown_A	26050016	25806694	0	0
LcAckKnown_A	26050016	25806694	0	0
LcErrKnown_A	26050016	25806694	0	0
LcValueMustBeWiderThanNativeOtpWidth_A	552	552	0	0
LciIdleKnown_A	26050016	25806694	0	0
OtpAddrKnown_A	26050016	25806694	0	0
OtpCmdKnown_A	26050016	25806694	0	0
OtpReqKnown_A	26050016	25806694	0	0
OtpSizeKnown_A	26050016	25806694	0	0
OtpWdataKnown_A	26050016	25806694	0	0
u_state_regs_A	26050016	25806694	0	0

ErrorKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	25806694	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0

LcAckKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	25806694	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0

LcErrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	25806694	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0

LcValueMustBeWiderThanNativeOtpWidth_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	552	552	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
T9	1	1	0	0
T17	1	1	0	0
T18	1	1	0	0
T19	1	1	0	0
T20	1	1	0	0

LciIdleKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	25806694	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0

OtpAddrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	25806694	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0

OtpCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	25806694	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0

OtpReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	25806694	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0

OtpSizeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	25806694	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0

OtpWdataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	25806694	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	26050016	25806694	0	0
T1	14672	14484	0	0
T2	14654	14378	0	0
T3	11603	11345	0	0
T4	24955	24423	0	0
T5	20141	19565	0	0
T9	24294	24025	0	0
T17	18877	18607	0	0
T18	15607	15337	0	0
T19	14051	13781	0	0
T20	12287	12094	0	0