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

Module : spi_cmdparse
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.74 100.00 87.80 100.00 95.92 100.00

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

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.u_cmdparse 96.74 100.00 87.80 100.00 95.92 100.00



Module Instance : tb.dut.u_cmdparse

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.74 100.00 87.80 100.00 95.92 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.74 100.00 87.80 100.00 95.92 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
92.65 95.15 86.84 96.92 88.89 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_cmdparse
Line No.TotalCoveredPercent
TOTAL108108100.00
CONT_ASSIGN8111100.00
ALWAYS8633100.00
CONT_ASSIGN15211100.00
CONT_ASSIGN15611100.00
ALWAYS18144100.00
CONT_ASSIGN19011100.00
CONT_ASSIGN19211100.00
CONT_ASSIGN19411100.00
CONT_ASSIGN19611100.00
CONT_ASSIGN19811100.00
CONT_ASSIGN20011100.00
ALWAYS20444100.00
ALWAYS22366100.00
ALWAYS23877100.00
CONT_ASSIGN25811100.00
CONT_ASSIGN25911100.00
ALWAYS26855100.00
CONT_ASSIGN28411100.00
ALWAYS2881111100.00
CONT_ASSIGN30011100.00
CONT_ASSIGN30711100.00
CONT_ASSIGN30811100.00
CONT_ASSIGN30911100.00
ALWAYS31244100.00
ALWAYS3204848100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_spi_device_0.1/rtl/spi_cmdparse.sv' or '../src/lowrisc_ip_spi_device_0.1/rtl/spi_cmdparse.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
81 1 1
86 1 1
87 1 1
88 1 1
152 1 1
156 1 1
181 1 1
182 1 1
183 1 1
185 1 1
MISSING_ELSE
190 1 1
192 1 1
194 1 1
196 1 1
198 1 1
200 1 1
204 1 1
205 1 1
206 1 1
207 1 1
MISSING_ELSE
223 1 1
224 1 1
230 1 1
231 1 1
232 1 1
233 1 1
MISSING_ELSE
238 1 1
244 1 1
245 1 1
246 1 1
247 1 1
248 1 1
249 1 1
MISSING_ELSE
MISSING_ELSE
258 1 1
259 1 1
268 1 1
274 1 1
276 1 1
277 1 1
278 1 1
MISSING_ELSE
284 1 1
288 1 1
289 1 1
290 1 1
291 1 1
292 1 1
293 2 2
MISSING_ELSE
294 2 2
MISSING_ELSE
295 2 2
MISSING_ELSE
MISSING_ELSE
300 1 1
307 1 1
308 1 1
309 1 1
312 1 1
313 1 1
314 1 1
315 1 1
==> MISSING_ELSE
320 1 1
322 1 1
323 1 1
325 1 1
326 1 1
328 1 1
330 1 1
332 1 1
334 1 1
335 1 1
337 1 1
339 1 1
340 1 1
341 1 1
342 1 1
343 1 1
345 1 1
350 1 1
351 1 1
352 1 1
353 1 1
354 1 1
356 1 1
362 1 1
363 1 1
364 1 1
365 1 1
366 1 1
369 1 1
377 1 1
381 1 1
382 1 1
386 1 1
389 1 1
393 1 1
396 1 1
406 1 1
408 1 1
409 1 1
MISSING_ELSE
414 1 1
416 1 1
418 1 1
420 1 1
422 1 1
424 1 1
426 1 1
429 1 1
431 1 1


Cond Coverage for Module : spi_cmdparse
TotalCoveredPercent
Conditions827287.80
Logical827287.80
Non-Logical00
Event00

 LINE       183
 EXPRESSION (cmd_info_i[(CmdInfoReadStatus1 + i)].valid && (data_i == cmd_info_i[(CmdInfoReadStatus1 + i)].opcode))
             ---------------------1--------------------    ---------------------------2---------------------------
-1--2-StatusTests
01CoveredT3,T4,T6
10CoveredT3,T4,T7
11CoveredT3,T4,T7

 LINE       183
 SUB-EXPRESSION (data_i == cmd_info_i[(CmdInfoReadStatus1 + i)].opcode)
                ---------------------------1---------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T4,T6

 LINE       190
 EXPRESSION (cmd_info_i[CmdInfoReadJedecId].valid && (data_i == cmd_info_i[CmdInfoReadJedecId].opcode))
             ------------------1-----------------    ------------------------2------------------------
-1--2-StatusTests
01CoveredT4,T6,T7
10CoveredT3,T7,T15
11CoveredT3,T7,T15

 LINE       190
 SUB-EXPRESSION (data_i == cmd_info_i[CmdInfoReadJedecId].opcode)
                ------------------------1------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T4,T6

 LINE       192
 EXPRESSION (cmd_info_i[CmdInfoReadSfdp].valid && (data_i == cmd_info_i[CmdInfoReadSfdp].opcode))
             ----------------1----------------    -----------------------2----------------------
-1--2-StatusTests
01CoveredT6,T7,T10
10CoveredT3,T4,T7
11CoveredT3,T4,T7

 LINE       192
 SUB-EXPRESSION (data_i == cmd_info_i[CmdInfoReadSfdp].opcode)
                -----------------------1----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T4,T6

 LINE       194
 EXPRESSION (cmd_info_i[CmdInfoEn4B].valid && (data_i == cmd_info_i[CmdInfoEn4B].opcode))
             --------------1--------------    ---------------------2--------------------
-1--2-StatusTests
01CoveredT3,T4,T6
10CoveredT7,T14,T11
11CoveredT7,T14,T11

 LINE       194
 SUB-EXPRESSION (data_i == cmd_info_i[CmdInfoEn4B].opcode)
                ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T4,T6

 LINE       196
 EXPRESSION (cmd_info_i[CmdInfoEx4B].valid && (data_i == cmd_info_i[CmdInfoEx4B].opcode))
             --------------1--------------    ---------------------2--------------------
-1--2-StatusTests
01CoveredT3,T4,T6
10CoveredT7,T14,T11
11CoveredT7,T14,T11

 LINE       196
 SUB-EXPRESSION (data_i == cmd_info_i[CmdInfoEx4B].opcode)
                ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T4,T6

 LINE       198
 EXPRESSION (cmd_info_i[CmdInfoWrEn].valid && (data_i == cmd_info_i[CmdInfoWrEn].opcode))
             --------------1--------------    ---------------------2--------------------
-1--2-StatusTests
01CoveredT3,T4,T6
10CoveredT7,T11,T12
11CoveredT7,T11,T12

 LINE       198
 SUB-EXPRESSION (data_i == cmd_info_i[CmdInfoWrEn].opcode)
                ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T4,T6

 LINE       200
 EXPRESSION (cmd_info_i[CmdInfoWrDi].valid && (data_i == cmd_info_i[CmdInfoWrDi].opcode))
             --------------1--------------    ---------------------2--------------------
-1--2-StatusTests
01CoveredT3,T4,T6
10CoveredT7,T14,T11
11CoveredT7,T14,T11

 LINE       200
 SUB-EXPRESSION (data_i == cmd_info_i[CmdInfoWrDi].opcode)
                ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T4,T6

 LINE       206
 EXPRESSION (cmd_info_i[i].valid && (data_i == cmd_info_i[i].opcode))
             ---------1---------    ----------------2---------------
-1--2-StatusTests
01CoveredT3,T4,T6
10CoveredT3,T4,T7
11CoveredT3,T4,T7

 LINE       206
 SUB-EXPRESSION (data_i == cmd_info_i[i].opcode)
                ----------------1---------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T4,T6

 LINE       245
 EXPRESSION ((st == StIdle) && module_active && data_valid_i)
             -------1------    ------2------    ------3-----
-1--2--3-StatusTests
011CoveredT3,T4,T7
101Not Covered
110CoveredT1,T2,T3
111CoveredT3,T4,T7

 LINE       245
 SUB-EXPRESSION (st == StIdle)
                -------1------
-1-StatusTests
0CoveredT3,T4,T7
1CoveredT1,T2,T3

 LINE       247
 EXPRESSION (cmd_info_i[i].valid && (data_i == cmd_info_i[i].opcode))
             ---------1---------    ----------------2---------------
-1--2-StatusTests
01CoveredT3,T4,T8
10CoveredT3,T4,T7
11CoveredT3,T4,T7

 LINE       247
 SUB-EXPRESSION (data_i == cmd_info_i[i].opcode)
                ----------------1---------------
-1-StatusTests
0CoveredT3,T4,T7
1CoveredT3,T4,T7

 LINE       276
 EXPRESSION ((st == StIdle) && module_active && data_valid_i)
             -------1------    ------2------    ------3-----
-1--2--3-StatusTests
011CoveredT3,T4,T7
101Not Covered
110CoveredT1,T2,T3
111CoveredT3,T4,T7

 LINE       276
 SUB-EXPRESSION (st == StIdle)
                -------1------
-1-StatusTests
0CoveredT3,T4,T7
1CoveredT1,T2,T3

 LINE       300
 EXPRESSION ((cmd_info_q.read_pipeline_mode == RdPipeTwoStageHalfCycle) || (cmd_info_q.read_pipeline_mode == RdPipeTwoStageFullCycle))
             -----------------------------1----------------------------    -----------------------------2----------------------------
-1--2-StatusTests
00CoveredT1,T2,T3
01Not Covered
10Not Covered

 LINE       300
 SUB-EXPRESSION (cmd_info_q.read_pipeline_mode == RdPipeTwoStageHalfCycle)
                -----------------------------1----------------------------
-1-StatusTests
0CoveredT1,T2,T3
1Not Covered

 LINE       300
 SUB-EXPRESSION (cmd_info_q.read_pipeline_mode == RdPipeTwoStageFullCycle)
                -----------------------------1----------------------------
-1-StatusTests
0CoveredT1,T2,T3
1Not Covered

 LINE       307
 EXPRESSION (spi_mode_i == FlashMode)
            ------------1------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       308
 EXPRESSION (spi_mode_i == PassThrough)
            -------------1-------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT8,T13,T14

 LINE       309
 EXPRESSION (in_flashmode || in_passthrough)
             ------1-----    -------2------
-1--2-StatusTests
00Not Covered
01CoveredT8,T13,T14
10CoveredT1,T2,T3

 LINE       332
 EXPRESSION (module_active && data_valid_i && cmd_info_d.valid)
             ------1------    ------2-----    --------3-------
-1--2--3-StatusTests
011Not Covered
101Not Covered
110CoveredT3,T4,T7
111CoveredT3,T4,T7

 LINE       389
 EXPRESSION (opcode_en4b ? DpEn4B : DpEx4B)
             -----1-----
-1-StatusTests
0CoveredT7,T14,T11
1CoveredT7,T14,T11

 LINE       396
 EXPRESSION (opcode_wren ? DpWrEn : DpWrDi)
             -----1-----
-1-StatusTests
0CoveredT7,T11,T12
1CoveredT7,T11,T12

 LINE       406
 EXPRESSION (module_active && data_valid_i)
             ------1------    ------2-----
-1--2-StatusTests
01Not Covered
10CoveredT1,T2,T3
11CoveredT3,T4,T7

FSM Coverage for Module : spi_cmdparse
Summary for FSM :: st
TotalCoveredPercent
States 9 9 100.00 (Not included in score)
Transitions 8 8 100.00
Sequences 0 0

State, Transition and Sequence Details for FSM :: st
statesLine No.CoveredTests
StAddr4B 386 Covered T7,T14,T11
StIdle 245 Covered T1,T2,T3
StJedec 351 Covered T7,T11,T12
StReadCmd 377 Covered T3,T4,T7
StSfdp 363 Covered T7,T12,T43
StStatus 340 Covered T7,T8,T13
StUpload 381 Covered T7,T11,T12
StWait 345 Covered T3,T4,T7
StWrEn 393 Covered T7,T11,T12


