NVC code coverage report

Hierarchy

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/bus_sampling.vhd


Current 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 % (25/25) 100.0 % (24/24) 100.0 % (38/38) 100.0 % (56/56) N.A. N.A. 100.0 % (143/143)

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:

If statement on lines 163 to 167:

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: 3419741
Threshold: 1

Signal assignment statement on line 163:

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

Signal assignment statement on line 167:

167:                             '0'
Count: 3333310
Threshold: 1

If statement on lines 174 to 176:

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: 45682049
Threshold: 1

Signal assignment statement on line 174:

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

Signal assignment statement on line 175:

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

Signal assignment statement on line 176:

176:          bit_err_ssp_capt_q
Count: 22815934
Threshold: 1

If statement on lines 180 to 184:

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: 1090018206
Threshold: 1

Signal assignment statement on line 181:

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

Signal assignment statement on line 183:

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

If statement on lines 192 to 195:

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: 45740216
Threshold: 1

Signal assignment statement on line 192:

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

Signal assignment statement on line 195:

195:                         '0'
Count: 45685029
Threshold: 1

If statement on lines 197 to 202:

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: 49820949
Threshold: 1

Signal assignment statement on line 197:

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

Signal assignment statement on line 202:

202:                          '0'
Count: 48937840
Threshold: 1

If statement on lines 207 to 210:

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: 1894293
Threshold: 1

Signal assignment statement on line 207:

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

Signal assignment statement on line 208:

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

Signal assignment statement on line 209:

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

Signal assignment statement on line 210:

210:                 '0'
Count: 947953
Threshold: 1

If statement on lines 217 to 221:

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: 1090018206
Threshold: 1

Signal assignment statement on line 218:

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

Signal assignment statement on line 220:

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

Signal assignment statement on line 225:

225:    bit_err <= bit_err_q
Count: 22772
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

"if" / "when" / "else" condition on lines 163 to 165:

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
BinTrue864311
BinFalse33333101

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

174:    bit_err_ssp_capt_d <= '0' when (rx_trigger = '1') else 
Evaluated toCountThreshold
BinTrue228336141
BinFalse228484351

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

175:                          '1' when (bit_err_ssp_condition = '1') else 
Evaluated toCountThreshold
BinTrue325011
BinFalse228159341

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

180:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue24248831
BinFalse10875933231

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

182:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5437916781
BinFalse5438016451

"if" / "when" / "else" condition on lines 192 to 193:

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
BinTrue551871
BinFalse456850291

"if" / "when" / "else" condition on lines 197 to 200:

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
BinTrue8831091
BinFalse489378401

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

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

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

208:                 '1' when (bit_err_ssp_valid = '1') else 
Evaluated toCountThreshold
BinTrue551591
BinFalse18310621

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

209:                 '1' when (bit_err_norm_valid = '1') else 
Evaluated toCountThreshold
BinTrue8831091
BinFalse9479531

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

217:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue24248831
BinFalse10875933231

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

219:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5437916781
BinFalse5438016451

Uncovered toggles:

Excluded toggles:

Port:

 CLK_SYS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 RES_N
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 SP_CONTROL
ElementFromToCountThresholdExcluded due to
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 RX_TRIGGER
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 SAMPLE_SEC
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 BIT_ERR_ENABLE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_SETTINGS_ENA
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 DATA_TX
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 DATA_TX_DELAYED
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 DATA_RX_SYNCED
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Covered toggles:

Port:

 BIT_ERR
FromToCountThreshold
Bin0197851
Bin10113861

Signal:

 BIT_ERR_D
FromToCountThreshold
Bin019382681
Bin109398691

Signal:

 BIT_ERR_Q
FromToCountThreshold
Bin0197851
Bin10113861

Signal:

 BIT_ERR_SSP_CAPT_D
FromToCountThreshold
Bin01320461
Bin10336471

Signal:

 BIT_ERR_SSP_CAPT_Q
FromToCountThreshold
Bin015841
Bin1021851

Signal:

 BIT_ERR_SSP_VALID
FromToCountThreshold
Bin01551591
Bin10567601

Signal:

 BIT_ERR_SSP_CONDITION
FromToCountThreshold
Bin01864311
Bin10880321

Signal:

 BIT_ERR_NORM_VALID
FromToCountThreshold
Bin018831091
Bin108847101

Uncovered expressions:

Excluded expressions:

Covered expressions:

"and" expression on lines 163 to 165:

 data_tx_delayed /= data_rx_synced and sample_sec = '1' and bit_err_enable = '1' 
 <------------------------LHS------------------------->     <-------RHS--------> 

LHSRHSCountThreshold
BinFalseTrue14195691
BinTrueFalse7481
BinTrueTrue864311

"and" expression on lines 163 to 164:

 data_tx_delayed /= data_rx_synced and sample_sec = '1' 
 <--------------LHS-------------->     <-----RHS------> 

LHSRHSCountThreshold
BinFalseTrue1598891
BinTrueFalse15599521
BinTrueTrue871791

"/=" expression on line 163:

 data_tx_delayed /= data_rx_synced 
Evaluated toCountThreshold
BinFalse17726101
BinTrue16471311

"=" expression on line 164:

 sample_sec = '1' 
Evaluated toCountThreshold
BinFalse31726731
BinTrue2470681

"=" expression on line 165:

 bit_err_enable = '1' 
Evaluated toCountThreshold
BinFalse19137411
BinTrue15060001

"=" expression on line 174:

 rx_trigger = '1' 
Evaluated toCountThreshold
BinFalse228484351
BinTrue228336141

"=" expression on line 175:

 bit_err_ssp_condition = '1' 
Evaluated toCountThreshold
BinFalse228159341
BinTrue325011

"=" expression on line 180:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse10875933231
BinTrue24248831

"and" expression on lines 192 to 193:

 sp_control = SECONDARY_SAMPLE and rx_trigger = '1' and (bit_err_ssp_capt_q = '1' or bit_err_ssp_condition = '1') 
 <----------------------LHS----------------------->      <-------------------------RHS------------------------->  

LHSRHSCountThreshold
BinFalseTrue332361
BinTrueFalse3186791
BinTrueTrue551871

"and" expression on line 192:

 sp_control = SECONDARY_SAMPLE and rx_trigger = '1' 
 <------------LHS------------>     <-----RHS------> 

LHSRHSCountThreshold
BinFalseTrue224597481
BinTrueFalse3856821
BinTrueTrue3738661

"=" expression on line 192:

 rx_trigger = '1' 
Evaluated toCountThreshold
BinFalse229066021
BinTrue228336141

"or" expression on line 193:

 bit_err_ssp_capt_q = '1' or bit_err_ssp_condition = '1' 
 <---------LHS---------->    <-----------RHS-----------> 

LHSRHSCountThreshold
BinFalseFalse456517931
BinFalseTrue864681
BinTrueFalse13431

"=" expression on line 193:

 bit_err_ssp_capt_q = '1' 
Evaluated toCountThreshold
BinFalse457382611
BinTrue19551

"=" expression on line 193:

 bit_err_ssp_condition = '1' 
Evaluated toCountThreshold
BinFalse456531361
BinTrue870801

"and" expression on lines 197 to 200:

 sp_control /= SECONDARY_SAMPLE and data_rx_synced /= data_tx and rx_trigger = '1' and bit_err_enable = '1' 
 <--------------------------------------LHS-------------------------------------->     <-------RHS--------> 

LHSRHSCountThreshold
BinFalseTrue107642331
BinTrueFalse52543181
BinTrueTrue8831091

"and" expression on lines 197 to 199:

 sp_control /= SECONDARY_SAMPLE and data_rx_synced /= data_tx and rx_trigger = '1' 
 <---------------------------LHS---------------------------->     <-----RHS------> 

LHSRHSCountThreshold
BinFalseTrue179068751
BinTrueFalse69397111
BinTrueTrue61374271

"and" expression on lines 197 to 198:

 sp_control /= SECONDARY_SAMPLE and data_rx_synced /= data_tx 
 <------------LHS------------->     <----------RHS----------> 

LHSRHSCountThreshold
BinFalseTrue1916551
BinTrueFalse359194591
BinTrueTrue130771381

"/=" expression on line 198:

 data_rx_synced /= data_tx 
Evaluated toCountThreshold
BinFalse365521561
BinTrue132687931

"=" expression on line 199:

 rx_trigger = '1' 
Evaluated toCountThreshold
BinFalse257766471
BinTrue240443021

"=" expression on line 200:

 bit_err_enable = '1' 
Evaluated toCountThreshold
BinFalse381736071
BinTrue116473421

"=" expression on line 207:

 mr_settings_ena = CTU_CAN_DISABLED 
Evaluated toCountThreshold
BinFalse18862211
BinTrue80721

"=" expression on line 208:

 bit_err_ssp_valid = '1' 
Evaluated toCountThreshold
BinFalse18310621
BinTrue551591

"=" expression on line 209:

 bit_err_norm_valid = '1' 
Evaluated toCountThreshold
BinFalse9479531
BinTrue8831091

"=" expression on line 217:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse10875933231
BinTrue24248831

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: