NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_MAC_TOP.I_MAC_PC_TOP.I_MAC_PC_RX_SHIFT_REG.G_RX_SHIFT_CMD(2)

File:  /__w/CTU-CAN-FD/CTU-CAN-FD/src/medium_access_control/mac_pc_rx_shift_reg.vhd


Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_MAC_TOP.I_MAC_PC_TOP.I_MAC_PC_RX_SHIFT_REG.G_RX_SHIFT_CMD(2) 100.0 % (3/3) 100.0 % (2/2) N.A. 85.7 % (6/7) N.A. N.A. 91.6 % (11/12)

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 251 to 253:

251:        rx_shift_cmd(i) <= '1' when (rx_trigger = '1' and rx_shift_ena(i) = '1') 
252:                               else 
253:                           '0'; 

Count: 21093836
Threshold: 1

Signal assignment statement on line 251:

251:        rx_shift_cmd(i) <= '1' when (rx_trigger = '1' and rx_shift_ena(i) = '1') 
Count: 2879578
Threshold: 1

Signal assignment statement on line 253:

253:                           '0'
Count: 18214258
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

251:        rx_shift_cmd(i) <= '1' when (rx_trigger = '1' and rx_shift_ena(i) = '1'
Evaluated toCountThreshold
BinTrue28795781
BinFalse182142581

Uncovered toggles:

Excluded toggles:

Covered toggles:

Uncovered expressions:

"and" expression on line 251:

 rx_trigger = '1' and rx_shift_ena(i) = '1' 
 <-----LHS------>     <--------RHS--------> 

LHSRHSCountThresholdExclude Command
BinFalseTrue01

Excluded expressions:

Covered expressions:

"and" expression on line 251:

 rx_trigger = '1' and rx_shift_ena(i) = '1' 
 <-----LHS------>     <--------RHS--------> 

LHSRHSCountThreshold
BinTrueFalse78027561
BinTrueTrue28795781

"=" expression on line 251:

 rx_trigger = '1' 
Evaluated toCountThreshold
BinFalse104115021
BinTrue106823341

"=" expression on line 251:

 rx_shift_ena(i) = '1' 
Evaluated toCountThreshold
BinFalse78027561
BinTrue28795781

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: