Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.MEMORY_REGISTERS_INST.CONTROL_REGISTERS_REG_MAP_COMP.BTR_FD_BRP_FD_SLICE_2_REG_COMP
Sub-instances:
| Instance |
Statement |
Branch |
Toggle |
Expression |
FSM state |
Functional |
Average |
| BIT_GEN(0) |
100.0 % (4/4) |
100.0 % (6/6) |
N.A. |
100.0 % (4/4) |
N.A. |
N.A. |
100.0 % (14/14) |
| BIT_GEN(1) |
100.0 % (4/4) |
100.0 % (6/6) |
N.A. |
100.0 % (4/4) |
N.A. |
N.A. |
100.0 % (14/14) |
| BIT_GEN(2) |
100.0 % (4/4) |
100.0 % (6/6) |
N.A. |
100.0 % (4/4) |
N.A. |
N.A. |
100.0 % (14/14) |
Current Instance:
Details:
The limit of printed items was reached (5000). Total 261615 items are not displayed.
Covered statements:
Signal assignment statement:
145: wr_en <= write and cs and (not lock); Count: 284254
Threshold: 1
Covered toggles:
Port:
CLK_SYS | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 31028760 | 1 |
| Bin | 1 | 0 | 31030360 | 1 |
Port:
RES_N | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 9642 | 1 |
| Bin | 1 | 0 | 8042 | 1 |
Port:
DATA_IN(2) | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 76527 | 1 |
| Bin | 1 | 0 | 1013318 | 1 |
Port:
DATA_IN(1) | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 88276 | 1 |
| Bin | 1 | 0 | 1001569 | 1 |
Port:
DATA_IN(0) | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 78188 | 1 |
| Bin | 1 | 0 | 1011657 | 1 |
Port:
WRITE | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 125737 | 1 |
| Bin | 1 | 0 | 127337 | 1 |
Port:
CS | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 6713 | 1 |
| Bin | 1 | 0 | 8313 | 1 |
Port:
LOCK | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 6482 | 1 |
| Bin | 1 | 0 | 8072 | 1 |
Port:
REG_VALUE(2) | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 19 | 1 |
| Bin | 1 | 0 | 1619 | 1 |
Port:
REG_VALUE(1) | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 27 | 1 |
| Bin | 1 | 0 | 1627 | 1 |
Port:
REG_VALUE(0) | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 18 | 1 |
| Bin | 1 | 0 | 1618 | 1 |
Signal:
REG_VALUE_R(2) | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 19 | 1 |
| Bin | 1 | 0 | 1649 | 1 |
Signal:
REG_VALUE_R(1) | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 27 | 1 |
| Bin | 1 | 0 | 1641 | 1 |
Signal:
REG_VALUE_R(0) | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 18 | 1 |
| Bin | 1 | 0 | 1650 | 1 |
Signal:
WR_EN | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 6346 | 1 |
| Bin | 1 | 0 | 7946 | 1 |
Covered expressions:
"and" expression
145: wr_en <= write and cs and (not lock);
<LHS> RHS | LHS | RHS | Count | Threshold |
|---|
| Bin | '0' | '1' | 6713 | 1 |
| Bin | '1' | '0' | 135459 | 1 |
| Bin | '1' | '1' | 6351 | 1 |
"and" expression
145: wr_en <= write and cs and (not lock);
<---LHS----> <-RHS--> | LHS | RHS | Count | Threshold |
|---|
| Bin | '0' | '1' | 65500 | 1 |
| Bin | '1' | '0' | 5 | 1 |
| Bin | '1' | '1' | 6346 | 1 |
Uncovered functional coverage:
Excluded functional coverage:
Covered functional coverage: