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

Module : spid_readsram
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.77 98.25 100.00 100.00 90.62 100.00

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

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.u_readcmd.u_readsram 97.77 98.25 100.00 100.00 90.62 100.00



Module Instance : tb.dut.u_readcmd.u_readsram

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.77 98.25 100.00 100.00 90.62 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
94.94 97.81 85.71 100.00 91.18 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
92.19 96.32 100.00 80.00 84.62 100.00 u_readcmd


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_fifo 96.88 100.00 87.50 100.00 100.00
u_sram_fifo 88.33 95.00 75.00 83.33 100.00


Since this is the module's only instance, the coverage report is the same as for the module.
Line Coverage for Module : spid_readsram
Line No.TotalCoveredPercent
TOTAL575698.25
CONT_ASSIGN11811100.00
CONT_ASSIGN12311100.00
CONT_ASSIGN12911100.00
CONT_ASSIGN14611100.00
CONT_ASSIGN16011100.00
CONT_ASSIGN16111100.00
ALWAYS16644100.00
ALWAYS17266100.00
ALWAYS17955100.00
CONT_ASSIGN18911100.00
ALWAYS19555100.00
ALWAYS22533100.00
ALWAYS230262596.15
CONT_ASSIGN34611100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_spi_device_0.1/rtl/spid_readsram.sv' or '../src/lowrisc_ip_spi_device_0.1/rtl/spid_readsram.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
118 1 1
123 1 1
129 1 1
146 1 1
160 1 1
161 1 1
166 2 2
167 2 2
MISSING_ELSE
172 2 2
173 2 2
174 2 2
MISSING_ELSE
179 1 1
180 1 1
181 1 1
182 1 1
183 1 1
189 1 1
195 1 1
196 1 1
197 1 1
198 1 1
200 1 1
225 2 2
226 1 1
230 1 1
232 1 1
234 1 1
235 1 1
237 1 1
238 1 1
240 1 1
242 1 1
244 1 1
245 1 1
MISSING_ELSE
248 1 1
251 1 1
253 1 1
258 1 1
259 1 1
MISSING_ELSE
262 2 2
MISSING_ELSE
264 1 1
266 1 1
268 1 1
270 1 1
277 1 1
278 1 1
279 1 1
281 1 1
283 0 1
346 1 1


Cond Coverage for Module : spid_readsram
TotalCoveredPercent
Conditions2020100.00
Logical2020100.00
Non-Logical00
Event00

 LINE       161
 EXPRESSION (mailbox_en_i && (mailbox_masked_addr == mailbox_addr_i))
             ------1-----    -------------------2-------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T5
11CoveredT2,T5,T7

 LINE       161
 SUB-EXPRESSION (mailbox_masked_addr == mailbox_addr_i)
                -------------------1-------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       189
 EXPRESSION ((addr_sel == AddrContinuous) ? ({(current_address_i[31:2] + 1'b1), 2'b0}) : current_address_i)
             --------------1-------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T5

 LINE       189
 SUB-EXPRESSION (addr_sel == AddrContinuous)
                --------------1-------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T5

 LINE       248
 EXPRESSION ((sram_read_req_i || sram_latched) && strb_set)
             ----------------1----------------    ----2---
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T5
11CoveredT1,T2,T5

 LINE       248
 SUB-EXPRESSION (sram_read_req_i || sram_latched)
                 -------1-------    ------2-----
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T5
10CoveredT1,T2,T5

 LINE       264
 EXPRESSION ((strb == 2'b11) && fifo_wready)
             -------1-------    -----2-----
-1--2-StatusTests
01CoveredT1,T2,T5
10CoveredT1,T2,T5
11CoveredT1,T2,T5

 LINE       264
 SUB-EXPRESSION (strb == 2'b11)
                -------1-------
-1-StatusTests
0CoveredT1,T2,T5
1CoveredT1,T2,T5

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

State, Transition and Sequence Details for FSM :: st_q
statesLine No.CoveredTests
StActive 266 Covered T1,T2,T5
StIdle 253 Covered T1,T2,T3
StPush 251 Covered T1,T2,T5


transitionsLine No.CoveredTests
StActive->StPush 279 Covered T1,T2,T5
StIdle->StPush 251 Covered T1,T2,T5
StPush->StActive 266 Covered T1,T2,T5



Branch Coverage for Module : spid_readsram
Line No.TotalCoveredPercent
Branches 32 29 90.62
TERNARY 189 2 2 100.00
IF 166 3 3 100.00
IF 172 4 4 100.00
CASE 179 5 4 80.00
IF 195 3 3 100.00
IF 225 2 2 100.00
CASE 240 13 11 84.62

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

LineNo. Expression -1-: 189 ((addr_sel == AddrContinuous)) ?

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


LineNo. Expression -1-: 166 if ((!rst_ni)) -2-: 167 if (sram_req)

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


LineNo. Expression -1-: 172 if ((!rst_ni)) -2-: 173 if (data_inc) -3-: 174 if (strb_set)

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


LineNo. Expression -1-: 179 case (strb)

Branches:
-1-StatusTests
2'b00 Covered T1,T2,T3
2'b01 Covered T1,T2,T5
2'b10 Covered T1,T2,T5
2'b11 Covered T1,T2,T5
default Not Covered


LineNo. Expression -1-: 195 if (sfdp_hit_i) -2-: 197 if (mailbox_hit)

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


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

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


LineNo. Expression -1-: 240 case (st_q) -2-: 244 if (sram_read_req_i) -3-: 248 if (((sram_read_req_i || sram_latched) && strb_set)) -4-: 258 if (sram_d_valid) -5-: 262 if (fifo_wready) -6-: 264 if (((strb == 2'b11) && fifo_wready)) -7-: 278 if ((!sram_fifo_full))

Branches:
-1--2--3--4--5--6--7-StatusTests
StIdle 1 - - - - - Covered T1,T2,T5
StIdle 0 - - - - - Covered T1,T2,T3
StIdle - 1 - - - - Covered T1,T2,T5
StIdle - 0 - - - - Covered T1,T2,T3
StPush - - 1 - - - Covered T1,T2,T5
StPush - - 0 - - - Covered T5,T7,T8
StPush - - - 1 - - Covered T1,T2,T5
StPush - - - 0 - - Covered T1,T2,T5
StPush - - - - 1 - Covered T1,T2,T5
StPush - - - - 0 - Covered T1,T2,T5
StActive - - - - - 1 Covered T1,T2,T5
StActive - - - - - 0 Not Covered
default - - - - - - Not Covered


Assert Coverage for Module : spid_readsram
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 6 6 100.00 6 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 6 6 100.00 6 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AddrLatchedPulse_M 381988954 163926 0 0
FifoNotEmpty_A 381988954 11860710 0 0
NotOverflow_A 381988954 2990051 0 0
ReqStrbRelation_M 381988954 19936 0 0
SramDataReturnRequirement_M 381988954 2988765 0 0
SramReadOnly_A 381988954 2990051 0 0


AddrLatchedPulse_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 381988954 163926 0 0
T1 13408 16 0 0
T2 39758 27 0 0
T3 1325 0 0 0
T5 992277 557 0 0
T6 360 0 0 0
T7 749009 699 0 0
T8 181176 32 0 0
T9 318604 169 0 0
T10 19687 16 0 0
T11 145674 810 0 0
T12 0 32 0 0
T13 0 38 0 0

FifoNotEmpty_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 381988954 11860710 0 0
T1 13408 3782 0 0
T2 39758 1925 0 0
T3 1325 0 0 0
T5 992277 38137 0 0
T6 360 0 0 0
T7 749009 10812 0 0
T8 181176 4344 0 0
T9 318604 2937 0 0
T10 19687 3552 0 0
T11 145674 72644 0 0
T12 0 10950 0 0
T13 0 256 0 0

NotOverflow_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 381988954 2990051 0 0
T1 13408 957 0 0
T2 39758 485 0 0
T3 1325 0 0 0
T5 992277 9607 0 0
T6 360 0 0 0
T7 749009 2767 0 0
T8 181176 1090 0 0
T9 318604 753 0 0
T10 19687 897 0 0
T11 145674 18272 0 0
T12 0 2748 0 0
T13 0 66 0 0

ReqStrbRelation_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 381988954 19936 0 0
T1 13408 8 0 0
T2 39758 4 0 0
T3 1325 0 0 0
T5 992277 61 0 0
T6 360 0 0 0
T7 749009 47 0 0
T8 181176 2 0 0
T9 318604 13 0 0
T10 19687 8 0 0
T11 145674 91 0 0
T12 0 8 0 0
T13 0 2 0 0

SramDataReturnRequirement_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 381988954 2988765 0 0
T1 13408 957 0 0
T2 39758 485 0 0
T3 1325 0 0 0
T5 992277 9603 0 0
T6 360 0 0 0
T7 749009 2765 0 0
T8 181176 1088 0 0
T9 318604 752 0 0
T10 19687 897 0 0
T11 145674 18264 0 0
T12 0 2748 0 0
T13 0 66 0 0

SramReadOnly_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 381988954 2990051 0 0
T1 13408 957 0 0
T2 39758 485 0 0
T3 1325 0 0 0
T5 992277 9607 0 0
T6 360 0 0 0
T7 749009 2767 0 0
T8 181176 1090 0 0
T9 318604 753 0 0
T10 19687 897 0 0
T11 145674 18272 0 0
T12 0 2748 0 0
T13 0 66 0 0

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