transitionsLine No.CoveredTests
StIdle->StAddr4B 386 Covered T7,T14,T11
StIdle->StJedec 351 Covered T7,T11,T12
StIdle->StReadCmd 377 Covered T3,T4,T7
StIdle->StSfdp 363 Covered T7,T12,T43
StIdle->StStatus 340 Covered T7,T8,T13
StIdle->StUpload 381 Covered T7,T11,T12
StIdle->StWait 345 Covered T3,T4,T7
StIdle->StWrEn 393 Covered T7,T11,T12



Branch Coverage for Module : spi_cmdparse
Line No.TotalCoveredPercent
Branches 49 47 95.92
IF 183 2 2 100.00
IF 206 2 2 100.00
IF 223 3 3 100.00
IF 245 2 2 100.00
IF 276 2 2 100.00
IF 288 8 8 100.00
IF 312 3 2 66.67
CASE 330 27 26 96.30

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

LineNo. Expression -1-: 183 if ((cmd_info_i[(CmdInfoReadStatus1 + i)].valid && (data_i == cmd_info_i[(CmdInfoReadStatus1 + i)].opcode)))

Branches:
-1-StatusTests
1 Covered T3,T4,T7
0 Covered T1,T2,T3


LineNo. Expression -1-: 206 if ((cmd_info_i[i].valid && (data_i == cmd_info_i[i].opcode)))

Branches:
-1-StatusTests
1 Covered T3,T4,T7
0 Covered T1,T2,T3


LineNo. Expression -1-: 223 if ((!rst_ni)) -2-: 231 if (latch_cmdinfo)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T3,T4,T7
0 0 Covered T3,T4,T7


LineNo. Expression -1-: 245 if ((((st == StIdle) && module_active) && data_valid_i))

Branches:
-1-StatusTests
1 Covered T3,T4,T7
0 Covered T1,T2,T3


LineNo. Expression -1-: 276 if ((((st == StIdle) && module_active) && data_valid_i))

Branches:
-1-StatusTests
1 Covered T3,T4,T7
0 Covered T1,T2,T3


LineNo. Expression -1-: 288 if ((!rst_ni)) -2-: 292 if (intercept_d) -3-: 293 if (opcode_readstatus) -4-: 294 if (opcode_readjedec) -5-: 295 if (opcode_readsfdp)

Branches:
-1--2--3--4--5-StatusTests
1 - - - - Covered T1,T2,T3
0 1 1 - - Covered T8,T13,T11
0 1 0 - - Covered T11,T12,T41
0 1 - 1 - Covered T11,T12,T41
0 1 - 0 - Covered T8,T13,T11
0 1 - - 1 Covered T12,T43,T44
0 1 - - 0 Covered T8,T13,T11
0 0 - - - Covered T3,T4,T7


LineNo. Expression -1-: 312 if ((!rst_ni)) -2-: 314 if (module_active)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T3,T4,T7
0 0 Not Covered


LineNo. Expression -1-: 330 case (st) -2-: 332 if (((module_active && data_valid_i) && cmd_info_d.valid)) -3-: 337 case (1'b1) -4-: 339 if (in_flashmode) -5-: 341 if (cfg_intercept_en_status_i) -6-: 350 if (in_flashmode) -7-: 352 if (cfg_intercept_en_jedec_i) -8-: 362 if (in_flashmode) -9-: 364 if (cfg_intercept_en_sfdp_i) -10-: 389 (opcode_en4b) ? -11-: 396 (opcode_wren) ? -12-: 406 if ((module_active && data_valid_i))

Branches:
-1--2--3--4--5--6--7--8--9--10--11--12-StatusTests
StIdle 1 opcode_readstatus 1 - - - - - - - - Covered T7,T12,T26
StIdle 1 opcode_readstatus 0 1 - - - - - - - Covered T8,T13,T11
StIdle 1 opcode_readstatus 0 0 - - - - - - - Covered T16,T31,T42
StIdle 1 opcode_readjedec - - 1 - - - - - - Covered T7,T12,T26
StIdle 1 opcode_readjedec - - 0 1 - - - - - Covered T11,T12,T41
StIdle 1 opcode_readjedec - - 0 0 - - - - - Covered T16,T11,T12
StIdle 1 opcode_readsfdp - - - - 1 - - - - Covered T7,T12,T26
StIdle 1 opcode_readsfdp - - - - 0 1 - - - Covered T12,T43,T44
StIdle 1 opcode_readsfdp - - - - 0 0 - - - Covered T11,T12,T32
StIdle 1 opcode_readcmd - - - - - - - - - Covered T3,T4,T7
StIdle 1 upload - - - - - - - - - Covered T7,T11,T12
StIdle 1 opcode_en4b opcode_ex4b - - - - - - 1 - - Covered T7,T14,T11
StIdle 1 opcode_en4b opcode_ex4b - - - - - - 0 - - Covered T7,T14,T11
StIdle 1 opcode_wren opcode_wrdi - - - - - - - 1 - Covered T7,T11,T12
StIdle 1 opcode_wren opcode_wrdi - - - - - - - 0 - Covered T7,T11,T12
StIdle 1 default - - - - - - - - - Covered T7,T13,T14
StIdle 0 - - - - - - - - - 1 Covered T3,T4,T7
StIdle 0 - - - - - - - - - 0 Covered T1,T2,T3
StStatus - - - - - - - - - - - Covered T7,T8,T13
StJedec - - - - - - - - - - - Covered T7,T11,T12
StSfdp - - - - - - - - - - - Covered T7,T12,T43
StReadCmd - - - - - - - - - - - Covered T3,T4,T7
StUpload - - - - - - - - - - - Covered T7,T11,T12
StAddr4B - - - - - - - - - - - Covered T7,T14,T11
StWrEn - - - - - - - - - - - Covered T7,T11,T12
StWait - - - - - - - - - - - Covered T3,T4,T7
default - - - - - - - - - - - Not Covered


Assert Coverage for Module : spi_cmdparse
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
CmdOnlySelDpKnown_A 195714156 151204231 0 0
OnlyOneDatapath_A 195714156 74511 0 0
SelDpKnown_A 195714156 151204231 0 0
StKnown_A 195714156 151204231 0 0


CmdOnlySelDpKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 195714156 151204231 0 0
T3 87566 86642 0 0
T4 113155 112848 0 0
T6 2005 0 0 0
T7 119843 899000 0 0
T8 43440 43440 0 0
T10 672 0 0 0
T11 0 356092 0 0
T13 72254 72254 0 0
T14 0 1260 0 0
T15 0 11522 0 0
T16 0 205894 0 0
T17 0 144328 0 0
T18 133267 0 0 0
T19 1865 0 0 0
T21 56831 0 0 0

OnlyOneDatapath_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 195714156 74511 0 0
T3 87566 30 0 0
T4 113155 21 0 0
T6 2005 0 0 0
T7 119843 540 0 0
T8 43440 6 0 0
T10 672 0 0 0
T11 0 245 0 0
T13 72254 16 0 0
T14 0 12 0 0
T15 0 8 0 0
T16 0 34 0 0
T17 0 30 0 0
T18 133267 0 0 0
T19 1865 0 0 0
T21 56831 0 0 0

SelDpKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 195714156 151204231 0 0
T3 87566 86642 0 0
T4 113155 112848 0 0
T6 2005 0 0 0
T7 119843 899000 0 0
T8 43440 43440 0 0
T10 672 0 0 0
T11 0 356092 0 0
T13 72254 72254 0 0
T14 0 1260 0 0
T15 0 11522 0 0
T16 0 205894 0 0
T17 0 144328 0 0
T18 133267 0 0 0
T19 1865 0 0 0
T21 56831 0 0 0

StKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 195714156 151204231 0 0
T3 87566 86642 0 0
T4 113155 112848 0 0
T6 2005 0 0 0
T7 119843 899000 0 0
T8 43440 43440 0 0
T10 672 0 0 0
T11 0 356092 0 0
T13 72254 72254 0 0
T14 0 1260 0 0
T15 0 11522 0 0
T16 0 205894 0 0
T17 0 144328 0 0
T18 133267 0 0 0
T19 1865 0 0 0
T21 56831 0 0 0

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