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 | T3,T6,T8 |
| 1 | Covered | T1,T2,T3 |
LINE 101
EXPRESSION (cnt == 3'h6)
------1------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T8,T9,T10 |
LINE 102
EXPRESSION (cnt == 3'h2)
------1------
| -1- | Status | Tests |
| 0 | Covered | T3,T8,T9 |
| 1 | Covered | T3,T8,T9 |
LINE 103
EXPRESSION (cnt == 3'b0)
------1------
| -1- | Status | Tests |
| 0 | Covered | T8,T9,T10 |
| 1 | Covered | T8,T9,T10 |
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 | T2,T3,T4 |
| 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 | T3,T8,T9 |
| 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 | T8,T9,T10 |
| 1 | Not Covered | |
LINE 130
EXPRESSION (first_beat ? data_i : out_shift)
-----1----
| -1- | Status | Tests |
| 0 | Covered | T3,T8,T9 |
| 1 | Covered | T1,T2,T3 |
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 | T1,T2,T3 |
| 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 | T1,T2,T3 |
| 1 | Covered | T8,T9,T10 |
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 | T1,T2,T3 |
| 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 | T3,T8,T9 |
| 1 | Covered | T3,T8,T9 |
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 | T1,T2,T3 |
| 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 | T8,T9,T10 |
| 1 | Covered | T8,T9,T10 |
LINE 179
EXPRESSION (cnt == '0)
-----1-----
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 186
EXPRESSION (cnt == 3'('h00000007))
-----------1-----------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T8,T9,T10 |
LINE 187
EXPRESSION (cnt == 3'('h00000003))
-----------1-----------
| -1- | Status | Tests |
| 0 | Covered | T3,T8,T9 |
| 1 | Covered | T3,T8,T9 |
LINE 188
EXPRESSION (cnt == 3'('b1))
--------1-------
| -1- | Status | Tests |
| 0 | Covered | T8,T9,T10 |
| 1 | Covered | T8,T9,T10 |
Branch Coverage for Module :
spi_p2s
| Line No. | Total | Covered | Percent |
| Branches |
|
40 |
29 |
72.50 |
| TERNARY |
79 |
2 |
2 |
100.00 |
| TERNARY |
130 |
2 |
2 |
100.00 |
| CASE |
60 |
4 |
4 |
100.00 |
| CASE |
100 |
4 |
3 |
75.00 |
| CASE |
110 |
7 |
4 |
57.14 |
| CASE |
136 |
13 |
7 |
53.85 |
| 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 |
T1,T2,T3 |
| 0 |
Covered |
T3,T6,T8 |
LineNo. Expression
-1-: 130 (first_beat) ?
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T3,T8,T9 |
LineNo. Expression
-1-: 60 case (io_mode)
Branches:
| -1- | Status | Tests |
| SingleIO |
Covered |
T1,T2,T3 |
| DualIO |
Covered |
T1,T2,T3 |
| QuadIO |
Covered |
T1,T2,T3 |
| default |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 100 case (io_mode)
Branches:
| -1- | Status | Tests |
| SingleIO |
Covered |
T1,T2,T3 |
| DualIO |
Covered |
T3,T8,T9 |
| QuadIO |
Covered |
T8,T9,T10 |
| 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 |
T2,T3,T4 |
| DualIO |
- |
1 |
- |
Not Covered |
|
| DualIO |
- |
0 |
- |
Covered |
T3,T8,T9 |
| QuadIO |
- |
- |
1 |
Not Covered |
|
| QuadIO |
- |
- |
0 |
Covered |
T8,T9,T10 |
| default |
- |
- |
- |
Covered |
T1,T2,T3 |
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 |
T8,T9,T10 |
| SingleIO |
0 |
- |
0 |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
| DualIO |
- |
- |
- |
1 |
1 |
- |
- |
- |
- |
Not Covered |
|
| DualIO |
- |
- |
- |
1 |
0 |
- |
- |
- |
- |
Not Covered |
|
| DualIO |
- |
- |
- |
0 |
- |
1 |
- |
- |
- |
Covered |
T3,T8,T9 |
| DualIO |
- |
- |
- |
0 |
- |
0 |
- |
- |
- |
Covered |
T3,T8,T9 |
| QuadIO |
- |
- |
- |
- |
- |
- |
1 |
1 |
- |
Not Covered |
|
| QuadIO |
- |
- |
- |
- |
- |
- |
1 |
0 |
- |
Not Covered |
|
| QuadIO |
- |
- |
- |
- |
- |
- |
0 |
- |
1 |
Covered |
T8,T9,T10 |
| QuadIO |
- |
- |
- |
- |
- |
- |
0 |
- |
0 |
Covered |
T8,T9,T10 |
| default |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
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 |
T1,T2,T3 |
| 0 |
1 |
- |
Covered |
T3,T8,T9 |
| 0 |
0 |
1 |
Covered |
T3,T8,T9 |
| 0 |
0 |
0 |
Covered |
T3,T8,T9 |
LineNo. Expression
-1-: 185 case (io_mode)
Branches:
| -1- | Status | Tests |
| SingleIO |
Covered |
T1,T2,T3 |
| DualIO |
Covered |
T3,T8,T9 |
| QuadIO |
Covered |
T8,T9,T10 |
| default |
Not Covered |
|
Assert Coverage for Module :
spi_p2s
Assertion Details
IoModeChangeValid_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
161218361 |
8344 |
0 |
0 |
| T3 |
106049 |
5 |
0 |
0 |
| T4 |
2541 |
0 |
0 |
0 |
| T5 |
8681 |
0 |
0 |
0 |
| T6 |
1 |
0 |
0 |
0 |
| T7 |
77101 |
0 |
0 |
0 |
| T8 |
16675 |
11 |
0 |
0 |
| T9 |
55838 |
7 |
0 |
0 |
| T10 |
17209 |
9 |
0 |
0 |
| T11 |
271853 |
13 |
0 |
0 |
| T12 |
270364 |
3 |
0 |
0 |
| T13 |
0 |
37 |
0 |
0 |
| T14 |
0 |
1 |
0 |
0 |
| T15 |
0 |
39 |
0 |
0 |
| T16 |
0 |
33 |
0 |
0 |
IoModeDefault_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
161218361 |
20821 |
0 |
0 |
| T3 |
106049 |
2 |
0 |
0 |
| T4 |
2541 |
0 |
0 |
0 |
| T5 |
8681 |
0 |
0 |
0 |
| T6 |
1 |
0 |
0 |
0 |
| T7 |
77101 |
0 |
0 |
0 |
| T8 |
16675 |
1 |
0 |
0 |
| T9 |
55838 |
5 |
0 |
0 |
| T10 |
17209 |
1 |
0 |
0 |
| T11 |
271853 |
8 |
0 |
0 |
| T12 |
270364 |
12 |
0 |
0 |
| T13 |
0 |
11 |
0 |
0 |
| T14 |
0 |
1 |
0 |
0 |
| T15 |
0 |
312 |
0 |
0 |
| T16 |
0 |
322 |
0 |
0 |