NVC code coverage report

Back to summary

Coverage report for file:

File:  ../../Sources/context_ram.vhd

Current File:

File Statement Branch Toggle Expression FSM state Functional Average
context_ram.vhd 100.0 % (18/18) 100.0 % (9/9) N.A. N.A. N.A. N.A. 100.0 % (27/27)

Details:

Statement Branch Toggle Expression FSM state Functional

Uncovered statements:

Excluded statements:

Covered statements:

If statement on lines 96 to 109:

96:    if rising_edge(iClk) then 
97:      if (iRst = '1') then 
...
108:      end if; 
109:    end if; 

Count: 204936
Threshold: 1

If statement on lines 97 to 108:

97:      if (iRst = '1') then 
98:        sUseInitValue <= (others => '1'); 
...
107:        end if; 
108:      end if; 

Count: 102468
Threshold: 1

Signal assignment statement on line 98:

98:        sUseInitValue <= (others => '1'); 
Count: 302
Threshold: 1

If statement on lines 100 to 103:

100:        if (iRdEn = '1') then 
101:          sUseInitReg                                  <= sUseInitValue(to_integer(unsigned(iRdAddr))); 
102:          sUseInitValue(to_integer(unsigned(iRdAddr))) <= '0'; 
103:        end if; 

Count: 102166
Threshold: 1

Signal assignment statement on line 101:

101:          sUseInitReg                                  <= sUseInitValue(to_integer(unsigned(iRdAddr))); 
Count: 84932
Threshold: 1

Signal assignment statement on line 102:

102:          sUseInitValue(to_integer(unsigned(iRdAddr))) <= '0'; 
Count: 84932
Threshold: 1

If statement on lines 105 to 107:

105:        if (iEndOfImage = '1') then 
106:          sUseInitValue <= (others => '1'); 
107:        end if; 

Count: 102166
Threshold: 1

Signal assignment statement on line 106:

106:          sUseInitValue <= (others => '1'); 
Count: 180
Threshold: 1

If statement on lines 116 to 124:

116:    if rising_edge(iClk) then 
117:      if (iRst = '1') then 
...
123:      end if; 
124:    end if; 

Count: 204936
Threshold: 1

If statement on lines 117 to 123:

117:      if (iRst = '1') then 
118:        sFwdSameReg <= '0'; 
...
122:        sWrDataReg  <= iWrData; 
123:      end if; 

Count: 102468
Threshold: 1

Signal assignment statement on line 118:

118:        sFwdSameReg <= '0'; 
Count: 302
Threshold: 1

Signal assignment statement on line 119:

119:        sWrDataReg  <= (others => '0'); 
Count: 302
Threshold: 1

Signal assignment statement on line 121:

121:        sFwdSameReg <= iWrEn and bool2bit(iWrAddr = iRdAddr); 
Count: 84932
Threshold: 1

Signal assignment statement on line 122:

122:        sWrDataReg  <= iWrData; 
Count: 84932
Threshold: 1

If statement on lines 128 to 130:

128:  oRdData <= CTX_INIT when sUseInitReg = '1' else 
129:             sWrDataReg when sFwdSameReg = '1' else 
130:             sBramRdData; 

Count: 159852
Threshold: 1

Signal assignment statement on line 128:

128:  oRdData <= CTX_INIT when sUseInitReg = '1' else 
Count: 9687
Threshold: 1

Signal assignment statement on line 129:

129:             sWrDataReg when sFwdSameReg = '1' else 
Count: 41138
Threshold: 1

Signal assignment statement on line 130:

130:             sBramRdData
Count: 109027
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

96:    if rising_edge(iClk) then 
Evaluated toCountThreshold
BinTrue1024681

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

97:      if (iRst = '1') then 
Evaluated toCountThreshold
BinTrue3021

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

100:        if (iRdEn = '1') then 
Evaluated toCountThreshold
BinTrue849321

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

105:        if (iEndOfImage = '1') then 
Evaluated toCountThreshold
BinTrue1801

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

116:    if rising_edge(iClk) then 
Evaluated toCountThreshold
BinTrue1024681

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

117:      if (iRst = '1') then 
Evaluated toCountThreshold
BinTrue3021

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

120:      elsif (iRdEn = '1') then 
Evaluated toCountThreshold
BinTrue849321

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

128:  oRdData <= CTX_INIT when sUseInitReg = '1' else 
Evaluated toCountThreshold
BinTrue96871

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

129:             sWrDataReg when sFwdSameReg = '1' else 
Evaluated toCountThreshold
BinTrue411381

Uncovered toggles:

Excluded toggles:

Covered toggles:

Uncovered expressions:

Excluded expressions:

Covered expressions:

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: