| Current Instance | Statement | Branch | Toggle | Expression | FSM state | Functional | Average |
|---|---|---|---|---|---|---|---|
| CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.PRESCALER_INST.SYNCHRONISATION_CHECKER_INST | 100.0 % (27/27) | 100.0 % (24/24) | 100.0 % (34/34) | 100.0 % (68/68) | N.A. | N.A. | 100.0 % (153/153) |
| Statement | Branch | Toggle | Expression | FSM state | Functional |
|---|
149: resync_edge <= '1' when (sync_edge = '1' and sync_control = RE_SYNC) else
150: '0'; 149: resync_edge <= '1' when (sync_edge = '1' and sync_control = RE_SYNC) else 150: '0'; 152: h_sync_edge <= '1' when (sync_edge = '1' and sync_control = HARD_SYNC) else
153: '0'; 152: h_sync_edge <= '1' when (sync_edge = '1' and sync_control = HARD_SYNC) else 153: '0'; 155: h_or_re_sync_edge <= '1' when (resync_edge = '1' or h_sync_edge = '1') else
156: '0'; 155: h_or_re_sync_edge <= '1' when (resync_edge = '1' or h_sync_edge = '1') else 156: '0'; 164: sync_flag_ce <= '1' when (h_or_re_sync_edge = '1') else
165: '1' when (segment_end = '1' and is_tseg1 = '1') else
166: '0'; 164: sync_flag_ce <= '1' when (h_or_re_sync_edge = '1') else 165: '1' when (segment_end = '1' and is_tseg1 = '1') else 166: '0'; 168: sync_flag_nxt <= '1' when (h_or_re_sync_edge = '1') else
169: '0'; 168: sync_flag_nxt <= '1' when (h_or_re_sync_edge = '1') else 169: '0'; 173: if (res_n = '0') then
174: sync_flag <= '0';
...
178: end if;
179: end if; 174: sync_flag <= '0'; 176: if (sync_flag_ce = '1') then
177: sync_flag <= sync_flag_nxt;
178: end if; 177: sync_flag <= sync_flag_nxt; 191: resync_edge_valid <= '1' when (resync_edge = '1' and sync_flag = '0' and
192: ((is_tseg2 = '1') or
193: (is_tseg1 = '1' and no_pos_resync = '0')))
194: else
195: '0'; 191: resync_edge_valid <= '1' when (resync_edge = '1' and sync_flag = '0' and 195: '0'; 200: h_sync_edge_valid <= '0' when (no_pos_resync = '1' and is_tseg1 = '1') else
201: '1' when (h_sync_edge = '1' and sync_flag = '0') else
202: '0'; 200: h_sync_edge_valid <= '0' when (no_pos_resync = '1' and is_tseg1 = '1') else 201: '1' when (h_sync_edge = '1' and sync_flag = '0') else 202: '0'; 149: resync_edge <= '1' when (sync_edge = '1' and sync_control = RE_SYNC) else | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 1152605 | 1 |
| Bin | False | 2161424 | 1 |
152: h_sync_edge <= '1' when (sync_edge = '1' and sync_control = HARD_SYNC) else | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 94896 | 1 |
| Bin | False | 3219133 | 1 |
155: h_or_re_sync_edge <= '1' when (resync_edge = '1' or h_sync_edge = '1') else | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 1247501 | 1 |
| Bin | False | 1250703 | 1 |
164: sync_flag_ce <= '1' when (h_or_re_sync_edge = '1') else | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 1722506 | 1 |
| Bin | False | 69101229 | 1 |
165: '1' when (segment_end = '1' and is_tseg1 = '1') else | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 22841358 | 1 |
| Bin | False | 46259871 | 1 |
168: sync_flag_nxt <= '1' when (h_or_re_sync_edge = '1') else | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 1247501 | 1 |
| Bin | False | 1250703 | 1 |
173: if (res_n = '0') then | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 2424883 | 1 |
| Bin | False | 1087593323 | 1 |
175: elsif (rising_edge(clk_sys)) then | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 543791678 | 1 |
| Bin | False | 543801645 | 1 |
176: if (sync_flag_ce = '1') then | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 12530573 | 1 |
| Bin | False | 531261105 | 1 |
191: resync_edge_valid <= '1' when (resync_edge = '1' and sync_flag = '0' and
192: ((is_tseg2 = '1') or
193: (is_tseg1 = '1' and no_pos_resync = '0'))) | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 800361 | 1 |
| Bin | False | 27848253 | 1 |
200: h_sync_edge_valid <= '0' when (no_pos_resync = '1' and is_tseg1 = '1') else | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 3060789 | 1 |
| Bin | False | 23470629 | 1 |
201: '1' when (h_sync_edge = '1' and sync_flag = '0') else | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 56587 | 1 |
| Bin | False | 23414042 | 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 |
SYNC_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 |
SYNC_EDGE| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
NO_POS_RESYNC| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
SEGMENT_END| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
IS_TSEG1| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
IS_TSEG2| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
RESYNC_EDGE_VALID| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 800361 | 1 |
| Bin | 1 | 0 | 801962 | 1 |
H_SYNC_EDGE_VALID| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 56587 | 1 |
| Bin | 1 | 0 | 58188 | 1 |
RESYNC_EDGE| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 1152605 | 1 |
| Bin | 1 | 0 | 1154206 | 1 |
H_SYNC_EDGE| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 94896 | 1 |
| Bin | 1 | 0 | 96497 | 1 |
H_OR_RE_SYNC_EDGE| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 1247501 | 1 |
| Bin | 1 | 0 | 1249102 | 1 |
SYNC_FLAG| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 1148493 | 1 |
| Bin | 1 | 0 | 1150094 | 1 |
SYNC_FLAG_CE| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 23503498 | 1 |
| Bin | 1 | 0 | 23505099 | 1 |
SYNC_FLAG_NXT| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 1247501 | 1 |
| Bin | 1 | 0 | 1249102 | 1 |
sync_edge = '1' and sync_control = RE_SYNC
<-----LHS-----> <--------RHS---------> | LHS | RHS | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | False | True | 0 | 1 | Unreachable |
sync_edge = '1' and sync_control = HARD_SYNC
<-----LHS-----> <---------RHS----------> | LHS | RHS | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | False | True | 0 | 1 | Unreachable |
sync_edge = '1' and sync_control = RE_SYNC
<-----LHS-----> <--------RHS---------> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | True | False | 402587 | 1 |
| Bin | True | True | 1152605 | 1 |
sync_edge = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 1758837 | 1 |
| Bin | True | 1555192 | 1 |
sync_edge = '1' and sync_control = HARD_SYNC
<-----LHS-----> <---------RHS----------> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | True | False | 1460296 | 1 |
| Bin | True | True | 94896 | 1 |
sync_edge = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 1758837 | 1 |
| Bin | True | 1555192 | 1 |
resync_edge = '1' or h_sync_edge = '1'
<------LHS------> <------RHS------> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | False | 1250703 | 1 |
| Bin | False | True | 94896 | 1 |
| Bin | True | False | 1152605 | 1 |
resync_edge = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 1345599 | 1 |
| Bin | True | 1152605 | 1 |
h_sync_edge = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 2403308 | 1 |
| Bin | True | 94896 | 1 |
h_or_re_sync_edge = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 69101229 | 1 |
| Bin | True | 1722506 | 1 |
segment_end = '1' and is_tseg1 = '1'
<------LHS------> <----RHS-----> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | True | 12124918 | 1 |
| Bin | True | False | 22739728 | 1 |
| Bin | True | True | 22841358 | 1 |
segment_end = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 23520143 | 1 |
| Bin | True | 45581086 | 1 |
is_tseg1 = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 34134953 | 1 |
| Bin | True | 34966276 | 1 |
h_or_re_sync_edge = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 1250703 | 1 |
| Bin | True | 1247501 | 1 |
res_n = '0' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 1087593323 | 1 |
| Bin | True | 2424883 | 1 |
sync_flag_ce = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 531261105 | 1 |
| Bin | True | 12530573 | 1 |
resync_edge = '1' and sync_flag = '0' and ((is_tseg2 = '1') or (is_tseg1 = '1' and no_pos_resync = '0'))
<----------------LHS----------------> <---------------------------RHS----------------------------> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | True | 24149627 | 1 |
| Bin | True | False | 352575 | 1 |
| Bin | True | True | 800361 | 1 |
resync_edge = '1' and sync_flag = '0'
<------LHS------> <-----RHS-----> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | True | 25256577 | 1 |
| Bin | True | False | 1076865 | 1 |
| Bin | True | True | 1152936 | 1 |
resync_edge = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 26418813 | 1 |
| Bin | True | 2229801 | 1 |
sync_flag = '0' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 2239101 | 1 |
| Bin | True | 26409513 | 1 |
(is_tseg2 = '1') or (is_tseg1 = '1' and no_pos_resync = '0')
<----LHS-----> <----------------RHS-----------------> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | False | 3698626 | 1 |
| Bin | False | True | 13516972 | 1 |
| Bin | True | False | 11433016 | 1 |
is_tseg2 = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 17215598 | 1 |
| Bin | True | 11433016 | 1 |
is_tseg1 = '1' and no_pos_resync = '0'
<----LHS-----> <-------RHS-------> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | True | 9841576 | 1 |
| Bin | True | False | 3688926 | 1 |
| Bin | True | True | 13516972 | 1 |
is_tseg1 = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 11442716 | 1 |
| Bin | True | 17205898 | 1 |
no_pos_resync = '0' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 5290066 | 1 |
| Bin | True | 23358548 | 1 |
no_pos_resync = '1' and is_tseg1 = '1'
<-------LHS-------> <----RHS-----> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | True | 12046100 | 1 |
| Bin | True | False | 1598184 | 1 |
| Bin | True | True | 3060789 | 1 |
no_pos_resync = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 21872445 | 1 |
| Bin | True | 4658973 | 1 |
is_tseg1 = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 11424529 | 1 |
| Bin | True | 15106889 | 1 |
h_sync_edge = '1' and sync_flag = '0'
<------LHS------> <-----RHS-----> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | True | 22562377 | 1 |
| Bin | True | False | 59238 | 1 |
| Bin | True | True | 56587 | 1 |
h_sync_edge = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 23354804 | 1 |
| Bin | True | 115825 | 1 |
sync_flag = '0' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 851665 | 1 |
| Bin | True | 22618964 | 1 |