NVC code coverage report

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.BUS_SAMPLING_INST.BIT_ERR_DETECTOR_INST

File:  /__w/ctu-can-regression/ctu-can-regression/src/bus_sampling/bit_err_detector.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.BUS_SAMPLING_INST.BIT_ERR_DETECTOR_INST 100.0 % (24/24) 100.0 % (24/24) 100.0 % (38/38) 100.0 % (56/56) N.A. N.A. 100.0 % (142/142)

Details:

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

Uncovered statements:

Excluded statements:

Covered statements:

If statement:

163:    bit_err_ssp_condition <= '1' when (data_tx_delayed /= data_rx_synced and 
164:                                       sample_sec = '1' and 
165:                                       bit_err_enable = '1') 
166:                                 else 
167:                             '0'; 

Count: 3506845
Threshold: 1

Signal assignment statement:

163:    bit_err_ssp_condition <= '1' when (data_tx_delayed /= data_rx_synced and 
Count: 102729
Threshold: 1

Signal assignment statement:

167:                             '0'
Count: 3404116
Threshold: 1

If statement:

174:    bit_err_ssp_capt_d <= '0' when (rx_trigger = '1') else 
175:                          '1' when (bit_err_ssp_condition = '1') else 
176:          bit_err_ssp_capt_q; 

Count: 44311339
Threshold: 1

Signal assignment statement:

174:    bit_err_ssp_capt_d <= '0' when (rx_trigger = '1') else 
Count: 22153494
Threshold: 1

Signal assignment statement:

175:                          '1' when (bit_err_ssp_condition = '1') else 
Count: 34345
Threshold: 1

Signal assignment statement:

176:          bit_err_ssp_capt_q
Count: 22123500
Threshold: 1

If statement:

180:        if (res_n = '0') then 
181:            bit_err_ssp_capt_q <= '0'; 
182:        elsif (rising_edge(clk_sys)) then 
183:            bit_err_ssp_capt_q <= bit_err_ssp_capt_d; 
184:        end if; 

Count: 1055177083
Threshold: 1

Signal assignment statement:

181:            bit_err_ssp_capt_q <= '0'; 
Count: 2418499
Threshold: 1

Signal assignment statement:

183:            bit_err_ssp_capt_q <= bit_err_ssp_capt_d; 
Count: 526374300
Threshold: 1

If statement:

192:    bit_err_ssp_valid <= '1' when (sp_control = SECONDARY_SAMPLE and rx_trigger = '1' and 
193:                                   (bit_err_ssp_capt_q = '1' or bit_err_ssp_condition = '1')) 
194:                             else 
195:                         '0'; 

Count: 44370099
Threshold: 1

Signal assignment statement:

192:    bit_err_ssp_valid <= '1' when (sp_control = SECONDARY_SAMPLE and rx_trigger = '1' and 
Count: 69417
Threshold: 1

Signal assignment statement:

195:                         '0'
Count: 44300682
Threshold: 1

If statement:

197:    bit_err_norm_valid <= '1' when (sp_control /= SECONDARY_SAMPLE and 
198:                                    data_rx_synced /= data_tx and 
199:                                    rx_trigger = '1' and 
200:                                    bit_err_enable = '1') 
201:                              else 
202:                          '0'; 

Count: 48431708
Threshold: 1

Signal assignment statement:

197:    bit_err_norm_valid <= '1' when (sp_control /= SECONDARY_SAMPLE and 
Count: 871682
Threshold: 1

Signal assignment statement:

202:                          '0'
Count: 47560026
Threshold: 1

If statement:

207:    bit_err_d <= '0' when (mr_settings_ena = CTU_CAN_DISABLED) else 
208:                 '1' when (bit_err_ssp_valid = '1') else 
209:                 '1' when (bit_err_norm_valid = '1') else 
210:                 '0'; 

Count: 1899882
Threshold: 1

Signal assignment statement:

207:    bit_err_d <= '0' when (mr_settings_ena = CTU_CAN_DISABLED) else 
Count: 8072
Threshold: 1

Signal assignment statement:

208:                 '1' when (bit_err_ssp_valid = '1') else 
Count: 69382
Threshold: 1

Signal assignment statement:

209:                 '1' when (bit_err_norm_valid = '1') else 
Count: 871682
Threshold: 1

Signal assignment statement:

210:                 '0'
Count: 950746
Threshold: 1

If statement:

217:        if (res_n = '0') then 
218:            bit_err_q <= '0'; 
219:        elsif (rising_edge(clk_sys)) then 
220:            bit_err_q <= bit_err_d; 
221:        end if; 

Count: 1055177083
Threshold: 1

Signal assignment statement:

218:            bit_err_q <= '0'; 
Count: 2418499
Threshold: 1

Signal assignment statement:

220:            bit_err_q <= bit_err_d; 
Count: 526374300
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

163:    bit_err_ssp_condition <= '1' when (data_tx_delayed /= data_rx_synced and 
164:                                       sample_sec = '1' and 
165:                                       bit_err_enable = '1') 

Evaluated toCountThreshold
BinTrue1027291
BinFalse34041161

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

174:    bit_err_ssp_capt_d <= '0' when (rx_trigger = '1') else 
Evaluated toCountThreshold
BinTrue221534941
BinFalse221578451

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

175:                          '1' when (bit_err_ssp_condition = '1') else 
Evaluated toCountThreshold
BinTrue343451
BinFalse221235001

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

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

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

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

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

192:    bit_err_ssp_valid <= '1' when (sp_control = SECONDARY_SAMPLE and rx_trigger = '1' and 
193:                                   (bit_err_ssp_capt_q = '1' or bit_err_ssp_condition = '1')) 

Evaluated toCountThreshold
BinTrue694171
BinFalse443006821

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

197:    bit_err_norm_valid <= '1' when (sp_control /= SECONDARY_SAMPLE and 
198:                                    data_rx_synced /= data_tx and 
199:                                    rx_trigger = '1' and 
200:                                    bit_err_enable = '1') 

Evaluated toCountThreshold
BinTrue8716821
BinFalse475600261

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

207:    bit_err_d <= '0' when (mr_settings_ena = CTU_CAN_DISABLED) else 
Evaluated toCountThreshold
BinTrue80721
BinFalse18918101

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

208:                 '1' when (bit_err_ssp_valid = '1') else 
Evaluated toCountThreshold
BinTrue693821
BinFalse18224281

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

209:                 '1' when (bit_err_norm_valid = '1') else 
Evaluated toCountThreshold
BinTrue8716821
BinFalse9507461

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

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

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

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

Uncovered toggles:

Excluded toggles:

Covered toggles:

Port:

 CLK_SYS
FromToCountThreshold
Bin015275788691
Bin105275804601

Port:

 RES_N
FromToCountThreshold
Bin0180821
Bin1080721

Port:

 SP_CONTROL(1)
FromToCountThreshold
Bin0142061
Bin1058061

Port:

 SP_CONTROL(0)
FromToCountThreshold
Bin01255481
Bin10271481

Port:

 RX_TRIGGER
FromToCountThreshold
Bin01220841271
Bin10220857271

Port:

 SAMPLE_SEC
FromToCountThreshold
Bin011903341
Bin101919341

Port:

 BIT_ERR_ENABLE
FromToCountThreshold
Bin01669121
Bin10653201

Port:

 MR_SETTINGS_ENA
FromToCountThreshold
Bin0164821
Bin1080721

Port:

 DATA_TX
FromToCountThreshold
Bin016353361
Bin106337381

Port:

 DATA_TX_DELAYED
FromToCountThreshold
Bin01975631
Bin10959631

Port:

 DATA_RX_SYNCED
FromToCountThreshold
Bin0114008961
Bin1013992961

Port:

 BIT_ERR
FromToCountThreshold
Bin0193811
Bin10109811

Signal:

 BIT_ERR_D
FromToCountThreshold
Bin019410641
Bin109426641

Signal:

 BIT_ERR_Q
FromToCountThreshold
Bin0193811
Bin10109811

Signal:

 BIT_ERR_SSP_CAPT_D
FromToCountThreshold
Bin01340181
Bin10356181

Signal:

 BIT_ERR_SSP_CAPT_Q
FromToCountThreshold
Bin014741
Bin1020741

Signal:

 BIT_ERR_SSP_VALID
FromToCountThreshold
Bin01693821
Bin10709821

Signal:

 BIT_ERR_SSP_CONDITION
FromToCountThreshold
Bin011027291
Bin101043291

Signal:

 BIT_ERR_NORM_VALID
FromToCountThreshold
Bin018716821
Bin108732821

Uncovered expressions:

Excluded expressions:

Covered expressions:

"/=" expression

163:    bit_err_ssp_condition <= '1' when (data_tx_delayed /= data_rx_synced and 
Evaluated toCountThreshold
BinFalse18297011
BinTrue16771441

"=" expression

164:                                       sample_sec = '1' and 
Evaluated toCountThreshold
BinFalse32130631
BinTrue2937821

"and" expression

163:    bit_err_ssp_condition <= '1' when (data_tx_delayed /= data_rx_synced and 
164:                                       sample_sec = '1' and 

LHSRHSCountThreshold
BinFalseTrue1900931
BinTrueFalse15734551
BinTrueTrue1036891

"=" expression

165:                                       bit_err_enable = '1'
Evaluated toCountThreshold
BinFalse19044801
BinTrue16023651

"and" expression

163:    bit_err_ssp_condition <= '1' when (data_tx_delayed /= data_rx_synced and 
164:                                       sample_sec = '1' and 
165:                                       bit_err_enable = '1') 

LHSRHSCountThreshold
BinFalseTrue14996361
BinTrueFalse9601
BinTrueTrue1027291

"=" expression

174:    bit_err_ssp_capt_d <= '0' when (rx_trigger = '1') else 
Evaluated toCountThreshold
BinFalse221578451
BinTrue221534941

"=" expression

175:                          '1' when (bit_err_ssp_condition = '1') else 
Evaluated toCountThreshold
BinFalse221235001
BinTrue343451

"=" expression

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

"=" expression

192:    bit_err_ssp_valid <= '1' when (sp_control = SECONDARY_SAMPLE and rx_trigger = '1' and 
Evaluated toCountThreshold
BinFalse222166051
BinTrue221534941

"and" expression

192:    bit_err_ssp_valid <= '1' when (sp_control = SECONDARY_SAMPLE and rx_trigger = '1' and 
                                       <------------LHS------------>     <-----RHS------>     

LHSRHSCountThreshold
BinFalseTrue217050661
BinTrueFalse4505361
BinTrueTrue4484281

"=" expression

193:                                   (bit_err_ssp_capt_q = '1' or bit_err_ssp_condition = '1')) 
Evaluated toCountThreshold
BinFalse443684401
BinTrue16591

"=" expression

193:                                   (bit_err_ssp_capt_q = '1' or bit_err_ssp_condition = '1')) 
Evaluated toCountThreshold
BinFalse442668111
BinTrue1032881

"or" expression

193:                                   (bit_err_ssp_capt_q = '1' or bit_err_ssp_condition = '1')) 
                                        <---------LHS---------->    <-----------RHS----------->   

LHSRHSCountThreshold
BinFalseFalse442656611
BinFalseTrue1027791
BinTrueFalse11501

"and" expression

192:    bit_err_ssp_valid <= '1' when (sp_control = SECONDARY_SAMPLE and rx_trigger = '1' and 
193:                                   (bit_err_ssp_capt_q = '1' or bit_err_ssp_condition = '1')) 

LHSRHSCountThreshold
BinFalseTrue350211
BinTrueFalse3790111
BinTrueTrue694171

"/=" expression

198:                                    data_rx_synced /= data_tx and 
Evaluated toCountThreshold
BinFalse352169061
BinTrue132148021

"and" expression

197:    bit_err_norm_valid <= '1' when (sp_control /= SECONDARY_SAMPLE and 
198:                                    data_rx_synced /= data_tx and 

LHSRHSCountThreshold
BinFalseTrue2277831
BinTrueFalse344620341
BinTrueTrue129870191

"=" expression

199:                                    rx_trigger = '1' and 
Evaluated toCountThreshold
BinFalse250786401
BinTrue233530681

"and" expression

197:    bit_err_norm_valid <= '1' when (sp_control /= SECONDARY_SAMPLE and 
198:                                    data_rx_synced /= data_tx and 
199:                                    rx_trigger = '1' and 

LHSRHSCountThreshold
BinFalseTrue172586521
BinTrueFalse68926031
BinTrueTrue60944161

"=" expression

200:                                    bit_err_enable = '1'
Evaluated toCountThreshold
BinFalse367233931
BinTrue117083151

"and" expression

197:    bit_err_norm_valid <= '1' when (sp_control /= SECONDARY_SAMPLE and 
198:                                    data_rx_synced /= data_tx and 
199:                                    rx_trigger = '1' and 
200:                                    bit_err_enable = '1') 

LHSRHSCountThreshold
BinFalseTrue108366331
BinTrueFalse52227341
BinTrueTrue8716821

"=" expression

207:    bit_err_d <= '0' when (mr_settings_ena = CTU_CAN_DISABLED) else 
Evaluated toCountThreshold
BinFalse18918101
BinTrue80721

"=" expression

208:                 '1' when (bit_err_ssp_valid = '1') else 
Evaluated toCountThreshold
BinFalse18224281
BinTrue693821

"=" expression

209:                 '1' when (bit_err_norm_valid = '1') else 
Evaluated toCountThreshold
BinFalse9507461
BinTrue8716821

"=" expression

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

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: