NVC code coverage report

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/tx_data_cache.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.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 261615 items are not displayed.

Uncovered statements:

Excluded statements:

Covered statements:

Signal assignment statement:

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

Signal assignment statement:

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

If statement:

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

Count: 1055246640
Threshold: 1

Signal assignment statement:

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

If statement:

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

Count: 524362212
Threshold: 1

Signal assignment statement:

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

If statement:

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

Count: 1055246640
Threshold: 1

Signal assignment statement:

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

If statement:

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

Count: 524362212
Threshold: 1

Signal assignment statement:

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

If statement:

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

Count: 1055246640
Threshold: 1

Signal assignment statement:

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

If statement:

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

Count: 524362212
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

Uncovered branches:

Excluded branches:

Covered branches:

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

155:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue64774541
BinFalse10487691861

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

157:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5243622121
BinFalse5244069741

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

158:            if (write = '1') then 
Evaluated toCountThreshold
BinTrue1895701
BinFalse5241726421

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

167:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue64774541
BinFalse10487691861

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

169:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5243622121
BinFalse5244069741

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

170:            if (read = '1') then 
Evaluated toCountThreshold
BinTrue1880111
BinFalse5241742011

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

182:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue64774541
BinFalse10487691861

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

184:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5243622121
BinFalse5244069741

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

185:            if (write = '1') then 
Evaluated toCountThreshold
BinTrue1895701
BinFalse5241726421

Uncovered toggles:

Excluded toggles:

Covered toggles:

Port:

 CLK_SYS
FromToCountThreshold
Bin015275788691
Bin105275804601

Port:

 RES_N
FromToCountThreshold
Bin01428601
Bin10428511

Port:

 WRITE
FromToCountThreshold
Bin011895701
Bin101911701

Port:

 READ
FromToCountThreshold
Bin011903341
Bin101919341

Port:

 DATA_IN
FromToCountThreshold
Bin016353361
Bin106337381

Port:

 DATA_OUT
FromToCountThreshold
Bin01975631
Bin10959631

Signal:

 TX_CACHE_MEM(7)
FromToCountThreshold
Bin01519281
Bin10425141

Signal:

 TX_CACHE_MEM(6)
FromToCountThreshold
Bin01512741
Bin10431681

Signal:

 TX_CACHE_MEM(5)
FromToCountThreshold
Bin01530801
Bin10413621

Signal:

 TX_CACHE_MEM(4)
FromToCountThreshold
Bin01507391
Bin10437031

Signal:

 TX_CACHE_MEM(3)
FromToCountThreshold
Bin01497381
Bin10447041

Signal:

 TX_CACHE_MEM(2)
FromToCountThreshold
Bin01478521
Bin10465901

Signal:

 TX_CACHE_MEM(1)
FromToCountThreshold
Bin01483091
Bin10461331

Signal:

 TX_CACHE_MEM(0)
FromToCountThreshold
Bin01441141
Bin10503281

Signal:

 WRITE_POINTER_Q(3)
FromToCountThreshold
Bin01119041
Bin10135041

Signal:

 WRITE_POINTER_Q(2)
FromToCountThreshold
Bin01236941
Bin10252941

Signal:

 WRITE_POINTER_Q(1)
FromToCountThreshold
Bin01473711
Bin10489711

Signal:

 WRITE_POINTER_Q(0)
FromToCountThreshold
Bin01955161
Bin10971161

Signal:

 WRITE_POINTER_D(3)
FromToCountThreshold
Bin01119621
Bin10135621

Signal:

 WRITE_POINTER_D(2)
FromToCountThreshold
Bin01239141
Bin10255141

Signal:

 WRITE_POINTER_D(1)
FromToCountThreshold
Bin01485301
Bin10501301

Signal:

 WRITE_POINTER_D(0)
FromToCountThreshold
Bin01971161
Bin10955161

Signal:

 READ_POINTER_Q(3)
FromToCountThreshold
Bin01908511
Bin101005801

Signal:

 READ_POINTER_Q(2)
FromToCountThreshold
Bin01235071
Bin10253791

Signal:

 READ_POINTER_Q(1)
FromToCountThreshold
Bin01471111
Bin10489831

Signal:

 READ_POINTER_Q(0)
FromToCountThreshold
Bin01944891
Bin10963611

Signal:

 READ_POINTER_D(3)
FromToCountThreshold
Bin01119281
Bin10135281

Signal:

 READ_POINTER_D(2)
FromToCountThreshold
Bin01237821
Bin10253821

Signal:

 READ_POINTER_D(1)
FromToCountThreshold
Bin01476851
Bin10492851

Signal:

 READ_POINTER_D(0)
FromToCountThreshold
Bin01960891
Bin10944891

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression

155:        if (res_n = '0') then 
Evaluated toCountThreshold
BinFalse10487691861
BinTrue64774541

"=" expression

158:            if (write = '1') then 
Evaluated toCountThreshold
BinFalse5241726421
BinTrue1895701

"=" expression

167:        if (res_n = '0') then 
Evaluated toCountThreshold
BinFalse10487691861
BinTrue64774541

"=" expression

170:            if (read = '1') then 
Evaluated toCountThreshold
BinFalse5241742011
BinTrue1880111

"=" expression

182:        if (res_n = '0') then 
Evaluated toCountThreshold
BinFalse10487691861
BinTrue64774541

"=" expression

185:            if (write = '1') then 
Evaluated toCountThreshold
BinFalse5241726421
BinTrue1895701

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: