Unified Coverage Report :: Module :: spid_upload

Module : spid_upload

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
96.37	100.00	86.11		100.00	95.74	100.00

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_ip_spi_device_0.1/rtl/spid_upload.sv

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.u_upload	96.37	100.00	86.11		100.00	95.74	100.00

---

Module Instance : tb.dut.u_upload

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
96.37	100.00	86.11		100.00	95.74	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
91.23	98.60	74.15		100.00	94.12	89.29

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
91.60	94.25	84.31	96.51		87.50	95.45	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
u_addrfifo	93.75	100.00	75.00			100.00	100.00
u_arbiter	71.57	92.21	51.22			71.43	71.43
u_cmdfifo	93.75	100.00	75.00			100.00	100.00
u_payload_buffer	96.15	100.00	84.62			100.00	100.00
u_payloadptr_clr_psync	100.00	100.00	100.00			100.00	100.00
u_sys_cmdfifo_set	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 : spid_upload

	Line No.	Total	Covered	Percent
TOTAL		109	109	100.00
CONT_ASSIGN	134	1	1	100.00
CONT_ASSIGN	137	1	1	100.00
CONT_ASSIGN	143	1	1	100.00
CONT_ASSIGN	194	1	1	100.00
CONT_ASSIGN	206	1	1	100.00
CONT_ASSIGN	213	1	1	100.00
CONT_ASSIGN	234	1	1	100.00
CONT_ASSIGN	241	1	1	100.00
CONT_ASSIGN	242	1	1	100.00
CONT_ASSIGN	244	1	1	100.00
CONT_ASSIGN	246	1	1	100.00
CONT_ASSIGN	251	1	1	100.00
CONT_ASSIGN	252	1	1	100.00
ALWAYS	256	6	6	100.00
ALWAYS	262	3	3	100.00
ALWAYS	268	4	4	100.00
CONT_ASSIGN	307	1	1	100.00
ALWAYS	322	3	3	100.00
ALWAYS	346	10	10	100.00
ALWAYS	367	8	8	100.00
ALWAYS	390	8	8	100.00
ALWAYS	408	6	6	100.00
ALWAYS	418	6	6	100.00
CONT_ASSIGN	425	1	1	100.00
ALWAYS	428	3	3	100.00
ALWAYS	438	26	26	100.00
CONT_ASSIGN	570	1	1	100.00
CONT_ASSIGN	577	1	1	100.00
CONT_ASSIGN	578	1	1	100.00
CONT_ASSIGN	579	1	1	100.00
CONT_ASSIGN	580	1	1	100.00
CONT_ASSIGN	630	1	1	100.00
CONT_ASSIGN	637	1	1	100.00
CONT_ASSIGN	638	1	1	100.00
CONT_ASSIGN	639	1	1	100.00
CONT_ASSIGN	640	1	1	100.00
CONT_ASSIGN	707	1	1	100.00

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

Line No.	Covered	Statements
134	1	1
137	1	1
143	1	1
194	1	1
206	1	1
213	1	1
234	1	1
241	1	1
242	1	1
244	1	1
246	1	1
251	1	1
252	1	1
256	2	2
257	2	2
258	2	2
			MISSING_ELSE
262	1	1
263	1	1
264	1	1
			MISSING_ELSE
268	1	1
269	1	1
270	1	1
271	1	1
			MISSING_ELSE
307	1	1
322	1	1
323	1	1
325	1	1
346	1	1
347	1	1
348	1	1
349	1	1
350	1	1
351	1	1
352	1	1
353	1	1
355	1	1
			MISSING_ELSE
357	1	1
			MISSING_ELSE
367	2	2
368	2	2
369	1	1
370	1	1
371	1	1
372	1	1
			MISSING_ELSE
390	2	2
391	2	2
392	1	1
395	1	1
396	1	1
399	1	1
			MISSING_ELSE
408	2	2
409	2	2
410	1	1
411	1	1
			MISSING_ELSE
418	2	2
419	2	2
420	1	1
421	1	1
			MISSING_ELSE
425	1	1
428	1	1
429	1	1
431	1	1
438	1	1
440	1	1
441	1	1
442	1	1
444	1	1
445	1	1
447	1	1
449	1	1
450	1	1
452	1	1
454	1	1
455	1	1
456	1	1
459	1	1
461	1	1
465	1	1
469	1	1
471	1	1
			==> MISSING_ELSE
475	1	1
			MISSING_ELSE
481	1	1
483	1	1
484	1	1
486	1	1
			MISSING_ELSE
492	1	1
493	1	1
494	1	1
			MISSING_ELSE
570	1	1
577	1	1
578	1	1
579	1	1
580	1	1
630	1	1
637	1	1
638	1	1
639	1	1
640	1	1
707	1	1

---

Cond Coverage for Module : spid_upload

	Total	Covered	Percent
Conditions	36	31	86.11
Logical	36	31	86.11
Non-Logical	0	0
Event	0	0

 LINE       242
 EXPRESSION (cmdinfo_addr_mode != AddrDisabled)
            -----------------1-----------------

-1-	Status	Tests
0	Covered	T20,T21,T22
1	Covered	T20,T21,T22

 LINE       244
 EXPRESSION (cmdinfo_addr_mode == Addr4B)
            --------------1--------------

-1-	Status	Tests
0	Covered	T20,T21,T22
1	Covered	T20,T21,T22

 LINE       257
 EXPRESSION (cmdinfo_addr_4b_en ? 5'd31 : 5'd23)
             ---------1--------

-1-	Status	Tests
0	Covered	T20,T30,T34
1	Covered	T30,T34,T43

 LINE       270
 EXPRESSION (s2p_valid_i && addr_shift)
             -----1-----    -----2----

-1-	-2-	Status	Tests
0	1	Covered	T20,T30,T34
1	0	Covered	T20,T21,T22
1	1	Covered	T20,T30,T34

 LINE       307
 EXPRESSION (cmdfifo_wvalid && cmdfifo_wready)
             -------1------    -------2------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Covered	T20,T30,T34

 LINE       353
 EXPRESSION (payloadptr == 8'((PayloadByte - 1)))
            ------------------1------------------

-1-	Status	Tests
0	Covered	T20,T30,T34
1	Covered	T20,T30,T34

 LINE       369
 EXPRESSION (sys_cmdfifo_set && payload_max)
             -------1-------    -----2-----

-1-	-2-	Status	Tests
0	1	Covered	T20,T30,T34
1	0	Covered	T20,T30,T34
1	1	Covered	T20,T30,T34

 LINE       371
 EXPRESSION (sys_cmdfifo_set && ((!payload_max)))
             -------1-------    --------2-------

-1-	-2-	Status	Tests
0	1	Covered	T20,T21,T22
1	0	Not Covered
1	1	Covered	T20,T30,T34

 LINE       392
 EXPRESSION (sys_cmdfifo_set && payload_max)
             -------1-------    -----2-----

-1-	-2-	Status	Tests
0	1	Covered	T20,T30,T34
1	0	Covered	T20,T30,T34
1	1	Covered	T20,T30,T34

 LINE       396
 EXPRESSION (sys_cmdfifo_set && ((!payload_max)))
             -------1-------    --------2-------

-1-	-2-	Status	Tests
0	1	Covered	T20,T21,T22
1	0	Not Covered
1	1	Covered	T20,T30,T34

 LINE       410
 EXPRESSION (payloadptr_inc && payload_max)
             -------1------    -----2-----

-1-	-2-	Status	Tests
0	1	Covered	T20,T30,T34
1	0	Covered	T20,T30,T34
1	1	Covered	T20,T30,T34

 LINE       454
 EXPRESSION (s2p_valid_i && (cmd_only_sel_dp_i == DpUpload))
             -----1-----    ---------------2---------------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T20,T21,T22
1	1	Covered	T20,T30,T34

 LINE       454
 SUB-EXPRESSION (cmd_only_sel_dp_i == DpUpload)
                ---------------1---------------

-1-	Status	Tests
0	Covered	T20,T21,T22
1	Covered	T20,T30,T34

 LINE       483
 EXPRESSION (addrcnt == '0)
            -------1-------

-1-	Status	Tests
0	Covered	T20,T30,T34
1	Covered	T20,T30,T34

---

FSM Coverage for Module : spid_upload

Summary for FSM :: st_q

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

State, Transition and Sequence Details for FSM :: st_q

---

states	Line No.	Covered	Tests
StAddress	456	Covered	T20,T30,T34
StIdle	453	Covered	T20,T21,T22
StPayload	461	Covered	T20,T30,T34

transitions	Line No.	Covered	Tests
StAddress->StPayload	484	Covered	T20,T30,T34
StIdle->StAddress	456	Covered	T20,T30,T34
StIdle->StPayload	461	Covered	T30,T34,T43

---

Branch Coverage for Module : spid_upload

	Line No.	Total	Covered	Percent
Branches		47	45	95.74
IF	256	5	5	100.00
IF	263	2	2	100.00
IF	268	3	3	100.00
IF	322	2	2	100.00
IF	346	5	5	100.00
IF	367	5	5	100.00
IF	390	5	5	100.00
IF	408	4	4	100.00
IF	418	4	4	100.00
IF	428	2	2	100.00
CASE	452	10	8	80.00

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

	LineNo.	Expression
-1-:	256	if ((!rst_ni))
-2-:	257	if (addr_update)
-3-:	257	(cmdinfo_addr_4b_en) ? 
-4-:	258	if (addr_shift)

Branches:

-1-	-2-	-3-	-4-	Status	Tests
1	-	-	-	Covered	T20,T21,T22
0	1	1	-	Covered	T30,T34,T43
0	1	0	-	Covered	T20,T30,T34
0	0	-	1	Covered	T20,T30,T34
0	0	-	0	Covered	T20,T21,T22

	LineNo.	Expression
-1-:	263	if (addr_shift)

Branches:

-1-	Status	Tests
1	Covered	T20,T30,T34
0	Covered	T20,T21,T22

	LineNo.	Expression
-1-:	268	if ((!rst_ni))
-2-:	270	if ((s2p_valid_i && addr_shift))

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T20,T21,T22
0	1	Covered	T20,T30,T34
0	0	Covered	T20,T21,T22

	LineNo.	Expression
-1-:	322	if ((!sys_rst_ni))

Branches:

-1-	Status	Tests
1	Covered	T20,T21,T22
0	Covered	T20,T21,T22

	LineNo.	Expression
-1-:	346	if ((!sys_rst_ni))
-2-:	349	if (payloadptr_clr)
-3-:	352	if (payloadptr_inc)
-4-:	353	if ((payloadptr == 8'((PayloadByte - 1))))

Branches:

-1-	-2-	-3-	-4-	Status	Tests
1	-	-	-	Covered	T20,T21,T22
0	1	-	-	Covered	T20,T30,T34
0	0	1	1	Covered	T20,T30,T34
0	0	1	0	Covered	T20,T30,T34
0	0	0	-	Covered	T20,T21,T22

	LineNo.	Expression
-1-:	367	if ((!sys_rst_ni))
-2-:	368	if (sys_payloadptr_clr_posedge)
-3-:	369	if ((sys_cmdfifo_set && payload_max))
-4-:	371	if ((sys_cmdfifo_set && (!payload_max)))

Branches:

-1-	-2-	-3-	-4-	Status	Tests
1	-	-	-	Covered	T20,T21,T22
0	1	-	-	Covered	T20,T30,T34
0	0	1	-	Covered	T20,T30,T34
0	0	0	1	Covered	T20,T30,T34
0	0	0	0	Covered	T20,T21,T22

	LineNo.	Expression
-1-:	390	if ((!sys_rst_ni))
-2-:	391	if (sys_payloadptr_clr_posedge)
-3-:	392	if ((sys_cmdfifo_set && payload_max))
-4-:	396	if ((sys_cmdfifo_set && (!payload_max)))

Branches:

-1-	-2-	-3-	-4-	Status	Tests
1	-	-	-	Covered	T20,T21,T22
0	1	-	-	Covered	T20,T30,T34
0	0	1	-	Covered	T20,T30,T34
0	0	0	1	Covered	T20,T30,T34
0	0	0	0	Covered	T20,T21,T22

	LineNo.	Expression
-1-:	408	if ((!sys_rst_ni))
-2-:	409	if (payloadptr_clr)
-3-:	410	if ((payloadptr_inc && payload_max))

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Covered	T20,T21,T22
0	1	-	Covered	T20,T30,T34
0	0	1	Covered	T20,T30,T34
0	0	0	Covered	T20,T21,T22

	LineNo.	Expression
-1-:	418	if ((!sys_rst_ni))
-2-:	419	if (sys_payloadptr_clr_posedge)
-3-:	420	if (sys_cmdfifo_set)

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Covered	T20,T21,T22
0	1	-	Covered	T20,T30,T34
0	0	1	Covered	T20,T30,T34
0	0	0	Covered	T20,T21,T22

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

Branches:

-1-	Status	Tests
1	Covered	T20,T21,T22
0	Covered	T20,T21,T22

	LineNo.	Expression
-1-:	452	case (st_q)
-2-:	454	if ((s2p_valid_i && (cmd_only_sel_dp_i == DpUpload)))
-3-:	455	if (cmdinfo_addr_en)
-4-:	469	if (cmd_only_info_i.busy)
-5-:	483	if ((addrcnt == '0))
-6-:	492	if (s2p_valid_i)

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	Status	Tests
StIdle	1	1	-	-	-	Covered	T20,T30,T34
StIdle	1	0	-	-	-	Covered	T30,T34,T43
StIdle	1	-	1	-	-	Covered	T20,T30,T34
StIdle	1	-	0	-	-	Not Covered
StIdle	0	-	-	-	-	Covered	T20,T21,T22
StAddress	-	-	-	1	-	Covered	T20,T30,T34
StAddress	-	-	-	0	-	Covered	T20,T30,T34
StPayload	-	-	-	-	1	Covered	T20,T30,T34
StPayload	-	-	-	-	0	Covered	T20,T30,T34
default	-	-	-	-	-	Not Covered

---

Assert Coverage for Module : spid_upload

	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
AddrFifoNeverFull_M	178691048	1675	0	0
CmdFifoNeverFull_M	178691048	2344	0	0
CmdFifoPush_A	178691048	2344	0	0
FifosOnlyOneValid_A	178691048	137936649	0	0
PayloadNeverFull_M	178691048	648472	0	0

AddrFifoNeverFull_M

Name	Attempts	Real Successes	Failures	Incomplete
Total	178691048	1675	0	0
T2	0	13	0	0
T20	530293	3	0	0
T21	44652	0	0	0
T22	73802	0	0	0
T23	106866	0	0	0
T24	224107	0	0	0
T25	41220	0	0	0
T27	55472	0	0	0
T29	11568	0	0	0
T30	803168	18	0	0
T31	16616	0	0	0
T34	0	14	0	0
T43	0	10	0	0
T56	0	7	0	0
T65	0	15	0	0
T73	0	29	0	0
T74	0	2	0	0
T75	0	2	0	0

CmdFifoNeverFull_M

Name	Attempts	Real Successes	Failures	Incomplete
Total	178691048	2344	0	0
T2	0	15	0	0
T20	530293	3	0	0
T21	44652	0	0	0
T22	73802	0	0	0
T23	106866	0	0	0
T24	224107	0	0	0
T25	41220	0	0	0
T27	55472	0	0	0
T29	11568	0	0	0
T30	803168	21	0	0
T31	16616	0	0	0
T34	0	18	0	0
T43	0	17	0	0
T56	0	11	0	0
T65	0	19	0	0
T73	0	38	0	0
T74	0	2	0	0
T75	0	2	0	0

CmdFifoPush_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	178691048	2344	0	0
T2	0	15	0	0
T20	530293	3	0	0
T21	44652	0	0	0
T22	73802	0	0	0
T23	106866	0	0	0
T24	224107	0	0	0
T25	41220	0	0	0
T27	55472	0	0	0
T29	11568	0	0	0
T30	803168	21	0	0
T31	16616	0	0	0
T34	0	18	0	0
T43	0	17	0	0
T56	0	11	0	0
T65	0	19	0	0
T73	0	38	0	0
T74	0	2	0	0
T75	0	2	0	0

FifosOnlyOneValid_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	178691048	137936649	0	0
T20	530293	254364	0	0
T21	44652	44652	0	0
T22	73802	73456	0	0
T23	106866	106866	0	0
T24	224107	223988	0	0
T25	41220	0	0	0
T27	55472	55472	0	0
T29	11568	11568	0	0
T30	803168	678307	0	0
T31	16616	16616	0	0
T32	0	36974	0	0

PayloadNeverFull_M

Name	Attempts	Real Successes	Failures	Incomplete
Total	178691048	648472	0	0
T2	0	2299	0	0
T20	530293	935	0	0
T21	44652	0	0	0
T22	73802	0	0	0
T23	106866	0	0	0
T24	224107	0	0	0
T25	41220	0	0	0
T27	55472	0	0	0
T29	11568	0	0	0
T30	803168	1809	0	0
T31	16616	0	0	0
T34	0	3217	0	0
T43	0	3215	0	0
T56	0	770	0	0
T65	0	4144	0	0
T73	0	8475	0	0
T74	0	133	0	0
T75	0	256	0	0