NVC code coverage report

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_crc.vhd

Sub-instances:

Instance Statement Branch Toggle Expression FSM state Functional Average
CRC_CALC_15_INST 100.0 % (14/14) 100.0 % (14/14) 100.0 % (108/108) 100.0 % (21/21) N.A. N.A. 100.0 % (157/157)
CRC_CALC_17_RX_INST 100.0 % (14/14) 100.0 % (14/14) 100.0 % (120/120) 100.0 % (21/21) N.A. N.A. 100.0 % (169/169)
CRC_CALC_21_RX_INST 100.0 % (14/14) 100.0 % (14/14) 100.0 % (144/144) 100.0 % (21/21) N.A. N.A. 100.0 % (193/193)

Current Instance:

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 261615 items are not displayed.

Uncovered statements:

Excluded statements:

Covered statements:

If statement:

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

Count: 3460
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

212:                        '0'
Count: 1730
Threshold: 1

If statement:

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

Count: 3460
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

216:                        '0'
Count: 1730
Threshold: 1

If statement:

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

Count: 4232030
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

224:                         data_tx_wbs
Count: 2090578
Threshold: 1

If statement:

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

Count: 44131626
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

228:                         trig_tx_wbs
Count: 12211612
Threshold: 1

If statement:

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

Count: 4236326
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

236:                      data_tx_nbs
Count: 2093862
Threshold: 1

If statement:

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

Count: 42179668
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

240:                      trig_tx_nbs
Count: 11661160
Threshold: 1

If statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

253:                    '0'
Count: 636243
Threshold: 1

If statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

259:                      '0'
Count: 647999
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

210:    init_vect_msb_17 <= '1' when (mr_settings_nisofd = ISO_FD
Evaluated toCountThreshold
BinTrue17301
BinFalse17301

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

214:    init_vect_msb_21 <= '1' when (mr_settings_nisofd = ISO_FD
Evaluated toCountThreshold
BinTrue17301
BinFalse17301

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

222:    crc_17_21_data_in <= data_rx_wbs when (crc_calc_from_rx = '1'
Evaluated toCountThreshold
BinTrue21414521
BinFalse20905781

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

226:    crc_17_21_trigger <= trig_rx_wbs when (crc_calc_from_rx = '1'
Evaluated toCountThreshold
BinTrue319200141
BinFalse122116121

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

234:    crc_15_data_in <= data_rx_nbs when (crc_calc_from_rx = '1'
Evaluated toCountThreshold
BinTrue21424641
BinFalse20938621

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

238:    crc_15_trigger <= trig_rx_nbs when (crc_calc_from_rx = '1'
Evaluated toCountThreshold
BinTrue305185081
BinFalse116611601

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

249:    crc_ena_15   <= '1' when (crc_enable = '1'
Evaluated toCountThreshold
BinTrue24440061
BinFalse6369871

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

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

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

255:    crc_ena_17_21  <= '1' when (crc_enable = '1'
Evaluated toCountThreshold
BinTrue24290171
BinFalse6848091

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

257:                      '1' when (crc_spec_enable = '1' and crc_17_21_data_in = DOMINANT
Evaluated toCountThreshold
BinTrue368101
BinFalse6479991

Uncovered toggles:

Excluded toggles:

Covered toggles:

Port:

 CLK_SYS
FromToCountThreshold
Bin015275788691
Bin105275804601

Port:

 RES_N
FromToCountThreshold
Bin0180821
Bin1080721

Port:

 MR_SETTINGS_NISOFD
FromToCountThreshold
Bin011301
Bin1017301

Port:

 DATA_TX_WBS
FromToCountThreshold
Bin016353511
Bin106337531

Port:

 DATA_TX_NBS
FromToCountThreshold
Bin016444441
Bin106428461

Port:

 DATA_RX_WBS
FromToCountThreshold
Bin0113960081
Bin1013975991

Port:

 DATA_RX_NBS
FromToCountThreshold
Bin0113911881
Bin1013895881

Port:

 TRIG_TX_WBS
FromToCountThreshold
Bin01110795711
Bin10110811701

Port:

 TRIG_TX_NBS
FromToCountThreshold
Bin01110440031
Bin10110456021

Port:

 TRIG_RX_WBS
FromToCountThreshold
Bin01109556821
Bin10109572821

Port:

 TRIG_RX_NBS
FromToCountThreshold
Bin01100154141
Bin10100170141

Port:

 CRC_ENABLE
FromToCountThreshold
Bin01552851
Bin10568851

Port:

 CRC_SPEC_ENABLE
FromToCountThreshold
Bin011125361
Bin101141321

Port:

 CRC_CALC_FROM_RX
FromToCountThreshold
Bin01830681
Bin10846591

Port:

 LOAD_INIT_VECT
FromToCountThreshold
Bin011125141
Bin101141141

Port:

 CRC_15(14)
FromToCountThreshold
Bin0114526421
Bin1014542411

Port:

 CRC_15(13)
FromToCountThreshold
Bin0114043811
Bin1014059791

Port:

 CRC_15(12)
FromToCountThreshold
Bin0114168151
Bin1014184141

Port:

 CRC_15(11)
FromToCountThreshold
Bin0114310401
Bin1014326361

Port:

 CRC_15(10)
FromToCountThreshold
Bin0114445911
Bin1014461891

Port:

 CRC_15(9)
FromToCountThreshold
Bin0114382461
Bin1014398421

Port:

 CRC_15(8)
FromToCountThreshold
Bin0114522231
Bin1014538191

Port:

 CRC_15(7)
FromToCountThreshold
Bin0114890851
Bin1014906831

Port:

 CRC_15(6)
FromToCountThreshold
Bin0114285721
Bin1014301681

Port:

 CRC_15(5)
FromToCountThreshold
Bin0114421381
Bin1014437341

Port:

 CRC_15(4)
FromToCountThreshold
Bin0114541041
Bin1014557031

Port:

 CRC_15(3)
FromToCountThreshold
Bin0114537431
Bin1014553421

Port:

 CRC_15(2)
FromToCountThreshold
Bin0114405701
Bin1014421651

Port:

 CRC_15(1)
FromToCountThreshold
Bin0114564371
Bin1014580341

Port:

 CRC_15(0)
FromToCountThreshold
Bin0114700761
Bin1014716741

Port:

 CRC_17(16)
FromToCountThreshold
Bin0117340391
Bin1017356331

Port:

 CRC_17(15)
FromToCountThreshold
Bin0117445081
Bin1017461061

Port:

 CRC_17(14)
FromToCountThreshold
Bin0117590541
Bin1017606511

Port:

 CRC_17(13)
FromToCountThreshold
Bin0117571561
Bin1017587531

Port:

 CRC_17(12)
FromToCountThreshold
Bin0116959081
Bin1016975061

Port:

 CRC_17(11)
FromToCountThreshold
Bin0117105171
Bin1017121151

Port:

 CRC_17(10)
FromToCountThreshold
Bin0116577181
Bin1016593171

Port:

 CRC_17(9)
FromToCountThreshold
Bin0116713621
Bin1016729591

Port:

 CRC_17(8)
FromToCountThreshold
Bin0116859821
Bin1016875811

Port:

 CRC_17(7)
FromToCountThreshold
Bin0116994371
Bin1017010361

Port:

 CRC_17(6)
FromToCountThreshold
Bin0117136171
Bin1017152171

Port:

 CRC_17(5)
FromToCountThreshold
Bin0117133821
Bin1017149781

Port:

 CRC_17(4)
FromToCountThreshold
Bin0117255401
Bin1017271381

Port:

 CRC_17(3)
FromToCountThreshold
Bin0117440701
Bin1017456681

Port:

 CRC_17(2)
FromToCountThreshold
Bin0117139851
Bin1017155841

Port:

 CRC_17(1)
FromToCountThreshold
Bin0117292861
Bin1017308851

Port:

 CRC_17(0)
FromToCountThreshold
Bin0117577191
Bin1017593171

Port:

 CRC_21(20)
FromToCountThreshold
Bin0117383481
Bin1017399411

Port:

 CRC_21(19)
FromToCountThreshold
Bin0116944921
Bin1016960891

Port:

 CRC_21(18)
FromToCountThreshold
Bin0117091821
Bin1017107801

Port:

 CRC_21(17)
FromToCountThreshold
Bin0117236681
Bin1017252661

Port:

 CRC_21(16)
FromToCountThreshold
Bin0117364281
Bin1017380271

Port:

 CRC_21(15)
FromToCountThreshold
Bin0117495371
Bin1017511351

Port:

 CRC_21(14)
FromToCountThreshold
Bin0117625071
Bin1017641051

Port:

 CRC_21(13)
FromToCountThreshold
Bin0117774461
Bin1017790441

Port:

 CRC_21(12)
FromToCountThreshold
Bin0117181461
Bin1017197431

Port:

 CRC_21(11)
FromToCountThreshold
Bin0117332931
Bin1017348921

Port:

 CRC_21(10)
FromToCountThreshold
Bin0117239641
Bin1017255601

Port:

 CRC_21(9)
FromToCountThreshold
Bin0117376631
Bin1017392611

Port:

 CRC_21(8)
FromToCountThreshold
Bin0117533501
Bin1017549451

Port:

 CRC_21(7)
FromToCountThreshold
Bin0117685681
Bin1017701681

Port:

 CRC_21(6)
FromToCountThreshold
Bin0117103051
Bin1017119021

Port:

 CRC_21(5)
FromToCountThreshold
Bin0117240001
Bin1017255971

Port:

 CRC_21(4)
FromToCountThreshold
Bin0117371311
Bin1017387291

Port:

 CRC_21(3)
FromToCountThreshold
Bin0117532391
Bin1017548371

Port:

 CRC_21(2)
FromToCountThreshold
Bin0117522041
Bin1017538001

Port:

 CRC_21(1)
FromToCountThreshold
Bin0117648511
Bin1017664491

Port:

 CRC_21(0)
FromToCountThreshold
Bin0117778381
Bin1017794341

Signal:

 INIT_VECT_MSB_17
FromToCountThreshold
Bin0117301
Bin1017301

Signal:

 INIT_VECT_MSB_21
FromToCountThreshold
Bin0117301
Bin1017301

Signal:

 CRC_17_21_DATA_IN
FromToCountThreshold
Bin0113874961
Bin1013858961

Signal:

 CRC_17_21_TRIGGER
FromToCountThreshold
Bin01110431481
Bin10110447481

Signal:

 CRC_15_DATA_IN
FromToCountThreshold
Bin0113861171
Bin1013845171

Signal:

 CRC_15_TRIGGER
FromToCountThreshold
Bin01103051501
Bin10103067491

Signal:

 CRC_ENA_15
FromToCountThreshold
Bin01552851
Bin10568851

Signal:

 CRC_ENA_17_21
FromToCountThreshold
Bin01612721
Bin10628721

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression

210:    init_vect_msb_17 <= '1' when (mr_settings_nisofd = ISO_FD
Evaluated toCountThreshold
BinFalse17301
BinTrue17301

"=" expression

214:    init_vect_msb_21 <= '1' when (mr_settings_nisofd = ISO_FD
Evaluated toCountThreshold
BinFalse17301
BinTrue17301

"=" expression

222:    crc_17_21_data_in <= data_rx_wbs when (crc_calc_from_rx = '1'
Evaluated toCountThreshold
BinFalse20905781
BinTrue21414521

"=" expression

226:    crc_17_21_trigger <= trig_rx_wbs when (crc_calc_from_rx = '1'
Evaluated toCountThreshold
BinFalse122116121
BinTrue319200141

"=" expression

234:    crc_15_data_in <= data_rx_nbs when (crc_calc_from_rx = '1'
Evaluated toCountThreshold
BinFalse20938621
BinTrue21424641

"=" expression

238:    crc_15_trigger <= trig_rx_nbs when (crc_calc_from_rx = '1'
Evaluated toCountThreshold
BinFalse116611601
BinTrue305185081

"=" expression

249:    crc_ena_15   <= '1' when (crc_enable = '1'
Evaluated toCountThreshold
BinFalse6369871
BinTrue24440061

"=" expression

251:                    '1' when (crc_spec_enable = '1' and crc_15_data_in = DOMINANT) 
Evaluated toCountThreshold
BinFalse5237071
BinTrue1132801

"=" expression

251:                    '1' when (crc_spec_enable = '1' and crc_15_data_in = DOMINANT
Evaluated toCountThreshold
BinFalse4135461
BinTrue2234411

"and" expression

251:                    '1' when (crc_spec_enable = '1' and crc_15_data_in = DOMINANT
                                  <--------LHS-------->     <----------RHS---------->  

LHSRHSCountThreshold
BinFalseTrue2226971
BinTrueFalse1125361
BinTrueTrue7441

"=" expression

255:    crc_ena_17_21  <= '1' when (crc_enable = '1'
Evaluated toCountThreshold
BinFalse6848091
BinTrue24290171

"=" expression

257:                      '1' when (crc_spec_enable = '1' and crc_17_21_data_in = DOMINANT) 
Evaluated toCountThreshold
BinFalse5354631
BinTrue1493461

"=" expression

257:                      '1' when (crc_spec_enable = '1' and crc_17_21_data_in = DOMINANT
Evaluated toCountThreshold
BinFalse4200961
BinTrue2647131

"and" expression

257:                      '1' when (crc_spec_enable = '1' and crc_17_21_data_in = DOMINANT
                                    <--------LHS-------->     <-----------RHS------------>  

LHSRHSCountThreshold
BinFalseTrue2279031
BinTrueFalse1125361
BinTrueTrue368101

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: