NVC code coverage report

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.TXT_BUF_COMP_GEN(6).TXT_BUF_EVEN_GEN.TXT_BUFFER_EVEN_INST.TXT_BUFFER_RAM_INST.PARITY_TRUE_GEN

File:  /__w/ctu-can-regression/ctu-can-regression/src/txt_buffer/txt_buffer_ram.vhd

Sub-instances:

Instance Statement Branch Toggle Expression FSM state Functional Average
PARITY_CALCULATOR_READ_INST 100.0 % (4/4) N.A. 100.0 % (66/66) 100.0 % (4/4) N.A. N.A. 100.0 % (74/74)

Current Instance:

Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.TXT_BUF_COMP_GEN(6).TXT_BUF_EVEN_GEN.TXT_BUFFER_EVEN_INST.TXT_BUFFER_RAM_INST.PARITY_TRUE_GEN 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 261615 items are not displayed.

Uncovered statements:

Excluded statements:

Covered statements:

If statement:

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

Count: 657208
Threshold: 1

Signal assignment statement:

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

If statement:

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: 113740
Threshold: 1

Signal assignment statement:

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

If statement:

254:            if (res_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: 657208
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

If statement:

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

Count: 4667
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

263:                           '0'
Count: 4167
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

225:            if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue4286761
BinFalse2285321

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

227:            elsif rising_edge(clk_sys) then 
Evaluated toCountThreshold
BinTrue1137401
BinFalse1147921

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

228:                if (txtb_port_a_write = '1') then 
Evaluated toCountThreshold
BinTrue13101
BinFalse1124301

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

254:            if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue4286761
BinFalse2285321

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

256:            elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue1137401
BinFalse1147921

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

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

Uncovered toggles:

Excluded toggles:

Covered toggles:

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression

225:            if (res_n = '0') then 
Evaluated toCountThreshold
BinFalse2285321
BinTrue4286761

"=" expression

228:                if (txtb_port_a_write = '1') then 
Evaluated toCountThreshold
BinFalse1124301
BinTrue13101

"=" expression

254:            if (res_n = '0') then 
Evaluated toCountThreshold
BinFalse2285321
BinTrue4286761

"/=" expression

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

"=" expression

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

"and" expression

261:        parity_mismatch <= '1' when (parity_read_real /= parity_read_exp) and (mr_settings_pchke = '1') 
                                         <---------------LHS--------------->       <---------RHS--------->  

LHSRHSCountThreshold
BinFalseTrue5021
BinTrueFalse19871
BinTrueTrue5001

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: