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_15

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_15 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: 5725038
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: 11786374
Threshold: 1

Signal assignment statement on line 155:

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

Signal assignment statement on line 156:

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

Signal assignment statement on line 161:

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

Signal assignment statement on line 167:

167:              '0'
Count: 15233015
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: 6080245
Threshold: 1

Signal assignment statement on line 184:

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

Uncovered branches:

Excluded branches:

Covered branches:

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

154:        if (load_init_vect = '1') then 
Evaluated toCountThreshold
BinTrue1956751
BinFalse115906991

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

157:        elsif (crc_nxt = '1') then 
Evaluated toCountThreshold
BinTrue58946121
BinFalse56960871

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

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

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

166:              '1' when (enable = '1' and trig = '1') else 
Evaluated toCountThreshold
BinTrue62349001
BinFalse152330151

"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
BinTrue60802451
BinFalse5410940891

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(14)0114646031
Bin(14)1014662011
Bin(13)0114140551
Bin(13)1014156541
Bin(12)0114269751
Bin(12)1014285751
Bin(11)0114407061
Bin(11)1014423031
Bin(10)0114571471
Bin(10)1014587461
Bin(9)0114525001
Bin(9)1014540991
Bin(8)0114682531
Bin(8)1014698501
Bin(7)0114922771
Bin(7)1014938771
Bin(6)0114389931
Bin(6)1014405911
Bin(5)0114512871
Bin(5)1014528831
Bin(4)0114650891
Bin(4)1014666871
Bin(3)0114626651
Bin(3)1014642641
Bin(2)0114549121
Bin(2)1014565081
Bin(1)0114686421
Bin(1)1014702391
Bin(0)0114813031
Bin(0)1014829001

Signal:

 CRC_Q
ElementFromToCountThreshold
Bin(14)0128906351
Bin(14)1029431111
Bin(13)0114140551
Bin(13)1014156761
Bin(12)0114269751
Bin(12)1014285751
Bin(11)0114407061
Bin(11)1014423031
Bin(10)0114571471
Bin(10)1014587461
Bin(9)0114525001
Bin(9)1014540991
Bin(8)0114682531
Bin(8)1014698501
Bin(7)0114922771
Bin(7)1014938771
Bin(6)0114389931
Bin(6)1014405911
Bin(5)0114512871
Bin(5)1014528831
Bin(4)0114650891
Bin(4)1014666871
Bin(3)0114626651
Bin(3)1014642641
Bin(2)0114549121
Bin(2)1014565081
Bin(1)0114686421
Bin(1)1014702391
Bin(0)0114813031
Bin(0)1014829001

Signal:

 CRC_NXT
FromToCountThreshold
Bin0128617171
Bin1028601191

Signal:

 CRC_D
ElementFromToCountThreshold
Bin(14)0158673861
Bin(14)1058338351
Bin(13)0114269791
Bin(13)1014286261
Bin(12)0114407081
Bin(12)1014423051
Bin(11)0114571491
Bin(11)1014587481
Bin(10)0143873421
Bin(10)1043873731
Bin(9)0114682561
Bin(9)1014698531
Bin(8)0144266451
Bin(8)1044266431
Bin(7)0143718631
Bin(7)1043718951
Bin(6)0114512881
Bin(6)1014528841
Bin(5)0114650901
Bin(5)1014666881
Bin(4)0143965051
Bin(4)1043965021
Bin(3)0143903811
Bin(3)1043904131
Bin(2)0114686441
Bin(2)1014702411
Bin(1)0114813061
Bin(1)1014829031
Bin(0)0129475211
Bin(0)1029475181

Signal:

 CRC_CE
FromToCountThreshold
Bin0163487441
Bin1063503451

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'14561681
Bin'0''1'13870081
Bin'1''0'14747091
Bin'1''1'14039511

"=" expression on line 154:

 load_init_vect = '1' 
Evaluated toCountThreshold
BinFalse115906991
BinTrue1956751

"=" expression on line 157:

 crc_nxt = '1' 
Evaluated toCountThreshold
BinFalse56960871
BinTrue58946121

"=" expression on line 165:

 load_init_vect = '1' 
Evaluated toCountThreshold
BinFalse214679151
BinTrue1138441

"and" expression on line 166:

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

LHSRHSCountThreshold
BinFalseTrue44422811
BinTrueFalse62170501
BinTrueTrue62349001

"=" expression on line 166:

 enable = '1' 
Evaluated toCountThreshold
BinFalse90159651
BinTrue124519501

"=" expression on line 166:

 trig = '1' 
Evaluated toCountThreshold
BinFalse107907341
BinTrue106771811

"=" expression on line 174:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse10943586471
BinTrue24226741

"=" expression on line 177:

 crc_ce = '1' 
Evaluated toCountThreshold
BinFalse5410940891
BinTrue60802451

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: