NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.BUS_SAMPLING_INST

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

Nested Instances Statement Branch Toggle Expression FSM state Functional Average
CAN_RX_SIG_SYNC_INST 100.0 % (5/5) 100.0 % (4/4) 100.0 % (10/10) 100.0 % (2/2) N.A. N.A. 100.0 % (21/21)
TRV_DELAY_MEASUREMENT_INST 100.0 % (42/42) 100.0 % (37/37) 100.0 % (190/190) 100.0 % (32/32) N.A. N.A. 100.0 % (301/301)
DATA_EDGE_DETECTOR_INST 100.0 % (19/19) 100.0 % (12/12) 100.0 % (28/28) 100.0 % (35/35) N.A. N.A. 100.0 % (94/94)
SHIFT_REGS_RST_REG_INST 100.0 % (6/6) 100.0 % (6/6) 100.0 % (28/28) 100.0 % (2/2) N.A. N.A. 100.0 % (42/42)
TX_TRIGGER_REG_INST 100.0 % (3/3) 100.0 % (4/4) 100.0 % (8/8) 100.0 % (2/2) N.A. N.A. 100.0 % (17/17)
SSP_GENERATOR_INST 100.0 % (55/55) 100.0 % (56/56) 100.0 % (262/262) 100.0 % (65/65) N.A. N.A. 100.0 % (438/438)
TX_DATA_CACHE_INST 100.0 % (15/15) 100.0 % (18/18) 100.0 % (60/60) 100.0 % (12/12) N.A. N.A. 100.0 % (105/105)
BIT_ERR_DETECTOR_INST 100.0 % (25/25) 100.0 % (24/24) 100.0 % (38/38) 100.0 % (56/56) N.A. N.A. 100.0 % (143/143)
SAMPLE_MUX_INST 100.0 % (11/11) 100.0 % (10/10) 100.0 % (24/24) 100.0 % (6/6) N.A. N.A. 100.0 % (51/51)

Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.BUS_SAMPLING_INST 100.0 % (11/11) 100.0 % (6/6) 100.0 % (118/118) 100.0 % (7/7) N.A. N.A. 100.0 % (142/142)

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 313 to 314:

313:    shift_regs_res_d <= '0' when (ssp_reset = '1') else 
314:                        '1'; 

Count: 69514
Threshold: 1

Signal assignment statement on line 313:

313:    shift_regs_res_d <= '0' when (ssp_reset = '1') else 
Count: 33156
Threshold: 1

Signal assignment statement on line 314:

314:                        '1'
Count: 36358
Threshold: 1

If statement on lines 378 to 379:

378:    ssp_enable <= '1' when (sp_control = SECONDARY_SAMPLE) else 
379:                  '0'; 

Count: 59768
Threshold: 1

Signal assignment statement on line 378:

378:    ssp_enable <= '1' when (sp_control = SECONDARY_SAMPLE) else 
Count: 3434
Threshold: 1

Signal assignment statement on line 379:

379:                  '0'
Count: 56334
Threshold: 1

If statement on lines 386 to 388:

386:    tx_trigger_ssp <= '1' when (tx_trigger_q = '1' and sp_control = SECONDARY_SAMPLE) 
387:                          else 
388:                      '0'; 

Count: 22835256
Threshold: 1

Signal assignment statement on line 386:

386:    tx_trigger_ssp <= '1' when (tx_trigger_q = '1' and sp_control = SECONDARY_SAMPLE) 
Count: 159398
Threshold: 1

Signal assignment statement on line 388:

388:                      '0'
Count: 22675858
Threshold: 1

Signal assignment statement on line 448:

448:    can_tx      <= tx_data_wbs
Count: 1267598
Threshold: 1

Signal assignment statement on line 451:

451:    rx_data_wbs <= data_rx_synced
Count: 2805057
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

313:    shift_regs_res_d <= '0' when (ssp_reset = '1') else 
Evaluated toCountThreshold
BinTrue331561
BinFalse363581

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

378:    ssp_enable <= '1' when (sp_control = SECONDARY_SAMPLE) else 
Evaluated toCountThreshold
BinTrue34341
BinFalse563341

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

386:    tx_trigger_ssp <= '1' when (tx_trigger_q = '1' and sp_control = SECONDARY_SAMPLE
Evaluated toCountThreshold
BinTrue1593981
BinFalse226758581

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:

 SCAN_ENABLE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 CAN_RX
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_SETTINGS_ENA
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_SSP_CFG_SSP_OFFSET
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_SSP_CFG_SSP_SRC
ElementFromToCountThresholdExcluded due to
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 RX_TRIGGER
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TX_TRIGGER
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TQ_EDGE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TX_DATA_WBS
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:

 SSP_RESET
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TRAN_DELAY_MEAS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 BTMC_RESET
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 DBT_MEASURE_START
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 GEN_FIRST_SSP
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 BIT_ERR_ENABLE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Covered toggles:

Port:

 CAN_TX
FromToCountThreshold
Bin016337971
Bin106322001

Port:

 TRV_DELAY
ElementFromToCountThreshold
Bin(7)01191
Bin(7)1016201
Bin(6)01401
Bin(6)1016411
Bin(5)01731
Bin(5)1016741
Bin(4)01861
Bin(4)1016871
Bin(3)01751
Bin(3)1016761
Bin(2)01791
Bin(2)1016801
Bin(1)0121451
Bin(1)1037461
Bin(0)01561
Bin(0)1016571

Port:

 SYNC_EDGE
FromToCountThreshold
Bin0115551921
Bin1015567931

Port:

 RX_DATA_WBS
FromToCountThreshold
Bin0114025281
Bin1014009281

Port:

 BIT_ERR
FromToCountThreshold
Bin0197851
Bin10113861

Signal:

 DATA_RX_SYNCED
FromToCountThreshold
Bin0114025281
Bin1014009281

Signal:

 PREV_SAMPLE
FromToCountThreshold
Bin0113922251
Bin1013906241

Signal:

 SAMPLE_SEC
FromToCountThreshold
Bin011601811
Bin101617821

Signal:

 DATA_TX_DELAYED
FromToCountThreshold
Bin01818931
Bin10802921

Signal:

 EDGE_RX_VALID
FromToCountThreshold
Bin0114009281
Bin1014025281

Signal:

 EDGE_TX_VALID
FromToCountThreshold
Bin016338281
Bin106354291

Signal:

 SSP_DELAY
ElementFromToCountThreshold
Bin(8)01121
Bin(8)1016131
Bin(7)01311
Bin(7)1016321
Bin(6)01431
Bin(6)1016441
Bin(5)01651
Bin(5)1016661
Bin(4)01581
Bin(4)1016591
Bin(3)012671
Bin(3)1018681
Bin(2)019341
Bin(2)1025351
Bin(1)012411
Bin(1)1018421
Bin(0)019071
Bin(0)1025081

Signal:

 TX_TRIGGER_Q
FromToCountThreshold
Bin01113869441
Bin10113885441

Signal:

 TX_TRIGGER_SSP
FromToCountThreshold
Bin011593981
Bin101609991

Signal:

 SHIFT_REGS_RES_D
FromToCountThreshold
Bin01347571
Bin10331561

Signal:

 SHIFT_REGS_RES_Q_SCAN
FromToCountThreshold
Bin01412381
Bin10412271

Signal:

 SSP_ENABLE
FromToCountThreshold
Bin0134341
Bin1050351

Uncovered expressions:

Excluded expressions:

"and" expression on line 386:

 tx_trigger_q = '1' and sp_control = SECONDARY_SAMPLE 
 <------LHS------->     <------------RHS------------> 

LHSRHSCountThresholdExcluded due to
BinFalseTrue01Unreachable

Covered expressions:

"=" expression on line 313:

 ssp_reset = '1' 
Evaluated toCountThreshold
BinFalse363581
BinTrue331561

"and" expression on line 386:

 tx_trigger_q = '1' and sp_control = SECONDARY_SAMPLE 
 <------LHS------->     <------------RHS------------> 

LHSRHSCountThreshold
BinTrueFalse112275461
BinTrueTrue1593981

"=" expression on line 386:

 tx_trigger_q = '1' 
Evaluated toCountThreshold
BinFalse114483121
BinTrue113869441

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: