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

Module : spid_upload
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00 0.00

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

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.u_upload 0.00 0.00 0.00 0.00 0.00



Module Instance : tb.dut.u_upload

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00 0.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00 0.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
18.78 0.00 0.00 75.11 0.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_addrfifo 0.00 0.00 0.00 0.00
u_arbiter 0.00 0.00 0.00 0.00
u_cmdfifo 0.00 0.00 0.00 0.00
u_payload_buffer 0.00 0.00 0.00 0.00
u_payloadptr_clr_psync 0.00 0.00 0.00 0.00
u_sys_cmdfifo_set 0.00 0.00 0.00 0.00


Since this is the module's only instance, the coverage report is the same as for the module.
Line Coverage for Module : spid_upload
Line No.TotalCoveredPercent
TOTAL10900.00
CONT_ASSIGN134100.00
CONT_ASSIGN137100.00
CONT_ASSIGN143100.00
CONT_ASSIGN194100.00
CONT_ASSIGN206100.00
CONT_ASSIGN213100.00
CONT_ASSIGN234100.00
CONT_ASSIGN241100.00
CONT_ASSIGN242100.00
CONT_ASSIGN244100.00
CONT_ASSIGN246100.00
CONT_ASSIGN251100.00
CONT_ASSIGN252100.00
ALWAYS256600.00
ALWAYS262300.00
ALWAYS268400.00
CONT_ASSIGN307100.00
ALWAYS322300.00
ALWAYS3461000.00
ALWAYS367800.00
ALWAYS390800.00
ALWAYS408600.00
ALWAYS418600.00
CONT_ASSIGN425100.00
ALWAYS428300.00
ALWAYS4382600.00
CONT_ASSIGN570100.00
CONT_ASSIGN577100.00
CONT_ASSIGN578100.00
CONT_ASSIGN579100.00
CONT_ASSIGN580100.00
CONT_ASSIGN630100.00
CONT_ASSIGN637100.00
CONT_ASSIGN638100.00
CONT_ASSIGN639100.00
CONT_ASSIGN640100.00
CONT_ASSIGN707100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_spi_device_0.1/rtl/spid_upload.sv' or '../src/lowrisc_ip_spi_device_0.1/rtl/spid_upload.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
134 0 1
137 0 1
143 0 1
194 0 1
206 0 1
213 0 1
234 0 1
241 0 1
242 0 1
244 0 1
246 0 1
251 0 1
252 0 1
256 0 2
257 0 2
258 0 2
==> MISSING_ELSE
262 0 1
263 0 1
264 0 1
==> MISSING_ELSE
268 0 1
269 0 1
270 0 1
271 0 1
==> MISSING_ELSE
307 0 1
322 0 1
323 0 1
325 0 1
346 0 1
347 0 1
348 0 1
349 0 1
350 0 1
351 0 1
352 0 1
353 0 1
355 0 1
==> MISSING_ELSE
357 0 1
==> MISSING_ELSE
367 0 2
368 0 2
369 0 1
370 0 1
371 0 1
372 0 1
==> MISSING_ELSE
390 0 2
391 0 2
392 0 1
395 0 1
396 0 1
399 0 1
==> MISSING_ELSE
408 0 2
409 0 2
410 0 1
411 0 1
==> MISSING_ELSE
418 0 2
419 0 2
420 0 1
421 0 1
==> MISSING_ELSE
425 0 1
428 0 1
429 0 1
431 0 1
438 0 1
440 0 1
441 0 1
442 0 1
444 0 1
445 0 1
447 0 1
449 0 1
450 0 1
452 0 1
454 0 1
455 0 1
456 0 1
459 0 1
461 0 1
465 0 1
469 0 1
471 0 1
==> MISSING_ELSE
475 0 1
==> MISSING_ELSE
481 0 1
483 0 1
484 0 1
486 0 1
==> MISSING_ELSE
492 0 1
493 0 1
494 0 1
==> MISSING_ELSE
570 0 1
577 0 1
578 0 1
579 0 1
580 0 1
630 0 1
637 0 1
638 0 1
639 0 1
640 0 1
707 0 1


Cond Coverage for Module : spid_upload
TotalCoveredPercent
Conditions3600.00
Logical3600.00
Non-Logical00
Event00

 LINE       242
 EXPRESSION (cmdinfo_addr_mode != AddrDisabled)
            -----------------1-----------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       244
 EXPRESSION (cmdinfo_addr_mode == Addr4B)
            --------------1--------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       257
 EXPRESSION (cmdinfo_addr_4b_en ? 5'd31 : 5'd23)
             ---------1--------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       270
 EXPRESSION (s2p_valid_i && addr_shift)
             -----1-----    -----2----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       307
 EXPRESSION (cmdfifo_wvalid && cmdfifo_wready)
             -------1------    -------2------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       353
 EXPRESSION (payloadptr == 8'((PayloadByte - 1)))
            ------------------1------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       369
 EXPRESSION (sys_cmdfifo_set && payload_max)
             -------1-------    -----2-----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       371
 EXPRESSION (sys_cmdfifo_set && ((!payload_max)))
             -------1-------    --------2-------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       392
 EXPRESSION (sys_cmdfifo_set && payload_max)
             -------1-------    -----2-----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       396
 EXPRESSION (sys_cmdfifo_set && ((!payload_max)))
             -------1-------    --------2-------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       410
 EXPRESSION (payloadptr_inc && payload_max)
             -------1------    -----2-----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       454
 EXPRESSION (s2p_valid_i && (cmd_only_sel_dp_i == DpUpload))
             -----1-----    ---------------2---------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       454
 SUB-EXPRESSION (cmd_only_sel_dp_i == DpUpload)
                ---------------1---------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       483
 EXPRESSION (addrcnt == '0)
            -------1-------
-1-StatusTests
0Not Covered
1Not Covered

FSM Coverage for Module : spid_upload
Summary for FSM :: st_q
TotalCoveredPercent
States 3 0 0.00 (Not included in score)
Transitions 3 0 0.00
Sequences 0 0

State, Transition and Sequence Details for FSM :: st_q
statesLine No.CoveredTests
StAddress 456 Not Covered
StIdle 453 Not Covered
StPayload 461 Not Covered


transitionsLine No.CoveredTests
StAddress->StPayload 484 Not Covered
StIdle->StAddress 456 Not Covered
StIdle->StPayload 461 Not Covered



Branch Coverage for Module : spid_upload
Line No.TotalCoveredPercent
Branches 47 0 0.00
IF 256 5 0 0.00
IF 263 2 0 0.00
IF 268 3 0 0.00
IF 322 2 0 0.00
IF 346 5 0 0.00
IF 367 5 0 0.00
IF 390 5 0 0.00
IF 408 4 0 0.00
IF 418 4 0 0.00
IF 428 2 0 0.00
CASE 452 10 0 0.00

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

LineNo. Expression -1-: 256 if ((!rst_ni)) -2-: 257 if (addr_update) -3-: 257 (cmdinfo_addr_4b_en) ? -4-: 258 if (addr_shift)

Branches:
-1--2--3--4-StatusTests
1 - - - Not Covered
0 1 1 - Not Covered
0 1 0 - Not Covered
0 0 - 1 Not Covered
0 0 - 0 Not Covered


LineNo. Expression -1-: 263 if (addr_shift)

Branches:
-1-StatusTests
1 Not Covered
0 Not Covered


LineNo. Expression -1-: 268 if ((!rst_ni)) -2-: 270 if ((s2p_valid_i && addr_shift))

Branches:
-1--2-StatusTests
1 - Not Covered
0 1 Not Covered
0 0 Not Covered


LineNo. Expression -1-: 322 if ((!sys_rst_ni))

Branches:
-1-StatusTests
1 Not Covered
0 Not Covered


LineNo. Expression -1-: 346 if ((!sys_rst_ni)) -2-: 349 if (payloadptr_clr) -3-: 352 if (payloadptr_inc) -4-: 353 if ((payloadptr == 8'((PayloadByte - 1))))

Branches:
-1--2--3--4-StatusTests
1 - - - Not Covered
0 1 - - Not Covered
0 0 1 1 Not Covered
0 0 1 0 Not Covered
0 0 0 - Not Covered


LineNo. Expression -1-: 367 if ((!sys_rst_ni)) -2-: 368 if (sys_payloadptr_clr_posedge) -3-: 369 if ((sys_cmdfifo_set && payload_max)) -4-: 371 if ((sys_cmdfifo_set && (!payload_max)))

Branches:
-1--2--3--4-StatusTests
1 - - - Not Covered
0 1 - - Not Covered
0 0 1 - Not Covered
0 0 0 1 Not Covered
0 0 0 0 Not Covered


LineNo. Expression -1-: 390 if ((!sys_rst_ni)) -2-: 391 if (sys_payloadptr_clr_posedge) -3-: 392 if ((sys_cmdfifo_set && payload_max)) -4-: 396 if ((sys_cmdfifo_set && (!payload_max)))

Branches:
-1--2--3--4-StatusTests
1 - - - Not Covered
0 1 - - Not Covered
0 0 1 - Not Covered
0 0 0 1 Not Covered
0 0 0 0 Not Covered


LineNo. Expression -1-: 408 if ((!sys_rst_ni)) -2-: 409 if (payloadptr_clr) -3-: 410 if ((payloadptr_inc && payload_max))

Branches:
-1--2--3-StatusTests
1 - - Not Covered
0 1 - Not Covered
0 0 1 Not Covered
0 0 0 Not Covered


LineNo. Expression -1-: 418 if ((!sys_rst_ni)) -2-: 419 if (sys_payloadptr_clr_posedge) -3-: 420 if (sys_cmdfifo_set)

Branches:
-1--2--3-StatusTests
1 - - Not Covered
0 1 - Not Covered
0 0 1 Not Covered
0 0 0 Not Covered


LineNo. Expression -1-: 428 if ((!rst_ni))

Branches:
-1-StatusTests
1 Not Covered
0 Not Covered


LineNo. Expression -1-: 452 case (st_q) -2-: 454 if ((s2p_valid_i && (cmd_only_sel_dp_i == DpUpload))) -3-: 455 if (cmdinfo_addr_en) -4-: 469 if (cmd_only_info_i.busy) -5-: 483 if ((addrcnt == '0)) -6-: 492 if (s2p_valid_i)

Branches:
-1--2--3--4--5--6-StatusTests
StIdle 1 1 - - - Not Covered
StIdle 1 0 - - - Not Covered
StIdle 1 - 1 - - Not Covered
StIdle 1 - 0 - - Not Covered
StIdle 0 - - - - Not Covered
StAddress - - - 1 - Not Covered
StAddress - - - 0 - Not Covered
StPayload - - - - 1 Not Covered
StPayload - - - - 0 Not Covered
default - - - - - Not Covered

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