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



Module Instance : tb.dut.gen_rom_scramble_enabled.u_rom.u_rom

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
94.44 83.33 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
87.50 75.00 100.00 gen_rom_scramble_enabled.u_rom


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_prim_rom 88.89 66.67 100.00 100.00


Since this is the module's only instance, the coverage report is the same as for the module.
Line Coverage for Module : prim_rom_adv
Line No.TotalCoveredPercent
TOTAL33100.00
ALWAYS4033100.00

39 always_ff @(posedge clk_i or negedge rst_ni) begin 40 1/1 if (!rst_ni) begin Tests: T1 T2 T3  41 1/1 rvalid_o <= 1'b0; Tests: T1 T2 T3  42 end else begin 43 1/1 rvalid_o <= req_i; Tests: T1 T2 T3 

Branch Coverage for Module : prim_rom_adv
Line No.TotalCoveredPercent
Branches 2 2 100.00
IF 40 2 2 100.00


40 if (!rst_ni) begin -1- 41 rvalid_o <= 1'b0; ==> 42 end else begin 43 rvalid_o <= req_i; ==>

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


Assert Coverage for Module : prim_rom_adv
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 31820226 31820226 0 0


noXOnCsI
NameAttemptsReal SuccessesFailuresIncomplete
Total 31820226 31820226 0 0
T1 9135 9135 0 0
T2 13561 13561 0 0
T3 12782 12782 0 0
T4 9539 9539 0 0
T5 10249 10249 0 0
T6 9094 9094 0 0
T7 98602 98602 0 0
T8 12438 12438 0 0
T9 13300 13300 0 0
T10 25014 25014 0 0

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