| Current Instance | Statement | Branch | Toggle | Expression | FSM state | Functional | Average |
|---|---|---|---|---|---|---|---|
| CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.BUS_SAMPLING_INST.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) |
| Statement | Branch | Toggle | Expression | FSM state | Functional |
|---|
163: bit_err_ssp_condition <= '1' when (data_tx_delayed /= data_rx_synced and
164: sample_sec = '1' and
165: bit_err_enable = '1')
166: else
167: '0'; 163: bit_err_ssp_condition <= '1' when (data_tx_delayed /= data_rx_synced and 167: '0'; 174: bit_err_ssp_capt_d <= '0' when (rx_trigger = '1') else
175: '1' when (bit_err_ssp_condition = '1') else
176: bit_err_ssp_capt_q; 174: bit_err_ssp_capt_d <= '0' when (rx_trigger = '1') else 175: '1' when (bit_err_ssp_condition = '1') else 176: bit_err_ssp_capt_q; 180: if (res_n = '0') then
181: bit_err_ssp_capt_q <= '0';
182: elsif (rising_edge(clk_sys)) then
183: bit_err_ssp_capt_q <= bit_err_ssp_capt_d;
184: end if; 181: bit_err_ssp_capt_q <= '0'; 183: bit_err_ssp_capt_q <= bit_err_ssp_capt_d; 192: bit_err_ssp_valid <= '1' when (sp_control = SECONDARY_SAMPLE and rx_trigger = '1' and
193: (bit_err_ssp_capt_q = '1' or bit_err_ssp_condition = '1'))
194: else
195: '0'; 192: bit_err_ssp_valid <= '1' when (sp_control = SECONDARY_SAMPLE and rx_trigger = '1' and 195: '0'; 197: bit_err_norm_valid <= '1' when (sp_control /= SECONDARY_SAMPLE and
198: data_rx_synced /= data_tx and
199: rx_trigger = '1' and
200: bit_err_enable = '1')
201: else
202: '0'; 197: bit_err_norm_valid <= '1' when (sp_control /= SECONDARY_SAMPLE and 202: '0'; 207: bit_err_d <= '0' when (mr_settings_ena = CTU_CAN_DISABLED) else
208: '1' when (bit_err_ssp_valid = '1') else
209: '1' when (bit_err_norm_valid = '1') else
210: '0'; 207: bit_err_d <= '0' when (mr_settings_ena = CTU_CAN_DISABLED) else 208: '1' when (bit_err_ssp_valid = '1') else 209: '1' when (bit_err_norm_valid = '1') else 210: '0'; 217: if (res_n = '0') then
218: bit_err_q <= '0';
219: elsif (rising_edge(clk_sys)) then
220: bit_err_q <= bit_err_d;
221: end if; 218: bit_err_q <= '0'; 220: bit_err_q <= bit_err_d; 225: bit_err <= bit_err_q; 163: bit_err_ssp_condition <= '1' when (data_tx_delayed /= data_rx_synced and
164: sample_sec = '1' and
165: bit_err_enable = '1') | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 86431 | 1 |
| Bin | False | 3333310 | 1 |
174: bit_err_ssp_capt_d <= '0' when (rx_trigger = '1') else | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 22833614 | 1 |
| Bin | False | 22848435 | 1 |
175: '1' when (bit_err_ssp_condition = '1') else | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 32501 | 1 |
| Bin | False | 22815934 | 1 |
180: if (res_n = '0') then | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 2424883 | 1 |
| Bin | False | 1087593323 | 1 |
182: elsif (rising_edge(clk_sys)) then | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 543791678 | 1 |
| Bin | False | 543801645 | 1 |
192: bit_err_ssp_valid <= '1' when (sp_control = SECONDARY_SAMPLE and rx_trigger = '1' and
193: (bit_err_ssp_capt_q = '1' or bit_err_ssp_condition = '1')) | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 55187 | 1 |
| Bin | False | 45685029 | 1 |
197: bit_err_norm_valid <= '1' when (sp_control /= SECONDARY_SAMPLE and
198: data_rx_synced /= data_tx and
199: rx_trigger = '1' and
200: bit_err_enable = '1') | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 883109 | 1 |
| Bin | False | 48937840 | 1 |
207: bit_err_d <= '0' when (mr_settings_ena = CTU_CAN_DISABLED) else | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 8072 | 1 |
| Bin | False | 1886221 | 1 |
208: '1' when (bit_err_ssp_valid = '1') else | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 55159 | 1 |
| Bin | False | 1831062 | 1 |
209: '1' when (bit_err_norm_valid = '1') else | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 883109 | 1 |
| Bin | False | 947953 | 1 |
217: if (res_n = '0') then | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 2424883 | 1 |
| Bin | False | 1087593323 | 1 |
219: elsif (rising_edge(clk_sys)) then | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 543791678 | 1 |
| Bin | False | 543801645 | 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 |
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 |
RX_TRIGGER| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
SAMPLE_SEC| 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 |
MR_SETTINGS_ENA| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
DATA_TX| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
DATA_TX_DELAYED| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
DATA_RX_SYNCED| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
BIT_ERR| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 9785 | 1 |
| Bin | 1 | 0 | 11386 | 1 |
BIT_ERR_D| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 938268 | 1 |
| Bin | 1 | 0 | 939869 | 1 |
BIT_ERR_Q| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 9785 | 1 |
| Bin | 1 | 0 | 11386 | 1 |
BIT_ERR_SSP_CAPT_D| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 32046 | 1 |
| Bin | 1 | 0 | 33647 | 1 |
BIT_ERR_SSP_CAPT_Q| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 584 | 1 |
| Bin | 1 | 0 | 2185 | 1 |
BIT_ERR_SSP_VALID| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 55159 | 1 |
| Bin | 1 | 0 | 56760 | 1 |
BIT_ERR_SSP_CONDITION| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 86431 | 1 |
| Bin | 1 | 0 | 88032 | 1 |
BIT_ERR_NORM_VALID| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 883109 | 1 |
| Bin | 1 | 0 | 884710 | 1 |
data_tx_delayed /= data_rx_synced and sample_sec = '1' and bit_err_enable = '1'
<------------------------LHS-------------------------> <-------RHS--------> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | True | 1419569 | 1 |
| Bin | True | False | 748 | 1 |
| Bin | True | True | 86431 | 1 |
data_tx_delayed /= data_rx_synced and sample_sec = '1'
<--------------LHS--------------> <-----RHS------> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | True | 159889 | 1 |
| Bin | True | False | 1559952 | 1 |
| Bin | True | True | 87179 | 1 |
data_tx_delayed /= data_rx_synced | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 1772610 | 1 |
| Bin | True | 1647131 | 1 |
sample_sec = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 3172673 | 1 |
| Bin | True | 247068 | 1 |
bit_err_enable = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 1913741 | 1 |
| Bin | True | 1506000 | 1 |
rx_trigger = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 22848435 | 1 |
| Bin | True | 22833614 | 1 |
bit_err_ssp_condition = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 22815934 | 1 |
| Bin | True | 32501 | 1 |
res_n = '0' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 1087593323 | 1 |
| Bin | True | 2424883 | 1 |
sp_control = SECONDARY_SAMPLE and rx_trigger = '1' and (bit_err_ssp_capt_q = '1' or bit_err_ssp_condition = '1')
<----------------------LHS-----------------------> <-------------------------RHS-------------------------> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | True | 33236 | 1 |
| Bin | True | False | 318679 | 1 |
| Bin | True | True | 55187 | 1 |
sp_control = SECONDARY_SAMPLE and rx_trigger = '1'
<------------LHS------------> <-----RHS------> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | True | 22459748 | 1 |
| Bin | True | False | 385682 | 1 |
| Bin | True | True | 373866 | 1 |
rx_trigger = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 22906602 | 1 |
| Bin | True | 22833614 | 1 |
bit_err_ssp_capt_q = '1' or bit_err_ssp_condition = '1'
<---------LHS----------> <-----------RHS-----------> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | False | 45651793 | 1 |
| Bin | False | True | 86468 | 1 |
| Bin | True | False | 1343 | 1 |
bit_err_ssp_capt_q = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 45738261 | 1 |
| Bin | True | 1955 | 1 |
bit_err_ssp_condition = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 45653136 | 1 |
| Bin | True | 87080 | 1 |
sp_control /= SECONDARY_SAMPLE and data_rx_synced /= data_tx and rx_trigger = '1' and bit_err_enable = '1'
<--------------------------------------LHS--------------------------------------> <-------RHS--------> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | True | 10764233 | 1 |
| Bin | True | False | 5254318 | 1 |
| Bin | True | True | 883109 | 1 |
sp_control /= SECONDARY_SAMPLE and data_rx_synced /= data_tx and rx_trigger = '1'
<---------------------------LHS----------------------------> <-----RHS------> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | True | 17906875 | 1 |
| Bin | True | False | 6939711 | 1 |
| Bin | True | True | 6137427 | 1 |
sp_control /= SECONDARY_SAMPLE and data_rx_synced /= data_tx
<------------LHS-------------> <----------RHS----------> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | True | 191655 | 1 |
| Bin | True | False | 35919459 | 1 |
| Bin | True | True | 13077138 | 1 |
data_rx_synced /= data_tx | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 36552156 | 1 |
| Bin | True | 13268793 | 1 |
rx_trigger = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 25776647 | 1 |
| Bin | True | 24044302 | 1 |
bit_err_enable = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 38173607 | 1 |
| Bin | True | 11647342 | 1 |
mr_settings_ena = CTU_CAN_DISABLED | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 1886221 | 1 |
| Bin | True | 8072 | 1 |
bit_err_ssp_valid = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 1831062 | 1 |
| Bin | True | 55159 | 1 |
bit_err_norm_valid = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 947953 | 1 |
| Bin | True | 883109 | 1 |
res_n = '0' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 1087593323 | 1 |
| Bin | True | 2424883 | 1 |