NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.PRESCALER_INST.SYNCHRONISATION_CHECKER_INST

File:  /__w/ctu-can-regression/ctu-can-regression/src/prescaler/prescaler.vhd


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)

Details:

The limit of printed items was reached (5000). Total 260336 items are not displayed.


Statement Branch Toggle Expression FSM state Functional

Uncovered statements:

Excluded statements:

Covered statements:

If statement on lines 149 to 150:

149:    resync_edge <= '1' when (sync_edge = '1' and sync_control = RE_SYNC) else 
150:                   '0'; 

Count: 3314029
Threshold: 1

Signal assignment statement on line 149:

149:    resync_edge <= '1' when (sync_edge = '1' and sync_control = RE_SYNC) else 
Count: 1152605
Threshold: 1

Signal assignment statement on line 150:

150:                   '0'
Count: 2161424
Threshold: 1

If statement on lines 152 to 153:

152:    h_sync_edge <= '1' when (sync_edge = '1' and sync_control = HARD_SYNC) else 
153:                   '0'; 

Count: 3314029
Threshold: 1

Signal assignment statement on line 152:

152:    h_sync_edge <= '1' when (sync_edge = '1' and sync_control = HARD_SYNC) else 
Count: 94896
Threshold: 1

Signal assignment statement on line 153:

153:                   '0'
Count: 3219133
Threshold: 1

If statement on lines 155 to 156:

155:    h_or_re_sync_edge <= '1' when (resync_edge = '1' or h_sync_edge = '1') else 
156:                         '0'; 

Count: 2498204
Threshold: 1

Signal assignment statement on line 155:

155:    h_or_re_sync_edge <= '1' when (resync_edge = '1' or h_sync_edge = '1') else 
Count: 1247501
Threshold: 1

Signal assignment statement on line 156:

156:                         '0'
Count: 1250703
Threshold: 1

If statement on lines 164 to 166:

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: 70823735
Threshold: 1

Signal assignment statement on line 164:

164:    sync_flag_ce <= '1' when (h_or_re_sync_edge = '1') else 
Count: 1722506
Threshold: 1

Signal assignment statement on line 165:

165:                    '1' when (segment_end = '1' and is_tseg1 = '1') else 
Count: 22841358
Threshold: 1

Signal assignment statement on line 166:

166:                    '0'
Count: 46259871
Threshold: 1

If statement on lines 168 to 169:

168:    sync_flag_nxt <= '1' when (h_or_re_sync_edge = '1') else 
169:                     '0'; 

Count: 2498204
Threshold: 1

Signal assignment statement on line 168:

168:    sync_flag_nxt <= '1' when (h_or_re_sync_edge = '1') else 
Count: 1247501
Threshold: 1

Signal assignment statement on line 169:

169:                     '0'
Count: 1250703
Threshold: 1

If statement on lines 173 to 179:

173:        if (res_n = '0') then 
174:            sync_flag <= '0'; 
...
178:            end if; 
179:        end if; 

Count: 1090018206
Threshold: 1

Signal assignment statement on line 174:

174:            sync_flag <= '0'; 
Count: 2424883
Threshold: 1

If statement on lines 176 to 178:

176:            if (sync_flag_ce = '1') then 
177:                sync_flag <= sync_flag_nxt; 
178:            end if; 

Count: 543791678
Threshold: 1

Signal assignment statement on line 177:

177:                sync_flag <= sync_flag_nxt; 
Count: 12530573
Threshold: 1

If statement on lines 191 to 195:

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: 28648614
Threshold: 1

Signal assignment statement on line 191:

191:    resync_edge_valid <= '1' when (resync_edge = '1' and sync_flag = '0' and 
Count: 800361
Threshold: 1

Signal assignment statement on line 195:

195:                         '0'
Count: 27848253
Threshold: 1

If statement on lines 200 to 202:

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: 26531418
Threshold: 1

Signal assignment statement on line 200:

200:    h_sync_edge_valid <= '0' when (no_pos_resync = '1' and is_tseg1 = '1') else 
Count: 3060789
Threshold: 1

Signal assignment statement on line 201:

201:                         '1' when (h_sync_edge = '1' and sync_flag = '0') else 
Count: 56587
Threshold: 1

Signal assignment statement on line 202:

202:                         '0'
Count: 23414042
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

"if" / "when" / "else" condition on line 149:

149:    resync_edge <= '1' when (sync_edge = '1' and sync_control = RE_SYNC) else 
Evaluated toCountThreshold
BinTrue11526051
BinFalse21614241

"if" / "when" / "else" condition on line 152:

152:    h_sync_edge <= '1' when (sync_edge = '1' and sync_control = HARD_SYNC) else 
Evaluated toCountThreshold
BinTrue948961
BinFalse32191331

"if" / "when" / "else" condition on line 155:

155:    h_or_re_sync_edge <= '1' when (resync_edge = '1' or h_sync_edge = '1') else 
Evaluated toCountThreshold
BinTrue12475011
BinFalse12507031

"if" / "when" / "else" condition on line 164:

164:    sync_flag_ce <= '1' when (h_or_re_sync_edge = '1') else 
Evaluated toCountThreshold
BinTrue17225061
BinFalse691012291

"if" / "when" / "else" condition on line 165:

165:                    '1' when (segment_end = '1' and is_tseg1 = '1') else 
Evaluated toCountThreshold
BinTrue228413581
BinFalse462598711

"if" / "when" / "else" condition on line 168:

168:    sync_flag_nxt <= '1' when (h_or_re_sync_edge = '1') else 
Evaluated toCountThreshold
BinTrue12475011
BinFalse12507031

"if" / "when" / "else" condition on line 173:

173:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue24248831
BinFalse10875933231

"if" / "when" / "else" condition on line 175:

175:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5437916781
BinFalse5438016451

"if" / "when" / "else" condition on line 176:

176:            if (sync_flag_ce = '1') then 
Evaluated toCountThreshold
BinTrue125305731
BinFalse5312611051

"if" / "when" / "else" condition on lines 191 to 193:

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 toCountThreshold
BinTrue8003611
BinFalse278482531

"if" / "when" / "else" condition on line 200:

200:    h_sync_edge_valid <= '0' when (no_pos_resync = '1' and is_tseg1 = '1') else 
Evaluated toCountThreshold
BinTrue30607891
BinFalse234706291

"if" / "when" / "else" condition on line 201:

201:                         '1' when (h_sync_edge = '1' and sync_flag = '0') else 
Evaluated toCountThreshold
BinTrue565871
BinFalse234140421

Uncovered toggles:

Excluded toggles:

Port:

 CLK_SYS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 RES_N
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 SYNC_CONTROL
ElementFromToCountThresholdExcluded due to
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 SYNC_EDGE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 NO_POS_RESYNC
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 SEGMENT_END
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 IS_TSEG1
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 IS_TSEG2
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Covered toggles:

Port:

 RESYNC_EDGE_VALID
FromToCountThreshold
Bin018003611
Bin108019621

Port:

 H_SYNC_EDGE_VALID
FromToCountThreshold
Bin01565871
Bin10581881

Signal:

 RESYNC_EDGE
FromToCountThreshold
Bin0111526051
Bin1011542061

Signal:

 H_SYNC_EDGE
FromToCountThreshold
Bin01948961
Bin10964971

Signal:

 H_OR_RE_SYNC_EDGE
FromToCountThreshold
Bin0112475011
Bin1012491021

Signal:

 SYNC_FLAG
FromToCountThreshold
Bin0111484931
Bin1011500941

Signal:

 SYNC_FLAG_CE
FromToCountThreshold
Bin01235034981
Bin10235050991

Signal:

 SYNC_FLAG_NXT
FromToCountThreshold
Bin0112475011
Bin1012491021

Uncovered expressions:

Excluded expressions:

"and" expression on line 149:

 sync_edge = '1' and sync_control = RE_SYNC 
 <-----LHS----->     <--------RHS---------> 

LHSRHSCountThresholdExcluded due to
BinFalseTrue01Unreachable

"and" expression on line 152:

 sync_edge = '1' and sync_control = HARD_SYNC 
 <-----LHS----->     <---------RHS----------> 

LHSRHSCountThresholdExcluded due to
BinFalseTrue01Unreachable

Covered expressions:

"and" expression on line 149:

 sync_edge = '1' and sync_control = RE_SYNC 
 <-----LHS----->     <--------RHS---------> 

LHSRHSCountThreshold
BinTrueFalse4025871
BinTrueTrue11526051

"=" expression on line 149:

 sync_edge = '1' 
Evaluated toCountThreshold
BinFalse17588371
BinTrue15551921

"and" expression on line 152:

 sync_edge = '1' and sync_control = HARD_SYNC 
 <-----LHS----->     <---------RHS----------> 

LHSRHSCountThreshold
BinTrueFalse14602961
BinTrueTrue948961

"=" expression on line 152:

 sync_edge = '1' 
Evaluated toCountThreshold
BinFalse17588371
BinTrue15551921

"or" expression on line 155:

 resync_edge = '1' or h_sync_edge = '1' 
 <------LHS------>    <------RHS------> 

LHSRHSCountThreshold
BinFalseFalse12507031
BinFalseTrue948961
BinTrueFalse11526051

"=" expression on line 155:

 resync_edge = '1' 
Evaluated toCountThreshold
BinFalse13455991
BinTrue11526051

"=" expression on line 155:

 h_sync_edge = '1' 
Evaluated toCountThreshold
BinFalse24033081
BinTrue948961

"=" expression on line 164:

 h_or_re_sync_edge = '1' 
Evaluated toCountThreshold
BinFalse691012291
BinTrue17225061

"and" expression on line 165:

 segment_end = '1' and is_tseg1 = '1' 
 <------LHS------>     <----RHS-----> 

LHSRHSCountThreshold
BinFalseTrue121249181
BinTrueFalse227397281
BinTrueTrue228413581

"=" expression on line 165:

 segment_end = '1' 
Evaluated toCountThreshold
BinFalse235201431
BinTrue455810861

"=" expression on line 165:

 is_tseg1 = '1' 
Evaluated toCountThreshold
BinFalse341349531
BinTrue349662761

"=" expression on line 168:

 h_or_re_sync_edge = '1' 
Evaluated toCountThreshold
BinFalse12507031
BinTrue12475011

"=" expression on line 173:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse10875933231
BinTrue24248831

"=" expression on line 176:

 sync_flag_ce = '1' 
Evaluated toCountThreshold
BinFalse5312611051
BinTrue125305731

"and" expression on lines 191 to 193:

 resync_edge = '1' and sync_flag = '0' and ((is_tseg2 = '1') or (is_tseg1 = '1' and no_pos_resync = '0')) 
 <----------------LHS---------------->      <---------------------------RHS---------------------------->  

LHSRHSCountThreshold
BinFalseTrue241496271
BinTrueFalse3525751
BinTrueTrue8003611

"and" expression on line 191:

 resync_edge = '1' and sync_flag = '0' 
 <------LHS------>     <-----RHS-----> 

LHSRHSCountThreshold
BinFalseTrue252565771
BinTrueFalse10768651
BinTrueTrue11529361

"=" expression on line 191:

 resync_edge = '1' 
Evaluated toCountThreshold
BinFalse264188131
BinTrue22298011

"=" expression on line 191:

 sync_flag = '0' 
Evaluated toCountThreshold
BinFalse22391011
BinTrue264095131

"or" expression on lines 192 to 193:

 (is_tseg2 = '1') or (is_tseg1 = '1' and no_pos_resync = '0') 
  <----LHS----->      <----------------RHS----------------->  

LHSRHSCountThreshold
BinFalseFalse36986261
BinFalseTrue135169721
BinTrueFalse114330161

"=" expression on line 192:

 is_tseg2 = '1' 
Evaluated toCountThreshold
BinFalse172155981
BinTrue114330161

"and" expression on line 193:

 is_tseg1 = '1' and no_pos_resync = '0' 
 <----LHS----->     <-------RHS-------> 

LHSRHSCountThreshold
BinFalseTrue98415761
BinTrueFalse36889261
BinTrueTrue135169721

"=" expression on line 193:

 is_tseg1 = '1' 
Evaluated toCountThreshold
BinFalse114427161
BinTrue172058981

"=" expression on line 193:

 no_pos_resync = '0' 
Evaluated toCountThreshold
BinFalse52900661
BinTrue233585481

"and" expression on line 200:

 no_pos_resync = '1' and is_tseg1 = '1' 
 <-------LHS------->     <----RHS-----> 

LHSRHSCountThreshold
BinFalseTrue120461001
BinTrueFalse15981841
BinTrueTrue30607891

"=" expression on line 200:

 no_pos_resync = '1' 
Evaluated toCountThreshold
BinFalse218724451
BinTrue46589731

"=" expression on line 200:

 is_tseg1 = '1' 
Evaluated toCountThreshold
BinFalse114245291
BinTrue151068891

"and" expression on line 201:

 h_sync_edge = '1' and sync_flag = '0' 
 <------LHS------>     <-----RHS-----> 

LHSRHSCountThreshold
BinFalseTrue225623771
BinTrueFalse592381
BinTrueTrue565871

"=" expression on line 201:

 h_sync_edge = '1' 
Evaluated toCountThreshold
BinFalse233548041
BinTrue1158251

"=" expression on line 201:

 sync_flag = '0' 
Evaluated toCountThreshold
BinFalse8516651
BinTrue226189641

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: