NVC code coverage report

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.TXT_BUF_COMP_GEN(7).TXT_BUF_ODD_GEN.TXT_BUFFER_ODD_INST.TXT_BUFFER_RAM_INST.DP_INF_RAM_BE_INST.BYTE_GEN(3)

File:  /__w/ctu-can-regression/ctu-can-regression/src/common_blocks/dp_inf_ram_be.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.TXT_BUF_COMP_GEN(7).TXT_BUF_ODD_GEN.TXT_BUFFER_ODD_INST.TXT_BUFFER_RAM_INST.DP_INF_RAM_BE_INST.BYTE_GEN(3) 100.0 % (3/3) 100.0 % (2/2) N.A. 100.0 % (7/7) N.A. N.A. 100.0 % (12/12)

Details:

The limit of printed items was reached (5000). Total 261615 items are not displayed.

Uncovered statements:

Excluded statements:

Covered statements:

If statement:

143:        byte_we(i) <= '1' when (write = '1' and be(i) = '1') 
144:                          else 
145:                      '0'; 

Count: 10146191
Threshold: 1

Signal assignment statement:

143:        byte_we(i) <= '1' when (write = '1' and be(i) = '1') 
Count: 11426
Threshold: 1

Signal assignment statement:

145:                      '0'
Count: 10134765
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

143:        byte_we(i) <= '1' when (write = '1' and be(i) = '1'
Evaluated toCountThreshold
BinTrue114261
BinFalse101347651

Uncovered toggles:

Excluded toggles:

Covered toggles:

Uncovered expressions:

Excluded expressions:

"and" expression

143:        byte_we(i) <= '1' when (write = '1' and be(i) = '1'
                                    <---LHS--->     <---RHS--->  

LHSRHSCountThresholdExcluded due to
BinFalseTrue01Unreachable

Covered expressions:

"=" expression

143:        byte_we(i) <= '1' when (write = '1' and be(i) = '1') 
Evaluated toCountThreshold
BinFalse101233441
BinTrue228471

"=" expression

143:        byte_we(i) <= '1' when (write = '1' and be(i) = '1'
Evaluated toCountThreshold
BinFalse114211
BinTrue114261

"and" expression

143:        byte_we(i) <= '1' when (write = '1' and be(i) = '1'
                                    <---LHS--->     <---RHS--->  

LHSRHSCountThreshold
BinTrueFalse114211
BinTrueTrue114261

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: