| Current Instance | Statement | Branch | Toggle | Expression | FSM state | Functional | Average |
|---|---|---|---|---|---|---|---|
| CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_BTL_TOP.I_BTL_SYNCHRONISATION_CHECKER | 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 (rst_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 | 1148995 | 1 |
| Bin | False | 2179789 | 1 |
152: h_sync_edge <= '1' when (sync_edge = '1' and sync_control = HARD_SYNC) else | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 93514 | 1 |
| Bin | False | 3235270 | 1 |
155: h_or_re_sync_edge <= '1' when (resync_edge = '1' or h_sync_edge = '1') else | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 1242509 | 1 |
| Bin | False | 1245711 | 1 |
164: sync_flag_ce <= '1' when (h_or_re_sync_edge = '1') else | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 1717603 | 1 |
| Bin | False | 69341714 | 1 |
165: '1' when (segment_end = '1' and is_tseg1 = '1') else | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 22923440 | 1 |
| Bin | False | 46418274 | 1 |
168: sync_flag_nxt <= '1' when (h_or_re_sync_edge = '1') else | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 1242509 | 1 |
| Bin | False | 1245711 | 1 |
173: if (rst_n = '0') then | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 2422674 | 1 |
| Bin | False | 1094358647 | 1 |
175: elsif (rising_edge(clk_sys)) then | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 547174334 | 1 |
| Bin | False | 547184313 | 1 |
176: if (sync_flag_ce = '1') then | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 12566875 | 1 |
| Bin | False | 534607459 | 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 | 804203 | 1 |
| Bin | False | 27919114 | 1 |
200: h_sync_edge_valid <= '0' when (no_pos_resync = '1' and is_tseg1 = '1') else | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 3066160 | 1 |
| Bin | False | 23544433 | 1 |
201: '1' when (h_sync_edge = '1' and sync_flag = '0') else | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 54911 | 1 |
| Bin | False | 23489522 | 1 |
CLK_SYS| From | To | Count | Threshold | Excluded due to | |
|---|---|---|---|---|---|
| Bin | 0 | 1 | 0 | 1 | Exclude file |
| Bin | 1 | 0 | 0 | 1 | Exclude file |
RST_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 | 804203 | 1 |
| Bin | 1 | 0 | 805804 | 1 |
H_SYNC_EDGE_VALID| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 54911 | 1 |
| Bin | 1 | 0 | 56512 | 1 |
RESYNC_EDGE| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 1148995 | 1 |
| Bin | 1 | 0 | 1150596 | 1 |
H_SYNC_EDGE| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 93514 | 1 |
| Bin | 1 | 0 | 95115 | 1 |
H_OR_RE_SYNC_EDGE| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 1242509 | 1 |
| Bin | 1 | 0 | 1244110 | 1 |
SYNC_FLAG| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 1143791 | 1 |
| Bin | 1 | 0 | 1145392 | 1 |
SYNC_FLAG_CE| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 23579233 | 1 |
| Bin | 1 | 0 | 23580834 | 1 |
SYNC_FLAG_NXT| From | To | Count | Threshold | |
|---|---|---|---|---|
| Bin | 0 | 1 | 1242509 | 1 |
| Bin | 1 | 0 | 1244110 | 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 | 413669 | 1 |
| Bin | True | True | 1148995 | 1 |
sync_edge = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 1766120 | 1 |
| Bin | True | 1562664 | 1 |
sync_edge = '1' and sync_control = HARD_SYNC
<-----LHS-----> <---------RHS----------> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | True | False | 1469150 | 1 |
| Bin | True | True | 93514 | 1 |
sync_edge = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 1766120 | 1 |
| Bin | True | 1562664 | 1 |
resync_edge = '1' or h_sync_edge = '1'
<------LHS------> <------RHS------> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | False | 1245711 | 1 |
| Bin | False | True | 93514 | 1 |
| Bin | True | False | 1148995 | 1 |
resync_edge = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 1339225 | 1 |
| Bin | True | 1148995 | 1 |
h_sync_edge = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 2394706 | 1 |
| Bin | True | 93514 | 1 |
h_or_re_sync_edge = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 69341714 | 1 |
| Bin | True | 1717603 | 1 |
segment_end = '1' and is_tseg1 = '1'
<------LHS------> <----RHS-----> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | True | 12160016 | 1 |
| Bin | True | False | 22822380 | 1 |
| Bin | True | True | 22923440 | 1 |
segment_end = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 23595894 | 1 |
| Bin | True | 45745820 | 1 |
is_tseg1 = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 34258258 | 1 |
| Bin | True | 35083456 | 1 |
h_or_re_sync_edge = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 1245711 | 1 |
| Bin | True | 1242509 | 1 |
rst_n = '0' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 1094358647 | 1 |
| Bin | True | 2422674 | 1 |
sync_flag_ce = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 534607459 | 1 |
| Bin | True | 12566875 | 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 | 24230533 | 1 |
| Bin | True | False | 345101 | 1 |
| Bin | True | True | 804203 | 1 |
resync_edge = '1' and sync_flag = '0'
<------LHS------> <-----RHS-----> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | True | 25343879 | 1 |
| Bin | True | False | 1072724 | 1 |
| Bin | True | True | 1149304 | 1 |
resync_edge = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 26501289 | 1 |
| Bin | True | 2222028 | 1 |
sync_flag = '0' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 2230134 | 1 |
| Bin | True | 26493183 | 1 |
(is_tseg2 = '1') or (is_tseg1 = '1' and no_pos_resync = '0')
<----LHS-----> <----------------RHS-----------------> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | False | 3688581 | 1 |
| Bin | False | True | 13562592 | 1 |
| Bin | True | False | 11472144 | 1 |
is_tseg2 = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 17251173 | 1 |
| Bin | True | 11472144 | 1 |
is_tseg1 = '1' and no_pos_resync = '0'
<----LHS-----> <-------RHS-------> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | True | 9866386 | 1 |
| Bin | True | False | 3678880 | 1 |
| Bin | True | True | 13562592 | 1 |
is_tseg1 = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 11481845 | 1 |
| Bin | True | 17241472 | 1 |
no_pos_resync = '0' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 5294339 | 1 |
| Bin | True | 23428978 | 1 |
no_pos_resync = '1' and is_tseg1 = '1'
<-------LHS-------> <----RHS-----> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | True | 12079772 | 1 |
| Bin | True | False | 1612535 | 1 |
| Bin | True | True | 3066160 | 1 |
no_pos_resync = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 21931898 | 1 |
| Bin | True | 4678695 | 1 |
is_tseg1 = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 11464661 | 1 |
| Bin | True | 15145932 | 1 |
h_sync_edge = '1' and sync_flag = '0'
<------LHS------> <-----RHS-----> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | True | 22637387 | 1 |
| Bin | True | False | 57797 | 1 |
| Bin | True | True | 54911 | 1 |
h_sync_edge = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 23431725 | 1 |
| Bin | True | 112708 | 1 |
sync_flag = '0' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 852135 | 1 |
| Bin | True | 22692298 | 1 |