| Current Instance | Statement | Branch | Toggle | Expression | FSM state | Functional | Average |
|---|---|---|---|---|---|---|---|
| CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.G_TXT_BUF_COMP(3).G_TXT_BUF_ODD.I_TXTB_ODD_TOP.I_TXTB_RAM.I_DP_INF_RAM_BE.G_BYTE(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 | 46020 | 1 |
| Bin | False | 49900915 | 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 | 46000 | 1 |
| Bin | True | True | 46020 | 1 |
write = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 49854915 | 1 |
| Bin | True | 92020 | 1 |
be(i) = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 46000 | 1 |
| Bin | True | 46020 | 1 |