Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.CAN_CORE_INST.PROTOCOL_CONTROL_INST.RX_SHIFT_REG_INST.RX_SHIFT_CMD_GEN(2)
Sub-instances:
| Instance |
Statement |
Branch |
Toggle |
Expression |
FSM state |
Functional |
Average |
Current Instance:
Details:
The limit of printed items was reached (5000). Total 261615 items are not displayed.
Covered statements:
If statement:
251: rx_shift_cmd(i) <= '1' when (rx_trigger = '1' and rx_shift_ena(i) = '1')
252: else
253: '0'; Count: 20313706
Threshold: 1
Signal assignment statement:
251: rx_shift_cmd(i) <= '1' when (rx_trigger = '1' and rx_shift_ena(i) = '1') Count: 2825442
Threshold: 1
Signal assignment statement:
253: '0'; Count: 17488264
Threshold: 1
Covered branches:
"if" / "when" / "else" condition:
251: rx_shift_cmd(i) <= '1' when (rx_trigger = '1' and rx_shift_ena(i) = '1') | Evaluated to | Count | Threshold |
|---|
| Bin | True | 2825442 | 1 |
| Bin | False | 17488264 | 1 |
Excluded expressions:
"and" expression
251: rx_shift_cmd(i) <= '1' when (rx_trigger = '1' and rx_shift_ena(i) = '1')
<-----LHS------> <--------RHS--------> | LHS | RHS | Count | Threshold | Excluded due to |
|---|
| Bin | False | True | 0 | 1 | Unreachable |
Covered expressions:
"=" expression
251: rx_shift_cmd(i) <= '1' when (rx_trigger = '1' and rx_shift_ena(i) = '1') | Evaluated to | Count | Threshold |
|---|
| Bin | False | 10025814 | 1 |
| Bin | True | 10287892 | 1 |
"=" expression
251: rx_shift_cmd(i) <= '1' when (rx_trigger = '1' and rx_shift_ena(i) = '1') | Evaluated to | Count | Threshold |
|---|
| Bin | False | 7462450 | 1 |
| Bin | True | 2825442 | 1 |
"and" expression
251: rx_shift_cmd(i) <= '1' when (rx_trigger = '1' and rx_shift_ena(i) = '1')
<-----LHS------> <--------RHS--------> | LHS | RHS | Count | Threshold |
|---|
| Bin | True | False | 7462450 | 1 |
| Bin | True | True | 2825442 | 1 |
Uncovered functional coverage:
Excluded functional coverage:
Covered functional coverage: