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 46626171 46626171 0 0


noXOnCsI
NameAttemptsReal SuccessesFailuresIncomplete
Total 46626171 46626171 0 0
T1 16461 16461 0 0
T2 17458 17458 0 0
T3 25554 25554 0 0
T4 33042 33042 0 0
T5 16511 16511 0 0
T6 17704 17704 0 0
T7 17721 17721 0 0
T8 17903 17903 0 0
T9 33294 33294 0 0
T10 35811 35811 0 0

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