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



Module Instance : tb.dut.gen_rom_scramble_enabled.u_rom.u_rom.u_prim_rom.gen_generic.u_impl_generic

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
88.89 66.67 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
88.89 66.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
u_prim_rom


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 : prim_generic_rom
Line No.TotalCoveredPercent
TOTAL3266.67
CONT_ASSIGN22100.00
ALWAYS2722100.00

21 logic unused_cfg; 22 0/1 ==> assign unused_cfg = ^cfg_i; 23 24 logic [Width-1:0] mem [Depth]; 25 26 always_ff @(posedge clk_i) begin 27 1/1 if (req_i) begin Tests: T1 T2 T3  28 1/1 rdata_o <= mem[addr_i]; Tests: T1 T2 T3  29 end MISSING_ELSE

Branch Coverage for Module : prim_generic_rom
Line No.TotalCoveredPercent
Branches 2 2 100.00
IF 27 2 2 100.00


27 if (req_i) begin -1- 28 rdata_o <= mem[addr_i]; ==> 29 end MISSING_ELSE ==>

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


Assert Coverage for Module : prim_generic_rom
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 1 1 100.00 1 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 1 1 100.00 1 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
noXOnCsI 42538838 42538838 0 0


noXOnCsI
NameAttemptsReal SuccessesFailuresIncomplete
Total 42538838 42538838 0 0
T1 20366 20366 0 0
T2 20561 20561 0 0
T3 26266 26266 0 0
T4 18420 18420 0 0
T5 26856 26856 0 0
T6 29768 29768 0 0
T7 29547 29547 0 0
T8 27789 27789 0 0
T9 20385 20385 0 0
T10 21730 21730 0 0

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