Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.TX_ARBITRATOR_INST.TXTB_PRIORITY_GEN(1).TXTB_PRIORITY_ODD_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:
428: mr_tx_priority_txbbm(i) <= mr_tx_priority(i) when (mr_mode_txbbm = '0')
429: else
430: mr_tx_priority(i - 1); Count: 3981
Threshold: 1
Signal assignment statement:
428: mr_tx_priority_txbbm(i) <= mr_tx_priority(i) when (mr_mode_txbbm = '0') Count: 2038
Threshold: 1
Signal assignment statement:
430: mr_tx_priority(i - 1); Count: 1943
Threshold: 1
If statement:
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'; Count: 41925
Threshold: 1
Signal assignment statement:
432: txtb_is_bb(i / 2) <= '1' when (mr_mode_txbbm = '1' and curr_txtb_index_i = i-1 and Count: 87
Threshold: 1
Signal assignment statement:
435: '0'; Count: 41838
Threshold: 1
Covered branches:
"if" / "when" / "else" condition:
428: mr_tx_priority_txbbm(i) <= mr_tx_priority(i) when (mr_mode_txbbm = '0') | Evaluated to | Count | Threshold |
|---|
| Bin | True | 2038 | 1 |
| Bin | False | 1943 | 1 |
"if" / "when" / "else" condition:
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 | 87 | 1 |
| Bin | False | 41838 | 1 |
Excluded expressions:
"and" expression
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') | LHS | RHS | Count | Threshold | Excluded due to |
|---|
| Bin | False | True | 0 | 1 | Unreachable |
Covered expressions:
"=" expression
428: mr_tx_priority_txbbm(i) <= mr_tx_priority(i) when (mr_mode_txbbm = '0') | Evaluated to | Count | Threshold |
|---|
| Bin | False | 1943 | 1 |
| Bin | True | 2038 | 1 |
"=" expression
432: txtb_is_bb(i / 2) <= '1' when (mr_mode_txbbm = '1' and curr_txtb_index_i = i-1 and | Evaluated to | Count | Threshold |
|---|
| Bin | False | 41473 | 1 |
| Bin | True | 452 | 1 |
"=" expression
432: txtb_is_bb(i / 2) <= '1' when (mr_mode_txbbm = '1' and curr_txtb_index_i = i-1 and | Evaluated to | Count | Threshold |
|---|
| Bin | False | 10052 | 1 |
| Bin | True | 31873 | 1 |
"and" expression
432: txtb_is_bb(i / 2) <= '1' when (mr_mode_txbbm = '1' and curr_txtb_index_i = i-1 and
<-------LHS-------> <---------RHS---------> | LHS | RHS | Count | Threshold |
|---|
| Bin | False | True | 31649 | 1 |
| Bin | True | False | 228 | 1 |
| Bin | True | True | 224 | 1 |
"=" expression
433: txtb_allow_bb(i - 1) = '1') | Evaluated to | Count | Threshold |
|---|
| Bin | False | 137 | 1 |
| Bin | True | 87 | 1 |
"and" expression
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') | LHS | RHS | Count | Threshold |
|---|
| Bin | True | False | 137 | 1 |
| Bin | True | True | 87 | 1 |
Uncovered functional coverage:
Excluded functional coverage:
Covered functional coverage: