NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_BTL_TOP.I_BTL_SEGMENT_END_DETECTOR

File:  /__w/CTU-CAN-FD/CTU-CAN-FD/src/bit_timing_logic/btl_top.vhd

Nested Instances Statement Branch Toggle Expression FSM state Functional Average
G_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)
G_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.I_DUT.I_BTL_TOP.I_BTL_SEGMENT_END_DETECTOR 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: 33038226
Threshold: 1

Signal assignment statement on line 184:

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

Signal assignment statement on line 191:

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

Signal assignment statement on line 192:

192:    segm_end_req_capt_clr(2) <= segment_end_i
Count: 45724148
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: 64174526
Threshold: 1

Signal assignment statement on line 229:

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

Signal assignment statement on line 231:

231:                               req_input(1) or segm_end_req_capt_q(1)
Count: 35418444
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: 49660052
Threshold: 1

Signal assignment statement on line 233:

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

Signal assignment statement on line 235:

235:                               req_input(2) or segm_end_req_capt_q(2)
Count: 24820083
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: 198587784
Threshold: 1

Signal assignment statement on line 240:

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

Signal assignment statement on line 242:

242:                     '0'
Count: 121325968
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: 70670334
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: 34403342
Threshold: 1

Signal assignment statement on line 247:

247:                     '0'
Count: 36266992
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: 187561141
Threshold: 1

Signal assignment statement on line 254:

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

Signal assignment statement on line 256:

256:        '0'
Count: 174499912
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: 88869047
Threshold: 1

Signal assignment statement on line 259:

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

Signal assignment statement on line 261:

261:        '0'
Count: 79078248
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: 45707256
Threshold: 1

Signal assignment statement on line 264:

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

Signal assignment statement on line 266:

266:        '0'
Count: 22855228
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: 68564676
Threshold: 1

Signal assignment statement on line 272:

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

Signal assignment statement on line 273:

273:        '0'
Count: 45713061
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: 68553648
Threshold: 1

Signal assignment statement on line 276:

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

Signal assignment statement on line 278:

278:        '0'
Count: 45714536
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: 154636650
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: 54910
Threshold: 1

Signal assignment statement on line 286:

286:                      '0'
Count: 154581740
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: 91500594
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: 68541811
Threshold: 1

Signal assignment statement on line 301:

301:                     '0'
Count: 22958783
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: 45823896
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: 22926697
Threshold: 1

Signal assignment statement on line 311:

311:                      '0'
Count: 22897199
Threshold: 1

Signal assignment statement on line 313:

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

Signal assignment statement on line 314:

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

Signal assignment statement on line 315:

315:    h_sync_valid    <= h_sync_valid_i
Count: 113022
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
BinTrue287560821
BinFalse354184441

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

233:    segm_end_req_capt_dq(2) <= req_input(2) when (is_tseg1 = '1'
Evaluated toCountThreshold
BinTrue248399691
BinFalse248200831

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

240:    nbt_tq_active <= '1' when (sp_control = NOMINAL_SAMPLE and tq_edge_nbt = '1'
Evaluated toCountThreshold
BinTrue772618161
BinFalse1213259681

"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
BinTrue344033421
BinFalse362669921

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

254:        '1' when (segm_end_req_capt_dq(1) = '1' and nbt_tq_active = '1'
Evaluated toCountThreshold
BinTrue130612291
BinFalse1744999121

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

259:        '1' when (segm_end_req_capt_dq(2) = '1' and dbt_tq_active = '1'
Evaluated toCountThreshold
BinTrue97907991
BinFalse790782481

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

264:        '1' when (segm_end_nbt_valid = '1' or segm_end_dbt_valid = '1'
Evaluated toCountThreshold
BinTrue228520281
BinFalse228552281

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

272:        '1' when (is_tseg1 = '1' and segm_end_nbt_dbt_valid = '1') else 
Evaluated toCountThreshold
BinTrue228516151
BinFalse457130611

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

276:        '1' when (is_tseg2 = '1' and segm_end_nbt_dbt_valid = '1'
Evaluated toCountThreshold
BinTrue228391121
BinFalse457145361

"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
BinTrue549101
BinFalse1545817401

"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
BinTrue685418111
BinFalse229587831

"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
BinTrue229266971
BinFalse228971991

Uncovered toggles:

Excluded toggles:

Port:

 CLK_SYS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 RST_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
Bin01228604741
Bin10228620731

Port:

 H_SYNC_VALID
FromToCountThreshold
Bin01549101
Bin10565111

Port:

 BT_CTR_CLEAR
FromToCountThreshold
Bin01228939991
Bin10228955981

Signal:

 REQ_INPUT
ElementFromToCountThreshold
Bin(2)01137110281
Bin(2)10357542881
Bin(1)01166006791
Bin(1)10328646371

Signal:

 SEGM_END_REQ_CAPT_D
ElementFromToCountThreshold
Bin(2)01102540021
Bin(2)10357700351
Bin(1)01132088451
Bin(1)10328151921

Signal:

 SEGM_END_REQ_CAPT_Q
ElementFromToCountThreshold
Bin(2)0134578881
Bin(2)10114024791
Bin(1)0141859521
Bin(1)10106744151

Signal:

 SEGM_END_REQ_CAPT_CE
ElementFromToCountThreshold
Bin(2)01328035251
Bin(2)10357654691
Bin(1)01357583681
Bin(1)10328106261

Signal:

 SEGM_END_REQ_CAPT_CLR
ElementFromToCountThreshold
Bin(2)01228604741
Bin(2)10228620731
Bin(1)01228604741
Bin(1)10228620731

Signal:

 SEGM_END_REQ_CAPT_DQ
ElementFromToCountThreshold
Bin(2)01137107641
Bin(2)10357502541
Bin(1)01166002421
Bin(1)10328607761

Signal:

 SEGM_END_NBT_VALID
FromToCountThreshold
Bin01130612291
Bin10130628281

Signal:

 SEGM_END_DBT_VALID
FromToCountThreshold
Bin0197907991
Bin1097924001

Signal:

 SEGM_END_NBT_DBT_VALID
FromToCountThreshold
Bin01228520281
Bin10228536271

Signal:

 TSEG1_END_REQ_VALID
FromToCountThreshold
Bin01228516151
Bin10228532161

Signal:

 TSEG2_END_REQ_VALID
FromToCountThreshold
Bin01228391121
Bin10228407111

Signal:

 H_SYNC_VALID_I
FromToCountThreshold
Bin01549101
Bin10565111

Signal:

 SEGMENT_END_I
FromToCountThreshold
Bin01228604741
Bin10228620731

Signal:

 NBT_TQ_ACTIVE
FromToCountThreshold
Bin01772618161
Bin10772634121

Signal:

 DBT_TQ_ACTIVE
FromToCountThreshold
Bin01344019821
Bin10344035831

Signal:

 BT_CTR_CLEAR_I
FromToCountThreshold
Bin01228939991
Bin10228955981

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
BinFalse354184441
BinTrue287560821

"or" expression on line 231:

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

LHSRHSCountThreshold
Bin'0''0'147919641
Bin'0''1'11551
Bin'1''0'185582981

"=" expression on line 233:

 is_tseg1 = '1' 
Evaluated toCountThreshold
BinFalse248200831
BinTrue248399691

"or" expression on line 235:

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

LHSRHSCountThreshold
Bin'0''0'114280151
Bin'0''1'17251
Bin'1''0'117020981

"and" expression on line 240:

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

LHSRHSCountThreshold
BinFalseTrue220305201
BinTrueFalse772627621
BinTrueTrue772618161

"=" expression on line 240:

 tq_edge_nbt = '1' 
Evaluated toCountThreshold
BinFalse992954481
BinTrue992923361

"and" expression on lines 244 to 245:

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

LHSRHSCountThreshold
BinTrueFalse9464911
BinTrueTrue344033421

"=" expression on line 244:

 tq_edge_dbt = '1' 
Evaluated toCountThreshold
BinFalse353205011
BinTrue353498331

"or" expression on lines 244 to 245:

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

LHSRHSCountThreshold
BinFalseFalse9464911
BinFalseTrue10462661

"and" expression on line 254:

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

LHSRHSCountThreshold
BinFalseTrue822158461
BinTrueFalse115623261
BinTrueTrue130612291

"=" expression on line 254:

 segm_end_req_capt_dq(1) = '1' 
Evaluated toCountThreshold
BinFalse1629375861
BinTrue246235551

"=" expression on line 254:

 nbt_tq_active = '1' 
Evaluated toCountThreshold
BinFalse922840661
BinTrue952770751

"and" expression on line 259:

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

LHSRHSCountThreshold
BinFalseTrue378665031
BinTrueFalse65642921
BinTrueTrue97907991

"=" expression on line 259:

 segm_end_req_capt_dq(2) = '1' 
Evaluated toCountThreshold
BinFalse725139561
BinTrue163550911

"=" expression on line 259:

 dbt_tq_active = '1' 
Evaluated toCountThreshold
BinFalse412117451
BinTrue476573021

"or" expression on line 264:

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

LHSRHSCountThreshold
BinFalseFalse228552281
BinFalseTrue97907991
BinTrueFalse130612291

"=" expression on line 264:

 segm_end_nbt_valid = '1' 
Evaluated toCountThreshold
BinFalse326460271
BinTrue130612291

"=" expression on line 264:

 segm_end_dbt_valid = '1' 
Evaluated toCountThreshold
BinFalse359164571
BinTrue97907991

"and" expression on line 272:

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

LHSRHSCountThreshold
BinFalseTrue228394311
BinTrueFalse114421121
BinTrueTrue228516151

"=" expression on line 272:

 is_tseg1 = '1' 
Evaluated toCountThreshold
BinFalse342709491
BinTrue342937271

"=" expression on line 272:

 segm_end_nbt_dbt_valid = '1' 
Evaluated toCountThreshold
BinFalse228736301
BinTrue456910461

"and" expression on line 276:

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

LHSRHSCountThreshold
BinFalseTrue228520291
BinTrueFalse114231941
BinTrueTrue228391121

"=" expression on line 276:

 is_tseg2 = '1' 
Evaluated toCountThreshold
BinFalse342913421
BinTrue342623061

"=" expression on line 276:

 segm_end_nbt_dbt_valid = '1' 
Evaluated toCountThreshold
BinFalse228625071
BinTrue456911411

"and" expression on line 284:

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

LHSRHSCountThreshold
BinFalseTrue773120571
BinTrueFalse46701
BinTrueTrue549101

"=" expression on line 284:

 h_sync_edge_valid = '1' 
Evaluated toCountThreshold
BinFalse1545770701
BinTrue595801

"=" expression on line 284:

 nbt_tq_active = '1' 
Evaluated toCountThreshold
BinFalse772696831
BinTrue773669671

"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
BinFalseFalse229587831
BinFalseTrue75851
BinTrueFalse685316871

"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
BinFalseFalse229663681
BinFalseTrue342568881
BinTrueFalse342773381

"and" expression on line 297:

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

LHSRHSCountThreshold
BinFalseTrue571466261
BinTrueFalse135071
BinTrueTrue342773381

"=" expression on line 297:

 tseg1_end_req_valid = '1' 
Evaluated toCountThreshold
BinFalse572097491
BinTrue342908451

"=" expression on line 297:

 h_sync_valid_i = '0' 
Evaluated toCountThreshold
BinFalse766301
BinTrue914239641

"=" expression on line 298:

 tseg2_end_req_valid = '1' 
Evaluated toCountThreshold
BinFalse572437061
BinTrue342568881

"and" expression on line 299:

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

LHSRHSCountThreshold
BinFalseTrue456848341
BinTrueFalse649051
BinTrueTrue101241

"=" expression on line 299:

 h_sync_valid_i = '1' 
Evaluated toCountThreshold
BinFalse914255651
BinTrue750291

"=" expression on line 299:

 is_tseg2 = '1' 
Evaluated toCountThreshold
BinFalse458056361
BinTrue456949581

"or" expression on line 309:

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

LHSRHSCountThreshold
BinFalseFalse228971991
BinFalseTrue510661
BinTrueFalse228551101

"=" expression on line 309:

 segment_end_i = '1' 
Evaluated toCountThreshold
BinFalse229482651
BinTrue228756311

"=" expression on line 309:

 h_sync_valid_i = '1' 
Evaluated toCountThreshold
BinFalse457523091
BinTrue715871

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: