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.69	94.25	84.31	96.94		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	T1,T2,T3
1	Covered	T1,T2,T3

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

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

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

-1-	Status	Tests
0	Covered	T1,T5,T8
1	Covered	T1,T5,T8

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

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

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

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Covered	T1,T5,T8

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

-1-	Status	Tests
0	Covered	T1,T5,T8
1	Covered	T1,T5,T8

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

-1-	-2-	Status	Tests
0	1	Covered	T1,T5,T8
1	0	Covered	T1,T5,T8
1	1	Covered	T1,T5,T8

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

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

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

-1-	-2-	Status	Tests
0	1	Covered	T1,T5,T8
1	0	Covered	T1,T5,T8
1	1	Covered	T1,T5,T8

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

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

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

-1-	-2-	Status	Tests
0	1	Covered	T1,T5,T8
1	0	Covered	T1,T5,T8
1	1	Covered	T1,T5,T8

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

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

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

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

-1-	Status	Tests
0	Covered	T1,T5,T8
1	Covered	T1,T5,T8

---

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	T1,T5,T8
StIdle	453	Covered	T1,T2,T3
StPayload	461	Covered	T1,T5,T8

transitions	Line No.	Covered	Tests
StAddress->StPayload	484	Covered	T1,T5,T8
StIdle->StAddress	456	Covered	T1,T5,T8
StIdle->StPayload	461	Covered	T1,T5,T8

---

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

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

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

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

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

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

Branches:

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

	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	T1,T5,T8
StIdle	1	0	-	-	-	Covered	T1,T5,T8
StIdle	1	-	1	-	-	Covered	T1,T5,T8
StIdle	1	-	0	-	-	Not Covered
StIdle	0	-	-	-	-	Covered	T1,T2,T3
StAddress	-	-	-	1	-	Covered	T1,T5,T8
StAddress	-	-	-	0	-	Covered	T1,T5,T8
StPayload	-	-	-	-	1	Covered	T1,T5,T8
StPayload	-	-	-	-	0	Covered	T1,T5,T8
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	387241826	3913	0	0
CmdFifoNeverFull_M	387241826	5281	0	0
CmdFifoPush_A	387241826	5281	0	0
FifosOnlyOneValid_A	387241826	297405158	0	0
PayloadNeverFull_M	387241826	1378688	0	0

AddrFifoNeverFull_M

Name	Attempts	Real Successes	Failures	Incomplete
Total	387241826	3913	0	0
T1	460010	4	0	0
T2	105793	0	0	0
T3	106043	0	0	0
T4	2448	0	0	0
T5	103440	5	0	0
T6	421	0	0	0
T8	879982	6	0	0
T9	390374	15	0	0
T10	134594	0	0	0
T11	31377	0	0	0
T20	0	15	0	0
T25	0	11	0	0
T26	0	2	0	0
T41	0	2	0	0
T43	0	15	0	0
T59	0	20	0	0

CmdFifoNeverFull_M

Name	Attempts	Real Successes	Failures	Incomplete
Total	387241826	5281	0	0
T1	460010	7	0	0
T2	105793	0	0	0
T3	106043	0	0	0
T4	2448	0	0	0
T5	103440	7	0	0
T6	421	0	0	0
T8	879982	18	0	0
T9	390374	20	0	0
T10	134594	0	0	0
T11	31377	0	0	0
T20	0	16	0	0
T25	0	12	0	0
T26	0	2	0	0
T41	0	2	0	0
T43	0	16	0	0
T59	0	21	0	0

CmdFifoPush_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	387241826	5281	0	0
T1	460010	7	0	0
T2	105793	0	0	0
T3	106043	0	0	0
T4	2448	0	0	0
T5	103440	7	0	0
T6	421	0	0	0
T8	879982	18	0	0
T9	390374	20	0	0
T10	134594	0	0	0
T11	31377	0	0	0
T20	0	16	0	0
T25	0	12	0	0
T26	0	2	0	0
T41	0	2	0	0
T43	0	16	0	0
T59	0	21	0	0

FifosOnlyOneValid_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	387241826	297405158	0	0
T1	460010	282686	0	0
T2	105793	105702	0	0
T3	106043	105510	0	0
T4	2448	0	0	0
T5	103440	103113	0	0
T6	421	0	0	0
T8	879982	689632	0	0
T9	390374	387622	0	0
T10	134594	134254	0	0
T11	31377	30784	0	0
T12	0	15078	0	0
T13	0	76260	0	0

PayloadNeverFull_M

Name	Attempts	Real Successes	Failures	Incomplete
Total	387241826	1378688	0	0
T1	460010	1276	0	0
T2	105793	0	0	0
T3	106043	0	0	0
T4	2448	0	0	0
T5	103440	2528	0	0
T6	421	0	0	0
T8	879982	1586	0	0
T9	390374	3092	0	0
T10	134594	0	0	0
T11	31377	0	0	0
T20	0	4716	0	0
T25	0	3624	0	0
T26	0	1024	0	0
T43	0	2977	0	0
T59	0	605	0	0
T100	0	1676	0	0