NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.PRESCALER_INST.SEGMENT_END_DETECTOR_INST

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

Nested Instances Statement Branch Toggle Expression FSM state Functional Average
SEGM_END_REQ_CAPTURE(1) 100.0 % (10/10) 100.0 % (10/10) N.A. 100.0 % (13/13) N.A. N.A. 100.0 % (33/33)
SEGM_END_REQ_CAPTURE(2) 100.0 % (10/10) 100.0 % (10/10) N.A. 92.3 % (12/13) N.A. N.A. 96.9 % (32/33)

Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.PRESCALER_INST.SEGMENT_END_DETECTOR_INST 100.0 % (43/43) 100.0 % (24/24) 100.0 % (72/72) 100.0 % (94/94) N.A. N.A. 100.0 % (233/233)

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:

Signal assignment statement on line 183:

183:    req_input(1) <= exit_segm_req_nbt
Count: 32944386
Threshold: 1

Signal assignment statement on line 184:

184:    req_input(2) <= exit_segm_req_dbt
Count: 19959706
Threshold: 1

Signal assignment statement on line 191:

191:    segm_end_req_capt_clr(1) <= segment_end_i
Count: 45561038
Threshold: 1

Signal assignment statement on line 192:

192:    segm_end_req_capt_clr(2) <= segment_end_i
Count: 45561038
Threshold: 1

If statement on lines 229 to 231:

229:    segm_end_req_capt_dq(1) <= req_input(1) when (is_tseg1 = '1') 
230:                                            else 
231:                               req_input(1) or segm_end_req_capt_q(1); 

Count: 63928511
Threshold: 1

Signal assignment statement on line 229:

229:    segm_end_req_capt_dq(1) <= req_input(1) when (is_tseg1 = '1') 
Count: 28652717
Threshold: 1

Signal assignment statement on line 231:

231:                               req_input(1) or segm_end_req_capt_q(1)
Count: 35275794
Threshold: 1

If statement on lines 233 to 235:

233:    segm_end_req_capt_dq(2) <= req_input(2) when (is_tseg1 = '1') 
234:                                            else 
235:                               req_input(2) or segm_end_req_capt_q(2); 

Count: 49356763
Threshold: 1

Signal assignment statement on line 233:

233:    segm_end_req_capt_dq(2) <= req_input(2) when (is_tseg1 = '1') 
Count: 24686642
Threshold: 1

Signal assignment statement on line 235:

235:                               req_input(2) or segm_end_req_capt_q(2)
Count: 24670121
Threshold: 1

If statement on lines 240 to 242:

240:    nbt_tq_active <= '1' when (sp_control = NOMINAL_SAMPLE and tq_edge_nbt = '1') 
241:                         else 
242:                     '0'; 

Count: 197915782
Threshold: 1

Signal assignment statement on line 240:

240:    nbt_tq_active <= '1' when (sp_control = NOMINAL_SAMPLE and tq_edge_nbt = '1') 
Count: 76991774
Threshold: 1

Signal assignment statement on line 242:

242:                     '0'
Count: 120924008
Threshold: 1

If statement on lines 244 to 247:

244:    dbt_tq_active <= '1' when (tq_edge_dbt = '1' and (sp_control = DATA_SAMPLE or 
245:                                                      sp_control = SECONDARY_SAMPLE)) 
246:                         else 
247:                     '0'; 

Count: 69259137
Threshold: 1

Signal assignment statement on line 244:

