NVC code coverage report

Back to summary

Coverage report for file:

File:  ../../Sources/A6_prediction_correction.vhd

Current File:

File Statement Branch Toggle Expression FSM state Functional Average
A6_prediction_correction.vhd 100.0 % (13/13) 100.0 % (5/5) N.A. N.A. N.A. N.A. 100.0 % (18/18)

Details:

Statement Branch Toggle Expression FSM state Functional

Uncovered statements:

Excluded statements:

Covered statements:

Signal assignment statement on line 45:

45:  sPxPlusCq  <= resize(signed('0' & iPx), EXT_WIDTH) + resize(iCq, EXT_WIDTH); 
Count: 518878
Threshold: 1

Signal assignment statement on line 46:

46:  sPxMinusCq <= resize(signed('0' & iPx), EXT_WIDTH) - resize(iCq, EXT_WIDTH); 
Count: 518878
Threshold: 1

If statement on lines 49 to 51:

49:  sAddSat <= (others => '0') when (sPxPlusCq < ZERO_S) else 
50:             TO_UNSIGNED(MAX_VAL, BITNESS) when (sPxPlusCq > MAX_S) else 
51:             unsigned(sPxPlusCq(BITNESS - 1 downto 0)); 
Count: 518827
Threshold: 1

Signal assignment statement on line 49:

49:  sAddSat <= (others => '0') when (sPxPlusCq < ZERO_S) else 
Count: 37648
Threshold: 1

Signal assignment statement on line 50:

50:             TO_UNSIGNED(MAX_VAL, BITNESS) when (sPxPlusCq > MAX_S) else 
Count: 7191
Threshold: 1

Signal assignment statement on line 51:

51:             unsigned(sPxPlusCq(BITNESS - 1 downto 0)); 
Count: 473988
Threshold: 1

If statement on lines 52 to 54:

52:  sSubSat <= (others => '0') when (sPxMinusCq < ZERO_S) else 
53:             TO_UNSIGNED(MAX_VAL, BITNESS) when (sPxMinusCq > MAX_S) else 
54:             unsigned(sPxMinusCq(BITNESS - 1 downto 0)); 
Count: 518829
Threshold: 1

Signal assignment statement on line 52:

52:  sSubSat <= (others => '0') when (sPxMinusCq < ZERO_S) else 
Count: 18629
Threshold: 1

Signal assignment statement on line 53:

53:             TO_UNSIGNED(MAX_VAL, BITNESS) when (sPxMinusCq > MAX_S) else 
Count: 23922
Threshold: 1

Signal assignment statement on line 54:

54:             unsigned(sPxMinusCq(BITNESS - 1 downto 0)); 
Count: 476278
Threshold: 1

If statement on lines 57 to 58:

57:  oPx <= sAddSat when iSign = CO_SIGN_POS else 
58:         sSubSat; 
Count: 663819
Threshold: 1

Signal assignment statement on line 57:

57:  oPx <= sAddSat when iSign = CO_SIGN_POS else 
Count: 308149
Threshold: 1

Signal assignment statement on line 58:

58:         sSubSat; 
Count: 355670
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

49:  sAddSat <= (others => '0') when (sPxPlusCq < ZERO_S) else 
Evaluated toCountThreshold
BinTrue376481

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

50:             TO_UNSIGNED(MAX_VAL, BITNESS) when (sPxPlusCq > MAX_S) else 
Evaluated toCountThreshold
BinTrue71911

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

52:  sSubSat <= (others => '0') when (sPxMinusCq < ZERO_S) else 
Evaluated toCountThreshold
BinTrue186291

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

53:             TO_UNSIGNED(MAX_VAL, BITNESS) when (sPxMinusCq > MAX_S) else 
Evaluated toCountThreshold
BinTrue239221

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

57:  oPx <= sAddSat when iSign = CO_SIGN_POS else 
Evaluated toCountThreshold
BinTrue3081491

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: