Unified Coverage Report :: Module :: spid_readsram

Module : spid_readsram

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
97.77	98.25	100.00		100.00	90.62	100.00

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

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.u_readcmd.u_readsram	97.77	98.25	100.00		100.00	90.62	100.00

---

Module Instance : tb.dut.u_readcmd.u_readsram

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
97.77	98.25	100.00		100.00	90.62	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
95.10	97.79	86.54		100.00	91.18	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
92.19	96.32	100.00		80.00	84.62	100.00	u_readcmd

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
u_fifo	97.62	100.00	90.48			100.00	100.00
u_sram_fifo	88.63	95.00	76.19			83.33	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_readsram

	Line No.	Total	Covered	Percent
TOTAL		57	56	98.25
CONT_ASSIGN	118	1	1	100.00
CONT_ASSIGN	123	1	1	100.00
CONT_ASSIGN	129	1	1	100.00
CONT_ASSIGN	146	1	1	100.00
CONT_ASSIGN	160	1	1	100.00
CONT_ASSIGN	161	1	1	100.00
ALWAYS	166	4	4	100.00
ALWAYS	172	6	6	100.00
ALWAYS	179	5	5	100.00
CONT_ASSIGN	189	1	1	100.00
ALWAYS	195	5	5	100.00
ALWAYS	225	3	3	100.00
ALWAYS	230	26	25	96.15
CONT_ASSIGN	346	1	1	100.00

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

Line No.	Covered	Statements
118	1	1
123	1	1
129	1	1
146	1	1
160	1	1
161	1	1
166	2	2
167	2	2
			MISSING_ELSE
172	2	2
173	2	2
174	2	2
			MISSING_ELSE
179	1	1
180	1	1
181	1	1
182	1	1
183	1	1
189	1	1
195	1	1
196	1	1
197	1	1
198	1	1
200	1	1
225	2	2
226	1	1
230	1	1
232	1	1
234	1	1
235	1	1
237	1	1
238	1	1
240	1	1
242	1	1
244	1	1
245	1	1
			MISSING_ELSE
248	1	1
251	1	1
253	1	1
258	1	1
259	1	1
			MISSING_ELSE
262	2	2
			MISSING_ELSE
264	1	1
266	1	1
268	1	1
270	1	1
277	1	1
278	1	1
279	1	1
281	1	1
283	0	1
346	1	1

---

Cond Coverage for Module : spid_readsram

	Total	Covered	Percent
Conditions	20	20	100.00
Logical	20	20	100.00
Non-Logical	0	0
Event	0	0

 LINE       161
 EXPRESSION (mailbox_en_i && (mailbox_masked_addr == mailbox_addr_i))
             ------1-----    -------------------2-------------------

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

 LINE       161
 SUB-EXPRESSION (mailbox_masked_addr == mailbox_addr_i)
                -------------------1-------------------

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

 LINE       189
 EXPRESSION ((addr_sel == AddrContinuous) ? ({(current_address_i[31:2] + 1'b1), 2'b0}) : current_address_i)
             --------------1-------------

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

 LINE       189
 SUB-EXPRESSION (addr_sel == AddrContinuous)
                --------------1-------------

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

 LINE       248
 EXPRESSION ((sram_read_req_i || sram_latched) && strb_set)
             ----------------1----------------    ----2---

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

 LINE       248
 SUB-EXPRESSION (sram_read_req_i || sram_latched)
                 -------1-------    ------2-----

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

 LINE       264
 EXPRESSION ((strb == 2'b11) && fifo_wready)
             -------1-------    -----2-----

-1-	-2-	Status	Tests
0	1	Covered	T1,T3,T6
1	0	Covered	T1,T3,T6
1	1	Covered	T1,T3,T6

 LINE       264
 SUB-EXPRESSION (strb == 2'b11)
                -------1-------

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

---

FSM Coverage for Module : spid_readsram

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
StActive	266	Covered	T1,T3,T6
StIdle	253	Covered	T1,T2,T3
StPush	251	Covered	T1,T3,T6

transitions	Line No.	Covered	Tests
StActive->StPush	279	Covered	T1,T3,T6
StIdle->StPush	251	Covered	T1,T3,T6
StPush->StActive	266	Covered	T1,T3,T6

---

Branch Coverage for Module : spid_readsram

	Line No.	Total	Covered	Percent
Branches		32	29	90.62
TERNARY	189	2	2	100.00
IF	166	3	3	100.00
IF	172	4	4	100.00
CASE	179	5	4	80.00
IF	195	3	3	100.00
IF	225	2	2	100.00
CASE	240	13	11	84.62

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

	LineNo.	Expression
-1-:	189	((addr_sel == AddrContinuous)) ? 

Branches:

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

	LineNo.	Expression
-1-:	166	if ((!rst_ni))
-2-:	167	if (sram_req)

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T1,T3,T6
0	0	Covered	T1,T3,T4

	LineNo.	Expression
-1-:	172	if ((!rst_ni))
-2-:	173	if (data_inc)
-3-:	174	if (strb_set)

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Covered	T1,T2,T3
0	1	-	Covered	T1,T3,T6
0	0	1	Covered	T1,T3,T4
0	0	0	Covered	T1,T3,T4

	LineNo.	Expression
-1-:	179	case (strb)

Branches:

-1-	Status	Tests
2'b00	Covered	T1,T2,T3
2'b01	Covered	T1,T3,T6
2'b10	Covered	T1,T3,T6
2'b11	Covered	T1,T3,T6
default	Not Covered

	LineNo.	Expression
-1-:	195	if (sfdp_hit_i)
-2-:	197	if (mailbox_hit)

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T3,T15
0	1	Covered	T1,T3,T6
0	0	Covered	T1,T2,T3

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

Branches:

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

	LineNo.	Expression
-1-:	240	case (st_q)
-2-:	244	if (sram_read_req_i)
-3-:	248	if (((sram_read_req_i || sram_latched) && strb_set))
-4-:	258	if (sram_d_valid)
-5-:	262	if (fifo_wready)
-6-:	264	if (((strb == 2'b11) && fifo_wready))
-7-:	278	if ((!sram_fifo_full))

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	Status	Tests
StIdle	1	-	-	-	-	-	Covered	T1,T3,T6
StIdle	0	-	-	-	-	-	Covered	T1,T2,T3
StIdle	-	1	-	-	-	-	Covered	T1,T3,T6
StIdle	-	0	-	-	-	-	Covered	T1,T2,T3
StPush	-	-	1	-	-	-	Covered	T1,T3,T6
StPush	-	-	0	-	-	-	Covered	T1,T3,T6
StPush	-	-	-	1	-	-	Covered	T1,T3,T6
StPush	-	-	-	0	-	-	Covered	T1,T3,T6
StPush	-	-	-	-	1	-	Covered	T1,T3,T6
StPush	-	-	-	-	0	-	Covered	T1,T3,T6
StActive	-	-	-	-	-	1	Covered	T1,T3,T6
StActive	-	-	-	-	-	0	Not Covered
default	-	-	-	-	-	-	Not Covered

---

Assert Coverage for Module : spid_readsram

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
AddrLatchedPulse_M	144469888	64531	0	0
FifoNotEmpty_A	144469888	4540494	0	0
NotOverflow_A	144469888	1144684	0	0
ReqStrbRelation_M	144469888	7623	0	0
SramDataReturnRequirement_M	144469888	1144172	0	0
SramReadOnly_A	144469888	1144684	0	0

AddrLatchedPulse_M

Name	Attempts	Real Successes	Failures	Incomplete
Total	144469888	64531	0	0
T1	250008	131	0	0
T3	505938	190	0	0
T4	10272	4	0	0
T5	648	0	0	0
T6	183178	114	0	0
T7	768	0	0	0
T8	16866	28	0	0
T9	46092	0	0	0
T10	51682	10	0	0
T11	27520	14	0	0
T12	0	18	0	0
T13	0	327	0	0
T15	0	90	0	0

FifoNotEmpty_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	144469888	4540494	0	0
T1	250008	2251	0	0
T3	505938	6136	0	0
T4	10272	0	0	0
T5	648	0	0	0
T6	183178	3114	0	0
T7	768	0	0	0
T8	16866	0	0	0
T9	46092	0	0	0
T10	51682	0	0	0
T11	27520	0	0	0
T12	0	518	0	0
T13	0	44154	0	0
T15	0	4687	0	0
T31	0	27893	0	0
T35	0	5	0	0
T36	0	3131	0	0
T39	0	2294	0	0

NotOverflow_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	144469888	1144684	0	0
T1	250008	577	0	0
T3	505938	1553	0	0
T4	10272	0	0	0
T5	648	0	0	0
T6	183178	787	0	0
T7	768	0	0	0
T8	16866	0	0	0
T9	46092	0	0	0
T10	51682	0	0	0
T11	27520	0	0	0
T12	0	136	0	0
T13	0	11104	0	0
T15	0	1185	0	0
T31	0	7021	0	0
T35	0	2	0	0
T36	0	792	0	0
T39	0	580	0	0

ReqStrbRelation_M

Name	Attempts	Real Successes	Failures	Incomplete
Total	144469888	7623	0	0
T1	250008	11	0	0
T3	505938	14	0	0
T4	10272	0	0	0
T5	648	0	0	0
T6	183178	6	0	0
T7	768	0	0	0
T8	16866	0	0	0
T9	46092	0	0	0
T10	51682	0	0	0
T11	27520	0	0	0
T12	0	4	0	0
T13	0	50	0	0
T15	0	11	0	0
T31	0	37	0	0
T35	0	1	0	0
T36	0	8	0	0
T39	0	4	0	0

SramDataReturnRequirement_M

Name	Attempts	Real Successes	Failures	Incomplete
Total	144469888	1144172	0	0
T1	250008	576	0	0
T3	505938	1552	0	0
T4	10272	0	0	0
T5	648	0	0	0
T6	183178	784	0	0
T7	768	0	0	0
T8	16866	0	0	0
T9	46092	0	0	0
T10	51682	0	0	0
T11	27520	0	0	0
T12	0	136	0	0
T13	0	11100	0	0
T15	0	1185	0	0
T31	0	7017	0	0
T35	0	2	0	0
T36	0	792	0	0
T39	0	580	0	0

SramReadOnly_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	144469888	1144684	0	0
T1	250008	577	0	0
T3	505938	1553	0	0
T4	10272	0	0	0
T5	648	0	0	0
T6	183178	787	0	0
T7	768	0	0	0
T8	16866	0	0	0
T9	46092	0	0	0
T10	51682	0	0	0
T11	27520	0	0	0
T12	0	136	0	0
T13	0	11104	0	0
T15	0	1185	0	0
T31	0	7021	0	0
T35	0	2	0	0
T36	0	792	0	0
T39	0	580	0	0