Line Coverage for Module : 
spi_cmdparse
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 108 | 108 | 100.00 | 
| CONT_ASSIGN | 85 | 1 | 1 | 100.00 | 
| ALWAYS | 90 | 3 | 3 | 100.00 | 
| CONT_ASSIGN | 156 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 160 | 1 | 1 | 100.00 | 
| ALWAYS | 185 | 4 | 4 | 100.00 | 
| CONT_ASSIGN | 194 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 196 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 198 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 200 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 202 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 204 | 1 | 1 | 100.00 | 
| ALWAYS | 208 | 4 | 4 | 100.00 | 
| ALWAYS | 218 | 6 | 6 | 100.00 | 
| ALWAYS | 233 | 7 | 7 | 100.00 | 
| CONT_ASSIGN | 253 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 254 | 1 | 1 | 100.00 | 
| ALWAYS | 263 | 5 | 5 | 100.00 | 
| CONT_ASSIGN | 279 | 1 | 1 | 100.00 | 
| ALWAYS | 283 | 11 | 11 | 100.00 | 
| CONT_ASSIGN | 295 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 302 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 303 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 304 | 1 | 1 | 100.00 | 
| ALWAYS | 307 | 4 | 4 | 100.00 | 
| ALWAYS | 315 | 48 | 48 | 100.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. | Covered | Statements |  | 
| 85 | 
1 | 
1 | 
| 90 | 
1 | 
1 | 
| 91 | 
1 | 
1 | 
| 92 | 
1 | 
1 | 
| 156 | 
1 | 
1 | 
| 160 | 
1 | 
1 | 
| 185 | 
1 | 
1 | 
| 186 | 
1 | 
1 | 
| 187 | 
1 | 
1 | 
| 189 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 194 | 
1 | 
1 | 
| 196 | 
1 | 
1 | 
| 198 | 
1 | 
1 | 
| 200 | 
1 | 
1 | 
| 202 | 
1 | 
1 | 
| 204 | 
1 | 
1 | 
| 208 | 
1 | 
1 | 
| 209 | 
1 | 
1 | 
| 210 | 
1 | 
1 | 
| 211 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 218 | 
1 | 
1 | 
| 219 | 
1 | 
1 | 
| 225 | 
1 | 
1 | 
| 226 | 
1 | 
1 | 
| 227 | 
1 | 
1 | 
| 228 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 233 | 
1 | 
1 | 
| 239 | 
1 | 
1 | 
| 240 | 
1 | 
1 | 
| 241 | 
1 | 
1 | 
| 242 | 
1 | 
1 | 
| 243 | 
1 | 
1 | 
| 244 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 253 | 
1 | 
1 | 
| 254 | 
1 | 
1 | 
| 263 | 
1 | 
1 | 
| 269 | 
1 | 
1 | 
| 271 | 
1 | 
1 | 
| 272 | 
1 | 
1 | 
| 273 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 279 | 
1 | 
1 | 
| 283 | 
1 | 
1 | 
| 284 | 
1 | 
1 | 
| 285 | 
1 | 
1 | 
| 286 | 
1 | 
1 | 
| 287 | 
1 | 
1 | 
| 288 | 
2 | 
2 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 289 | 
2 | 
2 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 290 | 
2 | 
2 | 
 | 
 | 
 | 
     MISSING_ELSE | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 295 | 
1 | 
1 | 
| 302 | 
1 | 
1 | 
| 303 | 
1 | 
1 | 
| 304 | 
1 | 
1 | 
| 307 | 
1 | 
1 | 
| 308 | 
1 | 
1 | 
| 309 | 
1 | 
1 | 
| 310 | 
1 | 
1 | 
 | 
 | 
 | 
==>  MISSING_ELSE | 
| 315 | 
1 | 
1 | 
| 317 | 
1 | 
1 | 
| 318 | 
1 | 
1 | 
| 320 | 
1 | 
1 | 
| 321 | 
1 | 
1 | 
| 323 | 
1 | 
1 | 
| 325 | 
1 | 
1 | 
| 327 | 
1 | 
1 | 
| 329 | 
1 | 
1 | 
| 330 | 
1 | 
1 | 
| 332 | 
1 | 
1 | 
| 334 | 
1 | 
1 | 
| 335 | 
1 | 
1 | 
| 336 | 
1 | 
1 | 
| 337 | 
1 | 
1 | 
| 338 | 
1 | 
1 | 
| 340 | 
1 | 
1 | 
| 345 | 
1 | 
1 | 
| 346 | 
1 | 
1 | 
| 347 | 
1 | 
1 | 
| 348 | 
1 | 
1 | 
| 349 | 
1 | 
1 | 
| 351 | 
1 | 
1 | 
| 357 | 
1 | 
1 | 
| 358 | 
1 | 
1 | 
| 359 | 
1 | 
1 | 
| 360 | 
1 | 
1 | 
| 361 | 
1 | 
1 | 
| 364 | 
1 | 
1 | 
| 372 | 
1 | 
1 | 
| 376 | 
1 | 
1 | 
| 377 | 
1 | 
1 | 
| 381 | 
1 | 
1 | 
| 384 | 
1 | 
1 | 
| 388 | 
1 | 
1 | 
| 391 | 
1 | 
1 | 
| 401 | 
1 | 
1 | 
| 403 | 
1 | 
1 | 
| 404 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 409 | 
1 | 
1 | 
| 411 | 
1 | 
1 | 
| 413 | 
1 | 
1 | 
| 415 | 
1 | 
1 | 
| 417 | 
1 | 
1 | 
| 419 | 
1 | 
1 | 
| 421 | 
1 | 
1 | 
| 424 | 
1 | 
1 | 
| 426 | 
1 | 
1 | 
Cond Coverage for Module : 
spi_cmdparse
 | Total | Covered | Percent | 
| Conditions | 89 | 83 | 93.26 | 
| Logical | 89 | 83 | 93.26 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       187
 EXPRESSION (cmd_info_i[(CmdInfoReadStatus1 + i)].valid && (data_i == cmd_info_i[(CmdInfoReadStatus1 + i)].opcode))
             ---------------------1--------------------    ---------------------------2---------------------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T2,T3,T4 | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T1,T2,T3 | 
 LINE       187
 SUB-EXPRESSION (data_i == cmd_info_i[(CmdInfoReadStatus1 + i)].opcode)
                ---------------------------1---------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T3 | 
 LINE       194
 EXPRESSION (cmd_info_i[CmdInfoReadJedecId].valid && (data_i == cmd_info_i[CmdInfoReadJedecId].opcode))
             ------------------1-----------------    ------------------------2------------------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T3,T4,T6 | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T1,T2,T3 | 
 LINE       194
 SUB-EXPRESSION (data_i == cmd_info_i[CmdInfoReadJedecId].opcode)
                ------------------------1------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T3 | 
 LINE       196
 EXPRESSION (cmd_info_i[CmdInfoReadSfdp].valid && (data_i == cmd_info_i[CmdInfoReadSfdp].opcode))
             ----------------1----------------    -----------------------2----------------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T3,T4,T7 | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T1,T2,T3 | 
 LINE       196
 SUB-EXPRESSION (data_i == cmd_info_i[CmdInfoReadSfdp].opcode)
                -----------------------1----------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T3 | 
 LINE       198
 EXPRESSION (((!sck_status_busy_i)) && cmd_info_i[CmdInfoEn4B].valid && (data_i == cmd_info_i[CmdInfoEn4B].opcode))
             -----------1----------    --------------2--------------    ---------------------3--------------------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T1,T8,T10 | 
| 1 | 0 | 1 | Covered | T2,T3,T4 | 
| 1 | 1 | 0 | Covered | T1,T3,T8 | 
| 1 | 1 | 1 | Covered | T1,T3,T8 | 
 LINE       198
 SUB-EXPRESSION (data_i == cmd_info_i[CmdInfoEn4B].opcode)
                ---------------------1--------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T3 | 
 LINE       200
 EXPRESSION (((!sck_status_busy_i)) && cmd_info_i[CmdInfoEx4B].valid && (data_i == cmd_info_i[CmdInfoEx4B].opcode))
             -----------1----------    --------------2--------------    ---------------------3--------------------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T1,T3,T8 | 
| 1 | 0 | 1 | Covered | T2,T3,T4 | 
| 1 | 1 | 0 | Covered | T1,T3,T8 | 
| 1 | 1 | 1 | Covered | T1,T3,T8 | 
 LINE       200
 SUB-EXPRESSION (data_i == cmd_info_i[CmdInfoEx4B].opcode)
                ---------------------1--------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T3 | 
 LINE       202
 EXPRESSION (((!sck_status_busy_i)) && cmd_info_i[CmdInfoWrEn].valid && (data_i == cmd_info_i[CmdInfoWrEn].opcode))
             -----------1----------    --------------2--------------    ---------------------3--------------------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T1,T8,T13 | 
| 1 | 0 | 1 | Covered | T2,T3,T4 | 
| 1 | 1 | 0 | Covered | T1,T3,T8 | 
| 1 | 1 | 1 | Covered | T1,T3,T8 | 
 LINE       202
 SUB-EXPRESSION (data_i == cmd_info_i[CmdInfoWrEn].opcode)
                ---------------------1--------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T3 | 
 LINE       204
 EXPRESSION (((!sck_status_busy_i)) && cmd_info_i[CmdInfoWrDi].valid && (data_i == cmd_info_i[CmdInfoWrDi].opcode))
             -----------1----------    --------------2--------------    ---------------------3--------------------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T1,T3,T8 | 
| 1 | 0 | 1 | Covered | T2,T3,T4 | 
| 1 | 1 | 0 | Covered | T1,T3,T8 | 
| 1 | 1 | 1 | Covered | T1,T3,T8 | 
 LINE       204
 SUB-EXPRESSION (data_i == cmd_info_i[CmdInfoWrDi].opcode)
                ---------------------1--------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T3 | 
 LINE       210
 EXPRESSION (cmd_info_i[i].valid && (data_i == cmd_info_i[i].opcode))
             ---------1---------    ----------------2---------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T3,T4,T6 | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T1,T2,T3 | 
 LINE       210
 SUB-EXPRESSION (data_i == cmd_info_i[i].opcode)
                ----------------1---------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T3 | 
 LINE       240
 EXPRESSION ((st == StIdle) && module_active && data_valid_i)
             -------1------    ------2------    ------3-----
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Not Covered |  | 
| 1 | 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | 1 | Covered | T1,T2,T3 | 
 LINE       240
 SUB-EXPRESSION (st == StIdle)
                -------1------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T3 | 
 LINE       242
 EXPRESSION (cmd_info_i[i].valid && (data_i == cmd_info_i[i].opcode))
             ---------1---------    ----------------2---------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T6,T9,T49 | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T1,T2,T3 | 
 LINE       242
 SUB-EXPRESSION (data_i == cmd_info_i[i].opcode)
                ----------------1---------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T3 | 
 LINE       271
 EXPRESSION ((st == StIdle) && module_active && data_valid_i)
             -------1------    ------2------    ------3-----
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Not Covered |  | 
| 1 | 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | 1 | Covered | T1,T2,T3 | 
 LINE       271
 SUB-EXPRESSION (st == StIdle)
                -------1------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T3 | 
 LINE       279
 EXPRESSION (cmd_info_d.upload && ((!sck_status_busy_i)))
             --------1--------    -----------2----------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Covered | T82,T93,T96 | 
| 1 | 1 | Covered | T1,T3,T8 | 
 LINE       295
 EXPRESSION ((cmd_info_q.read_pipeline_mode == RdPipeTwoStageHalfCycle) || (cmd_info_q.read_pipeline_mode == RdPipeTwoStageFullCycle))
             -----------------------------1----------------------------    -----------------------------2----------------------------
| -1- | -2- | Status | Tests |                       
| 0 | 0 | Covered | T1,T2,T3 | 
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Covered | T1,T3,T6 | 
 LINE       295
 SUB-EXPRESSION (cmd_info_q.read_pipeline_mode == RdPipeTwoStageHalfCycle)
                -----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T3,T6 | 
 LINE       295
 SUB-EXPRESSION (cmd_info_q.read_pipeline_mode == RdPipeTwoStageFullCycle)
                -----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T3 | 
 LINE       302
 EXPRESSION (spi_mode_i == FlashMode)
            ------------1------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T3 | 
 LINE       303
 EXPRESSION (spi_mode_i == PassThrough)
            -------------1-------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T6 | 
 LINE       304
 EXPRESSION (in_flashmode || in_passthrough)
             ------1-----    -------2------
| -1- | -2- | Status | Tests |                       
| 0 | 0 | Not Covered |  | 
| 0 | 1 | Covered | T1,T2,T6 | 
| 1 | 0 | Covered | T1,T2,T3 | 
 LINE       327
 EXPRESSION (module_active && data_valid_i && cmd_info_d.valid)
             ------1------    ------2-----    --------3-------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Not Covered |  | 
| 1 | 0 | 1 | Not Covered |  | 
| 1 | 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | 1 | Covered | T1,T2,T3 | 
 LINE       384
 EXPRESSION (opcode_en4b ? DpEn4B : DpEx4B)
             -----1-----
| -1- | Status | Tests |                       
| 0 | Covered | T1,T8,T10 | 
| 1 | Covered | T1,T3,T8 | 
 LINE       391
 EXPRESSION (opcode_wren ? DpWrEn : DpWrDi)
             -----1-----
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T8 | 
| 1 | Covered | T1,T3,T8 | 
 LINE       401
 EXPRESSION (module_active && data_valid_i)
             ------1------    ------2-----
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Not Covered |  | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T1,T2,T3 | 
FSM Coverage for Module : 
spi_cmdparse
Summary for FSM :: st
 | Total | Covered | Percent |  | 
| 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
| states | Line No. | Covered | Tests | 
| StAddr4B | 
381 | 
Covered | 
T1,T8,T10 | 
| StIdle | 
240 | 
Covered | 
T1,T2,T3 | 
| StJedec | 
346 | 
Covered | 
T1,T3,T8 | 
| StReadCmd | 
372 | 
Covered | 
T1,T2,T3 | 
| StSfdp | 
358 | 
Covered | 
T1,T3,T8 | 
| StStatus | 
335 | 
Covered | 
T1,T2,T3 | 
| StUpload | 
376 | 
Covered | 
T1,T3,T8 | 
| StWait | 
340 | 
Covered | 
T1,T2,T3 | 
| StWrEn | 
388 | 
Covered | 
T1,T3,T8 | 
| transitions | Line No. | Covered | Tests | 
| StIdle->StAddr4B | 
381 | 
Covered | 
T1,T8,T10 | 
| StIdle->StJedec | 
346 | 
Covered | 
T1,T3,T8 | 
| StIdle->StReadCmd | 
372 | 
Covered | 
T1,T2,T3 | 
| StIdle->StSfdp | 
358 | 
Covered | 
T1,T3,T8 | 
| StIdle->StStatus | 
335 | 
Covered | 
T1,T2,T3 | 
| StIdle->StUpload | 
376 | 
Covered | 
T1,T3,T8 | 
| StIdle->StWait | 
340 | 
Covered | 
T1,T2,T3 | 
| StIdle->StWrEn | 
388 | 
Covered | 
T1,T3,T8 | 
Branch Coverage for Module : 
spi_cmdparse
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
49 | 
47 | 
95.92  | 
| IF | 
187 | 
2 | 
2 | 
100.00 | 
| IF | 
210 | 
2 | 
2 | 
100.00 | 
| IF | 
218 | 
3 | 
3 | 
100.00 | 
| IF | 
240 | 
2 | 
2 | 
100.00 | 
| IF | 
271 | 
2 | 
2 | 
100.00 | 
| IF | 
283 | 
8 | 
8 | 
100.00 | 
| IF | 
307 | 
3 | 
2 | 
66.67  | 
| CASE | 
325 | 
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-:	187	if ((cmd_info_i[(CmdInfoReadStatus1 + i)].valid && (data_i == cmd_info_i[(CmdInfoReadStatus1 + i)].opcode)))
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T1,T2,T3 | 
	LineNo.	Expression
-1-:	210	if ((cmd_info_i[i].valid && (data_i == cmd_info_i[i].opcode)))
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T1,T2,T3 | 
	LineNo.	Expression
-1-:	218	if ((!rst_ni))
-2-:	226	if (latch_cmdinfo)
Branches:
| -1- | -2- | Status | Tests | 
| 1 | 
- | 
Covered | 
T1,T2,T3 | 
| 0 | 
1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
0 | 
Covered | 
T1,T2,T3 | 
	LineNo.	Expression
-1-:	240	if ((((st == StIdle) && module_active) && data_valid_i))
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T1,T2,T3 | 
	LineNo.	Expression
-1-:	271	if ((((st == StIdle) && module_active) && data_valid_i))
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T1,T2,T3 | 
	LineNo.	Expression
-1-:	283	if ((!rst_ni))
-2-:	287	if (intercept_d)
-3-:	288	if (opcode_readstatus)
-4-:	289	if (opcode_readjedec)
-5-:	290	if (opcode_readsfdp)
Branches:
| -1- | -2- | -3- | -4- | -5- | Status | Tests | 
| 1 | 
- | 
- | 
- | 
- | 
Covered | 
T1,T2,T3 | 
| 0 | 
1 | 
1 | 
- | 
- | 
Covered | 
T1,T2,T10 | 
| 0 | 
1 | 
0 | 
- | 
- | 
Covered | 
T1,T23,T41 | 
| 0 | 
1 | 
- | 
1 | 
- | 
Covered | 
T1,T23,T41 | 
| 0 | 
1 | 
- | 
0 | 
- | 
Covered | 
T1,T2,T10 | 
| 0 | 
1 | 
- | 
- | 
1 | 
Covered | 
T1,T23,T41 | 
| 0 | 
1 | 
- | 
- | 
0 | 
Covered | 
T1,T2,T10 | 
| 0 | 
0 | 
- | 
- | 
- | 
Covered | 
T1,T2,T3 | 
	LineNo.	Expression
-1-:	307	if ((!rst_ni))
-2-:	309	if (module_active)
Branches:
| -1- | -2- | Status | Tests | 
| 1 | 
- | 
Covered | 
T1,T2,T3 | 
| 0 | 
1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
0 | 
Not Covered | 
 | 
	LineNo.	Expression
-1-:	325	case (st)
-2-:	327	if (((module_active && data_valid_i) && cmd_info_d.valid))
-3-:	332	case (1'b1)
-4-:	334	if (in_flashmode)
-5-:	336	if (cfg_intercept_en_status_i)
-6-:	345	if (in_flashmode)
-7-:	347	if (cfg_intercept_en_jedec_i)
-8-:	357	if (in_flashmode)
-9-:	359	if (cfg_intercept_en_sfdp_i)
-10-:	384	(opcode_en4b) ? 
-11-:	391	(opcode_wren) ? 
-12-:	401	if ((module_active && data_valid_i))
Branches:
| -1- | -2- | -3- | -4- | -5- | -6- | -7- | -8- | -9- | -10- | -11- | -12- | Status | Tests | 
| StIdle  | 
1 | 
opcode_readstatus  | 
1 | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
Covered | 
T3,T8,T13 | 
| StIdle  | 
1 | 
opcode_readstatus  | 
0 | 
1 | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
Covered | 
T1,T2,T10 | 
| StIdle  | 
1 | 
opcode_readstatus  | 
0 | 
0 | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
Covered | 
T94,T97,T98 | 
| StIdle  | 
1 | 
opcode_readjedec  | 
- | 
- | 
1 | 
- | 
- | 
- | 
- | 
- | 
- | 
Covered | 
T3,T8,T13 | 
| StIdle  | 
1 | 
opcode_readjedec  | 
- | 
- | 
0 | 
1 | 
- | 
- | 
- | 
- | 
- | 
Covered | 
T1,T23,T41 | 
| StIdle  | 
1 | 
opcode_readjedec  | 
- | 
- | 
0 | 
0 | 
- | 
- | 
- | 
- | 
- | 
Covered | 
T1,T2,T10 | 
| StIdle  | 
1 | 
opcode_readsfdp  | 
- | 
- | 
- | 
- | 
1 | 
- | 
- | 
- | 
- | 
Covered | 
T3,T8,T13 | 
| StIdle  | 
1 | 
opcode_readsfdp  | 
- | 
- | 
- | 
- | 
0 | 
1 | 
- | 
- | 
- | 
Covered | 
T1,T23,T41 | 
| StIdle  | 
1 | 
opcode_readsfdp  | 
- | 
- | 
- | 
- | 
0 | 
0 | 
- | 
- | 
- | 
Covered | 
T1,T23,T41 | 
| StIdle  | 
1 | 
opcode_readcmd  | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
Covered | 
T1,T2,T3 | 
| StIdle  | 
1 | 
upload  | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
Covered | 
T1,T3,T8 | 
| StIdle  | 
1 | 
opcode_en4b opcode_ex4b  | 
- | 
- | 
- | 
- | 
- | 
- | 
1 | 
- | 
- | 
Covered | 
T1,T3,T8 | 
| StIdle  | 
1 | 
opcode_en4b opcode_ex4b  | 
- | 
- | 
- | 
- | 
- | 
- | 
0 | 
- | 
- | 
Covered | 
T1,T8,T10 | 
| StIdle  | 
1 | 
opcode_wren opcode_wrdi  | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
1 | 
- | 
Covered | 
T1,T3,T8 | 
| StIdle  | 
1 | 
opcode_wren opcode_wrdi  | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
0 | 
- | 
Covered | 
T1,T3,T8 | 
| StIdle  | 
1 | 
default | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
Covered | 
T1,T2,T3 | 
| StIdle  | 
0 | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
1 | 
Covered | 
T1,T2,T3 | 
| StIdle  | 
0 | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
0 | 
Covered | 
T1,T2,T3 | 
| StStatus  | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
Covered | 
T1,T2,T3 | 
| StJedec  | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
Covered | 
T1,T3,T8 | 
| StSfdp  | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
Covered | 
T1,T3,T8 | 
| StReadCmd  | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
Covered | 
T1,T2,T3 | 
| StUpload  | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
Covered | 
T1,T3,T8 | 
| StAddr4B  | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
Covered | 
T1,T8,T10 | 
| StWrEn  | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
Covered | 
T1,T3,T8 | 
| StWait  | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
Covered | 
T1,T2,T3 | 
| default | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
- | 
Not Covered | 
 | 
Assert Coverage for Module : 
spi_cmdparse
Assertion Details
CmdOnlySelDpKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
143828559 | 
116648910 | 
0 | 
0 | 
| T1 | 
615328 | 
613520 | 
0 | 
0 | 
| T2 | 
116916 | 
116916 | 
0 | 
0 | 
| T3 | 
332442 | 
86737 | 
0 | 
0 | 
| T4 | 
48 | 
0 | 
0 | 
0 | 
| T6 | 
131519 | 
130954 | 
0 | 
0 | 
| T7 | 
807 | 
807 | 
0 | 
0 | 
| T8 | 
381997 | 
347176 | 
0 | 
0 | 
| T9 | 
145512 | 
145512 | 
0 | 
0 | 
| T10 | 
91022 | 
90540 | 
0 | 
0 | 
| T11 | 
17338 | 
17338 | 
0 | 
0 | 
| T12 | 
0 | 
30100 | 
0 | 
0 | 
OnlyOneDatapath_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
143828559 | 
59853 | 
0 | 
0 | 
| T1 | 
615328 | 
213 | 
0 | 
0 | 
| T2 | 
116916 | 
16 | 
0 | 
0 | 
| T3 | 
332442 | 
55 | 
0 | 
0 | 
| T4 | 
48 | 
0 | 
0 | 
0 | 
| T6 | 
131519 | 
24 | 
0 | 
0 | 
| T7 | 
807 | 
1 | 
0 | 
0 | 
| T8 | 
381997 | 
452 | 
0 | 
0 | 
| T9 | 
145512 | 
28 | 
0 | 
0 | 
| T10 | 
91022 | 
62 | 
0 | 
0 | 
| T11 | 
17338 | 
8 | 
0 | 
0 | 
| T12 | 
0 | 
8 | 
0 | 
0 | 
SelDpKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
143828559 | 
116648910 | 
0 | 
0 | 
| T1 | 
615328 | 
613520 | 
0 | 
0 | 
| T2 | 
116916 | 
116916 | 
0 | 
0 | 
| T3 | 
332442 | 
86737 | 
0 | 
0 | 
| T4 | 
48 | 
0 | 
0 | 
0 | 
| T6 | 
131519 | 
130954 | 
0 | 
0 | 
| T7 | 
807 | 
807 | 
0 | 
0 | 
| T8 | 
381997 | 
347176 | 
0 | 
0 | 
| T9 | 
145512 | 
145512 | 
0 | 
0 | 
| T10 | 
91022 | 
90540 | 
0 | 
0 | 
| T11 | 
17338 | 
17338 | 
0 | 
0 | 
| T12 | 
0 | 
30100 | 
0 | 
0 | 
StKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
143828559 | 
116648910 | 
0 | 
0 | 
| T1 | 
615328 | 
613520 | 
0 | 
0 | 
| T2 | 
116916 | 
116916 | 
0 | 
0 | 
| T3 | 
332442 | 
86737 | 
0 | 
0 | 
| T4 | 
48 | 
0 | 
0 | 
0 | 
| T6 | 
131519 | 
130954 | 
0 | 
0 | 
| T7 | 
807 | 
807 | 
0 | 
0 | 
| T8 | 
381997 | 
347176 | 
0 | 
0 | 
| T9 | 
145512 | 
145512 | 
0 | 
0 | 
| T10 | 
91022 | 
90540 | 
0 | 
0 | 
| T11 | 
17338 | 
17338 | 
0 | 
0 | 
| T12 | 
0 | 
30100 | 
0 | 
0 |