| Current Instance | Statement | Branch | Toggle | Expression | FSM state | Functional | Average |
|---|---|---|---|---|---|---|---|
| CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.TX_ARBITRATOR_INST.TXTB_PRIORITY_GEN(5).TXTB_PRIORITY_ODD_GEN | 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 | 241 | 1 |
| Bin | False | 254 | 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 | 6 | 1 |
| Bin | False | 1735 | 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 | 254 | 1 |
| Bin | True | 241 | 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 | 6 | 1 |
| Bin | True | True | 6 | 1 |
mr_mode_txbbm = '1' and curr_txtb_index_i = i-1
<-------LHS-------> <---------RHS---------> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | True | 382 | 1 |
| Bin | True | False | 94 | 1 |
| Bin | True | True | 12 | 1 |
mr_mode_txbbm = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 1635 | 1 |
| Bin | True | 106 | 1 |
curr_txtb_index_i = i-1 | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 1347 | 1 |
| Bin | True | 394 | 1 |
txtb_allow_bb(i - 1) = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 6 | 1 |
| Bin | True | 6 | 1 |