| Nested Instances | Statement | Branch | Toggle | Expression | FSM state | Functional | Average |
|---|---|---|---|---|---|---|---|
| G_FILT_POS | 100.0 % (3/3) | 100.0 % (2/2) | N.A. | 100.0 % (5/5) | N.A. | N.A. | 100.0 % (10/10) |
| G_FILT_NEG | 100.0 % (1/1) | N.A. | N.A. | N.A. | N.A. | N.A. | 100.0 % (1/1) |
| Current Instance | Statement | Branch | Toggle | Expression | FSM state | Functional | Average |
|---|---|---|---|---|---|---|---|
| CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_FF_TOP.I_FF_BIT_FILTER_C | 100.0 % (2/2) | N.A. | 100.0 % (294/294) | N.A. | N.A. | N.A. | 100.0 % (296/296) |
| Statement | Branch | Toggle | Expression | FSM state | Functional |
|---|
121: masked_input <= filter_input and filter_mask; 122: masked_value <= filter_value and filter_mask; FILTER_MASK| Element | From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|---|
| Bin | (28) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (28) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (27) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (27) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (26) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (26) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (25) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (25) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (24) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (24) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (23) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (23) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (22) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (22) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (21) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (21) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (20) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (20) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (19) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (19) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (18) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (18) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (17) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (17) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (16) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (16) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (15) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (15) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (14) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (14) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (13) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (13) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (12) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (12) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (11) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (11) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (10) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (10) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (9) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (9) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (8) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (8) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (7) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (7) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (6) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (6) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (5) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (5) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (4) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (4) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (3) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (3) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (2) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (2) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (1) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (1) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (0) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (0) | 1 | 0 | 0 | 1 | Exclude file |
FILTER_VALUE| Element | From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|---|
| Bin | (28) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (28) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (27) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (27) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (26) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (26) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (25) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (25) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (24) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (24) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (23) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (23) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (22) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (22) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (21) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (21) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (20) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (20) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (19) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (19) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (18) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (18) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (17) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (17) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (16) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (16) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (15) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (15) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (14) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (14) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (13) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (13) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (12) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (12) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (11) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (11) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (10) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (10) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (9) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (9) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (8) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (8) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (7) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (7) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (6) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (6) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (5) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (5) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (4) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (4) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (3) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (3) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (2) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (2) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (1) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (1) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (0) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (0) | 1 | 0 | 0 | 1 | Exclude file |
FILTER_INPUT| Element | From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|---|
| Bin | (28) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (28) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (27) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (27) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (26) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (26) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (25) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (25) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (24) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (24) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (23) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (23) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (22) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (22) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (21) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (21) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (20) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (20) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (19) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (19) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (18) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (18) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (17) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (17) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (16) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (16) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (15) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (15) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (14) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (14) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (13) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (13) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (12) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (12) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (11) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (11) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (10) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (10) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (9) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (9) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (8) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (8) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (7) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (7) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (6) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (6) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (5) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (5) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (4) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (4) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (3) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (3) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (2) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (2) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (1) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (1) | 1 | 0 | 0 | 1 | Exclude file |
| Bin | (0) | 0 | 1 | 0 | 1 | Exclude file |
| Bin | (0) | 1 | 0 | 0 | 1 | Exclude file |
ENABLE| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
VALID| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 521 | 1 |
| Bin | 1 | 0 | 2122 | 1 |
MASKED_INPUT| Element | From | To | Count | Threshold | |
|---|---|---|---|---|---|
| Bin | (28) | 0 | 1 | 85 | 1 |
| Bin | (28) | 1 | 0 | 1686 | 1 |
| Bin | (27) | 0 | 1 | 114 | 1 |
| Bin | (27) | 1 | 0 | 1715 | 1 |
| Bin | (26) | 0 | 1 | 103 | 1 |
| Bin | (26) | 1 | 0 | 1704 | 1 |
| Bin | (25) | 0 | 1 | 113 | 1 |
| Bin | (25) | 1 | 0 | 1714 | 1 |
| Bin | (24) | 0 | 1 | 113 | 1 |
| Bin | (24) | 1 | 0 | 1714 | 1 |
| Bin | (23) | 0 | 1 | 106 | 1 |
| Bin | (23) | 1 | 0 | 1707 | 1 |
| Bin | (22) | 0 | 1 | 121 | 1 |
| Bin | (22) | 1 | 0 | 1722 | 1 |
| Bin | (21) | 0 | 1 | 129 | 1 |
| Bin | (21) | 1 | 0 | 1730 | 1 |
| Bin | (20) | 0 | 1 | 107 | 1 |
| Bin | (20) | 1 | 0 | 1708 | 1 |
| Bin | (19) | 0 | 1 | 110 | 1 |
| Bin | (19) | 1 | 0 | 1711 | 1 |
| Bin | (18) | 0 | 1 | 119 | 1 |
| Bin | (18) | 1 | 0 | 1720 | 1 |
| Bin | (17) | 0 | 1 | 10 | 1 |
| Bin | (17) | 1 | 0 | 1611 | 1 |
| Bin | (16) | 0 | 1 | 16 | 1 |
| Bin | (16) | 1 | 0 | 1617 | 1 |
| Bin | (15) | 0 | 1 | 21 | 1 |
| Bin | (15) | 1 | 0 | 1622 | 1 |
| Bin | (14) | 0 | 1 | 13 | 1 |
| Bin | (14) | 1 | 0 | 1614 | 1 |
| Bin | (13) | 0 | 1 | 12 | 1 |
| Bin | (13) | 1 | 0 | 1613 | 1 |
| Bin | (12) | 0 | 1 | 5 | 1 |
| Bin | (12) | 1 | 0 | 1606 | 1 |
| Bin | (11) | 0 | 1 | 10 | 1 |
| Bin | (11) | 1 | 0 | 1611 | 1 |
| Bin | (10) | 0 | 1 | 50 | 1 |
| Bin | (10) | 1 | 0 | 1651 | 1 |
| Bin | (9) | 0 | 1 | 44 | 1 |
| Bin | (9) | 1 | 0 | 1645 | 1 |
| Bin | (8) | 0 | 1 | 63 | 1 |
| Bin | (8) | 1 | 0 | 1664 | 1 |
| Bin | (7) | 0 | 1 | 48 | 1 |
| Bin | (7) | 1 | 0 | 1649 | 1 |
| Bin | (6) | 0 | 1 | 59 | 1 |
| Bin | (6) | 1 | 0 | 1660 | 1 |
| Bin | (5) | 0 | 1 | 51 | 1 |
| Bin | (5) | 1 | 0 | 1652 | 1 |
| Bin | (4) | 0 | 1 | 38 | 1 |
| Bin | (4) | 1 | 0 | 1639 | 1 |
| Bin | (3) | 0 | 1 | 57 | 1 |
| Bin | (3) | 1 | 0 | 1658 | 1 |
| Bin | (2) | 0 | 1 | 44 | 1 |
| Bin | (2) | 1 | 0 | 1645 | 1 |
| Bin | (1) | 0 | 1 | 53 | 1 |
| Bin | (1) | 1 | 0 | 1654 | 1 |
| Bin | (0) | 0 | 1 | 56 | 1 |
| Bin | (0) | 1 | 0 | 1657 | 1 |
MASKED_VALUE| Element | From | To | Count | Threshold | |
|---|---|---|---|---|---|
| Bin | (28) | 0 | 1 | 54 | 1 |
| Bin | (28) | 1 | 0 | 1655 | 1 |
| Bin | (27) | 0 | 1 | 67 | 1 |
| Bin | (27) | 1 | 0 | 1668 | 1 |
| Bin | (26) | 0 | 1 | 71 | 1 |
| Bin | (26) | 1 | 0 | 1672 | 1 |
| Bin | (25) | 0 | 1 | 63 | 1 |
| Bin | (25) | 1 | 0 | 1664 | 1 |
| Bin | (24) | 0 | 1 | 68 | 1 |
| Bin | (24) | 1 | 0 | 1669 | 1 |
| Bin | (23) | 0 | 1 | 62 | 1 |
| Bin | (23) | 1 | 0 | 1663 | 1 |
| Bin | (22) | 0 | 1 | 64 | 1 |
| Bin | (22) | 1 | 0 | 1665 | 1 |
| Bin | (21) | 0 | 1 | 75 | 1 |
| Bin | (21) | 1 | 0 | 1676 | 1 |
| Bin | (20) | 0 | 1 | 75 | 1 |
| Bin | (20) | 1 | 0 | 1676 | 1 |
| Bin | (19) | 0 | 1 | 62 | 1 |
| Bin | (19) | 1 | 0 | 1663 | 1 |
| Bin | (18) | 0 | 1 | 74 | 1 |
| Bin | (18) | 1 | 0 | 1675 | 1 |
| Bin | (17) | 0 | 1 | 11 | 1 |
| Bin | (17) | 1 | 0 | 1612 | 1 |
| Bin | (16) | 0 | 1 | 12 | 1 |
| Bin | (16) | 1 | 0 | 1613 | 1 |
| Bin | (15) | 0 | 1 | 17 | 1 |
| Bin | (15) | 1 | 0 | 1618 | 1 |
| Bin | (14) | 0 | 1 | 9 | 1 |
| Bin | (14) | 1 | 0 | 1610 | 1 |
| Bin | (13) | 0 | 1 | 17 | 1 |
| Bin | (13) | 1 | 0 | 1618 | 1 |
| Bin | (12) | 0 | 1 | 9 | 1 |
| Bin | (12) | 1 | 0 | 1610 | 1 |
| Bin | (11) | 0 | 1 | 9 | 1 |
| Bin | (11) | 1 | 0 | 1610 | 1 |
| Bin | (10) | 0 | 1 | 56 | 1 |
| Bin | (10) | 1 | 0 | 1657 | 1 |
| Bin | (9) | 0 | 1 | 56 | 1 |
| Bin | (9) | 1 | 0 | 1657 | 1 |
| Bin | (8) | 0 | 1 | 52 | 1 |
| Bin | (8) | 1 | 0 | 1653 | 1 |
| Bin | (7) | 0 | 1 | 54 | 1 |
| Bin | (7) | 1 | 0 | 1655 | 1 |
| Bin | (6) | 0 | 1 | 54 | 1 |
| Bin | (6) | 1 | 0 | 1655 | 1 |
| Bin | (5) | 0 | 1 | 57 | 1 |
| Bin | (5) | 1 | 0 | 1658 | 1 |
| Bin | (4) | 0 | 1 | 49 | 1 |
| Bin | (4) | 1 | 0 | 1650 | 1 |
| Bin | (3) | 0 | 1 | 53 | 1 |
| Bin | (3) | 1 | 0 | 1654 | 1 |
| Bin | (2) | 0 | 1 | 51 | 1 |
| Bin | (2) | 1 | 0 | 1652 | 1 |
| Bin | (1) | 0 | 1 | 58 | 1 |
| Bin | (1) | 1 | 0 | 1659 | 1 |
| Bin | (0) | 0 | 1 | 57 | 1 |
| Bin | (0) | 1 | 0 | 1658 | 1 |