| Current Instance | Statement | Branch | Toggle | Expression | FSM state | Functional | Average |
|---|---|---|---|---|---|---|---|
| CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_TXARB_TOP.G_TXTB_PRIORITY(3).G_TXTB_PRIORITY_ODD | 100.0 % (6/6) | 100.0 % (4/4) | N.A. | 100.0 % (14/14) | N.A. | N.A. | 100.0 % (24/24) |
| Statement | Branch | Toggle | Expression | FSM state | Functional |
|---|
428: mr_tx_priority_txbbm(i) <= mr_tx_priority(i) when (mr_mode_txbbm = '0')
429: else
430: mr_tx_priority(i - 1); 428: mr_tx_priority_txbbm(i) <= mr_tx_priority(i) when (mr_mode_txbbm = '0') 430: mr_tx_priority(i - 1); 432: txtb_is_bb(i / 2) <= '1' when (mr_mode_txbbm = '1' and curr_txtb_index_i = i-1 and
433: txtb_allow_bb(i - 1) = '1')
434: else
435: '0'; 432: txtb_is_bb(i / 2) <= '1' when (mr_mode_txbbm = '1' and curr_txtb_index_i = i-1 and 435: '0'; 428: mr_tx_priority_txbbm(i) <= mr_tx_priority(i) when (mr_mode_txbbm = '0') | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 964 | 1 |
| Bin | False | 974 | 1 |
432: txtb_is_bb(i / 2) <= '1' when (mr_mode_txbbm = '1' and curr_txtb_index_i = i-1 and
433: txtb_allow_bb(i - 1) = '1') | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 36 | 1 |
| Bin | False | 6036 | 1 |
mr_mode_txbbm = '1' and curr_txtb_index_i = i-1 and txtb_allow_bb(i - 1) = '1'
<---------------------LHS---------------------> <----------RHS-----------> | LHS | RHS | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | False | True | 0 | 1 | Unreachable |
mr_mode_txbbm = '0' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 974 | 1 |
| Bin | True | 964 | 1 |
mr_mode_txbbm = '1' and curr_txtb_index_i = i-1 and txtb_allow_bb(i - 1) = '1'
<---------------------LHS---------------------> <----------RHS-----------> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | True | False | 36 | 1 |
| Bin | True | True | 36 | 1 |
mr_mode_txbbm = '1' and curr_txtb_index_i = i-1
<-------LHS-------> <---------RHS---------> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | True | 1324 | 1 |
| Bin | True | False | 294 | 1 |
| Bin | True | True | 72 | 1 |
mr_mode_txbbm = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 5706 | 1 |
| Bin | True | 366 | 1 |
curr_txtb_index_i = i-1 | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 4676 | 1 |
| Bin | True | 1396 | 1 |
txtb_allow_bb(i - 1) = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 36 | 1 |
| Bin | True | 36 | 1 |