Unified Coverage Report :: Module :: spid_jedec

Module : spid_jedec

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
0.00	0.00	0.00		0.00	0.00

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

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.u_jedec	0.00	0.00	0.00		0.00	0.00

---

Module Instance : tb.dut.u_jedec

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
0.00	0.00	0.00		0.00	0.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
0.00	0.00	0.00		0.00	0.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
19.21	0.00	0.00	76.82		0.00		dut

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_jedec

	Line No.	Total	Covered	Percent
TOTAL		47	0	0.00
CONT_ASSIGN	64	1	0	0.00
ALWAYS	72	4	0	0.00
CONT_ASSIGN	78	1	0	0.00
ALWAYS	82	4	0	0.00
ALWAYS	90	5	0	0.00
ALWAYS	100	8	0	0.00
ALWAYS	120	4	0	0.00
CONT_ASSIGN	124	1	0	0.00
ALWAYS	131	3	0	0.00
ALWAYS	137	16	0	0.00

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

Line No.	Covered	Statements
64	0	1
72	0	2
73	0	2
			==> MISSING_ELSE
78	0	1
82	0	2
83	0	1
84	0	1
			==> MISSING_ELSE
90	0	1
91	0	1
92	0	1
94	0	1
95	0	1
100	0	1
102	0	1
104	0	1
105	0	1
106	0	1
107	0	1
108	0	1
112	0	1
120	0	2
121	0	2
			==> MISSING_ELSE
124	0	1
131	0	2
132	0	1
137	0	1
139	0	1
140	0	1
142	0	1
144	0	1
145	0	1
148	0	1
			==> MISSING_ELSE
159	0	1
160	0	1
			==> MISSING_ELSE
163	0	1
167	0	1
168	0	1
			==> MISSING_ELSE
171	0	1
178	0	1
180	0	1
181	0	1
			==> MISSING_ELSE

---

Cond Coverage for Module : spid_jedec

	Total	Covered	Percent
Conditions	29	0	0.00
Logical	29	0	0.00
Non-Logical	0	0
Event	0	0

 LINE       83
 EXPRESSION ((st_q == StCC) && outclk_p2s_sent_i)
             -------1------    --------2--------

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

 LINE       83
 SUB-EXPRESSION (st_q == StCC)
                -------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       102
 EXPRESSION (st_q == StIdle)
            --------1-------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       104
 EXPRESSION (cc_needed ? jedec.cc : jedec.jedec_id)
             ----1----

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       105
 EXPRESSION (st_q == StCC)
            -------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       107
 EXPRESSION (st_q == StJedecId)
            ---------1---------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       112
 EXPRESSION ((byte_sel_q >= 2'b10) ? 8'b0 : ((byte_sel_q == 2'b1) ? jedec.device_id[15:8] : jedec.device_id[7:0]))
             ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       112
 SUB-EXPRESSION ((byte_sel_q == 2'b1) ? jedec.device_id[15:8] : jedec.device_id[7:0])
                 ----------1---------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       112
 SUB-EXPRESSION (byte_sel_q == 2'b1)
                ----------1---------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       124
 EXPRESSION ((byte_sel_q == 2'b10) ? 2'b10 : ((byte_sel_q + 1'b1)))
             ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       124
 SUB-EXPRESSION (byte_sel_q == 2'b10)
                ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       144
 EXPRESSION (sel_dp_i == DpReadJEDEC)
            ------------1------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       145
 EXPRESSION (cc_needed ? StCC : StJedecId)
             ----1----

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       159
 EXPRESSION (cc_count == jedec.num_cc)
            -------------1------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

---

FSM Coverage for Module : spid_jedec

Summary for FSM :: st_q

	Total	Covered	Percent
States	4	0	0.00	(Not included in score)
Transitions	4	0	0.00
Sequences	0	0

State, Transition and Sequence Details for FSM :: st_q

---

states	Line No.	Covered	Tests
StCC	145	Not Covered
StDevId	168	Not Covered
StIdle	102	Not Covered
StJedecId	145	Not Covered

transitions	Line No.	Covered	Tests
StCC->StJedecId	160	Not Covered
StIdle->StCC	145	Not Covered
StIdle->StJedecId	145	Not Covered
StJedecId->StDevId	168	Not Covered

---

Branch Coverage for Module : spid_jedec

	Line No.	Total	Covered	Percent
Branches		32	0	0.00
TERNARY	124	2	0	0.00
IF	72	3	0	0.00
IF	82	3	0	0.00
IF	90	2	0	0.00
IF	102	7	0	0.00
IF	120	3	0	0.00
IF	131	2	0	0.00
CASE	142	10	0	0.00

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

	LineNo.	Expression
-1-:	124	((byte_sel_q == 2'b10)) ? 

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	72	if ((!rst_ni))
-2-:	73	if (inclk_csb_asserted_pulse_i)

Branches:

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

	LineNo.	Expression
-1-:	82	if ((!rst_ni))
-2-:	83	if (((st_q == StCC) && outclk_p2s_sent_i))

Branches:

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

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	102	if ((st_q == StIdle))
-2-:	104	(cc_needed) ? 
-3-:	105	if ((st_q == StCC))
-4-:	107	if ((st_q == StJedecId))
-5-:	112	((byte_sel_q >= 2'b10)) ? 
-6-:	112	((byte_sel_q == 2'b1)) ? 

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	Status	Tests
1	1	-	-	-	-	Not Covered
1	0	-	-	-	-	Not Covered
0	-	1	-	-	-	Not Covered
0	-	0	1	-	-	Not Covered
0	-	0	0	1	-	Not Covered
0	-	0	0	0	1	Not Covered
0	-	0	0	0	0	Not Covered

	LineNo.	Expression
-1-:	120	if ((!rst_ni))
-2-:	121	if (next_byte)

Branches:

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

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	142	case (st_q)
-2-:	144	if ((sel_dp_i == DpReadJEDEC))
-3-:	145	(cc_needed) ? 
-4-:	159	if ((cc_count == jedec.num_cc))
-5-:	167	if (outclk_p2s_sent_i)
-6-:	180	if (outclk_p2s_sent_i)

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	Status	Tests
StIdle	1	1	-	-	-	Not Covered
StIdle	1	0	-	-	-	Not Covered
StIdle	0	-	-	-	-	Not Covered
StCC	-	-	1	-	-	Not Covered
StCC	-	-	0	-	-	Not Covered
StJedecId	-	-	-	1	-	Not Covered
StJedecId	-	-	-	0	-	Not Covered
StDevId	-	-	-	-	1	Not Covered
StDevId	-	-	-	-	0	Not Covered
default	-	-	-	-	-	Not Covered