244:    dbt_tq_active <= '1' when (tq_edge_dbt = '1' and (sp_control = DATA_SAMPLE or 
Count: 33711157
Threshold: 1

Signal assignment statement on line 247:

247:                     '0'
Count: 35547980
Threshold: 1

If statement on lines 253 to 256:

253:    segm_end_nbt_valid <= 
254:        '1' when (segm_end_req_capt_dq(1) = '1' and nbt_tq_active = '1') 
255:            else 
256:        '0'; 

Count: 186927218
Threshold: 1

Signal assignment statement on line 254:

254:        '1' when (segm_end_req_capt_dq(1) = '1' and nbt_tq_active = '1') 
Count: 13036538
Threshold: 1

Signal assignment statement on line 256:

256:        '0'
Count: 173890680
Threshold: 1

If statement on lines 258 to 261:

258:    segm_end_dbt_valid <= 
259:        '1' when (segm_end_req_capt_dq(2) = '1' and dbt_tq_active = '1') 
260:            else 
261:        '0'; 

Count: 87376751
Threshold: 1

Signal assignment statement on line 259:

259:        '1' when (segm_end_req_capt_dq(2) = '1' and dbt_tq_active = '1') 
Count: 9733462
Threshold: 1

Signal assignment statement on line 261:

261:        '0'
Count: 77643289
Threshold: 1

If statement on lines 263 to 266:

263:    segm_end_nbt_dbt_valid <= 
264:        '1' when (segm_end_nbt_valid = '1' or segm_end_dbt_valid = '1') 
265:            else 
266:        '0'; 

Count: 45543202
Threshold: 1

Signal assignment statement on line 264:

264:        '1' when (segm_end_nbt_valid = '1' or segm_end_dbt_valid = '1') 
Count: 22770000
Threshold: 1

Signal assignment statement on line 266:

266:        '0'
Count: 22773202
Threshold: 1

If statement on lines 271 to 273:

271:    tseg1_end_req_valid <= 
272:        '1' when (is_tseg1 = '1' and segm_end_nbt_dbt_valid = '1') else 
273:        '0'; 

Count: 68318643
Threshold: 1

Signal assignment statement on line 272:

272:        '1' when (is_tseg1 = '1' and segm_end_nbt_dbt_valid = '1') else 
Count: 22769580
Threshold: 1

Signal assignment statement on line 273:

273:        '0'
Count: 45549063
Threshold: 1

If statement on lines 275 to 278:

275:    tseg2_end_req_valid <= 
276:        '1' when (is_tseg2 = '1' and segm_end_nbt_dbt_valid = '1') 
277:            else 
278:        '0'; 

Count: 68307645
Threshold: 1

Signal assignment statement on line 276:

276:        '1' when (is_tseg2 = '1' and segm_end_nbt_dbt_valid = '1') 
Count: 22757006
Threshold: 1

Signal assignment statement on line 278:

278:        '0'
Count: 45550639
Threshold: 1

If statement on lines 284 to 286:

284:    h_sync_valid_i <= '1' when ((h_sync_edge_valid = '1') and (nbt_tq_active = '1')) 
285:                          else 
286:                      '0'; 

Count: 154099921
Threshold: 1

Signal assignment statement on line 284:

284:    h_sync_valid_i <= '1' when ((h_sync_edge_valid = '1') and (nbt_tq_active = '1')) 
Count: 56587
Threshold: 1

Signal assignment statement on line 286:

286:                      '0'
Count: 154043334
Threshold: 1

If statement on lines 297 to 301:

297:    segment_end_i <= '1' when ((tseg1_end_req_valid = '1' and h_sync_valid_i = '0') or 
298:                               tseg2_end_req_valid = '1' or 
299:                               (h_sync_valid_i = '1' and is_tseg2 = '1')) 
300:                         else 
301:                     '0'; 

Count: 91175819
Threshold: 1

Signal assignment statement on line 297:

297:    segment_end_i <= '1' when ((tseg1_end_req_valid = '1' and h_sync_valid_i = '0') or 
Count: 68296088
Threshold: 1

Signal assignment statement on line 301:

301:                     '0'
Count: 22879731
Threshold: 1

If statement on lines 309 to 311:

309:    bt_ctr_clear_i <= '1' when (segment_end_i = '1' or h_sync_valid_i = '1') 
310:                          else 
311:                      '0'; 

Count: 45663633
Threshold: 1

Signal assignment statement on line 309:

309:    bt_ctr_clear_i <= '1' when (segment_end_i = '1' or h_sync_valid_i = '1') 
Count: 22847431
Threshold: 1

Signal assignment statement on line 311:

311:                      '0'
Count: 22816202
Threshold: 1

Signal assignment statement on line 313:

313:    bt_ctr_clear    <= bt_ctr_clear_i
Count: 45629202
Threshold: 1

Signal assignment statement on line 314:

314:    segm_end        <= segment_end_i
Count: 45561038
Threshold: 1

Signal assignment statement on line 315:

315:    h_sync_valid    <= h_sync_valid_i
Count: 116376
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

229:    segm_end_req_capt_dq(1) <= req_input(1) when (is_tseg1 = '1'
Evaluated toCountThreshold
BinTrue286527171
BinFalse352757941

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

233:    segm_end_req_capt_dq(2) <= req_input(2) when (is_tseg1 = '1'
Evaluated toCountThreshold
BinTrue246866421
BinFalse246701211

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

240:    nbt_tq_active <= '1' when (sp_control = NOMINAL_SAMPLE and tq_edge_nbt = '1'
Evaluated toCountThreshold
BinTrue769917741
BinFalse1209240081

"if" / "when" / "else" condition on lines 244 to 245:

244:    dbt_tq_active <= '1' when (tq_edge_dbt = '1' and (sp_control = DATA_SAMPLE or 
245:                                                      sp_control = SECONDARY_SAMPLE)) 

Evaluated toCountThreshold
BinTrue337111571
BinFalse355479801

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

254:        '1' when (segm_end_req_capt_dq(1) = '1' and nbt_tq_active = '1'
Evaluated toCountThreshold
BinTrue130365381
BinFalse1738906801

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

259:        '1' when (segm_end_req_capt_dq(2) = '1' and dbt_tq_active = '1'
Evaluated toCountThreshold
BinTrue97334621
BinFalse776432891

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

264:        '1' when (segm_end_nbt_valid = '1' or segm_end_dbt_valid = '1'
Evaluated toCountThreshold
BinTrue227700001
BinFalse227732021

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

272:        '1' when (is_tseg1 = '1' and segm_end_nbt_dbt_valid = '1') else 
Evaluated toCountThreshold
BinTrue227695801
BinFalse455490631

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

276:        '1' when (is_tseg2 = '1' and segm_end_nbt_dbt_valid = '1'
Evaluated toCountThreshold
BinTrue227570061
BinFalse455506391

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

284:    h_sync_valid_i <= '1' when ((h_sync_edge_valid = '1') and (nbt_tq_active = '1')
Evaluated toCountThreshold
BinTrue565871
BinFalse1540433341

"if" / "when" / "else" condition on lines 297 to 299:

297:    segment_end_i <= '1' when ((tseg1_end_req_valid = '1' and h_sync_valid_i = '0') or 
298:                               tseg2_end_req_valid = '1' or 
299:                               (h_sync_valid_i = '1' and is_tseg2 = '1')) 

Evaluated toCountThreshold
BinTrue682960881
BinFalse228797311

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

309:    bt_ctr_clear_i <= '1' when (segment_end_i = '1' or h_sync_valid_i = '1'
Evaluated toCountThreshold
BinTrue228474311
BinFalse228162021

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:

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

Port:

 H_SYNC_EDGE_VALID
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 EXIT_SEGM_REQ_NBT
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 EXIT_SEGM_REQ_DBT
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

Port:

 TQ_EDGE_NBT
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TQ_EDGE_DBT
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Covered toggles:

Port:

 SEGM_END
FromToCountThreshold
Bin01227789181
Bin10227805191

Port:

 H_SYNC_VALID
FromToCountThreshold
Bin01565871
Bin10581881

Port:

 BT_CTR_CLEAR
FromToCountThreshold
Bin01228130001
Bin10228146011

Signal:

 REQ_INPUT
ElementFromToCountThreshold
Bin(2)01136343881
Bin(2)10356473711
Bin(1)01165499491
Bin(1)10327318101

Signal:

 SEGM_END_REQ_CAPT_D
ElementFromToCountThreshold
Bin(2)01101970941
Bin(2)10356595811
Bin(1)01131768811
Bin(1)10326797941

Signal:

 SEGM_END_REQ_CAPT_Q
ElementFromToCountThreshold
Bin(2)0133994771
Bin(2)10112835681
Bin(1)0141474431
Bin(1)10105356021

Signal:

 SEGM_END_REQ_CAPT_CE
ElementFromToCountThreshold
Bin(2)01326686001
Bin(2)10356584361
Bin(1)01356483871
Bin(1)10326786491

Signal:

 SEGM_END_REQ_CAPT_CLR
ElementFromToCountThreshold
Bin(2)01227789181
Bin(2)10227805191
Bin(1)01227789181
Bin(1)10227805191

Signal:

 SEGM_END_REQ_CAPT_DQ
ElementFromToCountThreshold
Bin(2)01136341201
Bin(2)10356433471
Bin(1)01165495071
Bin(1)10327279601

Signal:

 SEGM_END_NBT_VALID
FromToCountThreshold
Bin01130365381
Bin10130381391

Signal:

 SEGM_END_DBT_VALID
FromToCountThreshold
Bin0197334621
Bin1097350631

Signal:

 SEGM_END_NBT_DBT_VALID
FromToCountThreshold
Bin01227700001
Bin10227716011

Signal:

 TSEG1_END_REQ_VALID
FromToCountThreshold
Bin01227695801
Bin10227711811

Signal:

 TSEG2_END_REQ_VALID
FromToCountThreshold
Bin01227570061
Bin10227586071

Signal:

 H_SYNC_VALID_I
FromToCountThreshold
Bin01565871
Bin10581881

Signal:

 SEGMENT_END_I
FromToCountThreshold
Bin01227789181
Bin10227805191

Signal:

 NBT_TQ_ACTIVE
FromToCountThreshold
Bin01769917741
Bin10769933721

Signal:

 DBT_TQ_ACTIVE
FromToCountThreshold
Bin01337099811
Bin10337115821

Signal:

 BT_CTR_CLEAR_I
FromToCountThreshold
Bin01228130001
Bin10228146011

Uncovered expressions:

Excluded expressions:

"and" expression on lines 244 to 245:

 tq_edge_dbt = '1' and (sp_control = DATA_SAMPLE or sp_control = SECONDARY_SAMPLE) 
 <------LHS------>      <--------------------------RHS-------------------------->  

LHSRHSCountThresholdExcluded due to
BinFalseTrue01Unreachable

"or" expression on lines 244 to 245:

 sp_control = DATA_SAMPLE or sp_control = SECONDARY_SAMPLE 
 <---------LHS---------->    <------------RHS------------> 

LHSRHSCountThresholdExcluded due to
BinTrueFalse01Unreachable

Covered expressions:

"=" expression on line 229:

 is_tseg1 = '1' 
Evaluated toCountThreshold
BinFalse352757941
BinTrue286527171

"or" expression on line 231:

 req_input(1) or segm_end_req_capt_q(1) 
 <---LHS---->    <--------RHS---------> 

LHSRHSCountThreshold
Bin'0''0'147331961
Bin'0''1'11551
Bin'1''0'184929031

"=" expression on line 233:

 is_tseg1 = '1' 
Evaluated toCountThreshold
BinFalse246701211
BinTrue246866421

"or" expression on line 235:

 req_input(2) or segm_end_req_capt_q(2) 
 <---LHS---->    <--------RHS---------> 

LHSRHSCountThreshold
Bin'0''0'113893451
Bin'0''1'17181
Bin'1''0'116193521

"and" expression on line 240:

 sp_control = NOMINAL_SAMPLE and tq_edge_nbt = '1' 
 <-----------LHS----------->     <------RHS------> 

LHSRHSCountThreshold
BinFalseTrue219651861
BinTrueFalse769919891
BinTrueTrue769917741

"=" expression on line 240:

 tq_edge_nbt = '1' 
Evaluated toCountThreshold
BinFalse989588221
BinTrue989569601

"and" expression on lines 244 to 245:

 tq_edge_dbt = '1' and (sp_control = DATA_SAMPLE or sp_control = SECONDARY_SAMPLE) 
 <------LHS------>      <--------------------------RHS-------------------------->  

LHSRHSCountThreshold
BinTrueFalse9336551
BinTrueTrue337111571

"=" expression on line 244:

 tq_edge_dbt = '1' 
Evaluated toCountThreshold
BinFalse346143251
BinTrue346448121

"or" expression on lines 244 to 245:

 sp_control = DATA_SAMPLE or sp_control = SECONDARY_SAMPLE 
 <---------LHS---------->    <------------RHS------------> 

LHSRHSCountThreshold
BinFalseFalse9336551
BinFalseTrue8961081

"and" expression on line 254:

 segm_end_req_capt_dq(1) = '1' and nbt_tq_active = '1' 
 <------------LHS------------>     <-------RHS-------> 

LHSRHSCountThreshold
BinFalseTrue819828421
BinTrueFalse114783681
BinTrueTrue130365381

"=" expression on line 254:

 segm_end_req_capt_dq(1) = '1' 
Evaluated toCountThreshold
BinFalse1624123121
BinTrue245149061

"=" expression on line 254:

 nbt_tq_active = '1' 
Evaluated toCountThreshold
BinFalse919078381
BinTrue950193801

"and" expression on line 259:

 segm_end_req_capt_dq(2) = '1' and dbt_tq_active = '1' 
 <------------LHS------------>     <-------RHS-------> 

LHSRHSCountThreshold
BinFalseTrue372317331
BinTrueFalse64529771
BinTrueTrue97334621

"=" expression on line 259:

 segm_end_req_capt_dq(2) = '1' 
Evaluated toCountThreshold
BinFalse711903121
BinTrue161864391

"=" expression on line 259:

 dbt_tq_active = '1' 
Evaluated toCountThreshold
BinFalse404115561
BinTrue469651951

"or" expression on line 264:

 segm_end_nbt_valid = '1' or segm_end_dbt_valid = '1' 
 <---------LHS---------->    <---------RHS----------> 

LHSRHSCountThreshold
BinFalseFalse227732021
BinFalseTrue97334621
BinTrueFalse130365381

"=" expression on line 264:

 segm_end_nbt_valid = '1' 
Evaluated toCountThreshold
BinFalse325066641
BinTrue130365381

"=" expression on line 264:

 segm_end_dbt_valid = '1' 
Evaluated toCountThreshold
BinFalse358097401
BinTrue97334621

"and" expression on line 272:

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

LHSRHSCountThreshold
BinFalseTrue227573211
BinTrueFalse114012051
BinTrueTrue227695801

"=" expression on line 272:

 is_tseg1 = '1' 
Evaluated toCountThreshold
BinFalse341478581
BinTrue341707851

"=" expression on line 272:

 segm_end_nbt_dbt_valid = '1' 
Evaluated toCountThreshold
BinFalse227917421
BinTrue455269011

"and" expression on line 276:

 is_tseg2 = '1' and segm_end_nbt_dbt_valid = '1' 
 <----LHS----->     <-----------RHS------------> 

LHSRHSCountThreshold
BinFalseTrue227700061
BinTrueFalse113822161
BinTrueTrue227570061

"=" expression on line 276:

 is_tseg2 = '1' 
Evaluated toCountThreshold
BinFalse341684231
BinTrue341392221

"=" expression on line 276:

 segm_end_nbt_dbt_valid = '1' 
Evaluated toCountThreshold
BinFalse227806331
BinTrue455270121

"and" expression on line 284:

 (h_sync_edge_valid = '1') and (nbt_tq_active = '1') 
  <---------LHS--------->       <-------RHS------->  

LHSRHSCountThreshold
BinFalseTrue770433641
BinTrueFalse49971
BinTrueTrue565871

"=" expression on line 284:

 h_sync_edge_valid = '1' 
Evaluated toCountThreshold
BinFalse1540383371
BinTrue615841

"=" expression on line 284:

 nbt_tq_active = '1' 
Evaluated toCountThreshold
BinFalse769999701
BinTrue770999511

"or" expression on lines 297 to 299:

 (tseg1_end_req_valid = '1' and h_sync_valid_i = '0') or tseg2_end_req_valid = '1' or (h_sync_valid_i = '1' and is_tseg2 = '1') 
 <--------------------------------------LHS-------------------------------------->     <-----------------RHS----------------->  

LHSRHSCountThreshold
BinFalseFalse228797311
BinFalseTrue77741
BinTrueFalse682857461

"or" expression on lines 297 to 298:

 (tseg1_end_req_valid = '1' and h_sync_valid_i = '0') or tseg2_end_req_valid = '1' 
  <----------------------LHS----------------------->     <----------RHS----------> 

LHSRHSCountThreshold
BinFalseFalse228875051
BinFalseTrue341336721
BinTrueFalse341546421

"and" expression on line 297:

 tseg1_end_req_valid = '1' and h_sync_valid_i = '0' 
 <----------LHS---------->     <-------RHS--------> 

LHSRHSCountThreshold
BinFalseTrue569419931
BinTrueFalse145081
BinTrueTrue341546421

"=" expression on line 297:

 tseg1_end_req_valid = '1' 
Evaluated toCountThreshold
BinFalse570066691
BinTrue341691501

"=" expression on line 297:

 h_sync_valid_i = '0' 
Evaluated toCountThreshold
BinFalse791841
BinTrue910966351

"=" expression on line 298:

 tseg2_end_req_valid = '1' 
Evaluated toCountThreshold
BinFalse570421471
BinTrue341336721

"and" expression on line 299:

 h_sync_valid_i = '1' and is_tseg2 = '1' 
 <-------LHS-------->     <----RHS-----> 

LHSRHSCountThreshold
BinFalseTrue455207731
BinTrueFalse672411
BinTrueTrue103421

"=" expression on line 299:

 h_sync_valid_i = '1' 
Evaluated toCountThreshold
BinFalse910982361
BinTrue775831

"=" expression on line 299:

 is_tseg2 = '1' 
Evaluated toCountThreshold
BinFalse456447041
BinTrue455311151

"or" expression on line 309:

 segment_end_i = '1' or h_sync_valid_i = '1' 
 <-------LHS------->    <-------RHS--------> 

LHSRHSCountThreshold
BinFalseFalse228162021
BinFalseTrue524251
BinTrueFalse227734021

"=" expression on line 309:

 segment_end_i = '1' 
Evaluated toCountThreshold
BinFalse228686271
BinTrue227950061

"=" expression on line 309:

 h_sync_valid_i = '1' 
Evaluated toCountThreshold
BinFalse455896041
BinTrue740291

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: