Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.CAN_CORE_INST.BUS_TRAFFIC_CTRS_GEN.BUS_TRAFFIC_COUNTERS_INST.TX_CTR_REG_RST_INST.RX_SHIFT_RES_REG_INST
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:
105: if (arst = G_RESET_POLARITY) then
106: reg_q <= G_RST_VAL;
107: elsif (rising_edge(clk)) then
108: reg_q <= reg_d;
109: end if; Count: 162324562
Threshold: 1
Signal assignment statement:
106: reg_q <= G_RST_VAL; Count: 1737046
Threshold: 1
Signal assignment statement:
108: reg_q <= reg_d; Count: 80292006
Threshold: 1
Covered branches:
"if" / "when" / "else" condition:
105: if (arst = G_RESET_POLARITY) then | Evaluated to | Count | Threshold |
|---|
| Bin | True | 1737046 | 1 |
| Bin | False | 160587516 | 1 |
"if" / "when" / "else" condition:
107: elsif (rising_edge(clk)) then | Evaluated to | Count | Threshold |
|---|
| Bin | True | 80292006 | 1 |
| Bin | False | 80295510 | 1 |
Covered toggles:
Port:
ARST | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 2844 | 1 |
| Bin | 1 | 0 | 2844 | 1 |
Port:
CLK | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 81158777 | 1 |
| Bin | 1 | 0 | 81159437 | 1 |
Port:
REG_D | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 784 | 1 |
| Bin | 1 | 0 | 124 | 1 |
Port:
REG_Q | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 2968 | 1 |
| Bin | 1 | 0 | 2968 | 1 |
Covered expressions:
"=" expression
105: if (arst = G_RESET_POLARITY) then | Evaluated to | Count | Threshold |
|---|
| Bin | False | 160587516 | 1 |
| Bin | True | 1737046 | 1 |
Uncovered functional coverage:
Excluded functional coverage:
Covered functional coverage: