Unified Coverage Report :: Module :: spid_upload

Module : spid_upload

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
35.68	76.15	33.33		0.00	48.94	20.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	35.68	76.15	33.33		0.00	48.94	20.00

---

Module Instance : tb.dut.u_upload

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
35.68	76.15	33.33		0.00	48.94	20.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
44.31	85.28	38.21		0.00	64.12	33.93

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
87.04	90.27	80.39	96.94		81.25	86.36	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
u_addrfifo	55.07	85.57	38.24			65.71	30.77
u_arbiter	58.10	90.79	39.22			64.29	38.10
u_cmdfifo	56.21	85.71	42.65			65.71	30.77
u_payload_buffer	72.97	94.44	30.77			66.67	100.00
u_payloadptr_clr_psync	56.25	100.00	25.00			100.00	0.00
u_sys_cmdfifo_set	78.34	94.12	50.00			90.91

---

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	83	76.15
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	4	66.67
ALWAYS	262	3	2	66.67
ALWAYS	268	4	3	75.00
CONT_ASSIGN	307	1	1	100.00
ALWAYS	322	3	3	100.00
ALWAYS	346	10	5	50.00
ALWAYS	367	8	5	62.50
ALWAYS	390	8	5	62.50
ALWAYS	408	6	4	66.67
ALWAYS	418	6	4	66.67
CONT_ASSIGN	425	1	1	100.00
ALWAYS	428	3	3	100.00
ALWAYS	438	26	19	73.08
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	1	2
258	1	2
			MISSING_ELSE
262	1	1
263	1	1
264	0	1
			MISSING_ELSE
268	1	1
269	1	1
270	1	1
271	0	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	0	1
351	0	1
352	1	1
353	0	1
355	0	1
			==> MISSING_ELSE
357	0	1
			MISSING_ELSE
367	2	2
368	1	2
369	1	1
370	0	1
371	1	1
372	0	1
			MISSING_ELSE
390	2	2
391	1	2
392	1	1
395	0	1
396	1	1
399	0	1
			MISSING_ELSE
408	2	2
409	1	2
410	1	1
411	0	1
			MISSING_ELSE
418	2	2
419	1	2
420	1	1
421	0	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	0	1
483	0	1
484	0	1
486	0	1
			==> MISSING_ELSE
492	0	1
493	0	1
494	0	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	12	33.33
Logical	36	12	33.33
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	T3,T4,T5

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

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

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

-1-	Status	Tests
0	Not Covered
1	Not Covered

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

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T3,T4,T5
1	1	Not Covered

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

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Covered	T6,T7

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

-1-	Status	Tests
0	Not Covered
1	Not Covered

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

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 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	Not Covered

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

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 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	Not Covered

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

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 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	T3,T4,T5
1	1	Covered	T6,T7

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

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

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

-1-	Status	Tests
0	Not Covered
1	Not Covered

---

FSM Coverage for Module : spid_upload

Summary for FSM :: st_q

	Total	Covered	Percent
States	3	1	33.33	(Not included in score)
Transitions	3	0	0.00
Sequences	0	0

State, Transition and Sequence Details for FSM :: st_q

---

states	Line No.	Covered	Tests
StAddress	456	Not Covered
StIdle	453	Covered	T1,T2,T3
StPayload	461	Not Covered

transitions	Line No.	Covered	Tests
StAddress->StPayload	484	Not Covered
StIdle->StAddress	456	Not Covered
StIdle->StPayload	461	Not Covered

---

Branch Coverage for Module : spid_upload

	Line No.	Total	Covered	Percent
Branches		47	23	48.94
IF	256	5	2	40.00
IF	263	2	1	50.00
IF	268	3	2	66.67
IF	322	2	2	100.00
IF	346	5	2	40.00
IF	367	5	2	40.00
IF	390	5	2	40.00
IF	408	4	2	50.00
IF	418	4	2	50.00
IF	428	2	2	100.00
CASE	452	10	4	40.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	-	Not Covered
0	1	0	-	Not Covered
0	0	-	1	Not Covered
0	0	-	0	Covered	T3,T4,T5

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

Branches:

-1-	Status	Tests
1	Not Covered
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	Not Covered
0	0	Covered	T3,T4,T5

	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	-	-	Not Covered
0	0	1	1	Not Covered
0	0	1	0	Not Covered
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	-	-	Not Covered
0	0	1	-	Not Covered
0	0	0	1	Not Covered
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	-	-	Not Covered
0	0	1	-	Not Covered
0	0	0	1	Not Covered
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	-	Not Covered
0	0	1	Not Covered
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	-	Not Covered
0	0	1	Not Covered
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	T3,T4,T5

	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	T7
StIdle	1	0	-	-	-	Covered	T6
StIdle	1	-	1	-	-	Covered	T6,T7
StIdle	1	-	0	-	-	Not Covered
StIdle	0	-	-	-	-	Covered	T1,T2,T3
StAddress	-	-	-	1	-	Not Covered
StAddress	-	-	-	0	-	Not Covered
StPayload	-	-	-	-	1	Not Covered
StPayload	-	-	-	-	0	Not Covered
default	-	-	-	-	-	Not Covered

---

Assert Coverage for Module : spid_upload

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
AddrFifoNeverFull_M	39957054	0	0	0
CmdFifoNeverFull_M	39957054	0	0	0
CmdFifoPush_A	39957054	0	0	0
FifosOnlyOneValid_A	39957054	26855639	0	0
PayloadNeverFull_M	39957054	0	0	0

AddrFifoNeverFull_M

Name	Attempts	Real Successes	Failures	Incomplete
Total	39957054	0	0	0

CmdFifoNeverFull_M

Name	Attempts	Real Successes	Failures	Incomplete
Total	39957054	0	0	0

CmdFifoPush_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	39957054	0	0	0

FifosOnlyOneValid_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	39957054	26855639	0	0
T3	76566	76512	0	0
T4	138390	138390	0	0
T5	53720	53720	0	0
T8	125137	125136	0	0
T9	12448	12448	0	0
T10	0	85892	0	0
T11	0	83224	0	0
T12	0	337056	0	0
T13	0	250512	0	0
T14	0	65817	0	0
T15	2829	0	0	0
T16	248374	0	0	0
T17	3415	0	0	0
T18	2408	0	0	0
T19	125403	0	0	0

PayloadNeverFull_M

Name	Attempts	Real Successes	Failures	Incomplete
Total	39957054	0	0	0