NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_MAC_TOP.I_MAC_CRC_TOP.I_MAC_CRC_CALC_21_RX

File:  /__w/CTU-CAN-FD/CTU-CAN-FD/src/medium_access_control/mac_crc_top.vhd


Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_MAC_TOP.I_MAC_CRC_TOP.I_MAC_CRC_CALC_21_RX 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: 6294343
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: 13492714
Threshold: 1

Signal assignment statement on line 155:

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

Signal assignment statement on line 156:

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

Signal assignment statement on line 161:

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

Signal assignment statement on line 165:

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

Signal assignment statement on line 166:

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

Signal assignment statement on line 167:

167:              '0'
Count: 16049112
Threshold: 1

If statement on lines 174 to 180:

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

Count: 1096781321
Threshold: 1

Signal assignment statement on line 175:

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

If statement on lines 177 to 179:

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

Count: 547174334
Threshold: 1

Signal assignment statement on line 178:

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

Signal assignment statement on line 184:

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

Uncovered branches:

Excluded branches:

Covered branches:

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

154:        if (load_init_vect = '1') then 
Evaluated toCountThreshold
BinTrue2117201
BinFalse132809941

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

157:        elsif (crc_nxt = '1') then 
Evaluated toCountThreshold
BinTrue66018401
BinFalse66791541

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

165:    crc_ce <= '1' when (load_init_vect = '1') else 
Evaluated toCountThreshold
BinTrue1138441
BinFalse229911941

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

166:              '1' when (enable = '1' and trig = '1') else 
Evaluated toCountThreshold
BinTrue69420821
BinFalse160491121

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

174:        if (rst_n = '0') then 
Evaluated toCountThreshold
BinTrue24226741
BinFalse10943586471

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

176:        elsif rising_edge(clk_sys) then 
Evaluated toCountThreshold
BinTrue5471743341
BinFalse5471843131

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

177:            if (crc_ce = '1') then 
Evaluated toCountThreshold
BinTrue70153751
BinFalse5401589591

Uncovered toggles:

Excluded toggles:

Port:

 CLK_SYS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 RST_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)0117505481
Bin(20)1017521391
Bin(19)0117039651
Bin(19)1017055641
Bin(18)0117198891
Bin(18)1017214891
Bin(17)0117333001
Bin(17)1017348991
Bin(16)0117460571
Bin(16)1017476571
Bin(15)0117610401
Bin(15)1017626371
Bin(14)0117737921
Bin(14)1017753881
Bin(13)0117881031
Bin(13)1017896981
Bin(12)0117356191
Bin(12)1017372171
Bin(11)0117506491
Bin(11)1017522471
Bin(10)0117358031
Bin(10)1017374001
Bin(9)0117508561
Bin(9)1017524541
Bin(8)0117649271
Bin(8)1017665231
Bin(7)0117797621
Bin(7)1017813621
Bin(6)0117155111
Bin(6)1017171091
Bin(5)0117294941
Bin(5)1017310921
Bin(4)0117430731
Bin(4)1017446711
Bin(3)0117697891
Bin(3)1017713851
Bin(2)0117670651
Bin(2)1017686641
Bin(1)0117790261
Bin(1)1017806261
Bin(0)0117923481
Bin(0)1017939431

Signal:

 CRC_Q
ElementFromToCountThreshold
Bin(20)0135479371
Bin(20)1034226091
Bin(19)0117039651
Bin(19)1017131231
Bin(18)0117198891
Bin(18)1017287781
Bin(17)0117333001
Bin(17)1017435971
Bin(16)0117460571
Bin(16)1017563421
Bin(15)0117610401
Bin(15)1017709651
Bin(14)0117737921
Bin(14)1017838371
Bin(13)0117881031
Bin(13)1017985521
Bin(12)0117356191
Bin(12)1017456241
Bin(11)0117506491
Bin(11)1017598721
Bin(10)0117358031
Bin(10)1017461461
Bin(9)0117508561
Bin(9)1017600391
Bin(8)0117649271
Bin(8)1017741551
Bin(7)0117797621
Bin(7)1017897051
Bin(6)0117155111
Bin(6)1017248491
Bin(5)0117294941
Bin(5)1017394801
Bin(4)0117430731
Bin(4)1017518761
Bin(3)0117697891
Bin(3)1017786291
Bin(2)0117670651
Bin(2)1017762711
Bin(1)0117790261
Bin(1)1017881291
Bin(0)0117923481
Bin(0)1018012361

Signal:

 CRC_NXT
FromToCountThreshold
Bin0131463661
Bin1031447751

Signal:

 CRC_D
ElementFromToCountThreshold
Bin(20)0167664991
Bin(20)1066188261
Bin(19)0117198921
Bin(19)1018022211
Bin(18)0117333031
Bin(18)1018127171
Bin(17)0117460581
Bin(17)1018212401
Bin(16)0117610441
Bin(16)1018459761
Bin(15)0117737931
Bin(15)1018551211
Bin(14)0117881061
Bin(14)1018739771
Bin(13)0148694261
Bin(13)1049589631
Bin(12)0117506511
Bin(12)1018357051
Bin(11)0148697591
Bin(11)1049647281
Bin(10)0117508571
Bin(10)1018289971
Bin(9)0117649291
Bin(9)1018481521
Bin(8)0117797651
Bin(8)1018648521
Bin(7)0148486111
Bin(7)1049339851
Bin(6)0117294941
Bin(6)1018067961
Bin(5)0117430731
Bin(5)1018177471
Bin(4)0149033471
Bin(4)1049948981
Bin(3)0148986231
Bin(3)1049833431
Bin(2)0117790291
Bin(2)1018564471
Bin(1)0117923521
Bin(1)1018702801
Bin(0)0131472691
Bin(0)1032374401

Signal:

 CRC_CE
FromToCountThreshold
Bin0170559261
Bin1070575271

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'15528051
Bin'0''1'15507611
Bin'1''0'15956051
Bin'1''1'15919701

"=" expression on line 154:

 load_init_vect = '1' 
Evaluated toCountThreshold
BinFalse132809941
BinTrue2117201

"=" expression on line 157:

 crc_nxt = '1' 
Evaluated toCountThreshold
BinFalse66791541
BinTrue66018401

"=" expression on line 165:

 load_init_vect = '1' 
Evaluated toCountThreshold
BinFalse229911941
BinTrue1138441

"and" expression on line 166:

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

LHSRHSCountThreshold
BinFalseTrue44910071
BinTrueFalse69452331
BinTrueTrue69420821

"=" expression on line 166:

 enable = '1' 
Evaluated toCountThreshold
BinFalse91038791
BinTrue138873151

"=" expression on line 166:

 trig = '1' 
Evaluated toCountThreshold
BinFalse115581051
BinTrue114330891

"=" expression on line 174:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse10943586471
BinTrue24226741

"=" expression on line 177:

 crc_ce = '1' 
Evaluated toCountThreshold
BinFalse5401589591
BinTrue70153751

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: