Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.BUS_SAMPLING_INST.CAN_RX_SIG_SYNC_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:
110: if (arst = G_RESET_POLARITY) then
111: rff <= G_RESET_VALUE;
...
115: sync <= rff;
116: end if; Count: 1055177083
Threshold: 1
Signal assignment statement:
111: rff <= G_RESET_VALUE; Count: 2418499
Threshold: 1
Signal assignment statement:
112: sync <= G_RESET_VALUE; Count: 2418499
Threshold: 1
Signal assignment statement:
114: rff <= async; Count: 526374300
Threshold: 1
Signal assignment statement:
115: sync <= rff; Count: 526374300
Threshold: 1
Covered branches:
"if" / "when" / "else" condition:
110: if (arst = G_RESET_POLARITY) then | Evaluated to | Count | Threshold |
|---|
| Bin | True | 2418499 | 1 |
| Bin | False | 1052758584 | 1 |
"if" / "when" / "else" condition:
113: elsif (rising_edge(clk)) then | Evaluated to | Count | Threshold |
|---|
| Bin | True | 526374300 | 1 |
| Bin | False | 526384284 | 1 |
Covered toggles:
Port:
ARST | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 8082 | 1 |
| Bin | 1 | 0 | 8072 | 1 |
Port:
CLK | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 527578869 | 1 |
| Bin | 1 | 0 | 527580460 | 1 |
Port:
ASYNC | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 1409503 | 1 |
| Bin | 1 | 0 | 1407903 | 1 |
Port:
SYNC | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 1400896 | 1 |
| Bin | 1 | 0 | 1399296 | 1 |
Signal:
RFF | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 1400896 | 1 |
| Bin | 1 | 0 | 1399296 | 1 |
Covered expressions:
"=" expression
110: if (arst = G_RESET_POLARITY) then | Evaluated to | Count | Threshold |
|---|
| Bin | False | 1052758584 | 1 |
| Bin | True | 2418499 | 1 |
Uncovered functional coverage:
Excluded functional coverage:
Covered functional coverage: