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



Module Instance : tb.dut.u_passthrough.u_pt_sck_cg.gen_generic.u_impl_generic

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
u_pt_sck_cg


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_clock_gating
Line No.TotalCoveredPercent
TOTAL33100.00
ALWAYS2222100.00
CONT_ASSIGN2611100.00

21 always_latch begin 22 1/1 if (!clk_i) begin Tests: T1 T2 T3  23 1/1 en_latch = en_i | test_en_i; Tests: T1 T2 T3  24 end MISSING_ELSE 25 end 26 1/1 assign clk_o = en_latch & clk_i; Tests: T1 T2 T3 

Cond Coverage for Module : prim_generic_clock_gating
TotalCoveredPercent
Conditions55100.00
Logical55100.00
Non-Logical00
Event00

 LINE       23
 EXPRESSION (en_i | test_en_i)
             --1-   ----2----
-1--2-StatusTests
00CoveredT6,T9,T10
01Unreachable
10CoveredT1,T2,T3

 LINE       26
 EXPRESSION (en_latch & clk_i)
             ----1---   --2--
-1--2-StatusTests
01CoveredT6,T9,T10
10CoveredT1,T2,T3
11CoveredT3,T5,T6

Branch Coverage for Module : prim_generic_clock_gating
Line No.TotalCoveredPercent
Branches 2 2 100.00
IF 22 2 2 100.00


22 if (!clk_i) begin -1- 23 en_latch = en_i | test_en_i; ==> 24 end MISSING_ELSE ==>

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

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