Module Definition
dashboard | hierarchy | modlist | groups | tests | asserts

Module : spi_p2s
SCORELINECONDTOGGLEFSMBRANCHASSERT
85.98 100.00 71.43 72.50 100.00

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

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.u_p2s 85.98 100.00 71.43 72.50 100.00



Module Instance : tb.dut.u_p2s

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
85.98 100.00 71.43 72.50 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
85.98 100.00 71.43 72.50 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
92.52 95.20 84.31 97.00 90.62 95.45 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
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.TotalCoveredPercent
TOTAL3434100.00
ALWAYS5855100.00
CONT_ASSIGN7911100.00
ALWAYS9855100.00
ALWAYS11044100.00
CONT_ASSIGN13011100.00
ALWAYS13455100.00
CONT_ASSIGN16611100.00
ALWAYS17066100.00
CONT_ASSIGN17911100.00
ALWAYS18355100.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.CoveredStatements
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
TotalCoveredPercent
Conditions423071.43
Logical423071.43
Non-Logical00
Event00

 LINE       79
 EXPRESSION (csb_i ? 4'b0 : out_enable)
             --1--
-1-StatusTests
0CoveredT2,T3,T4
1CoveredT1,T2,T3

 LINE       101
 EXPRESSION (cnt == 3'h6)
            ------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T5,T9

 LINE       102
 EXPRESSION (cnt == 3'h2)
            ------1------
-1-StatusTests
0CoveredT3,T5,T9
1CoveredT3,T5,T9

 LINE       103
 EXPRESSION (cnt == 3'b0)
            ------1------
-1-StatusTests
0CoveredT3,T5,T9
1CoveredT3,T5,T9

 LINE       112
 EXPRESSION (order_i ? ({1'b0, out_shift_d[7:1]}) : ({out_shift_d[6:0], 1'b0}))
             ---1---
-1-StatusTests
0CoveredT2,T3,T4
1Not Covered

 LINE       116
 EXPRESSION (order_i ? ({2'b0, out_shift_d[7:2]}) : ({out_shift_d[5:0], 2'b0}))
             ---1---
-1-StatusTests
0CoveredT3,T5,T9
1Not Covered

 LINE       120
 EXPRESSION (order_i ? ({4'b0, out_shift_d[7:4]}) : ({out_shift_d[3:0], 4'b0}))
             ---1---
-1-StatusTests
0CoveredT3,T5,T9
1Not Covered

 LINE       130
 EXPRESSION (first_beat ? data_i : out_shift)
             -----1----
-1-StatusTests
0CoveredT3,T5,T9
1CoveredT1,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-StatusTests
0CoveredT1,T2,T3
1Not Covered

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

 LINE       138
 SUB-EXPRESSION (((!first_beat)) ? out_shift[7] : data_i[7])
                 -------1-------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T5,T9

 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-StatusTests
0CoveredT1,T2,T3
1Not Covered

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

 LINE       143
 SUB-EXPRESSION (((!first_beat)) ? out_shift[7:6] : data_i[7:6])
                 -------1-------
-1-StatusTests
0CoveredT3,T5,T9
1CoveredT3,T5,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-StatusTests
0CoveredT1,T2,T3
1Not Covered

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

 LINE       148
 SUB-EXPRESSION (((!first_beat)) ? out_shift[7:4] : data_i[7:4])
                 -------1-------
-1-StatusTests
0CoveredT3,T5,T9
1CoveredT3,T5,T9

 LINE       179
 EXPRESSION (cnt == '0)
            -----1-----
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       186
 EXPRESSION (cnt == 3'('h00000007))
            -----------1-----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T5,T9

 LINE       187
 EXPRESSION (cnt == 3'('h00000003))
            -----------1-----------
-1-StatusTests
0CoveredT3,T5,T9
1CoveredT3,T5,T9

 LINE       188
 EXPRESSION (cnt == 3'('b1))
            --------1-------
-1-StatusTests
0CoveredT3,T5,T9
1CoveredT3,T5,T9

Branch Coverage for Module : spi_p2s
Line No.TotalCoveredPercent
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-StatusTests
1 Covered T1,T2,T3
0 Covered T2,T3,T4


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

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T3,T5,T9


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

Branches:
-1-StatusTests
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-StatusTests
SingleIO Covered T1,T2,T3
DualIO Covered T3,T5,T9
QuadIO Covered T3,T5,T9
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-StatusTests
SingleIO 1 - - Not Covered
SingleIO 0 - - Covered T2,T3,T4
DualIO - 1 - Not Covered
DualIO - 0 - Covered T3,T5,T9
QuadIO - - 1 Not Covered
QuadIO - - 0 Covered T3,T5,T9
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-StatusTests
SingleIO 1 1 - - - - - - - Not Covered
SingleIO 1 0 - - - - - - - Not Covered
SingleIO 0 - 1 - - - - - - Covered T3,T5,T9
SingleIO 0 - 0 - - - - - - Covered T1,T2,T3
DualIO - - - 1 1 - - - - Not Covered
DualIO - - - 1 0 - - - - Not Covered
DualIO - - - 0 - 1 - - - Covered T3,T5,T9
DualIO - - - 0 - 0 - - - Covered T3,T5,T9
QuadIO - - - - - - 1 1 - Not Covered
QuadIO - - - - - - 1 0 - Not Covered
QuadIO - - - - - - 0 - 1 Covered T3,T5,T9
QuadIO - - - - - - 0 - 0 Covered T3,T5,T9
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-StatusTests
1 - - Covered T1,T2,T3
0 1 - Covered T3,T5,T9
0 0 1 Covered T3,T5,T9
0 0 0 Covered T2,T3,T4


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

Branches:
-1-StatusTests
SingleIO Covered T1,T2,T3
DualIO Covered T3,T5,T9
QuadIO Covered T3,T5,T9
default Not Covered


Assert Coverage for Module : spi_p2s
TotalAttemptedPercentSucceeded/MatchedPercent
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

NameAttemptsReal SuccessesFailuresIncomplete
IoModeChangeValid_A 149825585 7339 0 0
IoModeDefault_A 149825585 22264 0 0


IoModeChangeValid_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 149825585 7339 0 0
T2 21021 1 0 0
T3 331713 4 0 0
T4 10401 1 0 0
T5 893793 27 0 0
T6 1 0 0 0
T7 99064 0 0 0
T8 730 0 0 0
T9 465466 27 0 0
T10 152758 5 0 0
T11 127277 24 0 0
T12 0 1 0 0
T13 0 5 0 0
T14 0 1 0 0

IoModeDefault_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 149825585 22264 0 0
T2 21021 3 0 0
T3 331713 135 0 0
T4 10401 1 0 0
T5 893793 216 0 0
T6 1 0 0 0
T7 99064 0 0 0
T8 730 0 0 0
T9 465466 36 0 0
T10 152758 8 0 0
T11 127277 2 0 0
T12 0 2 0 0
T13 0 108 0 0
T14 0 2 0 0

0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%