NVC code coverage report

Hierarchy

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/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_15_INST 100.0 % (15/15) 100.0 % (14/14) 100.0 % (108/108) 100.0 % (21/21) N.A. N.A. 100.0 % (158/158)

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: 5693475
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: 11734643
Threshold: 1

Signal assignment statement on line 155:

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

Signal assignment statement on line 156:

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

Signal assignment statement on line 161:

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

Signal assignment statement on line 167:

167:              '0'
Count: 15172201
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: 6057816
Threshold: 1

Signal assignment statement on line 184:

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

Uncovered branches:

Excluded branches:

Covered branches:

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

154:        if (load_init_vect = '1') then 
Evaluated toCountThreshold
BinTrue1963071
BinFalse115383361

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

157:        elsif (crc_nxt = '1') then 
Evaluated toCountThreshold
BinTrue58785761
BinFalse56597601

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

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

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

166:              '1' when (enable = '1' and trig = '1') else 
Evaluated toCountThreshold
BinTrue62123021
BinFalse151722011

"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
BinTrue60578161
BinFalse5377338621

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(14)0114562241
Bin(14)1014578241
Bin(13)0114127241
Bin(13)1014143241
Bin(12)0114272151
Bin(12)1014288151
Bin(11)0114409851
Bin(11)1014425801
Bin(10)0114557611
Bin(10)1014573601
Bin(9)0114464571
Bin(9)1014480541
Bin(8)0114615921
Bin(8)1014631891
Bin(7)0114924151
Bin(7)1014940151
Bin(6)0114260241
Bin(6)1014276211
Bin(5)0114407031
Bin(5)1014422991
Bin(4)0114532401
Bin(4)1014548381
Bin(3)0114559321
Bin(3)1014575301
Bin(2)0114464101
Bin(2)1014480081
Bin(1)0114621371
Bin(1)1014637341
Bin(0)0114744861
Bin(0)1014760841

Signal:

 CRC_Q
ElementFromToCountThreshold
Bin(14)0128871941
Bin(14)1029271541
Bin(13)0114127241
Bin(13)1014143511
Bin(12)0114272151
Bin(12)1014288151
Bin(11)0114409851
Bin(11)1014425801
Bin(10)0114557611
Bin(10)1014573601
Bin(9)0114464571
Bin(9)1014480541
Bin(8)0114615921
Bin(8)1014631891
Bin(7)0114924151
Bin(7)1014940151
Bin(6)0114260241
Bin(6)1014276211
Bin(5)0114407031
Bin(5)1014422991
Bin(4)0114532401
Bin(4)1014548381
Bin(3)0114559321
Bin(3)1014575301
Bin(2)0114464101
Bin(2)1014480081
Bin(1)0114621371
Bin(1)1014637341
Bin(0)0114744861
Bin(0)1014760841

Signal:

 CRC_NXT
FromToCountThreshold
Bin0128459361
Bin1028443371

Signal:

 CRC_D
ElementFromToCountThreshold
Bin(14)0158493851
Bin(14)1057990831
Bin(13)0114272181
Bin(13)1014288491
Bin(12)0114409861
Bin(12)1014425811
Bin(11)0114557611
Bin(11)1014573601
Bin(10)0143640521
Bin(10)1043640791
Bin(9)0114615951
Bin(9)1014631921
Bin(8)0144100671
Bin(8)1044100651
Bin(7)0143425341
Bin(7)1043425611
Bin(6)0114407041
Bin(6)1014423001
Bin(5)0114532411
Bin(5)1014548391
Bin(4)0143742261
Bin(4)1043742241
Bin(3)0143649251
Bin(3)1043649531
Bin(2)0114621381
Bin(2)1014637351
Bin(1)0114744891
Bin(1)1014760871
Bin(0)0129300931
Bin(0)1029300901

Signal:

 CRC_CE
FromToCountThreshold
Bin0163257611
Bin1063273621

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'14401641
Bin'0''1'13899931
Bin'1''0'14559431
Bin'1''1'14041731

"=" expression on line 154:

 load_init_vect = '1' 
Evaluated toCountThreshold
BinFalse115383361
BinTrue1963071

"=" expression on line 157:

 crc_nxt = '1' 
Evaluated toCountThreshold
BinFalse56597601
BinTrue58785761

"=" expression on line 165:

 load_init_vect = '1' 
Evaluated toCountThreshold
BinFalse213845031
BinTrue1134591

"and" expression on line 166:

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

LHSRHSCountThreshold
BinFalseTrue44233331
BinTrueFalse61944661
BinTrueTrue62123021

"=" expression on line 166:

 enable = '1' 
Evaluated toCountThreshold
BinFalse89777351
BinTrue124067681

"=" expression on line 166:

 trig = '1' 
Evaluated toCountThreshold
BinFalse107488681
BinTrue106356351

"=" expression on line 174:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse10875933231
BinTrue24248831

"=" expression on line 177:

 crc_ce = '1' 
Evaluated toCountThreshold
BinFalse5377338621
BinTrue60578161

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: