NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_MAC_TOP.I_MAC_CRC_TOP

File:  /__w/CTU-CAN-FD/CTU-CAN-FD/src/medium_access_control/mac_top.vhd

Nested Instances Statement Branch Toggle Expression FSM state Functional Average
I_MAC_CRC_CALC_15 100.0 % (15/15) 100.0 % (14/14) 100.0 % (108/108) 100.0 % (21/21) N.A. N.A. 100.0 % (158/158)
I_MAC_CRC_CALC_17_RX 100.0 % (15/15) 100.0 % (14/14) 100.0 % (120/120) 100.0 % (21/21) N.A. N.A. 100.0 % (170/170)
I_MAC_CRC_CALC_21_RX 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.I_DUT.I_MAC_TOP.I_MAC_CRC_TOP 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: 4259102
Threshold: 1

Signal assignment statement on line 222:

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

Signal assignment statement on line 224:

224:                         data_tx_wbs
Count: 2085811
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: 45685252
Threshold: 1

Signal assignment statement on line 226:

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

Signal assignment statement on line 228:

228:                         trig_tx_wbs
Count: 12235044
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: 4265353
Threshold: 1

Signal assignment statement on line 234:

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

Signal assignment statement on line 236:

236:                      data_tx_nbs
Count: 2094422
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: 43728480
Threshold: 1

Signal assignment statement on line 238:

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

Signal assignment statement on line 240:

240:                      trig_tx_nbs
Count: 11689519
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: 3107016
Threshold: 1

Signal assignment statement on line 249:

249:    crc_ena_15   <= '1' when (crc_enable = '1') 
Count: 2465348
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: 640924
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: 3134492
Threshold: 1

Signal assignment statement on line 255:

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

Signal assignment statement on line 257:

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

Signal assignment statement on line 259:

259:                      '0'
Count: 649283
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
BinTrue21732911
BinFalse20858111

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

226:    crc_17_21_trigger <= trig_rx_wbs when (crc_calc_from_rx = '1'
Evaluated toCountThreshold
BinTrue334502081
BinFalse122350441

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

234:    crc_15_data_in <= data_rx_nbs when (crc_calc_from_rx = '1'
Evaluated toCountThreshold
BinTrue21709311
BinFalse20944221

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

238:    crc_15_trigger <= trig_rx_nbs when (crc_calc_from_rx = '1'
Evaluated toCountThreshold
BinTrue320389611
BinFalse116895191

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

249:    crc_ena_15   <= '1' when (crc_enable = '1'
Evaluated toCountThreshold
BinTrue24653481
BinFalse6416681

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

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

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

255:    crc_ena_17_21  <= '1' when (crc_enable = '1'
Evaluated toCountThreshold
BinTrue24484191
BinFalse6860731

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

257:                      '1' when (crc_spec_enable = '1' and crc_17_21_data_in = DOMINANT
Evaluated toCountThreshold
BinTrue367901
BinFalse6492831

Uncovered toggles:

Excluded toggles:

Port:

 CLK_SYS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 RST_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)0114646031
Bin(14)1014662011
Bin(13)0114140551
Bin(13)1014156541
Bin(12)0114269751
Bin(12)1014285751
Bin(11)0114407061
Bin(11)1014423031
Bin(10)0114571471
Bin(10)1014587461
Bin(9)0114525001
Bin(9)1014540991
Bin(8)0114682531
Bin(8)1014698501
Bin(7)0114922771
Bin(7)1014938771
Bin(6)0114389931
Bin(6)1014405911
Bin(5)0114512871
Bin(5)1014528831
Bin(4)0114650891
Bin(4)1014666871
Bin(3)0114626651
Bin(3)1014642641
Bin(2)0114549121
Bin(2)1014565081
Bin(1)0114686421
Bin(1)1014702391
Bin(0)0114813031
Bin(0)1014829001

Port:

 CRC_17
ElementFromToCountThreshold
Bin(16)0117419701
Bin(16)1017435621
Bin(15)0117641871
Bin(15)1017657841
Bin(14)0117801641
Bin(14)1017817641
Bin(13)0117657991
Bin(13)1017673961
Bin(12)0117059771
Bin(12)1017075751
Bin(11)0117210371
Bin(11)1017226351
Bin(10)0116705891
Bin(10)1016721881
Bin(9)0116840251
Bin(9)1016856241
Bin(8)0116968381
Bin(8)1016984381
Bin(7)0117111151
Bin(7)1017127141
Bin(6)0117253131
Bin(6)1017269131
Bin(5)0117257551
Bin(5)1017273531
Bin(4)0117388771
Bin(4)1017404741
Bin(3)0117591601
Bin(3)1017607591
Bin(2)0117331871
Bin(2)1017347871
Bin(1)0117491341
Bin(1)1017507321
Bin(0)0117703461
Bin(0)1017719431

Port:

 CRC_21
ElementFromToCountThreshold
Bin(20)0117505481
Bin(20)1017521391
Bin(19)0117039651
Bin(19)1017055641
Bin(18)0117198891
Bin(18)1017214891
Bin(17)0117333001
Bin(17)1017348991
Bin(16)0117460571
Bin(16)1017476571
Bin(15)0117610401
Bin(15)1017626371
Bin(14)0117737921
Bin(14)1017753881
Bin(13)0117881031
Bin(13)1017896981
Bin(12)0117356191
Bin(12)1017372171
Bin(11)0117506491
Bin(11)1017522471
Bin(10)0117358031
Bin(10)1017374001
Bin(9)0117508561
Bin(9)1017524541
Bin(8)0117649271
Bin(8)1017665231
Bin(7)0117797621
Bin(7)1017813621
Bin(6)0117155111
Bin(6)1017171091
Bin(5)0117294941
Bin(5)1017310921
Bin(4)0117430731
Bin(4)1017446711
Bin(3)0117697891
Bin(3)1017713851
Bin(2)0117670651
Bin(2)1017686641
Bin(1)0117790261
Bin(1)1017806261
Bin(0)0117923481
Bin(0)1017939431

Signal:

 INIT_VECT_MSB_17
FromToCountThreshold
Bin0117311
Bin1017311

Signal:

 INIT_VECT_MSB_21
FromToCountThreshold
Bin0117311
Bin1017311

Signal:

 CRC_17_21_DATA_IN
FromToCountThreshold
Bin0113958281
Bin1013942271

Signal:

 CRC_17_21_TRIGGER
FromToCountThreshold
Bin01114282401
Bin10114298411

Signal:

 CRC_15_DATA_IN
FromToCountThreshold
Bin0113971171
Bin1013955161

Signal:

 CRC_15_TRIGGER
FromToCountThreshold
Bin01106878581
Bin10106894581

Signal:

 CRC_ENA_15
FromToCountThreshold
Bin01559511
Bin10575521

Signal:

 CRC_ENA_17_21
FromToCountThreshold
Bin01619381
Bin10635391

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
BinFalse20858111
BinTrue21732911

"=" expression on line 226:

 crc_calc_from_rx = '1' 
Evaluated toCountThreshold
BinFalse122350441
BinTrue334502081

"=" expression on line 234:

 crc_calc_from_rx = '1' 
Evaluated toCountThreshold
BinFalse20944221
BinTrue21709311

"=" expression on line 238:

 crc_calc_from_rx = '1' 
Evaluated toCountThreshold
BinFalse116895191
BinTrue320389611

"=" expression on line 249:

 crc_enable = '1' 
Evaluated toCountThreshold
BinFalse6416681
BinTrue24653481

"and" expression on line 251:

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

LHSRHSCountThreshold
BinFalseTrue2237251
BinTrueFalse1138711
BinTrueTrue7441

"=" expression on line 251:

 crc_spec_enable = '1' 
Evaluated toCountThreshold
BinFalse5270531
BinTrue1146151

"=" expression on line 251:

 crc_15_data_in = DOMINANT 
Evaluated toCountThreshold
BinFalse4171991
BinTrue2244691

"=" expression on line 255:

 crc_enable = '1' 
Evaluated toCountThreshold
BinFalse6860731
BinTrue24484191

"and" expression on line 257:

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

LHSRHSCountThreshold
BinFalseTrue2272911
BinTrueFalse1138711
BinTrueTrue367901

"=" expression on line 257:

 crc_spec_enable = '1' 
Evaluated toCountThreshold
BinFalse5354121
BinTrue1506611

"=" expression on line 257:

 crc_17_21_data_in = DOMINANT 
Evaluated toCountThreshold
BinFalse4219921
BinTrue2640811

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: