Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.FRAME_FILTERS_INST.RANGE_FILTER_INST.GEN_FILT_POS
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:
149: valid <= '1' when ((value_dec <= upper_th_dec) and
150: (value_dec >= lower_th_dec) and
151: (enable = '1'))
152: else
153: '0'; Count: 19708
Threshold: 1
Signal assignment statement:
149: valid <= '1' when ((value_dec <= upper_th_dec) and Count: 171
Threshold: 1
Signal assignment statement:
153: '0'; Count: 19537
Threshold: 1
Covered branches:
"if" / "when" / "else" condition:
149: valid <= '1' when ((value_dec <= upper_th_dec) and
150: (value_dec >= lower_th_dec) and
151: (enable = '1')) | Evaluated to | Count | Threshold |
|---|
| Bin | True | 171 | 1 |
| Bin | False | 19537 | 1 |
Covered expressions:
"<=" expression
149: valid <= '1' when ((value_dec <= upper_th_dec) and | Evaluated to | Count | Threshold |
|---|
| Bin | False | 10488 | 1 |
| Bin | True | 9220 | 1 |
">=" expression
150: (value_dec >= lower_th_dec) and | Evaluated to | Count | Threshold |
|---|
| Bin | False | 12 | 1 |
| Bin | True | 19696 | 1 |
"and" expression
149: valid <= '1' when ((value_dec <= upper_th_dec) and
150: (value_dec >= lower_th_dec) and | LHS | RHS | Count | Threshold |
|---|
| Bin | False | True | 10488 | 1 |
| Bin | True | False | 12 | 1 |
| Bin | True | True | 9208 | 1 |
"=" expression
151: (enable = '1')) | Evaluated to | Count | Threshold |
|---|
| Bin | False | 19528 | 1 |
| Bin | True | 180 | 1 |
"and" expression
149: valid <= '1' when ((value_dec <= upper_th_dec) and
150: (value_dec >= lower_th_dec) and
151: (enable = '1')) | LHS | RHS | Count | Threshold |
|---|
| Bin | False | True | 9 | 1 |
| Bin | True | False | 9037 | 1 |
| Bin | True | True | 171 | 1 |
Uncovered functional coverage:
Excluded functional coverage:
Covered functional coverage: