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


noXOnCsI
NameAttemptsReal SuccessesFailuresIncomplete
Total 25305455 25305455 0 0
T1 8360 8360 0 0
T2 9595 9595 0 0
T3 29020 29020 0 0
T4 13514 13514 0 0
T5 13535 13535 0 0
T6 13719 13719 0 0
T7 16870 16870 0 0
T8 12436 12436 0 0
T9 27144 27144 0 0
T10 16695 16695 0 0

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