NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_RST_SYNC

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


Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_RST_SYNC 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: 1096781118
Threshold: 1

Signal assignment statement on line 105:

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

Signal assignment statement on line 106:

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

Signal assignment statement on line 108:

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

Signal assignment statement on line 109:

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

Uncovered branches:

Excluded branches:

Covered branches:

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

104:        if (arst = G_RESET_POLARITY) then 
Evaluated toCountThreshold
BinTrue222721
BinFalse10967588461

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

107:        elsif (rising_edge(clk)) then 
Evaluated toCountThreshold
BinTrue5483734951
BinFalse5483853511

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
BinFalse10967588461
BinTrue222721

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: