| Current 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(0) | 100.0 % (3/3) | 100.0 % (2/2) | N.A. | 100.0 % (7/7) | N.A. | N.A. | 100.0 % (12/12) |
| Statement | Branch | Toggle | Expression | FSM state | Functional |
|---|
143: byte_we(i) <= '1' when (write = '1' and be(i) = '1')
144: else
145: '0'; 143: byte_we(i) <= '1' when (write = '1' and be(i) = '1') 145: '0'; 143: byte_we(i) <= '1' when (write = '1' and be(i) = '1') | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 11306 | 1 |
| Bin | False | 10110503 | 1 |
write = '1' and be(i) = '1'
<---LHS---> <---RHS---> | LHS | RHS | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | False | True | 0 | 1 | Unreachable |
write = '1' and be(i) = '1'
<---LHS---> <---RHS---> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | True | False | 11301 | 1 |
| Bin | True | True | 11306 | 1 |
write = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 10099202 | 1 |
| Bin | True | 22607 | 1 |
be(i) = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 11301 | 1 |
| Bin | True | 11306 | 1 |