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


noXOnCsI
NameAttemptsReal SuccessesFailuresIncomplete
Total 46332690 46332690 0 0
T1 16525 16525 0 0
T2 16513 16513 0 0
T3 16727 16727 0 0
T4 24652 24652 0 0
T5 18002 18002 0 0
T6 17201 17201 0 0
T7 17271 17271 0 0
T8 25595 25595 0 0
T9 17834 17834 0 0
T10 25916 25916 0 0

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