Unified Coverage Report :: Module :: spi_p2s

Module : spi_p2s

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
84.73	100.00	71.43			67.50	100.00

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

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.u_p2s	84.73	100.00	71.43			67.50	100.00

---

Module Instance : tb.dut.u_p2s

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
84.73	100.00	71.43			67.50	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
84.73	100.00	71.43			67.50	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
91.60	94.25	84.31	96.51		87.50	95.45	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 : spi_p2s

	Line No.	Total	Covered	Percent
TOTAL		34	34	100.00
ALWAYS	58	5	5	100.00
CONT_ASSIGN	79	1	1	100.00
ALWAYS	98	5	5	100.00
ALWAYS	110	4	4	100.00
CONT_ASSIGN	130	1	1	100.00
ALWAYS	134	5	5	100.00
CONT_ASSIGN	166	1	1	100.00
ALWAYS	170	6	6	100.00
CONT_ASSIGN	179	1	1	100.00
ALWAYS	183	5	5	100.00

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

Line No.	Covered	Statements
58	1	1
60	1	1
62	1	1
66	1	1
70	1	1
79	1	1
98	1	1
100	1	1
101	1	1
102	1	1
103	1	1
110	1	1
112	1	1
116	1	1
120	1	1
130	1	1
134	1	1
136	1	1
138	1	1
143	1	1
148	1	1
166	1	1
170	1	1
171	1	1
172	1	1
173	1	1
174	1	1
175	1	1
			MISSING_ELSE
179	1	1
183	1	1
185	1	1
186	1	1
187	1	1
188	1	1

---

Cond Coverage for Module : spi_p2s

	Total	Covered	Percent
Conditions	42	30	71.43
Logical	42	30	71.43
Non-Logical	0	0
Event	0	0

 LINE       79
 EXPRESSION (csb_i ? 4'b0 : out_enable)
             --1--

-1-	Status	Tests
0	Covered	T20,T21,T22
1	Covered	T20,T21,T22

 LINE       101
 EXPRESSION (cnt == 3'h6)
            ------1------

-1-	Status	Tests
0	Covered	T20,T21,T22
1	Covered	T20,T22,T23

 LINE       102
 EXPRESSION (cnt == 3'h2)
            ------1------

-1-	Status	Tests
0	Covered	T20,T22,T23
1	Covered	T20,T22,T23

 LINE       103
 EXPRESSION (cnt == 3'b0)
            ------1------

-1-	Status	Tests
0	Covered	T20,T23,T30
1	Covered	T20,T23,T30

 LINE       112
 EXPRESSION (order_i ? ({1'b0, out_shift_d[7:1]}) : ({out_shift_d[6:0], 1'b0}))
             ---1---

-1-	Status	Tests
0	Covered	T20,T21,T22
1	Not Covered

 LINE       116
 EXPRESSION (order_i ? ({2'b0, out_shift_d[7:2]}) : ({out_shift_d[5:0], 2'b0}))
             ---1---

-1-	Status	Tests
0	Covered	T20,T22,T23
1	Not Covered

 LINE       120
 EXPRESSION (order_i ? ({4'b0, out_shift_d[7:4]}) : ({out_shift_d[3:0], 4'b0}))
             ---1---

-1-	Status	Tests
0	Covered	T20,T23,T30
1	Not Covered

 LINE       130
 EXPRESSION (first_beat ? data_i : out_shift)
             -----1----

-1-	Status	Tests
0	Covered	T20,T22,T23
1	Covered	T20,T21,T22

 LINE       138
 EXPRESSION (order_i ? (((!first_beat)) ? out_shift[0] : data_i[0]) : (((!first_beat)) ? out_shift[7] : data_i[7]))
             ---1---

-1-	Status	Tests
0	Covered	T20,T21,T22
1	Not Covered

 LINE       138
 SUB-EXPRESSION (((!first_beat)) ? out_shift[0] : data_i[0])
                 -------1-------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       138
 SUB-EXPRESSION (((!first_beat)) ? out_shift[7] : data_i[7])
                 -------1-------

-1-	Status	Tests
0	Covered	T20,T21,T22
1	Covered	T20,T22,T23

 LINE       143
 EXPRESSION (order_i ? (((!first_beat)) ? out_shift[1:0] : data_i[1:0]) : (((!first_beat)) ? out_shift[7:6] : data_i[7:6]))
             ---1---

-1-	Status	Tests
0	Covered	T20,T22,T23
1	Not Covered

 LINE       143
 SUB-EXPRESSION (((!first_beat)) ? out_shift[1:0] : data_i[1:0])
                 -------1-------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       143
 SUB-EXPRESSION (((!first_beat)) ? out_shift[7:6] : data_i[7:6])
                 -------1-------

-1-	Status	Tests
0	Covered	T20,T22,T23
1	Covered	T20,T22,T23

 LINE       148
 EXPRESSION (order_i ? (((!first_beat)) ? out_shift[3:0] : data_i[3:0]) : (((!first_beat)) ? out_shift[7:4] : data_i[7:4]))
             ---1---

-1-	Status	Tests
0	Covered	T20,T23,T30
1	Not Covered

 LINE       148
 SUB-EXPRESSION (((!first_beat)) ? out_shift[3:0] : data_i[3:0])
                 -------1-------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       148
 SUB-EXPRESSION (((!first_beat)) ? out_shift[7:4] : data_i[7:4])
                 -------1-------

-1-	Status	Tests
0	Covered	T20,T23,T30
1	Covered	T20,T23,T30

 LINE       179
 EXPRESSION (cnt == '0)
            -----1-----

-1-	Status	Tests
0	Covered	T20,T21,T22
1	Covered	T20,T21,T22

 LINE       186
 EXPRESSION (cnt == 3'('h00000007))
            -----------1-----------

-1-	Status	Tests
0	Covered	T20,T21,T22
1	Covered	T20,T22,T23

 LINE       187
 EXPRESSION (cnt == 3'('h00000003))
            -----------1-----------

-1-	Status	Tests
0	Covered	T20,T22,T23
1	Covered	T20,T22,T23

 LINE       188
 EXPRESSION (cnt == 3'('b1))
            --------1-------

-1-	Status	Tests
0	Covered	T20,T23,T30
1	Covered	T20,T23,T30

---

Branch Coverage for Module : spi_p2s

	Line No.	Total	Covered	Percent
Branches		40	27	67.50
TERNARY	79	2	2	100.00
TERNARY	130	2	2	100.00
CASE	60	4	3	75.00
CASE	100	4	3	75.00
CASE	110	7	4	57.14
CASE	136	13	6	46.15
IF	170	4	4	100.00
CASE	185	4	3	75.00

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

	LineNo.	Expression
-1-:	79	(csb_i) ? 

Branches:

-1-	Status	Tests
1	Covered	T20,T21,T22
0	Covered	T20,T21,T22

	LineNo.	Expression
-1-:	130	(first_beat) ? 

Branches:

-1-	Status	Tests
1	Covered	T20,T21,T22
0	Covered	T20,T22,T23

	LineNo.	Expression
-1-:	60	case (io_mode)

Branches:

-1-	Status	Tests
SingleIO	Covered	T20,T21,T22
DualIO	Covered	T20,T22,T23
QuadIO	Covered	T20,T23,T30
default	Not Covered

	LineNo.	Expression
-1-:	100	case (io_mode)

Branches:

-1-	Status	Tests
SingleIO	Covered	T20,T21,T22
DualIO	Covered	T20,T22,T23
QuadIO	Covered	T20,T23,T30
default	Not Covered

	LineNo.	Expression
-1-:	110	case (io_mode)
-2-:	112	(order_i) ? 
-3-:	116	(order_i) ? 
-4-:	120	(order_i) ? 

Branches:

-1-	-2-	-3-	-4-	Status	Tests
SingleIO	1	-	-	Not Covered
SingleIO	0	-	-	Covered	T20,T21,T22
DualIO	-	1	-	Not Covered
DualIO	-	0	-	Covered	T20,T22,T23
QuadIO	-	-	1	Not Covered
QuadIO	-	-	0	Covered	T20,T23,T30
default	-	-	-	Covered	T20,T21,T22

	LineNo.	Expression
-1-:	136	case (io_mode)
-2-:	138	(order_i) ? 
-3-:	138	((!first_beat)) ? 
-4-:	138	((!first_beat)) ? 
-5-:	143	(order_i) ? 
-6-:	143	((!first_beat)) ? 
-7-:	143	((!first_beat)) ? 
-8-:	148	(order_i) ? 
-9-:	148	((!first_beat)) ? 
-10-:	148	((!first_beat)) ? 

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	-10-	Status	Tests
SingleIO	1	1	-	-	-	-	-	-	-	Not Covered
SingleIO	1	0	-	-	-	-	-	-	-	Not Covered
SingleIO	0	-	1	-	-	-	-	-	-	Covered	T20,T22,T23
SingleIO	0	-	0	-	-	-	-	-	-	Covered	T20,T21,T22
DualIO	-	-	-	1	1	-	-	-	-	Not Covered
DualIO	-	-	-	1	0	-	-	-	-	Not Covered
DualIO	-	-	-	0	-	1	-	-	-	Covered	T20,T22,T23
DualIO	-	-	-	0	-	0	-	-	-	Covered	T20,T22,T23
QuadIO	-	-	-	-	-	-	1	1	-	Not Covered
QuadIO	-	-	-	-	-	-	1	0	-	Not Covered
QuadIO	-	-	-	-	-	-	0	-	1	Covered	T20,T23,T30
QuadIO	-	-	-	-	-	-	0	-	0	Covered	T20,T23,T30
default	-	-	-	-	-	-	-	-	-	Not Covered

	LineNo.	Expression
-1-:	170	if ((!rst_ni))
-2-:	172	if (last_beat)
-3-:	174	if (data_valid_i)

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Covered	T20,T21,T22
0	1	-	Covered	T20,T22,T23
0	0	1	Covered	T20,T22,T23
0	0	0	Covered	T20,T21,T22

	LineNo.	Expression
-1-:	185	case (io_mode)

Branches:

-1-	Status	Tests
SingleIO	Covered	T20,T21,T22
DualIO	Covered	T20,T22,T23
QuadIO	Covered	T20,T23,T30
default	Not Covered

---

Assert Coverage for Module : spi_p2s

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
IoModeChangeValid_A	178691970	8553	0	0
IoModeDefault_A	178691970	27739	0	0

IoModeChangeValid_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	178691970	8553	0	0
T20	530294	4	0	0
T21	44653	1	0	0
T22	73802	5	0	0
T23	106867	13	0	0
T24	224108	7	0	0
T25	41221	0	0	0
T26	1	0	0	0
T27	55473	1	0	0
T28	1	0	0	0
T29	11569	1	0	0
T30	0	15	0	0
T31	0	12	0	0
T32	0	4	0	0

IoModeDefault_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	178691970	27739	0	0
T20	530294	149	0	0
T21	44653	1	0	0
T22	73802	1	0	0
T23	106867	1	0	0
T24	224108	2	0	0
T25	41221	0	0	0
T26	1	0	0	0
T27	55473	1	0	0
T28	1	0	0	0
T29	11569	1	0	0
T30	0	373	0	0
T31	0	1	0	0
T32	0	1	0	0