NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.CAN_CORE_INST.CAN_CRC_INST

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

Nested Instances Statement Branch Toggle Expression FSM state Functional Average
CRC_CALC_15_INST 100.0 % (15/15) 100.0 % (14/14) 100.0 % (108/108) 100.0 % (21/21) N.A. N.A. 100.0 % (158/158)
CRC_CALC_17_RX_INST 100.0 % (15/15) 100.0 % (14/14) 100.0 % (120/120) 100.0 % (21/21) N.A. N.A. 100.0 % (170/170)
CRC_CALC_21_RX_INST 100.0 % (15/15) 100.0 % (14/14) 100.0 % (144/144) 100.0 % (21/21) N.A. N.A. 100.0 % (194/194)

Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.CAN_CORE_INST.CAN_CRC_INST 100.0 % (26/26) 100.0 % (20/20) 100.0 % (152/152) 100.0 % (30/30) N.A. N.A. 100.0 % (228/228)

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 210 to 212:

210:    init_vect_msb_17 <= '1' when (mr_settings_nisofd = ISO_FD) 
211:                            else 
212:                        '0'; 

Count: 3462
Threshold: 1

Signal assignment statement on line 210:

210:    init_vect_msb_17 <= '1' when (mr_settings_nisofd = ISO_FD) 
Count: 1731
Threshold: 1

Signal assignment statement on line 212:

212:                        '0'
Count: 1731
Threshold: 1

If statement on lines 214 to 216:

214:    init_vect_msb_21 <= '1' when (mr_settings_nisofd = ISO_FD) 
215:                            else 
216:                        '0'; 

Count: 3462
Threshold: 1

Signal assignment statement on line 214:

214:    init_vect_msb_21 <= '1' when (mr_settings_nisofd = ISO_FD) 
Count: 1731
Threshold: 1

Signal assignment statement on line 216:

216:                        '0'
Count: 1731
Threshold: 1

If statement on lines 222 to 224:

222:    crc_17_21_data_in <= data_rx_wbs when (crc_calc_from_rx = '1') 
223:                                     else 
224:                         data_tx_wbs; 

Count: 4234673
Threshold: 1

Signal assignment statement on line 222:

222:    crc_17_21_data_in <= data_rx_wbs when (crc_calc_from_rx = '1') 
Count: 2155248
Threshold: 1

Signal assignment statement on line 224:

224:                         data_tx_wbs
Count: 2079425
Threshold: 1

If statement on lines 226 to 228:

226:    crc_17_21_trigger <= trig_rx_wbs when (crc_calc_from_rx = '1') 
227:                                     else 
228:                         trig_tx_wbs; 

Count: 45515208
Threshold: 1

Signal assignment statement on line 226:

226:    crc_17_21_trigger <= trig_rx_wbs when (crc_calc_from_rx = '1') 
Count: 33318764
Threshold: 1

Signal assignment statement on line 228:

228:                         trig_tx_wbs
Count: 12196444
Threshold: 1

If statement on lines 234 to 236:

234:    crc_15_data_in <= data_rx_nbs when (crc_calc_from_rx = '1') 
235:                                  else 
236:                      data_tx_nbs; 

Count: 4243588
Threshold: 1

Signal assignment statement on line 234:

234:    crc_15_data_in <= data_rx_nbs when (crc_calc_from_rx = '1') 
Count: 2156498
Threshold: 1

Signal assignment statement on line 236:

236:                      data_tx_nbs
Count: 2087090
Threshold: 1

If statement on lines 238 to 240:

238:    crc_15_trigger <= trig_rx_nbs when (crc_calc_from_rx = '1') 
239:                                  else 
240:                      trig_tx_nbs; 

Count: 43563752
Threshold: 1

Signal assignment statement on line 238:

238:    crc_15_trigger <= trig_rx_nbs when (crc_calc_from_rx = '1') 
Count: 31912891
Threshold: 1

Signal assignment statement on line 240:

240:                      trig_tx_nbs
Count: 11650861
Threshold: 1

If statement on lines 249 to 253:

249:    crc_ena_15   <= '1' when (crc_enable = '1') 
250:                        else 
251:                    '1' when (crc_spec_enable = '1' and crc_15_data_in = DOMINANT) 
252:                        else 
253:                    '0'; 

Count: 3091037
Threshold: 1

Signal assignment statement on line 249:

249:    crc_ena_15   <= '1' when (crc_enable = '1') 
Count: 2447247
Threshold: 1

Signal assignment statement on line 251:

251:                    '1' when (crc_spec_enable = '1' and crc_15_data_in = DOMINANT) 
Count: 744
Threshold: 1

Signal assignment statement on line 253:

253:                    '0'
Count: 643046
Threshold: 1

If statement on lines 255 to 259:

255:    crc_ena_17_21  <= '1' when (crc_enable = '1') 
256:                          else 
257:                      '1' when (crc_spec_enable = '1' and crc_17_21_data_in = DOMINANT) 
258:                          else 
259:                      '0'; 

Count: 3119499
Threshold: 1

Signal assignment statement on line 255:

255:    crc_ena_17_21  <= '1' when (crc_enable = '1') 
Count: 2430015
Threshold: 1

Signal assignment statement on line 257:

257:                      '1' when (crc_spec_enable = '1' and crc_17_21_data_in = DOMINANT) 
Count: 36826
Threshold: 1

Signal assignment statement on line 259:

259:                      '0'
Count: 652658
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

210:    init_vect_msb_17 <= '1' when (mr_settings_nisofd = ISO_FD
Evaluated toCountThreshold
BinTrue17311
BinFalse17311

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

214:    init_vect_msb_21 <= '1' when (mr_settings_nisofd = ISO_FD
Evaluated toCountThreshold
BinTrue17311
BinFalse17311

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

222:    crc_17_21_data_in <= data_rx_wbs when (crc_calc_from_rx = '1'
Evaluated toCountThreshold
BinTrue21552481
BinFalse20794251

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

226:    crc_17_21_trigger <= trig_rx_wbs when (crc_calc_from_rx = '1'
Evaluated toCountThreshold
BinTrue333187641
BinFalse121964441

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

234:    crc_15_data_in <= data_rx_nbs when (crc_calc_from_rx = '1'
Evaluated toCountThreshold
BinTrue21564981
BinFalse20870901

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

238:    crc_15_trigger <= trig_rx_nbs when (crc_calc_from_rx = '1'
Evaluated toCountThreshold
BinTrue319128911
BinFalse116508611

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

249:    crc_ena_15   <= '1' when (crc_enable = '1'
Evaluated toCountThreshold
BinTrue24472471
BinFalse6437901

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

251:                    '1' when (crc_spec_enable = '1' and crc_15_data_in = DOMINANT
Evaluated toCountThreshold
BinTrue7441
BinFalse6430461

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

255:    crc_ena_17_21  <= '1' when (crc_enable = '1'
Evaluated toCountThreshold
BinTrue24300151
BinFalse6894841

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

257:                      '1' when (crc_spec_enable = '1' and crc_17_21_data_in = DOMINANT
Evaluated toCountThreshold
BinTrue368261
BinFalse6526581

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:

 MR_SETTINGS_NISOFD
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 DATA_TX_WBS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 DATA_TX_NBS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 DATA_RX_WBS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 DATA_RX_NBS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TRIG_TX_WBS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TRIG_TX_NBS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TRIG_RX_WBS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TRIG_RX_NBS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 CRC_ENABLE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 CRC_SPEC_ENABLE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 CRC_CALC_FROM_RX
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 LOAD_INIT_VECT
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Covered toggles:

Port:

 CRC_15
ElementFromToCountThreshold
Bin(14)0114562241
Bin(14)1014578241
Bin(13)0114127241
Bin(13)1014143241
Bin(12)0114272151
Bin(12)1014288151
Bin(11)0114409851
Bin(11)1014425801
Bin(10)0114557611
Bin(10)1014573601
Bin(9)0114464571
Bin(9)1014480541
Bin(8)0114615921
Bin(8)1014631891
Bin(7)0114924151
Bin(7)1014940151
Bin(6)0114260241
Bin(6)1014276211
Bin(5)0114407031
Bin(5)1014422991
Bin(4)0114532401
Bin(4)1014548381
Bin(3)0114559321
Bin(3)1014575301
Bin(2)0114464101
Bin(2)1014480081
Bin(1)0114621371
Bin(1)1014637341
Bin(0)0114744861
Bin(0)1014760841

Port:

 CRC_17
ElementFromToCountThreshold
Bin(16)0117433191
Bin(16)1017449131
Bin(15)0117535571
Bin(15)1017551551
Bin(14)0117668671
Bin(14)1017684651
Bin(13)0117629991
Bin(13)1017645951
Bin(12)0117000691
Bin(12)1017016671
Bin(11)0117169551
Bin(11)1017185531
Bin(10)0116616491
Bin(10)1016632481
Bin(9)0116759011
Bin(9)1016774991
Bin(8)0116887821
Bin(8)1016903801
Bin(7)0117022911
Bin(7)1017038891
Bin(6)0117177851
Bin(6)1017193841
Bin(5)0117182051
Bin(5)1017198011
Bin(4)0117325561
Bin(4)1017341531
Bin(3)0117526461
Bin(3)1017542431
Bin(2)0117158671
Bin(2)1017174641
Bin(1)0117309691
Bin(1)1017325661
Bin(0)0117689151
Bin(0)1017705121

Port:

 CRC_21
ElementFromToCountThreshold
Bin(20)0117477191
Bin(20)1017493111
Bin(19)0116996221
Bin(19)1017012191
Bin(18)0117160661
Bin(18)1017176631
Bin(17)0117297281
Bin(17)1017313281
Bin(16)0117434091
Bin(16)1017450081
Bin(15)0117563581
Bin(15)1017579571
Bin(14)0117689011
Bin(14)1017704981
Bin(13)0117839181
Bin(13)1017855131
Bin(12)0117320171
Bin(12)1017336141
Bin(11)0117454871
Bin(11)1017470871
Bin(10)0117333861
Bin(10)1017349821
Bin(9)0117466191
Bin(9)1017482161
Bin(8)0117610881
Bin(8)1017626841
Bin(7)0117761911
Bin(7)1017777911
Bin(6)0117090601
Bin(6)1017106581
Bin(5)0117232651
Bin(5)1017248631
Bin(4)0117367101
Bin(4)1017383101
Bin(3)0117625201
Bin(3)1017641171
Bin(2)0117581561
Bin(2)1017597521
Bin(1)0117707591
Bin(1)1017723591
Bin(0)0117848931
Bin(0)1017864891

Signal:

 INIT_VECT_MSB_17
FromToCountThreshold
Bin0117311
Bin1017311

Signal:

 INIT_VECT_MSB_21
FromToCountThreshold
Bin0117311
Bin1017311

Signal:

 CRC_17_21_DATA_IN
FromToCountThreshold
Bin0113888991
Bin1013872991

Signal:

 CRC_17_21_TRIGGER
FromToCountThreshold
Bin01113844441
Bin10113860451

Signal:

 CRC_15_DATA_IN
FromToCountThreshold
Bin0113897131
Bin1013881131

Signal:

 CRC_15_TRIGGER
FromToCountThreshold
Bin01106466141
Bin10106482141

Signal:

 CRC_ENA_15
FromToCountThreshold
Bin01557621
Bin10573631

Signal:

 CRC_ENA_17_21
FromToCountThreshold
Bin01617501
Bin10633511

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression on line 210:

 mr_settings_nisofd = ISO_FD 
Evaluated toCountThreshold
BinFalse17311
BinTrue17311

"=" expression on line 214:

 mr_settings_nisofd = ISO_FD 
Evaluated toCountThreshold
BinFalse17311
BinTrue17311

"=" expression on line 222:

 crc_calc_from_rx = '1' 
Evaluated toCountThreshold
BinFalse20794251
BinTrue21552481

"=" expression on line 226:

 crc_calc_from_rx = '1' 
Evaluated toCountThreshold
BinFalse121964441
BinTrue333187641

"=" expression on line 234:

 crc_calc_from_rx = '1' 
Evaluated toCountThreshold
BinFalse20870901
BinTrue21564981

"=" expression on line 238:

 crc_calc_from_rx = '1' 
Evaluated toCountThreshold
BinFalse116508611
BinTrue319128911

"=" expression on line 249:

 crc_enable = '1' 
Evaluated toCountThreshold
BinFalse6437901
BinTrue24472471

"and" expression on line 251:

 crc_spec_enable = '1' and crc_15_data_in = DOMINANT 
 <--------LHS-------->     <----------RHS----------> 

LHSRHSCountThreshold
BinFalseTrue2243091
BinTrueFalse1134911
BinTrueTrue7441

"=" expression on line 251:

 crc_spec_enable = '1' 
Evaluated toCountThreshold
BinFalse5295551
BinTrue1142351

"=" expression on line 251:

 crc_15_data_in = DOMINANT 
Evaluated toCountThreshold
BinFalse4187371
BinTrue2250531

"=" expression on line 255:

 crc_enable = '1' 
Evaluated toCountThreshold
BinFalse6894841
BinTrue24300151

"and" expression on line 257:

 crc_spec_enable = '1' and crc_17_21_data_in = DOMINANT 
 <--------LHS-------->     <-----------RHS------------> 

LHSRHSCountThreshold
BinFalseTrue2286821
BinTrueFalse1134911
BinTrueTrue368261

"=" expression on line 257:

 crc_spec_enable = '1' 
Evaluated toCountThreshold
BinFalse5391671
BinTrue1503171

"=" expression on line 257:

 crc_17_21_data_in = DOMINANT 
Evaluated toCountThreshold
BinFalse4239761
BinTrue2655081

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: