NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.G_TXT_BUF_COMP(0).G_TXT_BUF_EVEN.I_TXTB_EVEN_TOP.I_TXTB_RAM.G_PARITY_TRUE

File:  /__w/CTU-CAN-FD/CTU-CAN-FD/src/txt_buffer/txtb_ram.vhd

Nested Instances Statement Branch Toggle Expression FSM state Functional Average
I_PARITY_CALCULATOR_READ 100.0 % (4/4) N.A. 100.0 % (66/66) N.A. N.A. N.A. 100.0 % (70/70)

Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.G_TXT_BUF_COMP(0).G_TXT_BUF_EVEN.I_TXTB_EVEN_TOP.I_TXTB_RAM.G_PARITY_TRUE 100.0 % (10/10) 100.0 % (12/12) N.A. 100.0 % (13/13) N.A. N.A. 100.0 % (35/35)

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:

If statement on lines 225 to 231:

225:            if (rst_n = '0') then 
226:                parity_word <= (others => '0'); 
...
230:                end if; 
231:            end if; 

Count: 27673294
Threshold: 1

Signal assignment statement on line 226:

226:                parity_word <= (others => '0'); 
Count: 957628
Threshold: 1

If statement on lines 228 to 230:

228:                if (txtb_port_a_write = '1') then 
229:                    parity_word(to_integer(unsigned(txtb_port_a_address))) <= txtb_port_a_parity; 
230:                end if; 

Count: 13355835
Threshold: 1

Signal assignment statement on line 229:

229:                    parity_word(to_integer(unsigned(txtb_port_a_address))) <= txtb_port_a_parity; 
Count: 34991
Threshold: 1

If statement on lines 254 to 258:

254:            if (rst_n = '0') then 
255:                parity_read_exp <= '0'; 
256:            elsif (rising_edge(clk_sys)) then 
257:                parity_read_exp <= parity_word(to_integer(unsigned(txtb_port_b_address))); 
258:            end if; 

Count: 27673294
Threshold: 1

Signal assignment statement on line 255:

255:                parity_read_exp <= '0'; 
Count: 957628
Threshold: 1

Signal assignment statement on line 257:

257:                parity_read_exp <= parity_word(to_integer(unsigned(txtb_port_b_address))); 
Count: 13355835
Threshold: 1

If statement on lines 261 to 263:

261:        parity_mismatch <= '1' when (parity_read_real /= parity_read_exp) and (mr_settings_pchke = '1') 
262:                               else 
263:                           '0'; 

Count: 64893
Threshold: 1

Signal assignment statement on line 261:

261:        parity_mismatch <= '1' when (parity_read_real /= parity_read_exp) and (mr_settings_pchke = '1') 
Count: 1826
Threshold: 1

Signal assignment statement on line 263:

263:                           '0'
Count: 63067
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

225:            if (rst_n = '0') then 
Evaluated toCountThreshold
BinTrue9576281
BinFalse267156661

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

227:            elsif rising_edge(clk_sys) then 
Evaluated toCountThreshold
BinTrue133558351
BinFalse133598311

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

228:                if (txtb_port_a_write = '1') then 
Evaluated toCountThreshold
BinTrue349911
BinFalse133208441

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

254:            if (rst_n = '0') then 
Evaluated toCountThreshold
BinTrue9576281
BinFalse267156661

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

256:            elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue133558351
BinFalse133598311

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

261:        parity_mismatch <= '1' when (parity_read_real /= parity_read_exp) and (mr_settings_pchke = '1') 
Evaluated toCountThreshold
BinTrue18261
BinFalse630671

Uncovered toggles:

Excluded toggles:

Covered toggles:

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression on line 225:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse267156661
BinTrue9576281

"=" expression on line 228:

 txtb_port_a_write = '1' 
Evaluated toCountThreshold
BinFalse133208441
BinTrue349911

"=" expression on line 254:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse267156661
BinTrue9576281

"and" expression on line 261:

 (parity_read_real /= parity_read_exp) and (mr_settings_pchke = '1') 
  <---------------LHS--------------->       <---------RHS--------->  

LHSRHSCountThreshold
BinFalseTrue17921
BinTrueFalse312271
BinTrueTrue18261

"/=" expression on line 261:

 parity_read_real /= parity_read_exp 
Evaluated toCountThreshold
BinFalse318401
BinTrue330531

"=" expression on line 261:

 mr_settings_pchke = '1' 
Evaluated toCountThreshold
BinFalse612751
BinTrue36181

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: