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

Module : spid_fifo2sram_adapter
SCORELINECONDTOGGLEFSMBRANCHASSERT
94.44 100.00 77.78 100.00 100.00

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

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.u_upload.u_payload_buffer 94.44 100.00 77.78 100.00 100.00



Module Instance : tb.dut.u_upload.u_payload_buffer

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
94.44 100.00 77.78 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
94.44 100.00 77.78 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
96.70 100.00 87.18 100.00 96.30 100.00 u_upload


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 : spid_fifo2sram_adapter
Line No.TotalCoveredPercent
TOTAL1717100.00
CONT_ASSIGN5111100.00
CONT_ASSIGN5511100.00
CONT_ASSIGN5611100.00
CONT_ASSIGN6111100.00
CONT_ASSIGN7211100.00
ALWAYS7566100.00
CONT_ASSIGN9111100.00
CONT_ASSIGN9311100.00
ALWAYS9644100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_spi_device_0.1/rtl/spid_fifo2sram_adapter.sv' or '../src/lowrisc_ip_spi_device_0.1/rtl/spid_fifo2sram_adapter.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
51 1 1
55 1 1
56 1 1
61 1 1
72 1 1
75 1 1
76 1 1
77 1 1
78 1 1
79 1 1
80 1 1
MISSING_ELSE
91 1 1
93 1 1
96 1 1
97 1 1
98 1 1
99 1 1
MISSING_ELSE


Cond Coverage for Module : spid_fifo2sram_adapter
TotalCoveredPercent
Conditions9777.78
Logical9777.78
Non-Logical00
Event00

 LINE       78
 EXPRESSION (fifoptr[0+:g_multiple_entry_per_word.SubWordW] == i)
            --------------------------1--------------------------
-1-StatusTests
0CoveredT4,T1,T2
1CoveredT4,T1,T2

 LINE       91
 EXPRESSION (sram_req_o && sram_gnt_i)
             -----1----    -----2----
-1--2-StatusTests
01Not Covered
10Not Covered
11CoveredT5,T6,T7

 LINE       99
 EXPRESSION ((fifoptr == 8'((FifoDepth - 1))) ? '0 : ((fifoptr + 1'b1)))
             ----------------1---------------
-1-StatusTests
0CoveredT5,T6,T7
1CoveredT5,T6,T7

 LINE       99
 SUB-EXPRESSION (fifoptr == 8'((FifoDepth - 1)))
                ----------------1---------------
-1-StatusTests
0CoveredT5,T6,T7
1CoveredT5,T6,T7

Branch Coverage for Module : spid_fifo2sram_adapter
Line No.TotalCoveredPercent
Branches 6 6 100.00
IF 96 4 4 100.00
IF 78 2 2 100.00

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

LineNo. Expression -1-: 96 if ((!rst_ni)) -2-: 98 if (fifoptr_inc) -3-: 99 ((fifoptr == 8'((FifoDepth - 1)))) ?

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T1,T2
0 1 1 Covered T5,T6,T7
0 1 0 Covered T5,T6,T7
0 0 - Covered T1,T9,T3


LineNo. Expression -1-: 78 if ((fifoptr[0+:g_multiple_entry_per_word.SubWordW] == i))

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


Assert Coverage for Module : spid_fifo2sram_adapter
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
g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 1607 1607 0 0
g_multiple_entry_per_word.WidthDivideSramDw_A 1607 1607 0 0


g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1607 1607 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 1 1 0 0
T15 1 1 0 0

g_multiple_entry_per_word.WidthDivideSramDw_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1607 1607 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 1 1 0 0
T15 1 1 0 0

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