NVC code coverage report

Back to summary

Coverage report for file:

File:  ../../Sources/A12_variables_update.vhd

Current File:

File Statement Branch Toggle Expression FSM state Functional Average
A12_variables_update.vhd 100.0 % (19/19) 100.0 % (4/4) N.A. N.A. N.A. N.A. 100.0 % (23/23)

Details:

Statement Branch Toggle Expression FSM state Functional

Uncovered statements:

Excluded statements:

Covered statements:

If statement on lines 50 to 51:

50:  sDoRescale <= '1' when (iNq = to_unsigned(RESET, iNq'length)) else 
51:                '0'; 

Count: 89788
Threshold: 1

Signal assignment statement on line 50:

50:  sDoRescale <= '1' when (iNq = to_unsigned(RESET, iNq'length)) else 
Count: 1621
Threshold: 1

Signal assignment statement on line 51:

51:                '0'
Count: 88167
Threshold: 1

Signal assignment statement on line 53:

53:  sErrorAbsExtend <= resize(unsigned(abs(iErrorVal)), A_WIDTH)
Count: 92252
Threshold: 1

Signal assignment statement on line 55:

55:  sAqNew <= iAq + sErrorAbsExtend
Count: 183004
Threshold: 1

Signal assignment statement on line 56:

56:  sBqNew <= iBq + resize(iErrorVal, B_WIDTH)
Count: 92697
Threshold: 1

Signal assignment statement on line 57:

57:  sNqNew <= iNq + 1
Count: 89788
Threshold: 1

Signal assignment statement on line 60:

60:  sARescale <= shift_right(sAqNew, 1)
Count: 182994
Threshold: 1

Signal assignment statement on line 61:

61:  sBRescale <= shift_right(sBqNew, 1); -- arithmetic >> 1 => floor for negatives 
Count: 92440
Threshold: 1

Signal assignment statement on line 62:

62:  sNRescale <= shift_right(iNq, 1) + 1
Count: 89788
Threshold: 1

If statement on lines 64 to 65:

64:  oAq <= sARescale when sDoRescale = '1' else 
65:         sAqNew; 

Count: 274948
Threshold: 1

Signal assignment statement on line 64:

64:  oAq <= sARescale when sDoRescale = '1' else 
Count: 4961
Threshold: 1

Signal assignment statement on line 65:

65:         sAqNew
Count: 269987
Threshold: 1

If statement on lines 66 to 67:

66:  oBq <= sBRescale when sDoRescale = '1' else 
67:         sBqNew; 

Count: 184484
Threshold: 1

Signal assignment statement on line 66:

66:  oBq <= sBRescale when sDoRescale = '1' else 
Count: 3284
Threshold: 1

Signal assignment statement on line 67:

67:         sBqNew
Count: 181200
Threshold: 1

If statement on lines 68 to 69:

68:  oNq <= sNRescale when sDoRescale = '1' else 
69:         sNqNew; 

Count: 89799
Threshold: 1

Signal assignment statement on line 68:

68:  oNq <= sNRescale when sDoRescale = '1' else 
Count: 1621
Threshold: 1

Signal assignment statement on line 69:

69:         sNqNew
Count: 88178
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

50:  sDoRescale <= '1' when (iNq = to_unsigned(RESET, iNq'length)) else 
Evaluated toCountThreshold
BinTrue16211

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

64:  oAq <= sARescale when sDoRescale = '1' else 
Evaluated toCountThreshold
BinTrue49611

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

66:  oBq <= sBRescale when sDoRescale = '1' else 
Evaluated toCountThreshold
BinTrue32841

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

68:  oNq <= sNRescale when sDoRescale = '1' else 
Evaluated toCountThreshold
BinTrue16211

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: