NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.BUS_SAMPLING_INST.CAN_RX_SIG_SYNC_INST

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


Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.BUS_SAMPLING_INST.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)

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 110 to 116:

110:        if (arst = G_RESET_POLARITY) then 
111:            rff     <= G_RESET_VALUE; 
...
115:            sync    <= rff; 
116:        end if; 

Count: 1090018206
Threshold: 1

Signal assignment statement on line 111:

111:            rff     <= G_RESET_VALUE; 
Count: 2424883
Threshold: 1

Signal assignment statement on line 112:

112:            sync    <= G_RESET_VALUE; 
Count: 2424883
Threshold: 1

Signal assignment statement on line 114:

114:            rff     <= async; 
Count: 543791678
Threshold: 1

Signal assignment statement on line 115:

115:            sync    <= rff; 
Count: 543791678
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

110:        if (arst = G_RESET_POLARITY) then 
Evaluated toCountThreshold
BinTrue24248831
BinFalse10875933231

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

113:        elsif (rising_edge(clk)) then 
Evaluated toCountThreshold
BinTrue5437916781
BinFalse5438016451

Uncovered toggles:

Excluded toggles:

Port:

 ARST
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 CLK
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 ASYNC
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Covered toggles:

Port:

 SYNC
FromToCountThreshold
Bin0114025281
Bin1014009281

Signal:

 RFF
FromToCountThreshold
Bin0114025281
Bin1014009281

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression on line 110:

 arst = G_RESET_POLARITY 
Evaluated toCountThreshold
BinFalse10875933231
BinTrue24248831

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: