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



Module Instance : tb.dut.u_reg.u_masked_out_lower_mask

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
66.67 66.67


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
66.67 66.67


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.75 100.00 99.01 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.u_reg.u_masked_out_upper_mask

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
66.67 66.67


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
66.67 66.67


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.75 100.00 99.01 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.u_reg.u_masked_oe_lower_mask

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
75.00 75.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
75.00 75.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.75 100.00 99.01 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.u_reg.u_masked_oe_upper_mask

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
75.00 75.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
75.00 75.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.75 100.00 99.01 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.u_reg.u_intr_test

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.75 100.00 99.01 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.u_reg.u_alert_test

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.75 100.00 99.01 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.u_reg.u_direct_out

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.75 100.00 99.01 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.u_reg.u_masked_out_lower_data

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.75 100.00 99.01 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.u_reg.u_masked_out_upper_data

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.75 100.00 99.01 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.u_reg.u_direct_oe

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.75 100.00 99.01 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.u_reg.u_masked_oe_lower_data

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.75 100.00 99.01 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.u_reg.u_masked_oe_upper_data

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.75 100.00 99.01 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children

Line Coverage for Module : prim_subreg_ext
Line No.TotalCoveredPercent
TOTAL55100.00
CONT_ASSIGN2611100.00
CONT_ASSIGN2711100.00
CONT_ASSIGN2811100.00
CONT_ASSIGN2911100.00
CONT_ASSIGN3011100.00

25 // between qs and ds 26 1/1 assign ds = d; Tests: T25 T26 T27  27 1/1 assign qs = d; Tests: T25 T26 T27  28 1/1 assign q = wd; Tests: T25 T26 T27  29 1/1 assign qe = we; Tests: T25 T28 T34  30 1/1 assign qre = re; Tests: T26 T27 T28 
Line Coverage for Instance : tb.dut.u_reg.u_masked_out_lower_mask
Line No.TotalCoveredPercent
TOTAL3266.67
CONT_ASSIGN26100.00
CONT_ASSIGN2700
CONT_ASSIGN2811100.00
CONT_ASSIGN2911100.00
CONT_ASSIGN3000

25 // between qs and ds 26 0/1 ==> assign ds = d; 27 excluded assign qs = d; Exclude Annotation: [UNR] 28 1/1 assign q = wd; Tests: T25 T26 T27  29 1/1 assign qe = we; Tests: T25 T26 T27  30 unreachable assign qre = re;
Line Coverage for Instance : tb.dut.u_reg.u_masked_out_upper_mask
Line No.TotalCoveredPercent
TOTAL3266.67
CONT_ASSIGN26100.00
CONT_ASSIGN2700
CONT_ASSIGN2811100.00
CONT_ASSIGN2911100.00
CONT_ASSIGN3000

25 // between qs and ds 26 0/1 ==> assign ds = d; 27 excluded assign qs = d; Exclude Annotation: [UNR] 28 1/1 assign q = wd; Tests: T25 T26 T27  29 1/1 assign qe = we; Tests: T25 T26 T27  30 unreachable assign qre = re;
Line Coverage for Instance : tb.dut.u_reg.u_masked_oe_lower_mask
Line No.TotalCoveredPercent
TOTAL4375.00
CONT_ASSIGN26100.00
CONT_ASSIGN2700
CONT_ASSIGN2811100.00
CONT_ASSIGN2911100.00
CONT_ASSIGN3011100.00

25 // between qs and ds 26 0/1 ==> assign ds = d; 27 excluded assign qs = d; Exclude Annotation: [UNR] 28 1/1 assign q = wd; Tests: T25 T26 T27  29 1/1 assign qe = we; Tests: T25 T26 T27  30 1/1 assign qre = re; Tests: T26 T27 T28 
Line Coverage for Instance : tb.dut.u_reg.u_masked_oe_upper_mask
Line No.TotalCoveredPercent
TOTAL4375.00
CONT_ASSIGN26100.00
CONT_ASSIGN2700
CONT_ASSIGN2811100.00
CONT_ASSIGN2911100.00
CONT_ASSIGN3011100.00

25 // between qs and ds 26 0/1 ==> assign ds = d; 27 excluded assign qs = d; Exclude Annotation: [UNR] 28 1/1 assign q = wd; Tests: T25 T26 T27  29 1/1 assign qe = we; Tests: T25 T26 T27  30 1/1 assign qre = re; Tests: T26 T27 T28 
Line Coverage for Instance : tb.dut.u_reg.u_intr_test
Line No.TotalCoveredPercent
TOTAL22100.00
CONT_ASSIGN2600
CONT_ASSIGN2700
CONT_ASSIGN2811100.00
CONT_ASSIGN2911100.00
CONT_ASSIGN3000

25 // between qs and ds 26 unreachable assign ds = d; 27 unreachable assign qs = d; 28 1/1 assign q = wd; Tests: T25 T26 T27  29 1/1 assign qe = we; Tests: T28 T34 T35  30 unreachable assign qre = re;
Line Coverage for Instance : tb.dut.u_reg.u_alert_test
Line No.TotalCoveredPercent
TOTAL22100.00
CONT_ASSIGN2600
CONT_ASSIGN2700
CONT_ASSIGN2811100.00
CONT_ASSIGN2911100.00
CONT_ASSIGN3000

25 // between qs and ds 26 unreachable assign ds = d; 27 unreachable assign qs = d; 28 1/1 assign q = wd; Tests: T25 T26 T27  29 1/1 assign qe = we; Tests: T47 T48 T49  30 unreachable assign qre = re;
Line Coverage for Instance : tb.dut.u_reg.u_direct_out
Line No.TotalCoveredPercent
TOTAL55100.00
CONT_ASSIGN2611100.00
CONT_ASSIGN2711100.00
CONT_ASSIGN2811100.00
CONT_ASSIGN2911100.00
CONT_ASSIGN3011100.00

25 // between qs and ds 26 1/1 assign ds = d; Tests: T25 T26 T27  27 1/1 assign qs = d; Tests: T25 T26 T27  28 1/1 assign q = wd; Tests: T25 T26 T27  29 1/1 assign qe = we; Tests: T25 T26 T27  30 1/1 assign qre = re; Tests: T26 T27 T28 
Line Coverage for Instance : tb.dut.u_reg.u_masked_out_lower_data
Line No.TotalCoveredPercent
TOTAL55100.00
CONT_ASSIGN2611100.00
CONT_ASSIGN2711100.00
CONT_ASSIGN2811100.00
CONT_ASSIGN2911100.00
CONT_ASSIGN3011100.00

25 // between qs and ds 26 1/1 assign ds = d; Tests: T25 T26 T27  27 1/1 assign qs = d; Tests: T25 T26 T27  28 1/1 assign q = wd; Tests: T25 T26 T27  29 1/1 assign qe = we; Tests: T25 T26 T27  30 1/1 assign qre = re; Tests: T26 T27 T34 
Line Coverage for Instance : tb.dut.u_reg.u_masked_out_upper_data
Line No.TotalCoveredPercent
TOTAL55100.00
CONT_ASSIGN2611100.00
CONT_ASSIGN2711100.00
CONT_ASSIGN2811100.00
CONT_ASSIGN2911100.00
CONT_ASSIGN3011100.00

25 // between qs and ds 26 1/1 assign ds = d; Tests: T25 T26 T27  27 1/1 assign qs = d; Tests: T25 T26 T27  28 1/1 assign q = wd; Tests: T25 T26 T27  29 1/1 assign qe = we; Tests: T25 T26 T27  30 1/1 assign qre = re; Tests: T26 T27 T34 
Line Coverage for Instance : tb.dut.u_reg.u_direct_oe
Line No.TotalCoveredPercent
TOTAL55100.00
CONT_ASSIGN2611100.00
CONT_ASSIGN2711100.00
CONT_ASSIGN2811100.00
CONT_ASSIGN2911100.00
CONT_ASSIGN3011100.00

25 // between qs and ds 26 1/1 assign ds = d; Tests: T25 T26 T27  27 1/1 assign qs = d; Tests: T25 T26 T27  28 1/1 assign q = wd; Tests: T25 T26 T27  29 1/1 assign qe = we; Tests: T25 T26 T27  30 1/1 assign qre = re; Tests: T26 T27 T34 
Line Coverage for Instance : tb.dut.u_reg.u_masked_oe_lower_data
Line No.TotalCoveredPercent
TOTAL55100.00
CONT_ASSIGN2611100.00
CONT_ASSIGN2711100.00
CONT_ASSIGN2811100.00
CONT_ASSIGN2911100.00
CONT_ASSIGN3011100.00

25 // between qs and ds 26 1/1 assign ds = d; Tests: T25 T26 T27  27 1/1 assign qs = d; Tests: T25 T26 T27  28 1/1 assign q = wd; Tests: T25 T26 T27  29 1/1 assign qe = we; Tests: T25 T26 T27  30 1/1 assign qre = re; Tests: T26 T27 T28 
Line Coverage for Instance : tb.dut.u_reg.u_masked_oe_upper_data
Line No.TotalCoveredPercent
TOTAL55100.00
CONT_ASSIGN2611100.00
CONT_ASSIGN2711100.00
CONT_ASSIGN2811100.00
CONT_ASSIGN2911100.00
CONT_ASSIGN3011100.00

25 // between qs and ds 26 1/1 assign ds = d; Tests: T25 T26 T27  27 1/1 assign qs = d; Tests: T25 T26 T27  28 1/1 assign q = wd; Tests: T25 T26 T27  29 1/1 assign qe = we; Tests: T25 T26 T27  30 1/1 assign qre = re; Tests: T26 T27 T28 
0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%