Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.FRAME_FILTERS_INST.BIT_FILTER_B_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:
126: valid <= '1' when (masked_input = masked_value) and (enable = '1')
127: else
128: '0'; Count: 2757
Threshold: 1
Signal assignment statement:
126: valid <= '1' when (masked_input = masked_value) and (enable = '1') Count: 535
Threshold: 1
Signal assignment statement:
128: '0'; Count: 2222
Threshold: 1
Covered branches:
"if" / "when" / "else" condition:
126: valid <= '1' when (masked_input = masked_value) and (enable = '1') | Evaluated to | Count | Threshold |
|---|
| Bin | True | 535 | 1 |
| Bin | False | 2222 | 1 |
Covered expressions:
"=" expression
126: valid <= '1' when (masked_input = masked_value) and (enable = '1') | Evaluated to | Count | Threshold |
|---|
| Bin | False | 1738 | 1 |
| Bin | True | 1019 | 1 |
"and" expression
126: valid <= '1' when (masked_input = masked_value) and (enable = '1')
<-----------LHS-----------> <---RHS----> | LHS | RHS | Count | Threshold |
|---|
| Bin | False | True | 484 | 1 |
| Bin | True | False | 798 | 1 |
| Bin | True | True | 535 | 1 |
Uncovered functional coverage:
Excluded functional coverage:
Covered functional coverage: