NVC code coverage report

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.PRESCALER_INST.BIT_TIME_FSM_INST

File:  /__w/ctu-can-regression/ctu-can-regression/src/prescaler/bit_time_fsm.vhd

Sub-instances:

Instance Statement Branch Toggle Expression FSM state Functional Average

Current Instance:

Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.PRESCALER_INST.BIT_TIME_FSM_INST 100.0 % (29/29) 100.0 % (26/26) 100.0 % (18/18) 100.0 % (18/18) 100.0 % (6/6) N.A. 100.0 % (97/97)

Details:

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

Uncovered statements:

Excluded statements:

Covered statements:

Signal assignment statement:

143:        next_state <= current_state; 
Count: 66269811
Threshold: 1

If statement:

145:        if (mr_settings_ena = CTU_CAN_DISABLED) then 
146:            next_state <= s_bt_reset; 
...
159:            end case; 
160:        end if; 

Count: 66269811
Threshold: 1

Signal assignment statement:

146:            next_state <= s_bt_reset; 
Count: 12177
Threshold: 1

Sequential statement:

148:            case current_state is 
149:            when s_bt_tseg1 => 
...
158:                next_state <= s_bt_tseg1; 
159:            end case; 

Count: 66257634
Threshold: 1

If statement:

150:                if (segm_end = '1') then 
151:                    next_state <= s_bt_tseg2; 
152:                end if; 

Count: 33142302
Threshold: 1

Signal assignment statement:

151:                    next_state <= s_bt_tseg2; 
Count: 22084111
Threshold: 1

If statement:

154:                if (segm_end = '1') then 
155:                    next_state <= s_bt_tseg1; 
156:                end if; 

Count: 33104018
Threshold: 1

Signal assignment statement:

155:                    next_state <= s_bt_tseg1; 
Count: 22068948
Threshold: 1

Signal assignment statement:

158:                next_state <= s_bt_tseg1; 
Count: 11314
Threshold: 1

Signal assignment statement:

169:        is_tseg1       <= '0'; 
Count: 66269811
Threshold: 1

Signal assignment statement:

170:        is_tseg2       <= '0'; 
Count: 66269811
Threshold: 1

Signal assignment statement:

171:        rx_trig_req    <= '0'; 
Count: 66269811
Threshold: 1

Signal assignment statement:

172:        tx_trig_req    <= '0'; 
Count: 66269811
Threshold: 1

Sequential statement:

174:        case current_state is 
175:        when s_bt_reset => 
...
191: 
192:        end case; 

Count: 66269811
Threshold: 1

If statement:

176:            if (mr_settings_ena = CTU_CAN_ENABLED) then 
177:                tx_trig_req <= '1'; 
178:            end if; 

Count: 20096
Threshold: 1

Signal assignment statement:

177:                tx_trig_req <= '1'; 
Count: 9714
Threshold: 1

Signal assignment statement:

181:            is_tseg1 <= '1'; 
Count: 33145175
Threshold: 1

If statement:

182:            if (segm_end = '1') then 
183:                rx_trig_req <= '1'; 
184:            end if; 

Count: 33145175
Threshold: 1

Signal assignment statement:

183:                rx_trig_req <= '1'; 
Count: 22084225
Threshold: 1

Signal assignment statement:

187:            is_tseg2 <= '1'; 
Count: 33104540
Threshold: 1

If statement:

188:            if (segm_end = '1') then 
189:                tx_trig_req <= '1'; 
190:            end if; 

Count: 33104540
Threshold: 1

Signal assignment statement:

189:                tx_trig_req <= '1'; 
Count: 22068989
Threshold: 1

If statement:

200:        if (res_n = '0') then 
201:            current_state <= s_bt_reset; 
...
205:            end if; 
206:        end if; 

Count: 1055177083
Threshold: 1

Signal assignment statement:

201:            current_state <= s_bt_reset; 
Count: 2418499
Threshold: 1

If statement:

203:            if (bt_fsm_ce = '1') then 
204:                current_state <= next_state; 
205:            end if; 

Count: 526374300
Threshold: 1

Signal assignment statement:

204:                current_state <= next_state; 
Count: 22078404
Threshold: 1

If statement:

209:    bt_fsm_ce <= '1' when (next_state /= current_state) else 
210:                 '0'; 

Count: 88337194
Threshold: 1

Signal assignment statement:

209:    bt_fsm_ce <= '1' when (next_state /= current_state) else 
Count: 44168779
Threshold: 1

Signal assignment statement:

210:                 '0'
Count: 44168415
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

"if" / "when" / "else" condition:

145:        if (mr_settings_ena = CTU_CAN_DISABLED) then 
Evaluated toCountThreshold
BinTrue121771
BinFalse662576341

"case" / "with" / "select" choice:

149:            when s_bt_tseg1 => 
Choice ofCountThreshold
Bins_bt_tseg1331423021

"if" / "when" / "else" condition:

150:                if (segm_end = '1') then 
Evaluated toCountThreshold
BinTrue220841111
BinFalse110581911

"case" / "with" / "select" choice:

153:            when s_bt_tseg2 => 
Choice ofCountThreshold
Bins_bt_tseg2331040181

"if" / "when" / "else" condition:

154:                if (segm_end = '1') then 
Evaluated toCountThreshold
BinTrue220689481
BinFalse110350701

"case" / "with" / "select" choice:

157:            when s_bt_reset => 
Choice ofCountThreshold
Bins_bt_reset113141

"case" / "with" / "select" choice:

175:        when s_bt_reset => 
Choice ofCountThreshold
Bins_bt_reset200961

"if" / "when" / "else" condition:

176:            if (mr_settings_ena = CTU_CAN_ENABLED) then 
Evaluated toCountThreshold
BinTrue97141
BinFalse103821

"case" / "with" / "select" choice:

180:        when s_bt_tseg1 => 
Choice ofCountThreshold
Bins_bt_tseg1331451751

"if" / "when" / "else" condition:

182:            if (segm_end = '1') then 
Evaluated toCountThreshold
BinTrue220842251
BinFalse110609501

"case" / "with" / "select" choice:

186:        when s_bt_tseg2 => 
Choice ofCountThreshold
Bins_bt_tseg2331045401

"if" / "when" / "else" condition:

188:            if (segm_end = '1') then 
Evaluated toCountThreshold
BinTrue220689891
BinFalse110355511

"if" / "when" / "else" condition:

200:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue24184991
BinFalse10527585841

"if" / "when" / "else" condition:

202:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5263743001
BinFalse5263842841

"if" / "when" / "else" condition:

203:            if (bt_fsm_ce = '1') then 
Evaluated toCountThreshold
BinTrue220784041
BinFalse5042958961

"if" / "when" / "else" condition:

209:    bt_fsm_ce <= '1' when (next_state /= current_state) else 
Evaluated toCountThreshold
BinTrue441687791
BinFalse441684151

Uncovered toggles:

Excluded toggles:

Covered toggles:

Port:

 CLK_SYS
FromToCountThreshold
Bin015275788691
Bin105275804601

Port:

 RES_N
FromToCountThreshold
Bin0180821
Bin1080721

Port:

 MR_SETTINGS_ENA
FromToCountThreshold
Bin0164821
Bin1080721

Port:

 SEGM_END
FromToCountThreshold
Bin01220844111
Bin10220860111

Port:

 IS_TSEG1
FromToCountThreshold
Bin01110415441
Bin10110415361

Port:

 IS_TSEG2
FromToCountThreshold
Bin01110352191
Bin10110368181

Port:

 RX_TRIG_REQ
FromToCountThreshold
Bin01220841271
Bin10220857271

Port:

 TX_TRIG_REQ
FromToCountThreshold
Bin01220782881
Bin10220798871

Signal:

 BT_FSM_CE
FromToCountThreshold
Bin01441668161
Bin10441684151

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression

145:        if (mr_settings_ena = CTU_CAN_DISABLED) then 
Evaluated toCountThreshold
BinFalse662576341
BinTrue121771

"=" expression

150:                if (segm_end = '1') then 
Evaluated toCountThreshold
BinFalse110581911
BinTrue220841111

"=" expression

154:                if (segm_end = '1') then 
Evaluated toCountThreshold
BinFalse110350701
BinTrue220689481

"=" expression

176:            if (mr_settings_ena = CTU_CAN_ENABLED) then 
Evaluated toCountThreshold
BinFalse103821
BinTrue97141

"=" expression

182:            if (segm_end = '1') then 
Evaluated toCountThreshold
BinFalse110609501
BinTrue220842251

"=" expression

188:            if (segm_end = '1') then 
Evaluated toCountThreshold
BinFalse110355511
BinTrue220689891

"=" expression

200:        if (res_n = '0') then 
Evaluated toCountThreshold
BinFalse10527585841
BinTrue24184991

"=" expression

203:            if (bt_fsm_ce = '1') then 
Evaluated toCountThreshold
BinFalse5042958961
BinTrue220784041

"/=" expression

209:    bt_fsm_ce <= '1' when (next_state /= current_state) else 
Evaluated toCountThreshold
BinFalse441684151
BinTrue441687791

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

"T_BIT_TIME" FSM

130:    signal current_state    : t_bit_time; 
StateCountThreshold
BinS_BT_TSEG1110415441
BinS_BT_TSEG2110352191
BinS_BT_RESET80721

"T_BIT_TIME" FSM

131:    signal next_state       : t_bit_time; 
StateCountThreshold
BinS_BT_TSEG1331267061
BinS_BT_TSEG2331191811
BinS_BT_RESET80721

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: