NVC code coverage report

Back to summary

Coverage report for file:

File:  ../../Sources/A11_error_mapping.vhd

Current File:

File Statement Branch Toggle Expression FSM state Functional Average
A11_error_mapping.vhd 100.0 % (20/20) 100.0 % (5/5) N.A. N.A. N.A. N.A. 100.0 % (25/25)

Details:

Statement Branch Toggle Expression FSM state Functional

Uncovered statements:

Excluded statements:

Covered statements:

Signal assignment statement on line 53:

53:  sErrorValExt <= resize(iErrorVal, sErrorValExt'length)
Count: 92420
Threshold: 1

Signal assignment statement on line 55:

55:  sBExt <= resize(iBq, sBExt'length)
Count: 77553
Threshold: 1

Signal assignment statement on line 59:

59:  sNExt <= signed(resize(iNq, sBExt'length))
Count: 89990
Threshold: 1

If statement on lines 61 to 62:

61:  sSpecialMap <= '1' when (iK = 0 and 2 * sBExt <= - sNExt) else 
62:                 '0'; 

Count: 137999
Threshold: 1

Signal assignment statement on line 61:

61:  sSpecialMap <= '1' when (iK = 0 and 2 * sBExt <= - sNExt) else 
Count: 11607
Threshold: 1

Signal assignment statement on line 62:

62:                 '0'
Count: 126392
Threshold: 1

If statement on lines 65 to 66:

65:  sErrEqualGreaterZero <= '1' when iErrorVal >= 0 else 
66:                          '0'; 

Count: 92420
Threshold: 1

Signal assignment statement on line 65:

65:  sErrEqualGreaterZero <= '1' when iErrorVal >= 0 else 
Count: 49351
Threshold: 1

Signal assignment statement on line 66:

66:                          '0'
Count: 43069
Threshold: 1

Signal assignment statement on line 69:

69:  sErrU    <= resize(unsigned(iErrorVal), sErrU'length); -- Only used when ErrorVal >= 0, conversion is safe 
Count: 92420
Threshold: 1

Signal assignment statement on line 70:

70:  sErrAbsU <= resize(unsigned(abs(sErrorValExt)), sErrAbsU'length)
Count: 92420
Threshold: 1

Signal assignment statement on line 73:

73:  sMapErrorSpecialPos <= resize((2 * sErrU) + 1, sMapErrorSpecialPos'length)
Count: 92431
Threshold: 1

Signal assignment statement on line 74:

74:  sMapErrorSpecialNeg <= resize((2 * sErrAbsU) - 2, sMapErrorSpecialNeg'length)
Count: 92139
Threshold: 1

Signal assignment statement on line 77:

77:  sMapErrorRegPos <= resize(2 * sErrU, sMapErrorRegPos'length)
Count: 92431
Threshold: 1

Signal assignment statement on line 78:

78:  sMapErrorRegNeg <= resize((2 * sErrAbsU) - 1, sMapErrorRegNeg'length)
Count: 92139
Threshold: 1

If statement on lines 81 to 84:

81:  oMappedErrorVal <= sMapErrorSpecialPos when (sSpecialMap = '1' and sErrEqualGreaterZero = '1') else 
82:                     sMapErrorSpecialNeg when (sSpecialMap = '1' and sErrEqualGreaterZero = '0') else 
83:                     sMapErrorRegPos when (sSpecialMap = '0' and sErrEqualGreaterZero = '1') else 
84:                     sMapErrorRegNeg; -- last case (Errval<0) 

Count: 234938
Threshold: 1

Signal assignment statement on line 81:

81:  oMappedErrorVal <= sMapErrorSpecialPos when (sSpecialMap = '1' and sErrEqualGreaterZero = '1') else 
Count: 18862
Threshold: 1

Signal assignment statement on line 82:

82:                     sMapErrorSpecialNeg when (sSpecialMap = '1' and sErrEqualGreaterZero = '0') else 
Count: 325
Threshold: 1

Signal assignment statement on line 83:

83:                     sMapErrorRegPos when (sSpecialMap = '0' and sErrEqualGreaterZero = '1') else 
Count: 107696
Threshold: 1

Signal assignment statement on line 84:

84:                     sMapErrorRegNeg; -- last case (Errval<0) 
Count: 108055
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

61:  sSpecialMap <= '1' when (iK = 0 and 2 * sBExt <= - sNExt) else 
Evaluated toCountThreshold
BinTrue116071

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

65:  sErrEqualGreaterZero <= '1' when iErrorVal >= 0 else 
Evaluated toCountThreshold
BinTrue493511

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

81:  oMappedErrorVal <= sMapErrorSpecialPos when (sSpecialMap = '1' and sErrEqualGreaterZero = '1') else 
Evaluated toCountThreshold
BinTrue188621

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

82:                     sMapErrorSpecialNeg when (sSpecialMap = '1' and sErrEqualGreaterZero = '0') else 
Evaluated toCountThreshold
BinTrue3251

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

83:                     sMapErrorRegPos when (sSpecialMap = '0' and sErrEqualGreaterZero = '1') else 
Evaluated toCountThreshold
BinTrue1076961

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: