NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.CAN_CORE_INST.PROTOCOL_CONTROL_INST.TX_SHIFT_REG_INST.TX_SHIFT_REG_INST

File:  /__w/ctu-can-regression/ctu-can-regression/src/can_core/tx_shift_reg.vhd


Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.CAN_CORE_INST.PROTOCOL_CONTROL_INST.TX_SHIFT_REG_INST.TX_SHIFT_REG_INST 100.0 % (7/7) 100.0 % (8/8) 100.0 % (202/202) 100.0 % (6/6) N.A. N.A. 100.0 % (223/223)

Details:

The limit of printed items was reached (5000). Total 260336 items are not displayed.


Statement Branch Toggle Expression FSM state Functional

Uncovered statements:

Excluded statements:

Covered statements:

Signal assignment statement on line 129:

129:    reg_output          <= shift_regs(G_WIDTH - 1)
Count: 1050219
Threshold: 1

If statement on lines 136 to 145:

136:        if (res_n = G_RESET_POLARITY) then 
137:            shift_regs <= G_RESET_VALUE; 
...
144:            end if; 
145:        end if; 

Count: 1090018206
Threshold: 1

Signal assignment statement on line 137:

137:            shift_regs <= G_RESET_VALUE; 
Count: 2424883
Threshold: 1

If statement on lines 140 to 144:

140:            if (preload = '1') then 
141:                shift_regs <= preload_val; 
142:            elsif (enable = '1') then 
143:                shift_regs <= shift_regs(G_WIDTH - 2 downto 0) & '0'; 
144:            end if; 

Count: 543791678
Threshold: 1

Signal assignment statement on line 141:

141:                shift_regs <= preload_val; 
Count: 315158
Threshold: 1

Signal assignment statement on line 143:

143:                shift_regs <= shift_regs(G_WIDTH - 2 downto 0) & '0'; 
Count: 2333693
Threshold: 1

Signal assignment statement on line 151:

151:    reg_stat <= shift_regs
Count: 2280802
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

"if" / "when" / "else" condition on line 136:

136:        if (res_n = G_RESET_POLARITY) then 
Evaluated toCountThreshold
BinTrue24248831
BinFalse10875933231

"if" / "when" / "else" condition on line 139:

139:        elsif (rising_edge(clk)) then 
Evaluated toCountThreshold
BinTrue5437916781
BinFalse5438016451

"if" / "when" / "else" condition on line 140:

140:            if (preload = '1') then 
Evaluated toCountThreshold
BinTrue3151581
BinFalse5434765201

"if" / "when" / "else" condition on line 142:

142:            elsif (enable = '1') then 
Evaluated toCountThreshold
BinTrue23336931
BinFalse5411428271

Uncovered toggles:

Excluded toggles:

Port:

 CLK
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 RES_N
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 PRELOAD
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 PRELOAD_VAL
ElementFromToCountThresholdExcluded due to
Bin(31)0101Exclude file
Bin(31)1001Exclude file
Bin(30)0101Exclude file
Bin(30)1001Exclude file
Bin(29)0101Exclude file
Bin(29)1001Exclude file
Bin(28)0101Exclude file
Bin(28)1001Exclude file
Bin(27)0101Exclude file
Bin(27)1001Exclude file
Bin(26)0101Exclude file
Bin(26)1001Exclude file
Bin(25)0101Exclude file
Bin(25)1001Exclude file
Bin(24)0101Exclude file
Bin(24)1001Exclude file
Bin(23)0101Exclude file
Bin(23)1001Exclude file
Bin(22)0101Exclude file
Bin(22)1001Exclude file
Bin(21)0101Exclude file
Bin(21)1001Exclude file
Bin(20)0101Exclude file
Bin(20)1001Exclude file
Bin(19)0101Exclude file
Bin(19)1001Exclude file
Bin(18)0101Exclude file
Bin(18)1001Exclude file
Bin(17)0101Exclude file
Bin(17)1001Exclude file
Bin(16)0101Exclude file
Bin(16)1001Exclude file
Bin(15)0101Exclude file
Bin(15)1001Exclude file
Bin(14)0101Exclude file
Bin(14)1001Exclude file
Bin(13)0101Exclude file
Bin(13)1001Exclude file
Bin(12)0101Exclude file
Bin(12)1001Exclude file
Bin(11)0101Exclude file
Bin(11)1001Exclude file
Bin(10)0101Exclude file
Bin(10)1001Exclude file
Bin(9)0101Exclude file
Bin(9)1001Exclude file
Bin(8)0101Exclude file
Bin(8)1001Exclude file
Bin(7)0101Exclude file
Bin(7)1001Exclude file
Bin(6)0101Exclude file
Bin(6)1001Exclude file
Bin(5)0101Exclude file
Bin(5)1001Exclude file
Bin(4)0101Exclude file
Bin(4)1001Exclude file
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 ENABLE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Covered toggles:

Port:

 REG_STAT
ElementFromToCountThreshold
Bin(31)015235091
Bin(31)105251091
Bin(30)014996251
Bin(30)105012221
Bin(29)014729201
Bin(29)104745191
Bin(28)014517791
Bin(28)104533751
Bin(27)014106141
Bin(27)104122141
Bin(26)013932231
Bin(26)103948211
Bin(25)013691181
Bin(25)103707171
Bin(24)013488911
Bin(24)103504901
Bin(23)013268421
Bin(23)103284411
Bin(22)013069681
Bin(22)103085681
Bin(21)012873621
Bin(21)102889601
Bin(20)012614881
Bin(20)102630861
Bin(19)012452211
Bin(19)102468201
Bin(18)012321091
Bin(18)102337091
Bin(17)012183581
Bin(17)102199571
Bin(16)011963181
Bin(16)101979171
Bin(15)011813461
Bin(15)101829471
Bin(14)011652041
Bin(14)101668051
Bin(13)011498391
Bin(13)101514401
Bin(12)011412761
Bin(12)101428771
Bin(11)011306701
Bin(11)101322711
Bin(10)011206501
Bin(10)101222511
Bin(9)011096561
Bin(9)101112571
Bin(8)011014491
Bin(8)101030501
Bin(7)01907011
Bin(7)10923021
Bin(6)01825011
Bin(6)10841021
Bin(5)01722911
Bin(5)10738921
Bin(4)01641851
Bin(4)10657861
Bin(3)01534261
Bin(3)10550271
Bin(2)01449671
Bin(2)10465681
Bin(1)01338411
Bin(1)10354421
Bin(0)01262161
Bin(0)10278171

Port:

 REG_OUTPUT
FromToCountThreshold
Bin015235091
Bin105251091

Signal:

 SHIFT_REGS
ElementFromToCountThreshold
Bin(31)0111272121
Bin(31)1011519891
Bin(30)014996261
Bin(30)106228771
Bin(29)014729221
Bin(29)104748231
Bin(28)014517791
Bin(28)104536581
Bin(27)014106151
Bin(27)104124781
Bin(26)013932231
Bin(26)103950711
Bin(25)013691181
Bin(25)103709591
Bin(24)013488911
Bin(24)103507171
Bin(23)013268421
Bin(23)103286611
Bin(22)013069681
Bin(22)103087761
Bin(21)012873621
Bin(21)102891681
Bin(20)012614881
Bin(20)102632801
Bin(19)012452211
Bin(19)102470061
Bin(18)012321091
Bin(18)102338821
Bin(17)012183581
Bin(17)102201291
Bin(16)011963181
Bin(16)101980731
Bin(15)011813461
Bin(15)101830951
Bin(14)011652041
Bin(14)101669411
Bin(13)011498391
Bin(13)101515761
Bin(12)011412761
Bin(12)101430031
Bin(11)011306701
Bin(11)101323951
Bin(10)011206501
Bin(10)101223671
Bin(9)011096561
Bin(9)101113731
Bin(8)011014491
Bin(8)101031541
Bin(7)01907011
Bin(7)10924021
Bin(6)01825011
Bin(6)10841941
Bin(5)01722911
Bin(5)10739801
Bin(4)01641851
Bin(4)10658681
Bin(3)01534261
Bin(3)10551031
Bin(2)01449671
Bin(2)10466361
Bin(1)01338411
Bin(1)10355001
Bin(0)01262161
Bin(0)10278651

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression on line 136:

 res_n = G_RESET_POLARITY 
Evaluated toCountThreshold
BinFalse10875933231
BinTrue24248831

"=" expression on line 140:

 preload = '1' 
Evaluated toCountThreshold
BinFalse5434765201
BinTrue3151581

"=" expression on line 142:

 enable = '1' 
Evaluated toCountThreshold
BinFalse5411428271
BinTrue23336931

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: