NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.CAN_CORE_INST.CAN_CRC_INST.CRC_CALC_17_RX_INST

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


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.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)

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:

Signal assignment statement on line 150:

150:    crc_nxt         <= data_in xor crc_q(G_CRC_WIDTH - 1)
Count: 6266031
Threshold: 1

If statement on lines 154 to 162:

154:        if (load_init_vect = '1') then 
155:            crc_d <= (others => '0'); 
...
161:            crc_d <= (crc_q(G_CRC_WIDTH - 2 downto 0) & '0'); 
162:        end if; 

Count: 13438142
Threshold: 1

Signal assignment statement on line 155:

155:            crc_d <= (others => '0'); 
Count: 209057
Threshold: 1

Signal assignment statement on line 156:

156:            crc_d(G_CRC_WIDTH - 1) <= init_vect_msb; 
Count: 209057
Threshold: 1

Signal assignment statement on lines 158 to 159:

158:            crc_d <= (crc_q(G_CRC_WIDTH - 2 downto 0) & '0') xor 
159:                      G_POLYNOMIAL(G_CRC_WIDTH - 1 downto 0); 

Count: 6651741
Threshold: 1

Signal assignment statement on line 161:

161:            crc_d <= (crc_q(G_CRC_WIDTH - 2 downto 0) & '0'); 
Count: 6577344
Threshold: 1

If statement on lines 165 to 167:

165:    crc_ce <= '1' when (load_init_vect = '1') else 
166:              '1' when (enable = '1' and trig = '1') else 
167:              '0'; 

Count: 23016173
Threshold: 1

Signal assignment statement on line 165:

165:    crc_ce <= '1' when (load_init_vect = '1') else 
Count: 113459
Threshold: 1

Signal assignment statement on line 166:

166:              '1' when (enable = '1' and trig = '1') else 
Count: 6916065
Threshold: 1

Signal assignment statement on line 167:

167:              '0'
Count: 15986649
Threshold: 1

If statement on lines 174 to 180:

174:        if (res_n = '0') then 
175:            crc_q             <= (others => '0'); 
...
179:            end if; 
180:        end if; 

Count: 1090018206
Threshold: 1

Signal assignment statement on line 175:

175:            crc_q             <= (others => '0'); 
Count: 2424883
Threshold: 1

If statement on lines 177 to 179:

177:            if (crc_ce = '1') then 
178:                crc_q <= crc_d; 
179:            end if; 

Count: 543791678
Threshold: 1

Signal assignment statement on line 178:

178:                crc_q <= crc_d; 
Count: 6989189
Threshold: 1

Signal assignment statement on line 184:

184:    crc <= crc_q
Count: 6946654
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

154:        if (load_init_vect = '1') then 
Evaluated toCountThreshold
BinTrue2090571
BinFalse132290851

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

157:        elsif (crc_nxt = '1') then 
Evaluated toCountThreshold
BinTrue66517411
BinFalse65773441

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

165:    crc_ce <= '1' when (load_init_vect = '1') else 
Evaluated toCountThreshold
BinTrue1134591
BinFalse229027141

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

166:              '1' when (enable = '1' and trig = '1') else 
Evaluated toCountThreshold
BinTrue69160651
BinFalse159866491

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

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

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

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

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

177:            if (crc_ce = '1') then 
Evaluated toCountThreshold
BinTrue69891891
BinFalse5368024891

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:

 DATA_IN
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TRIG
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 ENABLE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 INIT_VECT_MSB
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 LOAD_INIT_VECT
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Covered toggles:

Port:

 CRC
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

Signal:

 CRC_Q
ElementFromToCountThreshold
Bin(16)0135547171
Bin(16)1033903361
Bin(15)0117535571
Bin(15)1017624571
Bin(14)0117668671
Bin(14)1017771861
Bin(13)0117629991
Bin(13)1017730081
Bin(12)0117000691
Bin(12)1017101031
Bin(11)0117169551
Bin(11)1017262531
Bin(10)0116616491
Bin(10)1016704121
Bin(9)0116759011
Bin(9)1016846991
Bin(8)0116887821
Bin(8)1016990051
Bin(7)0117022911
Bin(7)1017127391
Bin(6)0117177851
Bin(6)1017277751
Bin(5)0117182051
Bin(5)1017286641
Bin(4)0117325561
Bin(4)1017418271
Bin(3)0117526461
Bin(3)1017626921
Bin(2)0117158671
Bin(2)1017250651
Bin(1)0117309691
Bin(1)1017399011
Bin(0)0117689151
Bin(0)1017792991

Signal:

 CRC_NXT
FromToCountThreshold
Bin0131322111
Bin1031306181

Signal:

 CRC_D
ElementFromToCountThreshold
Bin(16)0167408121
Bin(16)1065922111
Bin(15)0117668671
Bin(15)1018455451
Bin(14)0148828391
Bin(14)1049696401
Bin(13)0148210761
Bin(13)1049081151
Bin(12)0117169571
Bin(12)1017977501
Bin(11)0147809961
Bin(11)1048668511
Bin(10)0116759031
Bin(10)1017530011
Bin(9)0116887831
Bin(9)1017617351
Bin(8)0117022911
Bin(8)1017788141
Bin(7)0117177881
Bin(7)1018053941
Bin(6)0148386221
Bin(6)1049288231
Bin(5)0117325591
Bin(5)1018088971
Bin(4)0148729581
Bin(4)1049590981
Bin(3)0148347901
Bin(3)1049115781
Bin(2)0117309691
Bin(2)1018101741
Bin(1)0148887321
Bin(1)1049855291
Bin(0)0131330051
Bin(0)1032163941

Signal:

 CRC_CE
FromToCountThreshold
Bin0170295241
Bin1070311251

Uncovered expressions:

Excluded expressions:

Covered expressions:

"xor" expression on line 150:

 data_in xor crc_q(G_CRC_WIDTH - 1) 
 <-LHS->     <--------RHS---------> 

LHSRHSCountThreshold
Bin'0''0'15449741
Bin'0''1'16017891
Bin'1''0'15304221
Bin'1''1'15856441

"=" expression on line 154:

 load_init_vect = '1' 
Evaluated toCountThreshold
BinFalse132290851
BinTrue2090571

"=" expression on line 157:

 crc_nxt = '1' 
Evaluated toCountThreshold
BinFalse65773441
BinTrue66517411

"=" expression on line 165:

 load_init_vect = '1' 
Evaluated toCountThreshold
BinFalse229027141
BinTrue1134591

"and" expression on line 166:

 enable = '1' and trig = '1' 
 <---LHS---->     <--RHS---> 

LHSRHSCountThreshold
BinFalseTrue44730811
BinTrueFalse69191101
BinTrueTrue69160651

"=" expression on line 166:

 enable = '1' 
Evaluated toCountThreshold
BinFalse90675391
BinTrue138351751

"=" expression on line 166:

 trig = '1' 
Evaluated toCountThreshold
BinFalse115135681
BinTrue113891461

"=" expression on line 174:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse10875933231
BinTrue24248831

"=" expression on line 177:

 crc_ce = '1' 
Evaluated toCountThreshold
BinFalse5368024891
BinTrue69891891

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: