| Current Instance | Statement | Branch | Toggle | Expression | FSM state | Functional | Average |
|---|---|---|---|---|---|---|---|
| CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.RST_SYNC_INST | 100.0 % (5/5) | 100.0 % (4/4) | 100.0 % (8/8) | 100.0 % (2/2) | N.A. | N.A. | 100.0 % (19/19) |
| Statement | Branch | Toggle | Expression | FSM state | Functional |
|---|
104: if (arst = G_RESET_POLARITY) then
105: rff <= G_RESET_POLARITY;
...
109: rst <= rff;
110: end if; 105: rff <= G_RESET_POLARITY; 106: rst <= G_RESET_POLARITY; 108: rff <= not (G_RESET_POLARITY); 109: rst <= rff; 104: if (arst = G_RESET_POLARITY) then | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 22317 | 1 |
| Bin | False | 1089995686 | 1 |
107: elsif (rising_edge(clk)) then | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 544991935 | 1 |
| Bin | False | 545003751 | 1 |
CLK| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
ARST| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
RST| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 7176 | 1 |
| Bin | 1 | 0 | 7176 | 1 |
RFF| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 8777 | 1 |
| Bin | 1 | 0 | 7176 | 1 |
arst = G_RESET_POLARITY | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 1089995686 | 1 |
| Bin | True | 22317 | 1 |