NVC code coverage report

Back to summary

Coverage report for file:

File:  ../../Sources/A19_run_interruption_error.vhd

Current File:

File Statement Branch Toggle Expression FSM state Functional Average
A19_run_interruption_error.vhd 100.0 % (11/11) 100.0 % (3/3) N.A. N.A. N.A. N.A. 100.0 % (14/14)

Details:

Statement Branch Toggle Expression FSM state Functional

Uncovered statements:

Excluded statements:

Covered statements:

If statement on lines 46 to 52:

46:    if (iRItype = '0' and iRa > iRb) then 
47:      vErr  := - to_integer(iErrval); 
...
51:      oSign <= CO_SIGN_POS; 
52:    end if; 

Count: 92499
Threshold: 1

Variable assignment statement on line 47:

47:      vErr  := - to_integer(iErrval); 
Count: 49610
Threshold: 1

Signal assignment statement on line 48:

48:      oSign <= CO_SIGN_NEG; 
Count: 49610
Threshold: 1

Variable assignment statement on line 50:

50:      vErr  := to_integer(iErrval); 
Count: 42889
Threshold: 1

Signal assignment statement on line 51:

51:      oSign <= CO_SIGN_POS; 
Count: 42889
Threshold: 1

Variable assignment statement on line 55:

55:    vErrAdj := vErr; 
Count: 92499
Threshold: 1

If statement on lines 57 to 59:

57:    if (vErrAdj < 0) then 
58:      vErrAdj := vErrAdj + RANGE_P; 
59:    end if; 

Count: 92499
Threshold: 1

Variable assignment statement on line 58:

58:      vErrAdj := vErrAdj + RANGE_P; 
Count: 156
Threshold: 1

If statement on lines 61 to 63:

61:    if (vErrAdj >= (RANGE_P + 1) / 2) then 
62:      vErrAdj := vErrAdj - RANGE_P; 
63:    end if; 

Count: 92499
Threshold: 1

Variable assignment statement on line 62:

62:      vErrAdj := vErrAdj - RANGE_P; 
Count: 236
Threshold: 1

Signal assignment statement on line 65:

65:    oErrval <= to_signed(vErrAdj, oErrval'length); 
Count: 92499
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

46:    if (iRItype = '0' and iRa > iRb) then 
Evaluated toCountThreshold
BinTrue496101

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

57:    if (vErrAdj < 0) then 
Evaluated toCountThreshold
BinTrue1561

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

61:    if (vErrAdj >= (RANGE_P + 1) / 2) then 
Evaluated toCountThreshold
BinTrue2361

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: