Unified Coverage Report :: Module :: spid_readbuffer

Module : spid_readbuffer

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
96.23	97.30	97.14			90.48	100.00

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

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.u_readcmd.u_readbuffer	96.23	97.30	97.14			90.48	100.00

---

Module Instance : tb.dut.u_readcmd.u_readbuffer

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
96.23	97.30	97.14			90.48	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
96.23	97.30	97.14			90.48	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
no children

---

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

Line Coverage for Module : spid_readbuffer

	Line No.	Total	Covered	Percent
TOTAL		37	36	97.30
ALWAYS	103	4	4	100.00
CONT_ASSIGN	111	1	1	100.00
CONT_ASSIGN	112	1	1	100.00
ALWAYS	118	4	4	100.00
CONT_ASSIGN	122	1	1	100.00
CONT_ASSIGN	131	1	1	100.00
ALWAYS	135	6	6	100.00
ALWAYS	147	6	5	83.33
ALWAYS	166	5	5	100.00
ALWAYS	175	8	8	100.00

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

Line No.	Covered	Statements
103	1	1
104	1	1
105	1	1
106	1	1
			MISSING_ELSE
111	1	1
112	1	1
118	2	2
119	2	2
			MISSING_ELSE
122	1	1
131	1	1
135	1	1
136	1	1
137	1	1
140	1	1
141	1	1
142	1	1
			MISSING_ELSE
147	1	1
149	1	1
150	1	1
151	1	1
152	1	1
157	0	1
			MISSING_ELSE
			MISSING_ELSE
166	2	2
167	1	1
168	1	1
170	1	1
175	1	1
177	1	1
179	1	1
181	1	1
183	1	1
185	1	1
			MISSING_ELSE
191	1	1
193	1	1

---

Cond Coverage for Module : spid_readbuffer

	Total	Covered	Percent
Conditions	35	34	97.14
Logical	35	34	97.14
Non-Logical	0	0
Event	0	0

 LINE       105
 EXPRESSION (active && flip)
             ---1--    --2-

-1-	-2-	Status	Tests
0	1	Covered	T6,T18,T28
1	0	Covered	T10,T43,T46
1	1	Covered	T10,T43,T46

 LINE       112
 EXPRESSION (current_buffer_idx == next_buffer_addr)
            --------------------1-------------------

-1-	Status	Tests
0	Covered	T4,T1,T2
1	Covered	T10,T6,T43

 LINE       122
 EXPRESSION (active && flip && ((!flip_q)))
             ---1--    --2-    -----3-----

-1-	-2-	-3-	Status	Tests
0	1	1	Covered	T6,T18,T28
1	0	1	Covered	T10,T43,T46
1	1	0	Not Covered
1	1	1	Covered	T10,T43,T46

 LINE       131
 EXPRESSION ((current_address_i[(spi_device_pkg::SramBufferAw - 1):0] >= threshold_i) && ((|threshold_i)))
             ------------------------------------1-----------------------------------    --------2-------

-1-	-2-	Status	Tests
0	1	Covered	T9,T10,T17
1	0	Covered	T4,T1,T2
1	1	Covered	T9,T10,T5

 LINE       137
 EXPRESSION (active && watermark_cross)
             ---1--    -------2-------

-1-	-2-	Status	Tests
0	1	Covered	T9,T10,T5
1	0	Covered	T10,T43,T46
1	1	Covered	T10,T43,T130

 LINE       141
 EXPRESSION (active && flip)
             ---1--    --2-

-1-	-2-	Status	Tests
0	1	Covered	T6,T18,T28
1	0	Covered	T10,T43,T46
1	1	Covered	T10,T43,T46

 LINE       149
 EXPRESSION (active && watermark_cross)
             ---1--    -------2-------

-1-	-2-	Status	Tests
0	1	Covered	T9,T10,T5
1	0	Covered	T10,T43,T46
1	1	Covered	T10,T43,T130

 LINE       167
 EXPRESSION (spi_mode_i != FlashMode)
            ------------1------------

-1-	Status	Tests
0	Covered	T10,T5,T43
1	Covered	T1,T9,T3

 LINE       181
 EXPRESSION (start_i && (spi_mode_i == FlashMode) && ((!sfdp_hit_i)) && ( ! (mailbox_en_i && mailbox_hit_i) ))
             ---1---    ------------2------------    -------3-------    ------------------4------------------

-1-	-2-	-3-	-4-	Status	Tests
0	1	1	1	Covered	T4,T1,T2
1	0	1	1	Covered	T9,T11,T19
1	1	0	1	Covered	T5,T44,T45
1	1	1	0	Covered	T5,T46,T44
1	1	1	1	Covered	T10,T43,T46

 LINE       181
 SUB-EXPRESSION (spi_mode_i == FlashMode)
                ------------1------------

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

 LINE       181
 SUB-EXPRESSION ( ! (mailbox_en_i && mailbox_hit_i) )
                    ---------------1---------------

-1-	Status	Tests
0	Covered	T4,T1,T2
1	Covered	T9,T5,T11

 LINE       181
 SUB-EXPRESSION (mailbox_en_i && mailbox_hit_i)
                 ------1-----    ------2------

-1-	-2-	Status	Tests
0	1	Covered	T4,T1,T2
1	0	Covered	T9,T15,T10
1	1	Covered	T9,T5,T11

---

Branch Coverage for Module : spid_readbuffer

	Line No.	Total	Covered	Percent
Branches		21	19	90.48
IF	103	3	3	100.00
IF	118	3	3	100.00
IF	135	4	4	100.00
IF	149	4	3	75.00
IF	166	3	3	100.00
CASE	179	4	3	75.00

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

	LineNo.	Expression
-1-:	103	if ((!sys_rst_ni))
-2-:	105	if ((active && flip))

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T4,T1,T2
0	1	Covered	T10,T43,T46
0	0	Covered	T1,T9,T3

	LineNo.	Expression
-1-:	118	if ((!sys_rst_ni))
-2-:	119	if (active)

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T4,T1,T2
0	1	Covered	T10,T43,T46
0	0	Covered	T1,T9,T3

	LineNo.	Expression
-1-:	135	if ((!sys_rst_ni))
-2-:	137	if ((active && watermark_cross))
-3-:	141	if ((active && flip))

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Covered	T4,T1,T2
0	1	-	Covered	T10,T43,T130
0	0	1	Covered	T10,T43,T46
0	0	0	Covered	T1,T9,T3

	LineNo.	Expression
-1-:	149	if ((active && watermark_cross))
-2-:	150	if ((!watermark_crossed))
-3-:	152	if (flip)

Branches:

-1-	-2-	-3-	Status	Tests
1	1	-	Covered	T10,T43,T130
1	0	1	Not Covered
1	0	0	Covered	T10,T43,T130
0	-	-	Covered	T4,T1,T2

	LineNo.	Expression
-1-:	166	if ((!rst_ni))
-2-:	167	if ((spi_mode_i != FlashMode))

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T4,T1,T2
0	1	Covered	T1,T9,T3
0	0	Covered	T10,T5,T43

	LineNo.	Expression
-1-:	179	case (st_q)
-2-:	181	if ((((start_i && (spi_mode_i == FlashMode)) && (!sfdp_hit_i)) && (!(mailbox_en_i && mailbox_hit_i))))

Branches:

-1-	-2-	Status	Tests
StIdle	1	Covered	T10,T43,T46
StIdle	0	Covered	T4,T1,T2
StActive	-	Covered	T10,T43,T46
default	-	Not Covered

---

Assert Coverage for Module : spid_readbuffer

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
StartWithAddressUpdate_A	386536807	10315	0	0

StartWithAddressUpdate_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	386536807	10315	0	0
T3	3272	0	0	0
T5	144411	3	0	0
T6	0	35	0	0
T7	0	62	0	0
T8	385	0	0	0
T9	171344	14	0	0
T10	22753	8	0	0
T11	0	10	0	0
T12	82497	0	0	0
T16	417	0	0	0
T17	144	0	0	0
T19	0	10	0	0
T24	0	4	0	0
T40	4160	0	0	0
T41	385	0	0	0
T43	0	8	0	0
T46	0	7	0	0