NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.BUS_SAMPLING_INST.TX_DATA_CACHE_INST

File:  /__w/ctu-can-regression/ctu-can-regression/src/bus_sampling/bus_sampling.vhd


Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.BUS_SAMPLING_INST.TX_DATA_CACHE_INST 100.0 % (15/15) 100.0 % (18/18) 100.0 % (60/60) 100.0 % (12/12) N.A. N.A. 100.0 % (105/105)

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 146:

146:    write_pointer_d <= write_pointer_q + 1
Count: 164551
Threshold: 1

Signal assignment statement on line 147:

147:    read_pointer_d <= read_pointer_q + 1
Count: 163063
Threshold: 1

If statement on lines 155 to 161:

155:        if (res_n = '0') then 
156:            write_pointer_q        <= (others => '0'); 
...
160:            end if; 
161:        end if; 

Count: 1090084515
Threshold: 1

Signal assignment statement on line 156:

156:            write_pointer_q        <= (others => '0'); 
Count: 6492788
Threshold: 1

If statement on lines 158 to 160:

158:            if (write = '1') then 
159:                write_pointer_q    <= write_pointer_d; 
160:            end if; 

Count: 541774303
Threshold: 1

Signal assignment statement on line 159:

159:                write_pointer_q    <= write_pointer_d; 
Count: 159398
Threshold: 1

If statement on lines 167 to 173:

167:        if (res_n = '0') then 
168:            read_pointer_q         <= (others => '0'); 
...
172:            end if; 
173:        end if; 

Count: 1090084515
Threshold: 1

Signal assignment statement on line 168:

168:            read_pointer_q         <= (others => '0'); 
Count: 6492788
Threshold: 1

If statement on lines 170 to 172:

170:            if (read = '1') then 
171:                read_pointer_q     <= read_pointer_d; 
172:            end if; 

Count: 541774303
Threshold: 1

Signal assignment statement on line 171:

171:                read_pointer_q     <= read_pointer_d; 
Count: 158188
Threshold: 1

If statement on lines 182 to 188:

182:        if (res_n = '0') then 
183:            tx_cache_mem <= (others => G_TX_CACHE_RST_VAL); 
...
187:            end if; 
188:        end if; 

Count: 1090084515
Threshold: 1

Signal assignment statement on line 183:

183:            tx_cache_mem <= (others => G_TX_CACHE_RST_VAL); 
Count: 6492788
Threshold: 1

If statement on lines 185 to 187:

185:            if (write = '1') then 
186:                tx_cache_mem(to_integer(write_pointer_q(2 downto 0))) <= data_in; 
187:            end if; 

Count: 541774303
Threshold: 1

Signal assignment statement on line 186:

186:                tx_cache_mem(to_integer(write_pointer_q(2 downto 0))) <= data_in; 
Count: 159398
Threshold: 1

Signal assignment statement on line 196:

196:    data_out <= tx_cache_mem(to_integer(read_pointer_q(2 downto 0)))
Count: 239242
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

155:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue64927881
BinFalse10835917271

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

157:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5417743031
BinFalse5418174241

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

158:            if (write = '1') then 
Evaluated toCountThreshold
BinTrue1593981
BinFalse5416149051

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

167:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue64927881
BinFalse10835917271

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

169:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5417743031
BinFalse5418174241

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

170:            if (read = '1') then 
Evaluated toCountThreshold
BinTrue1581881
BinFalse5416161151

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

182:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue64927881
BinFalse10835917271

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

184:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5417743031
BinFalse5418174241

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

185:            if (write = '1') then 
Evaluated toCountThreshold
BinTrue1593981
BinFalse5416149051

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:

 WRITE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 READ
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 DATA_IN
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Covered toggles:

Port:

 DATA_OUT
FromToCountThreshold
Bin01818931
Bin10802921

Signal:

 TX_CACHE_MEM
ElementFromToCountThreshold
Bin(7)01449991
Bin(7)10344541
Bin(6)01440031
Bin(6)10354501
Bin(5)01452291
Bin(5)10342241
Bin(4)01435031
Bin(4)10359501
Bin(3)01424271
Bin(3)10370261
Bin(2)01434631
Bin(2)10359901
Bin(1)01408731
Bin(1)10385801
Bin(0)01365131
Bin(0)10429401

Signal:

 WRITE_POINTER_Q
ElementFromToCountThreshold
Bin(3)01100151
Bin(3)10116161
Bin(2)01198741
Bin(2)10214751
Bin(1)01399531
Bin(1)10415541
Bin(0)01803191
Bin(0)10819201

Signal:

 WRITE_POINTER_D
ElementFromToCountThreshold
Bin(3)01100801
Bin(3)10116811
Bin(2)01201391
Bin(2)10217401
Bin(1)01407801
Bin(1)10423811
Bin(0)01819201
Bin(0)10803191

Signal:

 READ_POINTER_Q
ElementFromToCountThreshold
Bin(3)01762841
Bin(3)10851781
Bin(2)01197641
Bin(2)10215851
Bin(1)01397011
Bin(1)10415221
Bin(0)01795301
Bin(0)10813511

Signal:

 READ_POINTER_D
ElementFromToCountThreshold
Bin(3)01100471
Bin(3)10116481
Bin(2)01200211
Bin(2)10216221
Bin(1)01402131
Bin(1)10418141
Bin(0)01811311
Bin(0)10795301

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression on line 155:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse10835917271
BinTrue64927881

"=" expression on line 158:

 write = '1' 
Evaluated toCountThreshold
BinFalse5416149051
BinTrue1593981

"=" expression on line 167:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse10835917271
BinTrue64927881

"=" expression on line 170:

 read = '1' 
Evaluated toCountThreshold
BinFalse5416161151
BinTrue1581881

"=" expression on line 182:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse10835917271
BinTrue64927881

"=" expression on line 185:

 write = '1' 
Evaluated toCountThreshold
BinFalse5416149051
BinTrue1593981

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: