NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.RST_SYNC_INST

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


Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.RST_SYNC_INST 100.0 % (5/5) 100.0 % (4/4) 100.0 % (8/8) 100.0 % (2/2) N.A. N.A. 100.0 % (19/19)

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

104:        if (arst = G_RESET_POLARITY) then 
105:            rff <= G_RESET_POLARITY; 
...
109:            rst <= rff; 
110:        end if; 

Count: 1090018003
Threshold: 1

Signal assignment statement on line 105:

105:            rff <= G_RESET_POLARITY; 
Count: 22317
Threshold: 1

Signal assignment statement on line 106:

106:            rst <= G_RESET_POLARITY; 
Count: 22317
Threshold: 1

Signal assignment statement on line 108:

108:            rff <= not (G_RESET_POLARITY); 
Count: 544991935
Threshold: 1

Signal assignment statement on line 109:

109:            rst <= rff; 
Count: 544991935
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

104:        if (arst = G_RESET_POLARITY) then 
Evaluated toCountThreshold
BinTrue223171
BinFalse10899956861

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

107:        elsif (rising_edge(clk)) then 
Evaluated toCountThreshold
BinTrue5449919351
BinFalse5450037511

Uncovered toggles:

Excluded toggles:

Port:

 CLK
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 ARST
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Covered toggles:

Port:

 RST
FromToCountThreshold
Bin0171761
Bin1071761

Signal:

 RFF
FromToCountThreshold
Bin0187771
Bin1071761

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression on line 104:

 arst = G_RESET_POLARITY 
Evaluated toCountThreshold
BinFalse10899956861
BinTrue223171

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: