NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.CAN_CORE_INST.CAN_CRC_INST.CRC_CALC_21_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_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)

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: 6274829
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: 13446942
Threshold: 1

Signal assignment statement on line 155:

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

Signal assignment statement on line 156:

156:            crc_d(G_CRC_WIDTH - 1) <= init_vect_msb; 
Count: 210470
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: 6573711
Threshold: 1

Signal assignment statement on line 161:

161:            crc_d <= (crc_q(G_CRC_WIDTH - 2 downto 0) & '0'); 
Count: 6662761
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: 6946656
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

154:        if (load_init_vect = '1') then 
Evaluated toCountThreshold
BinTrue2104701
BinFalse132364721

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

157:        elsif (crc_nxt = '1') then 
Evaluated toCountThreshold
BinTrue65737111
BinFalse66627611

"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(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:

 CRC_Q
ElementFromToCountThreshold
Bin(20)0135291531
Bin(20)1034159021
Bin(19)0116996221
Bin(19)1017087531
Bin(18)0117160661
Bin(18)1017249711
Bin(17)0117297281
Bin(17)1017401561
Bin(16)0117434091
Bin(16)1017537131
Bin(15)0117563581
Bin(15)1017662571
Bin(14)0117689011
Bin(14)1017789261
Bin(13)0117839181
Bin(13)1017943321
Bin(12)0117320171
Bin(12)1017420221
Bin(11)0117454871
Bin(11)1017546721
Bin(10)0117333861
Bin(10)1017436801
Bin(9)0117466191
Bin(9)1017558321
Bin(8)0117610881
Bin(8)1017702131
Bin(7)0117761911
Bin(7)1017862121
Bin(6)0117090601
Bin(6)1017182951
Bin(5)0117232651
Bin(5)1017333081
Bin(4)0117367101
Bin(4)1017454681
Bin(3)0117625201
Bin(3)1017714481
Bin(2)0117581561
Bin(2)1017675021
Bin(1)0117707591
Bin(1)1017799401
Bin(0)0117848931
Bin(0)1017936581

Signal:

 CRC_NXT
FromToCountThreshold
Bin0131366101
Bin1031350171

Signal:

 CRC_D
ElementFromToCountThreshold
Bin(20)0167364151
Bin(20)1066040011
Bin(19)0117160681
Bin(19)1017984711
Bin(18)0117297321
Bin(18)1018096341
Bin(17)0117434111
Bin(17)1018230801
Bin(16)0117563611
Bin(16)1018366571
Bin(15)0117689031
Bin(15)1018460561
Bin(14)0117839201
Bin(14)1018688171
Bin(13)0148558711
Bin(13)1049413781
Bin(12)0117454881
Bin(12)1018219981
Bin(11)0148561681
Bin(11)1049460871
Bin(10)0117466191
Bin(10)1018247251
Bin(9)0117610921
Bin(9)1018376121
Bin(8)0117761921
Bin(8)1018535471
Bin(7)0148311731
Bin(7)1049116451
Bin(6)0117232651
Bin(6)1018007231
Bin(5)0117367111
Bin(5)1018100971
Bin(4)0148868111
Bin(4)1049773321
Bin(3)0148815631
Bin(3)1049697981
Bin(2)0117707621
Bin(2)1018429741
Bin(1)0117848971
Bin(1)1018625361
Bin(0)0131375171
Bin(0)1032256381

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'15472281
Bin'0''1'15433781
Bin'1''0'15932321
Bin'1''1'15877891

"=" expression on line 154:

 load_init_vect = '1' 
Evaluated toCountThreshold
BinFalse132364721
BinTrue2104701

"=" expression on line 157:

 crc_nxt = '1' 
Evaluated toCountThreshold
BinFalse66627611
BinTrue65737111

"=" 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: