| Nested Instances | Statement | Branch | Toggle | Expression | FSM state | Functional | Average |
|---|---|---|---|---|---|---|---|
| CAN_RX_SIG_SYNC_INST | 100.0 % (5/5) | 100.0 % (4/4) | 100.0 % (10/10) | 100.0 % (2/2) | N.A. | N.A. | 100.0 % (21/21) |
| TRV_DELAY_MEASUREMENT_INST | 100.0 % (42/42) | 100.0 % (37/37) | 100.0 % (190/190) | 100.0 % (32/32) | N.A. | N.A. | 100.0 % (301/301) |
| DATA_EDGE_DETECTOR_INST | 100.0 % (19/19) | 100.0 % (12/12) | 100.0 % (28/28) | 100.0 % (35/35) | N.A. | N.A. | 100.0 % (94/94) |
| SHIFT_REGS_RST_REG_INST | 100.0 % (6/6) | 100.0 % (6/6) | 100.0 % (28/28) | 100.0 % (2/2) | N.A. | N.A. | 100.0 % (42/42) |
| TX_TRIGGER_REG_INST | 100.0 % (3/3) | 100.0 % (4/4) | 100.0 % (8/8) | 100.0 % (2/2) | N.A. | N.A. | 100.0 % (17/17) |
| SSP_GENERATOR_INST | 100.0 % (55/55) | 100.0 % (56/56) | 100.0 % (262/262) | 100.0 % (65/65) | N.A. | N.A. | 100.0 % (438/438) |
| TX_DATA_CACHE_INST | 100.0 % (15/15) | 100.0 % (18/18) | 100.0 % (60/60) | 100.0 % (12/12) | N.A. | N.A. | 100.0 % (105/105) |
| BIT_ERR_DETECTOR_INST | 100.0 % (25/25) | 100.0 % (24/24) | 100.0 % (38/38) | 100.0 % (56/56) | N.A. | N.A. | 100.0 % (143/143) |
| SAMPLE_MUX_INST | 100.0 % (11/11) | 100.0 % (10/10) | 100.0 % (24/24) | 100.0 % (6/6) | N.A. | N.A. | 100.0 % (51/51) |
| Current Instance | Statement | Branch | Toggle | Expression | FSM state | Functional | Average |
|---|---|---|---|---|---|---|---|
| CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.BUS_SAMPLING_INST | 100.0 % (11/11) | 100.0 % (6/6) | 100.0 % (118/118) | 100.0 % (7/7) | N.A. | N.A. | 100.0 % (142/142) |
| Statement | Branch | Toggle | Expression | FSM state | Functional |
|---|
313: shift_regs_res_d <= '0' when (ssp_reset = '1') else
314: '1'; 313: shift_regs_res_d <= '0' when (ssp_reset = '1') else 314: '1'; 378: ssp_enable <= '1' when (sp_control = SECONDARY_SAMPLE) else
379: '0'; 378: ssp_enable <= '1' when (sp_control = SECONDARY_SAMPLE) else 379: '0'; 386: tx_trigger_ssp <= '1' when (tx_trigger_q = '1' and sp_control = SECONDARY_SAMPLE)
387: else
388: '0'; 386: tx_trigger_ssp <= '1' when (tx_trigger_q = '1' and sp_control = SECONDARY_SAMPLE) 388: '0'; 448: can_tx <= tx_data_wbs; 451: rx_data_wbs <= data_rx_synced; 313: shift_regs_res_d <= '0' when (ssp_reset = '1') else | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 33156 | 1 |
| Bin | False | 36358 | 1 |
378: ssp_enable <= '1' when (sp_control = SECONDARY_SAMPLE) else | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 3434 | 1 |
| Bin | False | 56334 | 1 |
386: tx_trigger_ssp <= '1' when (tx_trigger_q = '1' and sp_control = SECONDARY_SAMPLE) | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 159398 | 1 |
| Bin | False | 22675858 | 1 |
CLK_SYS| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
RES_N| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
SCAN_ENABLE| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
CAN_RX| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
MR_SETTINGS_ENA| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
MR_SSP_CFG_SSP_OFFSET| Element | From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|---|
| 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 |
MR_SSP_CFG_SSP_SRC| Element | From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|---|
| 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 |
RX_TRIGGER| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
TX_TRIGGER| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
TQ_EDGE| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
TX_DATA_WBS| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
SP_CONTROL| Element | From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|---|
| 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 |
SSP_RESET| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
TRAN_DELAY_MEAS| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
BTMC_RESET| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
DBT_MEASURE_START| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
GEN_FIRST_SSP| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
BIT_ERR_ENABLE| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
CAN_TX| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 633797 | 1 |
| Bin | 1 | 0 | 632200 | 1 |
TRV_DELAY| Element | From | To | Count | Threshold | |
|---|---|---|---|---|---|
| Bin | (7) | 0 | 1 | 19 | 1 |
| Bin | (7) | 1 | 0 | 1620 | 1 |
| Bin | (6) | 0 | 1 | 40 | 1 |
| Bin | (6) | 1 | 0 | 1641 | 1 |
| Bin | (5) | 0 | 1 | 73 | 1 |
| Bin | (5) | 1 | 0 | 1674 | 1 |
| Bin | (4) | 0 | 1 | 86 | 1 |
| Bin | (4) | 1 | 0 | 1687 | 1 |
| Bin | (3) | 0 | 1 | 75 | 1 |
| Bin | (3) | 1 | 0 | 1676 | 1 |
| Bin | (2) | 0 | 1 | 79 | 1 |
| Bin | (2) | 1 | 0 | 1680 | 1 |
| Bin | (1) | 0 | 1 | 2145 | 1 |
| Bin | (1) | 1 | 0 | 3746 | 1 |
| Bin | (0) | 0 | 1 | 56 | 1 |
| Bin | (0) | 1 | 0 | 1657 | 1 |
SYNC_EDGE| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 1555192 | 1 |
| Bin | 1 | 0 | 1556793 | 1 |
RX_DATA_WBS| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 1402528 | 1 |
| Bin | 1 | 0 | 1400928 | 1 |
BIT_ERR| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 9785 | 1 |
| Bin | 1 | 0 | 11386 | 1 |
DATA_RX_SYNCED| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 1402528 | 1 |
| Bin | 1 | 0 | 1400928 | 1 |
PREV_SAMPLE| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 1392225 | 1 |
| Bin | 1 | 0 | 1390624 | 1 |
SAMPLE_SEC| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 160181 | 1 |
| Bin | 1 | 0 | 161782 | 1 |
DATA_TX_DELAYED| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 81893 | 1 |
| Bin | 1 | 0 | 80292 | 1 |
EDGE_RX_VALID| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 1400928 | 1 |
| Bin | 1 | 0 | 1402528 | 1 |
EDGE_TX_VALID| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 633828 | 1 |
| Bin | 1 | 0 | 635429 | 1 |
SSP_DELAY| Element | From | To | Count | Threshold | |
|---|---|---|---|---|---|
| Bin | (8) | 0 | 1 | 12 | 1 |
| Bin | (8) | 1 | 0 | 1613 | 1 |
| Bin | (7) | 0 | 1 | 31 | 1 |
| Bin | (7) | 1 | 0 | 1632 | 1 |
| Bin | (6) | 0 | 1 | 43 | 1 |
| Bin | (6) | 1 | 0 | 1644 | 1 |
| Bin | (5) | 0 | 1 | 65 | 1 |
| Bin | (5) | 1 | 0 | 1666 | 1 |
| Bin | (4) | 0 | 1 | 58 | 1 |
| Bin | (4) | 1 | 0 | 1659 | 1 |
| Bin | (3) | 0 | 1 | 267 | 1 |
| Bin | (3) | 1 | 0 | 1868 | 1 |
| Bin | (2) | 0 | 1 | 934 | 1 |
| Bin | (2) | 1 | 0 | 2535 | 1 |
| Bin | (1) | 0 | 1 | 241 | 1 |
| Bin | (1) | 1 | 0 | 1842 | 1 |
| Bin | (0) | 0 | 1 | 907 | 1 |
| Bin | (0) | 1 | 0 | 2508 | 1 |
TX_TRIGGER_Q| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 11386944 | 1 |
| Bin | 1 | 0 | 11388544 | 1 |
TX_TRIGGER_SSP| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 159398 | 1 |
| Bin | 1 | 0 | 160999 | 1 |
SHIFT_REGS_RES_D| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 34757 | 1 |
| Bin | 1 | 0 | 33156 | 1 |
SHIFT_REGS_RES_Q_SCAN| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 41238 | 1 |
| Bin | 1 | 0 | 41227 | 1 |
SSP_ENABLE| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 3434 | 1 |
| Bin | 1 | 0 | 5035 | 1 |
tx_trigger_q = '1' and sp_control = SECONDARY_SAMPLE
<------LHS-------> <------------RHS------------> | LHS | RHS | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | False | True | 0 | 1 | Unreachable |
ssp_reset = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 36358 | 1 |
| Bin | True | 33156 | 1 |
tx_trigger_q = '1' and sp_control = SECONDARY_SAMPLE
<------LHS-------> <------------RHS------------> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | True | False | 11227546 | 1 |
| Bin | True | True | 159398 | 1 |
tx_trigger_q = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 11448312 | 1 |
| Bin | True | 11386944 | 1 |