| 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_B | 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 | 508 | 1 |
| Bin | 1 | 0 | 2109 | 1 |
MASKED_INPUT| Element | From | To | Count | Threshold | |
|---|---|---|---|---|---|
| Bin | (28) | 0 | 1 | 109 | 1 |
| Bin | (28) | 1 | 0 | 1710 | 1 |
| Bin | (27) | 0 | 1 | 122 | 1 |
| Bin | (27) | 1 | 0 | 1723 | 1 |
| Bin | (26) | 0 | 1 | 111 | 1 |
| Bin | (26) | 1 | 0 | 1712 | 1 |
| Bin | (25) | 0 | 1 | 99 | 1 |
| Bin | (25) | 1 | 0 | 1700 | 1 |
| Bin | (24) | 0 | 1 | 120 | 1 |
| Bin | (24) | 1 | 0 | 1721 | 1 |
| Bin | (23) | 0 | 1 | 109 | 1 |
| Bin | (23) | 1 | 0 | 1710 | 1 |
| Bin | (22) | 0 | 1 | 116 | 1 |
| Bin | (22) | 1 | 0 | 1717 | 1 |
| Bin | (21) | 0 | 1 | 106 | 1 |
| Bin | (21) | 1 | 0 | 1707 | 1 |
| Bin | (20) | 0 | 1 | 123 | 1 |
| Bin | (20) | 1 | 0 | 1724 | 1 |
| Bin | (19) | 0 | 1 | 115 | 1 |
| Bin | (19) | 1 | 0 | 1716 | 1 |
| Bin | (18) | 0 | 1 | 124 | 1 |
| Bin | (18) | 1 | 0 | 1725 | 1 |
| Bin | (17) | 0 | 1 | 7 | 1 |
| Bin | (17) | 1 | 0 | 1608 | 1 |
| Bin | (16) | 0 | 1 | 4 | 1 |
| Bin | (16) | 1 | 0 | 1605 | 1 |
| Bin | (15) | 0 | 1 | 13 | 1 |
| Bin | (15) | 1 | 0 | 1614 | 1 |
| Bin | (14) | 0 | 1 | 16 | 1 |
| Bin | (14) | 1 | 0 | 1617 | 1 |
| Bin | (13) | 0 | 1 | 17 | 1 |
| Bin | (13) | 1 | 0 | 1618 | 1 |
| Bin | (12) | 0 | 1 | 5 | 1 |
| Bin | (12) | 1 | 0 | 1606 | 1 |
| Bin | (11) | 0 | 1 | 6 | 1 |
| Bin | (11) | 1 | 0 | 1607 | 1 |
| Bin | (10) | 0 | 1 | 26 | 1 |
| Bin | (10) | 1 | 0 | 1627 | 1 |
| Bin | (9) | 0 | 1 | 47 | 1 |
| Bin | (9) | 1 | 0 | 1648 | 1 |
| Bin | (8) | 0 | 1 | 44 | 1 |
| Bin | (8) | 1 | 0 | 1645 | 1 |
| Bin | (7) | 0 | 1 | 47 | 1 |
| Bin | (7) | 1 | 0 | 1648 | 1 |
| Bin | (6) | 0 | 1 | 34 | 1 |
| Bin | (6) | 1 | 0 | 1635 | 1 |
| Bin | (5) | 0 | 1 | 35 | 1 |
| Bin | (5) | 1 | 0 | 1636 | 1 |
| Bin | (4) | 0 | 1 | 48 | 1 |
| Bin | (4) | 1 | 0 | 1649 | 1 |
| Bin | (3) | 0 | 1 | 33 | 1 |
| Bin | (3) | 1 | 0 | 1634 | 1 |
| Bin | (2) | 0 | 1 | 47 | 1 |
| Bin | (2) | 1 | 0 | 1648 | 1 |
| Bin | (1) | 0 | 1 | 35 | 1 |
| Bin | (1) | 1 | 0 | 1636 | 1 |
| Bin | (0) | 0 | 1 | 47 | 1 |
| Bin | (0) | 1 | 0 | 1648 | 1 |
MASKED_VALUE| Element | From | To | Count | Threshold | |
|---|---|---|---|---|---|
| Bin | (28) | 0 | 1 | 61 | 1 |
| Bin | (28) | 1 | 0 | 1662 | 1 |
| Bin | (27) | 0 | 1 | 74 | 1 |
| Bin | (27) | 1 | 0 | 1675 | 1 |
| Bin | (26) | 0 | 1 | 78 | 1 |
| Bin | (26) | 1 | 0 | 1679 | 1 |
| Bin | (25) | 0 | 1 | 59 | 1 |
| Bin | (25) | 1 | 0 | 1660 | 1 |
| Bin | (24) | 0 | 1 | 76 | 1 |
| Bin | (24) | 1 | 0 | 1677 | 1 |
| Bin | (23) | 0 | 1 | 65 | 1 |
| Bin | (23) | 1 | 0 | 1666 | 1 |
| Bin | (22) | 0 | 1 | 73 | 1 |
| Bin | (22) | 1 | 0 | 1674 | 1 |
| Bin | (21) | 0 | 1 | 69 | 1 |
| Bin | (21) | 1 | 0 | 1670 | 1 |
| Bin | (20) | 0 | 1 | 69 | 1 |
| Bin | (20) | 1 | 0 | 1670 | 1 |
| Bin | (19) | 0 | 1 | 60 | 1 |
| Bin | (19) | 1 | 0 | 1661 | 1 |
| Bin | (18) | 0 | 1 | 78 | 1 |
| Bin | (18) | 1 | 0 | 1679 | 1 |
| Bin | (17) | 0 | 1 | 12 | 1 |
| Bin | (17) | 1 | 0 | 1613 | 1 |
| Bin | (16) | 0 | 1 | 9 | 1 |
| Bin | (16) | 1 | 0 | 1610 | 1 |
| Bin | (15) | 0 | 1 | 12 | 1 |
| Bin | (15) | 1 | 0 | 1613 | 1 |
| Bin | (14) | 0 | 1 | 26 | 1 |
| Bin | (14) | 1 | 0 | 1627 | 1 |
| Bin | (13) | 0 | 1 | 16 | 1 |
| Bin | (13) | 1 | 0 | 1617 | 1 |
| Bin | (12) | 0 | 1 | 15 | 1 |
| Bin | (12) | 1 | 0 | 1616 | 1 |
| Bin | (11) | 0 | 1 | 13 | 1 |
| Bin | (11) | 1 | 0 | 1614 | 1 |
| Bin | (10) | 0 | 1 | 49 | 1 |
| Bin | (10) | 1 | 0 | 1650 | 1 |
| Bin | (9) | 0 | 1 | 52 | 1 |
| Bin | (9) | 1 | 0 | 1653 | 1 |
| Bin | (8) | 0 | 1 | 48 | 1 |
| Bin | (8) | 1 | 0 | 1649 | 1 |
| Bin | (7) | 0 | 1 | 53 | 1 |
| Bin | (7) | 1 | 0 | 1654 | 1 |
| Bin | (6) | 0 | 1 | 47 | 1 |
| Bin | (6) | 1 | 0 | 1648 | 1 |
| Bin | (5) | 0 | 1 | 53 | 1 |
| Bin | (5) | 1 | 0 | 1654 | 1 |
| Bin | (4) | 0 | 1 | 59 | 1 |
| Bin | (4) | 1 | 0 | 1660 | 1 |
| Bin | (3) | 0 | 1 | 53 | 1 |
| Bin | (3) | 1 | 0 | 1654 | 1 |
| Bin | (2) | 0 | 1 | 65 | 1 |
| Bin | (2) | 1 | 0 | 1666 | 1 |
| Bin | (1) | 0 | 1 | 50 | 1 |
| Bin | (1) | 1 | 0 | 1651 | 1 |
| Bin | (0) | 0 | 1 | 56 | 1 |
| Bin | (0) | 1 | 0 | 1657 | 1 |