NVC code coverage report

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

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

Sub-instances:

Instance Statement Branch Toggle Expression FSM state Functional Average

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

Details:

The limit of printed items was reached (5000). Total 261615 items are not displayed.

Uncovered statements:

Excluded statements:

Covered statements:

Signal assignment statement:

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

If statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Count: 5858973
Threshold: 1

Signal assignment statement:

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

If statement:

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

Count: 20812265
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

167:              '0'
Count: 14505278
Threshold: 1

If statement:

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

Count: 1055177083
Threshold: 1

Signal assignment statement:

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

If statement:

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

Count: 526374300
Threshold: 1

Signal assignment statement:

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

Uncovered branches:

Excluded branches:

Covered branches:

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

154:        if (load_init_vect = '1') then 
Evaluated toCountThreshold
BinTrue1933511
BinFalse115068331

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

157:        elsif (crc_nxt = '1') then 
Evaluated toCountThreshold
BinTrue58589731
BinFalse56478601

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

165:    crc_ce <= '1' when (load_init_vect = '1') else 
Evaluated toCountThreshold
BinTrue1125141
BinFalse206997511

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

166:              '1' when (enable = '1' and trig = '1') else 
Evaluated toCountThreshold
BinTrue61944731
BinFalse145052781

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

174:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue24184991
BinFalse10527585841

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

176:        elsif rising_edge(clk_sys) then 
Evaluated toCountThreshold
BinTrue5263743001
BinFalse5263842841

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

177:            if (crc_ce = '1') then 
Evaluated toCountThreshold
BinTrue60389401
BinFalse5203353601

Uncovered toggles:

Excluded toggles:

Port:

 INIT_VECT_MSB
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Covered toggles:

Port:

 CLK_SYS
FromToCountThreshold
Bin015275788691
Bin105275804601

Port:

 RES_N
FromToCountThreshold
Bin0180821
Bin1080721

Port:

 DATA_IN
FromToCountThreshold
Bin0113861171
Bin1013845171

Port:

 TRIG
FromToCountThreshold
Bin01103051501
Bin10103067491

Port:

 ENABLE
FromToCountThreshold
Bin01552851
Bin10568851

Port:

 LOAD_INIT_VECT
FromToCountThreshold
Bin011125141
Bin101141141

Port:

 CRC(14)
FromToCountThreshold
Bin0114526421
Bin1014542411

Port:

 CRC(13)
FromToCountThreshold
Bin0114043811
Bin1014059791

Port:

 CRC(12)
FromToCountThreshold
Bin0114168151
Bin1014184141

Port:

 CRC(11)
FromToCountThreshold
Bin0114310401
Bin1014326361

Port:

 CRC(10)
FromToCountThreshold
Bin0114445911
Bin1014461891

Port:

 CRC(9)
FromToCountThreshold
Bin0114382461
Bin1014398421

Port:

 CRC(8)
FromToCountThreshold
Bin0114522231
Bin1014538191

Port:

 CRC(7)
FromToCountThreshold
Bin0114890851
Bin1014906831

Port:

 CRC(6)
FromToCountThreshold
Bin0114285721
Bin1014301681

Port:

 CRC(5)
FromToCountThreshold
Bin0114421381
Bin1014437341

Port:

 CRC(4)
FromToCountThreshold
Bin0114541041
Bin1014557031

Port:

 CRC(3)
FromToCountThreshold
Bin0114537431
Bin1014553421

Port:

 CRC(2)
FromToCountThreshold
Bin0114405701
Bin1014421651

Port:

 CRC(1)
FromToCountThreshold
Bin0114564371
Bin1014580341

Port:

 CRC(0)
FromToCountThreshold
Bin0114700761
Bin1014716741

Signal:

 CRC_Q(14)
FromToCountThreshold
Bin0128778561
Bin1029182781

Signal:

 CRC_Q(13)
FromToCountThreshold
Bin0114043811
Bin1014060141

Signal:

 CRC_Q(12)
FromToCountThreshold
Bin0114168151
Bin1014184141

Signal:

 CRC_Q(11)
FromToCountThreshold
Bin0114310401
Bin1014326361

Signal:

 CRC_Q(10)
FromToCountThreshold
Bin0114445911
Bin1014461891

Signal:

 CRC_Q(9)
FromToCountThreshold
Bin0114382461
Bin1014398421

Signal:

 CRC_Q(8)
FromToCountThreshold
Bin0114522231
Bin1014538191

Signal:

 CRC_Q(7)
FromToCountThreshold
Bin0114890851
Bin1014906831

Signal:

 CRC_Q(6)
FromToCountThreshold
Bin0114285721
Bin1014301681

Signal:

 CRC_Q(5)
FromToCountThreshold
Bin0114421381
Bin1014437341

Signal:

 CRC_Q(4)
FromToCountThreshold
Bin0114541041
Bin1014557031

Signal:

 CRC_Q(3)
FromToCountThreshold
Bin0114537431
Bin1014553421

Signal:

 CRC_Q(2)
FromToCountThreshold
Bin0114405701
Bin1014421651

Signal:

 CRC_Q(1)
FromToCountThreshold
Bin0114564371
Bin1014580341

Signal:

 CRC_Q(0)
FromToCountThreshold
Bin0114700761
Bin1014716741

Signal:

 CRC_NXT
FromToCountThreshold
Bin0128387581
Bin1028371591

Signal:

 CRC_D(14)
FromToCountThreshold
Bin0158337931
Bin1057822181

Signal:

 CRC_D(13)
FromToCountThreshold
Bin0114168171
Bin1014184551

Signal:

 CRC_D(12)
FromToCountThreshold
Bin0114310411
Bin1014326371

Signal:

 CRC_D(11)
FromToCountThreshold
Bin0114445941
Bin1014461921

Signal:

 CRC_D(10)
FromToCountThreshold
Bin0143478831
Bin1043479241

Signal:

 CRC_D(9)
FromToCountThreshold
Bin0114522241
Bin1014538201

Signal:

 CRC_D(8)
FromToCountThreshold
Bin0143996121
Bin1043996071

Signal:

 CRC_D(7)
FromToCountThreshold
Bin0143379931
Bin1043380341

Signal:

 CRC_D(6)
FromToCountThreshold
Bin0114421391
Bin1014437351

Signal:

 CRC_D(5)
FromToCountThreshold
Bin0114541061
Bin1014557051

Signal:

 CRC_D(4)
FromToCountThreshold
Bin0143645031
Bin1043644991

Signal:

 CRC_D(3)
FromToCountThreshold
Bin0143517701
Bin1043518121

Signal:

 CRC_D(2)
FromToCountThreshold
Bin0114564391
Bin1014580361

Signal:

 CRC_D(1)
FromToCountThreshold
Bin0114700781
Bin1014716761

Signal:

 CRC_D(0)
FromToCountThreshold
Bin0129235051
Bin1029235001

Signal:

 CRC_CE
FromToCountThreshold
Bin0163069871
Bin1063085871

Uncovered expressions:

Excluded expressions:

Covered expressions:

"xor" expression

150:    crc_nxt         <= data_in xor crc_q(G_CRC_WIDTH - 1)
                           <-LHS->     <--------RHS--------->  

LHSRHSCountThreshold
Bin'0''0'14403951
Bin'0''1'13835711
Bin'1''0'14551871
Bin'1''1'13967641

"=" expression

154:        if (load_init_vect = '1') then 
Evaluated toCountThreshold
BinFalse115068331
BinTrue1933511

"=" expression

157:        elsif (crc_nxt = '1') then 
Evaluated toCountThreshold
BinFalse56478601
BinTrue58589731

"=" expression

165:    crc_ce <= '1' when (load_init_vect = '1') else 
Evaluated toCountThreshold
BinFalse206997511
BinTrue1125141

"=" expression

166:              '1' when (enable = '1' and trig = '1') else 
Evaluated toCountThreshold
BinFalse83287251
BinTrue123710261

"=" expression

166:              '1' when (enable = '1' and trig = '1') else 
Evaluated toCountThreshold
BinFalse104059251
BinTrue102938261

"and" expression

166:              '1' when (enable = '1' and trig = '1') else 
                            <---LHS---->     <--RHS--->       

LHSRHSCountThreshold
BinFalseTrue40993531
BinTrueFalse61765531
BinTrueTrue61944731

"=" expression

174:        if (res_n = '0') then 
Evaluated toCountThreshold
BinFalse10527585841
BinTrue24184991

"=" expression

177:            if (crc_ce = '1') then 
Evaluated toCountThreshold
BinFalse5203353601
BinTrue60389401

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: