NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_BM_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_CAN_RX_SIG_SYNC 100.0 % (5/5) 100.0 % (4/4) 100.0 % (10/10) 100.0 % (2/2) N.A. N.A. 100.0 % (21/21)
I_BM_TRV_DELAY_MEAS 100.0 % (42/42) 100.0 % (37/37) 100.0 % (190/190) 100.0 % (32/32) N.A. N.A. 100.0 % (301/301)
I_BM_DATA_EDGE_DETECTOR 100.0 % (19/19) 100.0 % (12/12) 100.0 % (28/28) 100.0 % (35/35) N.A. N.A. 100.0 % (94/94)
I_SHIFT_REGS_RST_REG 100.0 % (6/6) 100.0 % (6/6) 100.0 % (28/28) 100.0 % (2/2) N.A. N.A. 100.0 % (42/42)
I_TX_TRIGGER_REG 100.0 % (3/3) 100.0 % (4/4) 100.0 % (8/8) 100.0 % (2/2) N.A. N.A. 100.0 % (17/17)
I_BM_SSP_GENERATOR 100.0 % (55/55) 100.0 % (56/56) 100.0 % (262/262) 100.0 % (65/65) N.A. N.A. 100.0 % (438/438)
I_BM_TX_DATA_CACHE 100.0 % (15/15) 100.0 % (18/18) 100.0 % (60/60) 100.0 % (12/12) N.A. N.A. 100.0 % (105/105)
I_BM_BIT_ERR_DETECTOR 100.0 % (25/25) 100.0 % (24/24) 100.0 % (38/38) 100.0 % (56/56) N.A. N.A. 100.0 % (143/143)
I_BM_SAMPLE_MUX 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.I_DUT.I_BM_TOP 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: 68618
Threshold: 1

Signal assignment statement on line 313:

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

Signal assignment statement on line 314:

314:                        '1'
Count: 35910
Threshold: 1

If statement on lines 378 to 379:

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

Count: 58520
Threshold: 1

Signal assignment statement on line 378:

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

Signal assignment statement on line 379:

379:                  '0'
Count: 54769
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: 22915997
Threshold: 1

Signal assignment statement on line 386:

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

Signal assignment statement on line 388:

388:                      '0'
Count: 22721518
Threshold: 1

Signal assignment statement on line 448:

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

Signal assignment statement on line 451:

451:    rx_data_wbs <= data_rx_synced
Count: 2819784
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
BinTrue327081
BinFalse359101

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

378:    ssp_enable <= '1' when (sp_control = SECONDARY_SAMPLE) else 
Evaluated toCountThreshold
BinTrue37511
BinFalse547691

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

386:    tx_trigger_ssp <= '1' when (tx_trigger_q = '1' and sp_control = SECONDARY_SAMPLE
Evaluated toCountThreshold
BinTrue1944791
BinFalse227215181

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:

 SCAN_MODE
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
Bin016384801
Bin106368811

Port:

 TRV_DELAY
ElementFromToCountThreshold
Bin(7)01231
Bin(7)1016241
Bin(6)01381
Bin(6)1016391
Bin(5)01691
Bin(5)1016701
Bin(4)01861
Bin(4)1016871
Bin(3)01771
Bin(3)1016781
Bin(2)01851
Bin(2)1016861
Bin(1)0121781
Bin(1)1037791
Bin(0)01671
Bin(0)1016681

Port:

 SYNC_EDGE
FromToCountThreshold
Bin0115626641
Bin1015642651

Port:

 RX_DATA_WBS
FromToCountThreshold
Bin0114098921
Bin1014082911

Port:

 BIT_ERR
FromToCountThreshold
Bin01101091
Bin10117101

Signal:

 DATA_RX_SYNCED
FromToCountThreshold
Bin0114098921
Bin1014082911

Signal:

 PREV_SAMPLE
FromToCountThreshold
Bin0113990381
Bin1013974371

Signal:

 SAMPLE_SEC
FromToCountThreshold
Bin011952301
Bin101968311

Signal:

 DATA_TX_DELAYED
FromToCountThreshold
Bin011006721
Bin10990711

Signal:

 EDGE_RX_VALID
FromToCountThreshold
Bin0114082911
Bin1014098921

Signal:

 EDGE_TX_VALID
FromToCountThreshold
Bin016385091
Bin106401101

Signal:

 SSP_DELAY
ElementFromToCountThreshold
Bin(8)01151
Bin(8)1016161
Bin(7)01321
Bin(7)1016331
Bin(6)01441
Bin(6)1016451
Bin(5)01661
Bin(5)1016671
Bin(4)01601
Bin(4)1016611
Bin(3)012681
Bin(3)1018691
Bin(2)019421
Bin(2)1025431
Bin(1)012401
Bin(1)1018411
Bin(0)019181
Bin(0)1025191

Signal:

 TX_TRIGGER_Q
FromToCountThreshold
Bin01114279381
Bin10114295391

Signal:

 TX_TRIGGER_SSP
FromToCountThreshold
Bin011944791
Bin101960801

Signal:

 SHIFT_REGS_RES_D
FromToCountThreshold
Bin01343091
Bin10327081

Signal:

 SHIFT_REGS_RES_Q_SCAN
FromToCountThreshold
Bin01407901
Bin10407791

Signal:

 SSP_ENABLE
FromToCountThreshold
Bin0137511
Bin1053521

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
BinFalse359101
BinTrue327081

"and" expression on line 386:

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

LHSRHSCountThreshold
BinTrueFalse112334591
BinTrueTrue1944791

"=" expression on line 386:

 tx_trigger_q = '1' 
Evaluated toCountThreshold
BinFalse114880591
BinTrue114279381

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: