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


noXOnCsI
NameAttemptsReal SuccessesFailuresIncomplete
Total 41689278 41689278 0 0
T1 17229 17229 0 0
T2 25567 25567 0 0
T3 53602 53602 0 0
T4 98791 98791 0 0
T5 49559 49559 0 0
T6 17596 17596 0 0
T7 25366 25366 0 0
T8 91300 91300 0 0
T9 16528 16528 0 0
T10 26098 26098 0 0

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