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
100.00 100.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 42538838 42538838 0 0


noXOnCsI
NameAttemptsReal SuccessesFailuresIncomplete
Total 42538838 42538838 0 0
T1 20366 20366 0 0
T2 20561 20561 0 0
T3 26266 26266 0 0
T4 18420 18420 0 0
T5 26856 26856 0 0
T6 29768 29768 0 0
T7 29547 29547 0 0
T8 27789 27789 0 0
T9 20385 20385 0 0
T10 21730 21730 0 0

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