Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.PRESCALER_INST.SYNCHRONISATION_CHECKER_INST
Sub-instances:
| Instance |
Statement |
Branch |
Toggle |
Expression |
FSM state |
Functional |
Average |
Current Instance:
Details:
The limit of printed items was reached (5000). Total 261615 items are not displayed.
Covered statements:
If statement:
149: resync_edge <= '1' when (sync_edge = '1' and sync_control = RE_SYNC) else
150: '0'; Count: 3312775
Threshold: 1
Signal assignment statement:
149: resync_edge <= '1' when (sync_edge = '1' and sync_control = RE_SYNC) else Count: 1140200
Threshold: 1
Signal assignment statement:
150: '0'; Count: 2172575
Threshold: 1
If statement:
152: h_sync_edge <= '1' when (sync_edge = '1' and sync_control = HARD_SYNC) else
153: '0'; Count: 3312775
Threshold: 1
Signal assignment statement:
152: h_sync_edge <= '1' when (sync_edge = '1' and sync_control = HARD_SYNC) else Count: 93342
Threshold: 1
Signal assignment statement:
153: '0'; Count: 3219433
Threshold: 1
If statement:
155: h_or_re_sync_edge <= '1' when (resync_edge = '1' or h_sync_edge = '1') else
156: '0'; Count: 2470284
Threshold: 1
Signal assignment statement:
155: h_or_re_sync_edge <= '1' when (resync_edge = '1' or h_sync_edge = '1') else Count: 1233542
Threshold: 1
Signal assignment statement:
156: '0'; Count: 1236742
Threshold: 1
If statement:
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'; Count: 68713234
Threshold: 1
Signal assignment statement:
164: sync_flag_ce <= '1' when (h_or_re_sync_edge = '1') else Count: 1703635
Threshold: 1
Signal assignment statement:
165: '1' when (segment_end = '1' and is_tseg1 = '1') else Count: 22144742
Threshold: 1
Signal assignment statement:
166: '0'; Count: 44864857
Threshold: 1
If statement:
168: sync_flag_nxt <= '1' when (h_or_re_sync_edge = '1') else
169: '0'; Count: 2470284
Threshold: 1
Signal assignment statement:
168: sync_flag_nxt <= '1' when (h_or_re_sync_edge = '1') else Count: 1233542
Threshold: 1
Signal assignment statement:
169: '0'; Count: 1236742
Threshold: 1
If statement:
173: if (res_n = '0') then
174: sync_flag <= '0';
...
178: end if;
179: end if; Count: 1055177083
Threshold: 1
Signal assignment statement:
174: sync_flag <= '0'; Count: 2418499
Threshold: 1
If statement:
176: if (sync_flag_ce = '1') then
177: sync_flag <= sync_flag_nxt;
178: end if; Count: 526374300
Threshold: 1
Signal assignment statement:
177: sync_flag <= sync_flag_nxt; Count: 12171936
Threshold: 1
If statement:
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'; Count: 27909622
Threshold: 1
Signal assignment statement:
191: resync_edge_valid <= '1' when (resync_edge = '1' and sync_flag = '0' and Count: 795345
Threshold: 1
Signal assignment statement:
195: '0'; Count: 27114277
Threshold: 1
If statement:
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'; Count: 25814152
Threshold: 1
Signal assignment statement:
200: h_sync_edge_valid <= '0' when (no_pos_resync = '1' and is_tseg1 = '1') else Count: 3040180
Threshold: 1
Signal assignment statement:
201: '1' when (h_sync_edge = '1' and sync_flag = '0') else Count: 55371
Threshold: 1
Signal assignment statement:
202: '0'; Count: 22718601
Threshold: 1
Covered branches:
"if" / "when" / "else" condition:
149: resync_edge <= '1' when (sync_edge = '1' and sync_control = RE_SYNC) else | Evaluated to | Count | Threshold |
|---|
| Bin | True | 1140200 | 1 |
| Bin | False | 2172575 | 1 |
"if" / "when" / "else" condition:
152: h_sync_edge <= '1' when (sync_edge = '1' and sync_control = HARD_SYNC) else | Evaluated to | Count | Threshold |
|---|
| Bin | True | 93342 | 1 |
| Bin | False | 3219433 | 1 |
"if" / "when" / "else" condition:
155: h_or_re_sync_edge <= '1' when (resync_edge = '1' or h_sync_edge = '1') else | Evaluated to | Count | Threshold |
|---|
| Bin | True | 1233542 | 1 |
| Bin | False | 1236742 | 1 |
"if" / "when" / "else" condition:
164: sync_flag_ce <= '1' when (h_or_re_sync_edge = '1') else | Evaluated to | Count | Threshold |
|---|
| Bin | True | 1703635 | 1 |
| Bin | False | 67009599 | 1 |
"if" / "when" / "else" condition:
165: '1' when (segment_end = '1' and is_tseg1 = '1') else | Evaluated to | Count | Threshold |
|---|
| Bin | True | 22144742 | 1 |
| Bin | False | 44864857 | 1 |
"if" / "when" / "else" condition:
168: sync_flag_nxt <= '1' when (h_or_re_sync_edge = '1') else | Evaluated to | Count | Threshold |
|---|
| Bin | True | 1233542 | 1 |
| Bin | False | 1236742 | 1 |
"if" / "when" / "else" condition:
173: if (res_n = '0') then | Evaluated to | Count | Threshold |
|---|
| Bin | True | 2418499 | 1 |
| Bin | False | 1052758584 | 1 |
"if" / "when" / "else" condition:
175: elsif (rising_edge(clk_sys)) then | Evaluated to | Count | Threshold |
|---|
| Bin | True | 526374300 | 1 |
| Bin | False | 526384284 | 1 |
"if" / "when" / "else" condition:
176: if (sync_flag_ce = '1') then | Evaluated to | Count | Threshold |
|---|
| Bin | True | 12171936 | 1 |
| Bin | False | 514202364 | 1 |
"if" / "when" / "else" condition:
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 | 795345 | 1 |
| Bin | False | 27114277 | 1 |
"if" / "when" / "else" condition:
200: h_sync_edge_valid <= '0' when (no_pos_resync = '1' and is_tseg1 = '1') else | Evaluated to | Count | Threshold |
|---|
| Bin | True | 3040180 | 1 |
| Bin | False | 22773972 | 1 |
"if" / "when" / "else" condition:
201: '1' when (h_sync_edge = '1' and sync_flag = '0') else | Evaluated to | Count | Threshold |
|---|
| Bin | True | 55371 | 1 |
| Bin | False | 22718601 | 1 |
Covered toggles:
Port:
CLK_SYS | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 527578869 | 1 |
| Bin | 1 | 0 | 527580460 | 1 |
Port:
RES_N | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 8082 | 1 |
| Bin | 1 | 0 | 8072 | 1 |
Port:
SYNC_CONTROL(1) | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 99647 | 1 |
| Bin | 1 | 0 | 99642 | 1 |
Port:
SYNC_CONTROL(0) | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 91759 | 1 |
| Bin | 1 | 0 | 91764 | 1 |
Port:
SYNC_EDGE | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 1555148 | 1 |
| Bin | 1 | 0 | 1556748 | 1 |
Port:
NO_POS_RESYNC | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 633738 | 1 |
| Bin | 1 | 0 | 635336 | 1 |
Port:
SEGMENT_END | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 22084411 | 1 |
| Bin | 1 | 0 | 22086011 | 1 |
Port:
IS_TSEG1 | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 11041544 | 1 |
| Bin | 1 | 0 | 11041536 | 1 |
Port:
IS_TSEG2 | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 11035219 | 1 |
| Bin | 1 | 0 | 11036818 | 1 |
Port:
RESYNC_EDGE_VALID | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 795345 | 1 |
| Bin | 1 | 0 | 796945 | 1 |
Port:
H_SYNC_EDGE_VALID | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 55371 | 1 |
| Bin | 1 | 0 | 56971 | 1 |
Signal:
RESYNC_EDGE | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 1140200 | 1 |
| Bin | 1 | 0 | 1141800 | 1 |
Signal:
H_SYNC_EDGE | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 93342 | 1 |
| Bin | 1 | 0 | 94942 | 1 |
Signal:
H_OR_RE_SYNC_EDGE | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 1233542 | 1 |
| Bin | 1 | 0 | 1235142 | 1 |
Signal:
SYNC_FLAG | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 1136857 | 1 |
| Bin | 1 | 0 | 1138457 | 1 |
Signal:
SYNC_FLAG_CE | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 22802083 | 1 |
| Bin | 1 | 0 | 22803683 | 1 |
Signal:
SYNC_FLAG_NXT | From | To | Count | Threshold |
|---|
| Bin | 0 | 1 | 1233542 | 1 |
| Bin | 1 | 0 | 1235142 | 1 |
Excluded expressions:
"and" expression
149: resync_edge <= '1' when (sync_edge = '1' and sync_control = RE_SYNC) else
<-----LHS-----> <--------RHS---------> | LHS | RHS | Count | Threshold | Excluded due to |
|---|
| Bin | False | True | 0 | 1 | Unreachable |
"and" expression
152: h_sync_edge <= '1' when (sync_edge = '1' and sync_control = HARD_SYNC) else
<-----LHS-----> <---------RHS----------> | LHS | RHS | Count | Threshold | Excluded due to |
|---|
| Bin | False | True | 0 | 1 | Unreachable |
Covered expressions:
"=" expression
149: resync_edge <= '1' when (sync_edge = '1' and sync_control = RE_SYNC) else | Evaluated to | Count | Threshold |
|---|
| Bin | False | 1757627 | 1 |
| Bin | True | 1555148 | 1 |
"and" expression
149: resync_edge <= '1' when (sync_edge = '1' and sync_control = RE_SYNC) else
<-----LHS-----> <--------RHS---------> | LHS | RHS | Count | Threshold |
|---|
| Bin | True | False | 414948 | 1 |
| Bin | True | True | 1140200 | 1 |
"=" expression
152: h_sync_edge <= '1' when (sync_edge = '1' and sync_control = HARD_SYNC) else | Evaluated to | Count | Threshold |
|---|
| Bin | False | 1757627 | 1 |
| Bin | True | 1555148 | 1 |
"and" expression
152: h_sync_edge <= '1' when (sync_edge = '1' and sync_control = HARD_SYNC) else
<-----LHS-----> <---------RHS----------> | LHS | RHS | Count | Threshold |
|---|
| Bin | True | False | 1461806 | 1 |
| Bin | True | True | 93342 | 1 |
"=" expression
155: h_or_re_sync_edge <= '1' when (resync_edge = '1' or h_sync_edge = '1') else | Evaluated to | Count | Threshold |
|---|
| Bin | False | 1330084 | 1 |
| Bin | True | 1140200 | 1 |
"=" expression
155: h_or_re_sync_edge <= '1' when (resync_edge = '1' or h_sync_edge = '1') else | Evaluated to | Count | Threshold |
|---|
| Bin | False | 2376942 | 1 |
| Bin | True | 93342 | 1 |
"or" expression
155: h_or_re_sync_edge <= '1' when (resync_edge = '1' or h_sync_edge = '1') else
<------LHS------> <------RHS------> | LHS | RHS | Count | Threshold |
|---|
| Bin | False | False | 1236742 | 1 |
| Bin | False | True | 93342 | 1 |
| Bin | True | False | 1140200 | 1 |
"=" expression
164: sync_flag_ce <= '1' when (h_or_re_sync_edge = '1') else | Evaluated to | Count | Threshold |
|---|
| Bin | False | 67009599 | 1 |
| Bin | True | 1703635 | 1 |
"=" expression
165: '1' when (segment_end = '1' and is_tseg1 = '1') else | Evaluated to | Count | Threshold |
|---|
| Bin | False | 22818633 | 1 |
| Bin | True | 44190966 | 1 |
"=" expression
165: '1' when (segment_end = '1' and is_tseg1 = '1') else | Evaluated to | Count | Threshold |
|---|
| Bin | False | 33094132 | 1 |
| Bin | True | 33915467 | 1 |
"and" expression
165: '1' when (segment_end = '1' and is_tseg1 = '1') else
<------LHS------> <----RHS-----> | LHS | RHS | Count | Threshold |
|---|
| Bin | False | True | 11770725 | 1 |
| Bin | True | False | 22046224 | 1 |
| Bin | True | True | 22144742 | 1 |
"=" expression
168: sync_flag_nxt <= '1' when (h_or_re_sync_edge = '1') else | Evaluated to | Count | Threshold |
|---|
| Bin | False | 1236742 | 1 |
| Bin | True | 1233542 | 1 |
"=" expression
173: if (res_n = '0') then | Evaluated to | Count | Threshold |
|---|
| Bin | False | 1052758584 | 1 |
| Bin | True | 2418499 | 1 |
"=" expression
176: if (sync_flag_ce = '1') then | Evaluated to | Count | Threshold |
|---|
| Bin | False | 514202364 | 1 |
| Bin | True | 12171936 | 1 |
"=" expression
191: resync_edge_valid <= '1' when (resync_edge = '1' and sync_flag = '0' and | Evaluated to | Count | Threshold |
|---|
| Bin | False | 25702716 | 1 |
| Bin | True | 2206906 | 1 |
"=" expression
191: resync_edge_valid <= '1' when (resync_edge = '1' and sync_flag = '0' and | Evaluated to | Count | Threshold |
|---|
| Bin | False | 2216802 | 1 |
| Bin | True | 25692820 | 1 |
"and" expression
191: resync_edge_valid <= '1' when (resync_edge = '1' and sync_flag = '0' and
<------LHS------> <-----RHS-----> | LHS | RHS | Count | Threshold |
|---|
| Bin | False | True | 24552313 | 1 |
| Bin | True | False | 1066399 | 1 |
| Bin | True | True | 1140507 | 1 |
"=" expression
192: ((is_tseg2 = '1') or | Evaluated to | Count | Threshold |
|---|
| Bin | False | 16824709 | 1 |
| Bin | True | 11084913 | 1 |
"=" expression
193: (is_tseg1 = '1' and no_pos_resync = '0'))) | Evaluated to | Count | Threshold |
|---|
| Bin | False | 11094613 | 1 |
| Bin | True | 16815009 | 1 |
"=" expression
193: (is_tseg1 = '1' and no_pos_resync = '0'))) | Evaluated to | Count | Threshold |
|---|
| Bin | False | 5250588 | 1 |
| Bin | True | 22659034 | 1 |
"and" expression
193: (is_tseg1 = '1' and no_pos_resync = '0')))
<----LHS-----> <-------RHS-------> | LHS | RHS | Count | Threshold |
|---|
| Bin | False | True | 9498253 | 1 |
| Bin | True | False | 3654228 | 1 |
| Bin | True | True | 13160781 | 1 |
"or" expression
192: ((is_tseg2 = '1') or
193: (is_tseg1 = '1' and no_pos_resync = '0'))) | LHS | RHS | Count | Threshold |
|---|
| Bin | False | False | 3663928 | 1 |
| Bin | False | True | 13160781 | 1 |
| Bin | True | False | 11084913 | 1 |
"and" expression
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'))) | LHS | RHS | Count | Threshold |
|---|
| Bin | False | True | 23450349 | 1 |
| Bin | True | False | 345162 | 1 |
| Bin | True | True | 795345 | 1 |
"=" expression
200: h_sync_edge_valid <= '0' when (no_pos_resync = '1' and is_tseg1 = '1') else | Evaluated to | Count | Threshold |
|---|
| Bin | False | 21180542 | 1 |
| Bin | True | 4633610 | 1 |
"=" expression
200: h_sync_edge_valid <= '0' when (no_pos_resync = '1' and is_tseg1 = '1') else | Evaluated to | Count | Threshold |
|---|
| Bin | False | 11076902 | 1 |
| Bin | True | 14737250 | 1 |
"and" expression
200: h_sync_edge_valid <= '0' when (no_pos_resync = '1' and is_tseg1 = '1') else
<-------LHS-------> <----RHS-----> | LHS | RHS | Count | Threshold |
|---|
| Bin | False | True | 11697070 | 1 |
| Bin | True | False | 1593430 | 1 |
| Bin | True | True | 3040180 | 1 |
"=" expression
201: '1' when (h_sync_edge = '1' and sync_flag = '0') else | Evaluated to | Count | Threshold |
|---|
| Bin | False | 22660606 | 1 |
| Bin | True | 113366 | 1 |
"=" expression
201: '1' when (h_sync_edge = '1' and sync_flag = '0') else | Evaluated to | Count | Threshold |
|---|
| Bin | False | 846837 | 1 |
| Bin | True | 21927135 | 1 |
"and" expression
201: '1' when (h_sync_edge = '1' and sync_flag = '0') else
<------LHS------> <-----RHS-----> | LHS | RHS | Count | Threshold |
|---|
| Bin | False | True | 21871764 | 1 |
| Bin | True | False | 57995 | 1 |
| Bin | True | True | 55371 | 1 |
Uncovered functional coverage:
Excluded functional coverage:
Covered functional coverage: