NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_BTL_TOP

File:  /__w/CTU-CAN-FD/CTU-CAN-FD/src/ctu_can_fd_top.vhd

Nested Instances Statement Branch Toggle Expression FSM state Functional Average
I_BTL_CFG_CAPTURE 100.0 % (25/25) 100.0 % (14/14) 100.0 % (270/270) 100.0 % (20/20) N.A. N.A. 100.0 % (329/329)
I_BTL_SYNCHRONISATION_CHECKER 100.0 % (27/27) 100.0 % (24/24) 100.0 % (34/34) 100.0 % (68/68) N.A. N.A. 100.0 % (153/153)
I_BTL_SEGMENT_METER_NBT 100.0 % (66/66) 100.0 % (48/48) 100.0 % (96/96) 100.0 % (161/161) N.A. N.A. 100.0 % (371/371)
I_BTL_COUNTERS_NBT 100.0 % (23/23) 100.0 % (20/20) 100.0 % (114/114) 100.0 % (29/29) N.A. N.A. 100.0 % (186/186)
I_BTL_SEGMENT_METER_DBT 100.0 % (66/66) 100.0 % (48/48) 100.0 % (90/90) 100.0 % (161/161) N.A. N.A. 100.0 % (365/365)
I_BTL_COUNTERS_DBT 100.0 % (23/23) 100.0 % (20/20) 100.0 % (108/108) 100.0 % (29/29) N.A. N.A. 100.0 % (180/180)
I_BTL_SEGMENT_END_DETECTOR 100.0 % (63/63) 100.0 % (44/44) 100.0 % (72/72) 99.1 % (119/120) N.A. N.A. 99.6 % (298/299)
I_BTL_FSM 100.0 % (29/29) 100.0 % (26/26) 100.0 % (18/18) 100.0 % (18/18) 100.0 % (6/6) N.A. 100.0 % (97/97)
I_BTL_TRIGGER_GENERATOR 100.0 % (16/16) 100.0 % (14/14) 100.0 % (22/22) 100.0 % (18/18) N.A. N.A. 100.0 % (70/70)

Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_BTL_TOP 100.0 % (3/3) 100.0 % (2/2) 100.0 % (314/314) N.A. N.A. N.A. 100.0 % (319/319)

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 474 to 475:

474:    tq_edge <= tq_edge_nbt when (sp_control = NOMINAL_SAMPLE) else 
475:               tq_edge_dbt; 

Count: 239868553
Threshold: 1

Signal assignment statement on line 474:

474:    tq_edge <= tq_edge_nbt when (sp_control = NOMINAL_SAMPLE) else 
Count: 155473203
Threshold: 1

Signal assignment statement on line 475:

475:               tq_edge_dbt
Count: 84395350
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

474:    tq_edge <= tq_edge_nbt when (sp_control = NOMINAL_SAMPLE) else 
Evaluated toCountThreshold
BinTrue1554732031
BinFalse843953501

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:

 MR_SETTINGS_ENA
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_BTR_PROP
ElementFromToCountThresholdExcluded due to
Bin(6)0101Exclude file
Bin(6)1001Exclude file
Bin(5)0101Exclude file
Bin(5)1001Exclude file
Bin(4)0101Exclude file
Bin(4)1001Exclude file
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 MR_BTR_PH1
ElementFromToCountThresholdExcluded due to
Bin(5)0101Exclude file
Bin(5)1001Exclude file
Bin(4)0101Exclude file
Bin(4)1001Exclude file
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 MR_BTR_PH2
ElementFromToCountThresholdExcluded due to
Bin(5)0101Exclude file
Bin(5)1001Exclude file
Bin(4)0101Exclude file
Bin(4)1001Exclude file
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 MR_BTR_BRP
ElementFromToCountThresholdExcluded due to
Bin(7)0101Exclude file
Bin(7)1001Exclude file
Bin(6)0101Exclude file
Bin(6)1001Exclude file
Bin(5)0101Exclude file
Bin(5)1001Exclude file
Bin(4)0101Exclude file
Bin(4)1001Exclude file
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 MR_BTR_SJW
ElementFromToCountThresholdExcluded due to
Bin(4)0101Exclude file
Bin(4)1001Exclude file
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 MR_BTR_FD_PROP_FD
ElementFromToCountThresholdExcluded due to
Bin(5)0101Exclude file
Bin(5)1001Exclude file
Bin(4)0101Exclude file
Bin(4)1001Exclude file
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 MR_BTR_FD_PH1_FD
ElementFromToCountThresholdExcluded due to
Bin(4)0101Exclude file
Bin(4)1001Exclude file
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 MR_BTR_FD_PH2_FD
ElementFromToCountThresholdExcluded due to
Bin(4)0101Exclude file
Bin(4)1001Exclude file
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 MR_BTR_FD_BRP_FD
ElementFromToCountThresholdExcluded due to
Bin(7)0101Exclude file
Bin(7)1001Exclude file
Bin(6)0101Exclude file
Bin(6)1001Exclude file
Bin(5)0101Exclude file
Bin(5)1001Exclude file
Bin(4)0101Exclude file
Bin(4)1001Exclude file
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 MR_BTR_FD_SJW_FD
ElementFromToCountThresholdExcluded due to
Bin(4)0101Exclude file
Bin(4)1001Exclude file
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
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:

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

Port:

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

Port:

 NO_POS_RESYNC
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 NBT_CTRS_EN
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 DBT_CTRS_EN
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Covered toggles:

Port:

 RX_TRIGGERS
ElementFromToCountThreshold
Bin(1)01342832701
Bin(1)10342864721
Bin(0)01228464181
Bin(0)10457217231

Port:

 TX_TRIGGER
FromToCountThreshold
Bin01114320381
Bin10114336361

Port:

 TQ_EDGE
FromToCountThreshold
Bin011116382381
Bin101116398341

Signal:

 TSEG1_NBT
ElementFromToCountThreshold
Bin(7)014591
Bin(7)1020581
Bin(6)0116871
Bin(6)1032881
Bin(5)018081
Bin(5)1024071
Bin(4)019341
Bin(4)1025331
Bin(3)0159791
Bin(3)1043791
Bin(2)0141921
Bin(2)1057831
Bin(1)0110661
Bin(1)1026641
Bin(0)0137611
Bin(0)1021601

Signal:

 TSEG2_NBT
ElementFromToCountThreshold
Bin(5)012061
Bin(5)1018051
Bin(4)013461
Bin(4)1019441
Bin(3)013151
Bin(3)1019141
Bin(2)0138741
Bin(2)1022751
Bin(1)0134121
Bin(1)1050031
Bin(0)0121581
Bin(0)105571

Signal:

 BRP_NBT
ElementFromToCountThreshold
Bin(7)01141
Bin(7)1016151
Bin(6)01121
Bin(6)1016131
Bin(5)01121
Bin(5)1016131
Bin(4)01161
Bin(4)1016171
Bin(3)0148311
Bin(3)1032421
Bin(2)019291
Bin(2)1025231
Bin(1)0147621
Bin(1)1031701
Bin(0)0123161
Bin(0)1039141

Signal:

 SJW_NBT
ElementFromToCountThreshold
Bin(4)012091
Bin(4)1018071
Bin(3)012661
Bin(3)1018641
Bin(2)019651
Bin(2)1025631
Bin(1)0126231
Bin(1)1010311
Bin(0)0131161
Bin(0)1047141

Signal:

 TSEG1_DBT
ElementFromToCountThreshold
Bin(6)0123351
Bin(6)1039341
Bin(5)012651
Bin(5)1018661
Bin(4)0124071
Bin(4)1040061
Bin(3)0136481
Bin(3)1052381
Bin(2)0143991
Bin(2)1027981
Bin(1)0132721
Bin(1)1016801
Bin(0)0120801
Bin(0)104791

Signal:

 TSEG2_DBT
ElementFromToCountThreshold
Bin(4)012811
Bin(4)1018801
Bin(3)013171
Bin(3)1019161
Bin(2)0112091
Bin(2)1027991
Bin(1)0117251
Bin(1)101251
Bin(0)0138681
Bin(0)1022671

Signal:

 BRP_DBT
ElementFromToCountThreshold
Bin(7)01181
Bin(7)1016191
Bin(6)01301
Bin(6)1016311
Bin(5)01171
Bin(5)1016181
Bin(4)01271
Bin(4)1016281
Bin(3)01281
Bin(3)1016291
Bin(2)0148431
Bin(2)1032541
Bin(1)017641
Bin(1)1023631
Bin(0)0125981
Bin(0)1041891

Signal:

 SJW_DBT
ElementFromToCountThreshold
Bin(4)012381
Bin(4)1018361
Bin(3)012821
Bin(3)1018801
Bin(2)019241
Bin(2)1025221
Bin(1)0125571
Bin(1)109651
Bin(0)019591
Bin(0)1025571

Signal:

 SEGMENT_END
FromToCountThreshold
Bin01228604741
Bin10228620731

Signal:

 H_SYNC_VALID
FromToCountThreshold
Bin01549101
Bin10565111

Signal:

 IS_TSEG1
FromToCountThreshold
Bin01114295151
Bin10114295061

Signal:

 IS_TSEG2
FromToCountThreshold
Bin01114231971
Bin10114247961

Signal:

 RESYNC_EDGE_VALID
FromToCountThreshold
Bin018042031
Bin108058041

Signal:

 H_SYNC_EDGE_VALID
FromToCountThreshold
Bin01549111
Bin10565121

Signal:

 SEGM_COUNTER_NBT
ElementFromToCountThreshold
Bin(7)015753521
Bin(7)105769531
Bin(6)019268881
Bin(6)109284881
Bin(5)0132407381
Bin(5)1032423391
Bin(4)0169800131
Bin(4)1069816131
Bin(3)01155228801
Bin(3)10155244781
Bin(2)01379115541
Bin(2)10379131541
Bin(1)01794938211
Bin(1)10794954161
Bin(0)011522483901
Bin(0)101522499881

Signal:

 SEGM_COUNTER_DBT
ElementFromToCountThreshold
Bin(6)011423201
Bin(6)101439211
Bin(5)012483871
Bin(5)102499881
Bin(4)017985521
Bin(4)108001531
Bin(3)0145187481
Bin(3)1045203491
Bin(2)01120108081
Bin(2)10120124091
Bin(1)01229101541
Bin(1)10229117551
Bin(0)01426138541
Bin(0)10426154541

Signal:

 EXIT_SEGM_REQ_NBT
FromToCountThreshold
Bin01165175131
Bin10165191121

Signal:

 EXIT_SEGM_REQ_DBT
FromToCountThreshold
Bin01100324641
Bin10100340651

Signal:

 TQ_EDGE_NBT
FromToCountThreshold
Bin01992638341
Bin10992654301

Signal:

 TQ_EDGE_DBT
FromToCountThreshold
Bin01353051121
Bin10353067021

Signal:

 RX_TRIG_REQ
FromToCountThreshold
Bin01228600611
Bin10228616621

Signal:

 TX_TRIG_REQ
FromToCountThreshold
Bin01228543761
Bin10228559741

Signal:

 START_EDGE
FromToCountThreshold
Bin0164821
Bin1080831

Signal:

 BT_CTR_CLEAR
FromToCountThreshold
Bin01228939991
Bin10228955981

Uncovered expressions:

Excluded expressions:

Covered expressions:

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: