Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.CAN_CORE_INST.PROTOCOL_CONTROL_INST.RX_SHIFT_REG_INST.SHIFT_REG_BYTE_INST.BYTE_SHIFT_REG_GEN(1).NEXT_BYTES_GEN
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:
143: shift_reg_in(i) <= shift_reg_q(i - 1)(7) when (byte_input_sel(i) = '0')
144: else
145: input; Count: 3879553
Threshold: 1
Signal assignment statement:
143: shift_reg_in(i) <= shift_reg_q(i - 1)(7) when (byte_input_sel(i) = '0') Count: 1885965
Threshold: 1
Signal assignment statement:
145: input; Count: 1993588
Threshold: 1
Covered branches:
"if" / "when" / "else" condition:
143: shift_reg_in(i) <= shift_reg_q(i - 1)(7) when (byte_input_sel(i) = '0') | Evaluated to | Count | Threshold |
|---|
| Bin | True | 1885965 | 1 |
| Bin | False | 1993588 | 1 |
Covered expressions:
"=" expression
143: shift_reg_in(i) <= shift_reg_q(i - 1)(7) when (byte_input_sel(i) = '0') | Evaluated to | Count | Threshold |
|---|
| Bin | False | 1993588 | 1 |
| Bin | True | 1885965 | 1 |
Uncovered functional coverage:
Excluded functional coverage:
Covered functional coverage: