| 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_A | 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 | 2113 | 1 |
| Bin | 1 | 0 | 3054 | 1 |
MASKED_INPUT| Element | From | To | Count | Threshold | |
|---|---|---|---|---|---|
| Bin | (28) | 0 | 1 | 444 | 1 |
| Bin | (28) | 1 | 0 | 2045 | 1 |
| Bin | (27) | 0 | 1 | 431 | 1 |
| Bin | (27) | 1 | 0 | 2032 | 1 |
| Bin | (26) | 0 | 1 | 371 | 1 |
| Bin | (26) | 1 | 0 | 1972 | 1 |
| Bin | (25) | 0 | 1 | 341 | 1 |
| Bin | (25) | 1 | 0 | 1942 | 1 |
| Bin | (24) | 0 | 1 | 433 | 1 |
| Bin | (24) | 1 | 0 | 2034 | 1 |
| Bin | (23) | 0 | 1 | 417 | 1 |
| Bin | (23) | 1 | 0 | 2018 | 1 |
| Bin | (22) | 0 | 1 | 408 | 1 |
| Bin | (22) | 1 | 0 | 2009 | 1 |
| Bin | (21) | 0 | 1 | 384 | 1 |
| Bin | (21) | 1 | 0 | 1985 | 1 |
| Bin | (20) | 0 | 1 | 476 | 1 |
| Bin | (20) | 1 | 0 | 2077 | 1 |
| Bin | (19) | 0 | 1 | 421 | 1 |
| Bin | (19) | 1 | 0 | 2022 | 1 |
| Bin | (18) | 0 | 1 | 454 | 1 |
| Bin | (18) | 1 | 0 | 2055 | 1 |
| Bin | (17) | 0 | 1 | 47 | 1 |
| Bin | (17) | 1 | 0 | 1648 | 1 |
| Bin | (16) | 0 | 1 | 29 | 1 |
| Bin | (16) | 1 | 0 | 1630 | 1 |
| Bin | (15) | 0 | 1 | 40 | 1 |
| Bin | (15) | 1 | 0 | 1641 | 1 |
| Bin | (14) | 0 | 1 | 37 | 1 |
| Bin | (14) | 1 | 0 | 1638 | 1 |
| Bin | (13) | 0 | 1 | 41 | 1 |
| Bin | (13) | 1 | 0 | 1642 | 1 |
| Bin | (12) | 0 | 1 | 35 | 1 |
| Bin | (12) | 1 | 0 | 1636 | 1 |
| Bin | (11) | 0 | 1 | 35 | 1 |
| Bin | (11) | 1 | 0 | 1636 | 1 |
| Bin | (10) | 0 | 1 | 148 | 1 |
| Bin | (10) | 1 | 0 | 1749 | 1 |
| Bin | (9) | 0 | 1 | 199 | 1 |
| Bin | (9) | 1 | 0 | 1800 | 1 |
| Bin | (8) | 0 | 1 | 189 | 1 |
| Bin | (8) | 1 | 0 | 1790 | 1 |
| Bin | (7) | 0 | 1 | 160 | 1 |
| Bin | (7) | 1 | 0 | 1761 | 1 |
| Bin | (6) | 0 | 1 | 153 | 1 |
| Bin | (6) | 1 | 0 | 1754 | 1 |
| Bin | (5) | 0 | 1 | 175 | 1 |
| Bin | (5) | 1 | 0 | 1776 | 1 |
| Bin | (4) | 0 | 1 | 219 | 1 |
| Bin | (4) | 1 | 0 | 1820 | 1 |
| Bin | (3) | 0 | 1 | 185 | 1 |
| Bin | (3) | 1 | 0 | 1786 | 1 |
| Bin | (2) | 0 | 1 | 170 | 1 |
| Bin | (2) | 1 | 0 | 1771 | 1 |
| Bin | (1) | 0 | 1 | 152 | 1 |
| Bin | (1) | 1 | 0 | 1753 | 1 |
| Bin | (0) | 0 | 1 | 197 | 1 |
| Bin | (0) | 1 | 0 | 1798 | 1 |
MASKED_VALUE| Element | From | To | Count | Threshold | |
|---|---|---|---|---|---|
| Bin | (28) | 0 | 1 | 255 | 1 |
| Bin | (28) | 1 | 0 | 1856 | 1 |
| Bin | (27) | 0 | 1 | 256 | 1 |
| Bin | (27) | 1 | 0 | 1857 | 1 |
| Bin | (26) | 0 | 1 | 258 | 1 |
| Bin | (26) | 1 | 0 | 1859 | 1 |
| Bin | (25) | 0 | 1 | 242 | 1 |
| Bin | (25) | 1 | 0 | 1843 | 1 |
| Bin | (24) | 0 | 1 | 270 | 1 |
| Bin | (24) | 1 | 0 | 1871 | 1 |
| Bin | (23) | 0 | 1 | 266 | 1 |
| Bin | (23) | 1 | 0 | 1867 | 1 |
| Bin | (22) | 0 | 1 | 254 | 1 |
| Bin | (22) | 1 | 0 | 1855 | 1 |
| Bin | (21) | 0 | 1 | 238 | 1 |
| Bin | (21) | 1 | 0 | 1839 | 1 |
| Bin | (20) | 0 | 1 | 267 | 1 |
| Bin | (20) | 1 | 0 | 1868 | 1 |
| Bin | (19) | 0 | 1 | 269 | 1 |
| Bin | (19) | 1 | 0 | 1870 | 1 |
| Bin | (18) | 0 | 1 | 292 | 1 |
| Bin | (18) | 1 | 0 | 1893 | 1 |
| Bin | (17) | 0 | 1 | 71 | 1 |
| Bin | (17) | 1 | 0 | 1672 | 1 |
| Bin | (16) | 0 | 1 | 52 | 1 |
| Bin | (16) | 1 | 0 | 1653 | 1 |
| Bin | (15) | 0 | 1 | 37 | 1 |
| Bin | (15) | 1 | 0 | 1638 | 1 |
| Bin | (14) | 0 | 1 | 81 | 1 |
| Bin | (14) | 1 | 0 | 1682 | 1 |
| Bin | (13) | 0 | 1 | 47 | 1 |
| Bin | (13) | 1 | 0 | 1648 | 1 |
| Bin | (12) | 0 | 1 | 36 | 1 |
| Bin | (12) | 1 | 0 | 1637 | 1 |
| Bin | (11) | 0 | 1 | 54 | 1 |
| Bin | (11) | 1 | 0 | 1655 | 1 |
| Bin | (10) | 0 | 1 | 200 | 1 |
| Bin | (10) | 1 | 0 | 1801 | 1 |
| Bin | (9) | 0 | 1 | 226 | 1 |
| Bin | (9) | 1 | 0 | 1827 | 1 |
| Bin | (8) | 0 | 1 | 189 | 1 |
| Bin | (8) | 1 | 0 | 1790 | 1 |
| Bin | (7) | 0 | 1 | 201 | 1 |
| Bin | (7) | 1 | 0 | 1802 | 1 |
| Bin | (6) | 0 | 1 | 194 | 1 |
| Bin | (6) | 1 | 0 | 1795 | 1 |
| Bin | (5) | 0 | 1 | 203 | 1 |
| Bin | (5) | 1 | 0 | 1804 | 1 |
| Bin | (4) | 0 | 1 | 212 | 1 |
| Bin | (4) | 1 | 0 | 1813 | 1 |
| Bin | (3) | 0 | 1 | 217 | 1 |
| Bin | (3) | 1 | 0 | 1818 | 1 |
| Bin | (2) | 0 | 1 | 225 | 1 |
| Bin | (2) | 1 | 0 | 1826 | 1 |
| Bin | (1) | 0 | 1 | 195 | 1 |
| Bin | (1) | 1 | 0 | 1796 | 1 |
| Bin | (0) | 0 | 1 | 223 | 1 |
| Bin | (0) | 1 | 0 | 1824 | 1 |