NVC code coverage report

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/segment_end_detector.vhd

Sub-instances:

Instance 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. 100.0 % (13/13) N.A. N.A. 100.0 % (33/33)

Current Instance:

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 % (36/36) 100.0 % (24/24) 100.0 % (72/72) 100.0 % (94/94) N.A. N.A. 100.0 % (226/226)

Details:

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

Uncovered statements:

Excluded statements:

Covered statements:

If statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

If statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

If statement:

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

Count: 193513093
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

242:                     '0'
Count: 118821633
Threshold: 1

If statement:

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

Signal assignment statement:

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

Signal assignment statement:

247:                     '0'
Count: 36036252
Threshold: 1

If statement:

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

Signal assignment statement:

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

Signal assignment statement:

256:        '0'
Count: 168621441
Threshold: 1

If statement:

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

Signal assignment statement:

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

Signal assignment statement:

261:        '0'
Count: 78686583
Threshold: 1

If statement:

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

Signal assignment statement:

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

Signal assignment statement:

266:        '0'
Count: 22079072
Threshold: 1

If statement:

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

Count: 66236424
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

273:        '0'
Count: 44160965
Threshold: 1

If statement:

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

Count: 66225381
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

278:        '0'
Count: 44162187
Threshold: 1

If statement:

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

Count: 149496853
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

286:                      '0'
Count: 149441488
Threshold: 1

If statement:

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

Signal assignment statement:

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

Signal assignment statement:

301:                     '0'
Count: 22183082
Threshold: 1

If statement:

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

Count: 44272445
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

311:                      '0'
Count: 22121320
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

"if" / "when" / "else" condition:

229:    segm_end_req_capt_dq(1) <= req_input(1) when (is_tseg1 = '1'
Evaluated toCountThreshold
BinTrue274136511
BinFalse341085311

"if" / "when" / "else" condition:

233:    segm_end_req_capt_dq(2) <= req_input(2) when (is_tseg1 = '1'
Evaluated toCountThreshold
BinTrue244149851
BinFalse243993011

"if" / "when" / "else" condition:

240:    nbt_tq_active <= '1' when (sp_control = NOMINAL_SAMPLE and tq_edge_nbt = '1'
Evaluated toCountThreshold
BinTrue746914601
BinFalse1188216331

"if" / "when" / "else" condition:

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

Evaluated toCountThreshold
BinTrue342082971
BinFalse360362521

"if" / "when" / "else" condition:

254:        '1' when (segm_end_req_capt_dq(1) = '1' and nbt_tq_active = '1'
Evaluated toCountThreshold
BinTrue122871011
BinFalse1686214411

"if" / "when" / "else" condition:

259:        '1' when (segm_end_req_capt_dq(2) = '1' and dbt_tq_active = '1'
Evaluated toCountThreshold
BinTrue97887711
BinFalse786865831

"if" / "when" / "else" condition:

264:        '1' when (segm_end_nbt_valid = '1' or segm_end_dbt_valid = '1'
Evaluated toCountThreshold
BinTrue220758721
BinFalse220790721

"if" / "when" / "else" condition:

272:        '1' when (is_tseg1 = '1' and segm_end_nbt_dbt_valid = '1') else 
Evaluated toCountThreshold
BinTrue220754591
BinFalse441609651

"if" / "when" / "else" condition:

276:        '1' when (is_tseg2 = '1' and segm_end_nbt_dbt_valid = '1'
Evaluated toCountThreshold
BinTrue220631941
BinFalse441621871

"if" / "when" / "else" condition:

284:    h_sync_valid_i <= '1' when ((h_sync_edge_valid = '1') and (nbt_tq_active = '1')
Evaluated toCountThreshold
BinTrue553651
BinFalse1494414881

"if" / "when" / "else" condition:

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
BinTrue662141961
BinFalse221830821

"if" / "when" / "else" condition:

309:    bt_ctr_clear_i <= '1' when (segment_end_i = '1' or h_sync_valid_i = '1'
Evaluated toCountThreshold
BinTrue221511251
BinFalse221213201

Uncovered toggles:

Excluded toggles:

Covered toggles:

Port:

 CLK_SYS
FromToCountThreshold
Bin015275788691
Bin105275804601

Port:

 RES_N
FromToCountThreshold
Bin0180821
Bin1080721

Port:

 SP_CONTROL(1)
FromToCountThreshold
Bin0142061
Bin1058061

Port:

 SP_CONTROL(0)
FromToCountThreshold
Bin01255481
Bin10271481

Port:

 H_SYNC_EDGE_VALID
FromToCountThreshold
Bin01553711
Bin10569711

Port:

 EXIT_SEGM_REQ_NBT
FromToCountThreshold
Bin01157615701
Bin10157631691

Port:

 EXIT_SEGM_REQ_DBT
FromToCountThreshold
Bin01100308981
Bin10100324981

Port:

 IS_TSEG1
FromToCountThreshold
Bin01110415441
Bin10110415361

Port:

 IS_TSEG2
FromToCountThreshold
Bin01110352191
Bin10110368181

Port:

 TQ_EDGE_NBT
FromToCountThreshold
Bin01967255681
Bin10967271651

Port:

 TQ_EDGE_DBT
FromToCountThreshold
Bin01350912991
Bin10350928901

Port:

 SEGM_END
FromToCountThreshold
Bin01220844111
Bin10220860111

Port:

 H_SYNC_VALID
FromToCountThreshold
Bin01553651
Bin10569651

Port:

 BT_CTR_CLEAR
FromToCountThreshold
Bin01221181201
Bin10221197201

Signal:

 REQ_INPUT(2)
FromToCountThreshold
Bin01137226361
Bin10342114601

Signal:

 REQ_INPUT(1)
FromToCountThreshold
Bin01158456831
Bin10320884131

Signal:

 SEGM_END_REQ_CAPT_D(2)
FromToCountThreshold
Bin01102485661
Bin10342233481

Signal:

 SEGM_END_REQ_CAPT_D(1)
FromToCountThreshold
Bin01124370981
Bin10320348161

Signal:

 SEGM_END_REQ_CAPT_Q(2)
FromToCountThreshold
Bin0134236341
Bin10110063981

Signal:

 SEGM_END_REQ_CAPT_Q(1)
FromToCountThreshold
Bin0140043121
Bin10104257201

Signal:

 SEGM_END_REQ_CAPT_CE(2)
FromToCountThreshold
Bin01320229091
Bin10342217931

Signal:

 SEGM_END_REQ_CAPT_CE(1)
FromToCountThreshold
Bin01342114411
Bin10320332611

Signal:

 SEGM_END_REQ_CAPT_CLR(2)
FromToCountThreshold
Bin01220844111
Bin10220860111

Signal:

 SEGM_END_REQ_CAPT_CLR(1)
FromToCountThreshold
Bin01220844111
Bin10220860111

Signal:

 SEGM_END_REQ_CAPT_DQ(2)
FromToCountThreshold
Bin01137223731
Bin10342074531

Signal:

 SEGM_END_REQ_CAPT_DQ(1)
FromToCountThreshold
Bin01158452371
Bin10320845891

Signal:

 SEGM_END_NBT_VALID
FromToCountThreshold
Bin01122871011
Bin10122887011

Signal:

 SEGM_END_DBT_VALID
FromToCountThreshold
Bin0197887711
Bin1097903711

Signal:

 SEGM_END_NBT_DBT_VALID
FromToCountThreshold
Bin01220758721
Bin10220774721

Signal:

 TSEG1_END_REQ_VALID
FromToCountThreshold
Bin01220754591
Bin10220770591

Signal:

 TSEG2_END_REQ_VALID
FromToCountThreshold
Bin01220631941
Bin10220647941

Signal:

 H_SYNC_VALID_I
FromToCountThreshold
Bin01553651
Bin10569651

Signal:

 SEGMENT_END_I
FromToCountThreshold
Bin01220844111
Bin10220860111

Signal:

 NBT_TQ_ACTIVE
FromToCountThreshold
Bin01746914601
Bin10746930571

Signal:

 DBT_TQ_ACTIVE
FromToCountThreshold
Bin01342067711
Bin10342083711

Signal:

 BT_CTR_CLEAR_I
FromToCountThreshold
Bin01221181201
Bin10221197201

Uncovered expressions:

Excluded expressions:

"or" expression

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

LHSRHSCountThresholdExcluded due to
BinTrueFalse01Unreachable

"and" expression

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

LHSRHSCountThresholdExcluded due to
BinFalseTrue01Unreachable

Covered expressions:

"=" expression

229:    segm_end_req_capt_dq(1) <= req_input(1) when (is_tseg1 = '1'
Evaluated toCountThreshold
BinFalse341085311
BinTrue274136511

"or" expression

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

LHSRHSCountThreshold
Bin'0''0'144211641
Bin'0''1'11551
Bin'1''0'177108451

"=" expression

233:    segm_end_req_capt_dq(2) <= req_input(2) when (is_tseg1 = '1'
Evaluated toCountThreshold
BinFalse243993011
BinTrue244149851

"or" expression

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

LHSRHSCountThreshold
Bin'0''0'110425181
Bin'0''1'17001
Bin'1''0'116837871

"=" expression

240:    nbt_tq_active <= '1' when (sp_control = NOMINAL_SAMPLE and tq_edge_nbt = '1'
Evaluated toCountThreshold
BinFalse967574421
BinTrue967556511

"and" expression

240:    nbt_tq_active <= '1' when (sp_control = NOMINAL_SAMPLE and tq_edge_nbt = '1'
                                   <-----------LHS----------->     <------RHS------>  

LHSRHSCountThreshold
BinFalseTrue220641911
BinTrueFalse746918361
BinTrueTrue746914601

"=" expression

244:    dbt_tq_active <= '1' when (tq_edge_dbt = '1' and (sp_control = DATA_SAMPLE or 
Evaluated toCountThreshold
BinFalse351067101
BinTrue351378391

"or" expression

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

LHSRHSCountThreshold
BinFalseFalse9295421
BinFalseTrue10840691

"and" expression

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

LHSRHSCountThreshold
BinTrueFalse9295421
BinTrueTrue342082971

"=" expression

254:        '1' when (segm_end_req_capt_dq(1) = '1' and nbt_tq_active = '1') 
Evaluated toCountThreshold
BinFalse1574075971
BinTrue235009451

"=" expression

254:        '1' when (segm_end_req_capt_dq(1) = '1' and nbt_tq_active = '1'
Evaluated toCountThreshold
BinFalse893834111
BinTrue915251311

"and" expression

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

LHSRHSCountThreshold
BinFalseTrue792380301
BinTrueFalse112138441
BinTrueTrue122871011

"=" expression

259:        '1' when (segm_end_req_capt_dq(2) = '1' and dbt_tq_active = '1') 
Evaluated toCountThreshold
BinFalse721861141
BinTrue162892401

"=" expression

259:        '1' when (segm_end_req_capt_dq(2) = '1' and dbt_tq_active = '1'
Evaluated toCountThreshold
BinFalse409531831
BinTrue475221711

"and" expression

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

LHSRHSCountThreshold
BinFalseTrue377334001
BinTrueFalse65004691
BinTrueTrue97887711

"=" expression

264:        '1' when (segm_end_nbt_valid = '1' or segm_end_dbt_valid = '1') 
Evaluated toCountThreshold
BinFalse318678431
BinTrue122871011

"=" expression

264:        '1' when (segm_end_nbt_valid = '1' or segm_end_dbt_valid = '1'
Evaluated toCountThreshold
BinFalse343661731
BinTrue97887711

"or" expression

264:        '1' when (segm_end_nbt_valid = '1' or segm_end_dbt_valid = '1'
                      <---------LHS---------->    <---------RHS---------->  

LHSRHSCountThreshold
BinFalseFalse220790721
BinFalseTrue97887711
BinTrueFalse122871011

"=" expression

272:        '1' when (is_tseg1 = '1' and segm_end_nbt_dbt_valid = '1') else 
Evaluated toCountThreshold
BinFalse331070521
BinTrue331293721

"=" expression

272:        '1' when (is_tseg1 = '1' and segm_end_nbt_dbt_valid = '1') else 
Evaluated toCountThreshold
BinFalse220974621
BinTrue441389621

"and" expression

272:        '1' when (is_tseg1 = '1' and segm_end_nbt_dbt_valid = '1') else 
                      <----LHS----->     <-----------RHS------------>       

LHSRHSCountThreshold
BinFalseTrue220635031
BinTrueFalse110539131
BinTrueTrue220754591

"=" expression

276:        '1' when (is_tseg2 = '1' and segm_end_nbt_dbt_valid = '1') 
Evaluated toCountThreshold
BinFalse331269741
BinTrue330984071

"=" expression

276:        '1' when (is_tseg2 = '1' and segm_end_nbt_dbt_valid = '1'
Evaluated toCountThreshold
BinFalse220863091
BinTrue441390721

"and" expression

276:        '1' when (is_tseg2 = '1' and segm_end_nbt_dbt_valid = '1'
                      <----LHS----->     <-----------RHS------------>  

LHSRHSCountThreshold
BinFalseTrue220758781
BinTrueFalse110352131
BinTrueTrue220631941

"=" expression

284:    h_sync_valid_i <= '1' when ((h_sync_edge_valid = '1') and (nbt_tq_active = '1')) 
Evaluated toCountThreshold
BinFalse1494365951
BinTrue602581

"=" expression

284:    h_sync_valid_i <= '1' when ((h_sync_edge_valid = '1') and (nbt_tq_active = '1')) 
Evaluated toCountThreshold
BinFalse746995501
BinTrue747973031

"and" expression

284:    h_sync_valid_i <= '1' when ((h_sync_edge_valid = '1') and (nbt_tq_active = '1')
                                     <---------LHS--------->       <-------RHS------->   

LHSRHSCountThreshold
BinFalseTrue747419381
BinTrueFalse48931
BinTrueTrue553651

"=" expression

297:    segment_end_i <= '1' when ((tseg1_end_req_valid = '1' and h_sync_valid_i = '0') or 
Evaluated toCountThreshold
BinFalse552700701
BinTrue331272081

"=" expression

297:    segment_end_i <= '1' when ((tseg1_end_req_valid = '1' and h_sync_valid_i = '0') or 
Evaluated toCountThreshold
BinFalse771421
BinTrue883201361

"and" expression

297:    segment_end_i <= '1' when ((tseg1_end_req_valid = '1' and h_sync_valid_i = '0') or 
                                    <----------LHS---------->     <-------RHS-------->     

LHSRHSCountThreshold
BinFalseTrue552066821
BinTrueFalse137541
BinTrueTrue331134541

"=" expression

298:                               tseg2_end_req_valid = '1' or 
Evaluated toCountThreshold
BinFalse553040101
BinTrue330932681

"or" expression

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 

LHSRHSCountThreshold
BinFalseFalse221905561
BinFalseTrue330932681
BinTrueFalse331134541

"=" expression

299:                               (h_sync_valid_i = '1' and is_tseg2 = '1')) 
Evaluated toCountThreshold
BinFalse883217361
BinTrue755421

"=" expression

299:                               (h_sync_valid_i = '1' and is_tseg2 = '1')) 
Evaluated toCountThreshold
BinFalse442542051
BinTrue441430731

"and" expression

299:                               (h_sync_valid_i = '1' and is_tseg2 = '1')) 
                                    <-------LHS-------->     <----RHS----->   

LHSRHSCountThreshold
BinFalseTrue441328991
BinTrueFalse653681
BinTrueTrue101741

"or" expression

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')) 

LHSRHSCountThreshold
BinFalseFalse221830821
BinFalseTrue74741
BinTrueFalse662040221

"=" expression

309:    bt_ctr_clear_i <= '1' when (segment_end_i = '1' or h_sync_valid_i = '1') 
Evaluated toCountThreshold
BinFalse221724911
BinTrue220999541

"=" expression

309:    bt_ctr_clear_i <= '1' when (segment_end_i = '1' or h_sync_valid_i = '1'
Evaluated toCountThreshold
BinFalse442004261
BinTrue720191

"or" expression

309:    bt_ctr_clear_i <= '1' when (segment_end_i = '1' or h_sync_valid_i = '1'
                                    <-------LHS------->    <-------RHS-------->  

LHSRHSCountThreshold
BinFalseFalse221213201
BinFalseTrue511711
BinTrueFalse220791061

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: