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


noXOnCsI
NameAttemptsReal SuccessesFailuresIncomplete
Total 39243949 39243949 0 0
T1 25744 25744 0 0
T2 26004 26004 0 0
T3 53658 53658 0 0
T4 16583 16583 0 0
T5 49825 49825 0 0
T6 25445 25445 0 0
T7 100111 100111 0 0
T8 66763 66763 0 0
T9 16741 16741 0 0
T10 49787 49787 0 0

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