NVC code coverage report

Back to summary

Coverage report for file:

File:  ../../Sources/A23_run_interruption_update.vhd

Current File:

File Statement Branch Toggle Expression FSM state Functional Average
A23_run_interruption_update.vhd 100.0 % (14/14) 100.0 % (2/2) N.A. N.A. N.A. N.A. 100.0 % (16/16)

Details:

Statement Branch Toggle Expression FSM state Functional

Uncovered statements:

Excluded statements:

Covered statements:

Variable assignment statement on line 48:

48:    vAq := to_integer(iAq); 
Count: 93058
Threshold: 1

Variable assignment statement on line 49:

49:    vNq := to_integer(iNq); 
Count: 93058
Threshold: 1

Variable assignment statement on line 50:

50:    vNn := to_integer(iNn); 
Count: 93058
Threshold: 1

If statement on lines 52 to 54:

52:    if (iErrVal < 0) then 
53:      vNn := vNn + 1; 
54:    end if; 
Count: 93058
Threshold: 1

Variable assignment statement on line 53:

53:      vNn := vNn + 1; 
Count: 43200
Threshold: 1

Variable assignment statement on line 57:

57:    vAq := vAq + abs(to_integer(iErrVal)) - std_to_int(iRiType); 
Count: 93058
Threshold: 1

If statement on lines 59 to 63:

59:    if (vNq = integer(RESET)) then 
60:      vAq := vAq / 2; 
61:      vNq := vNq / 2; 
62:      vNn := vNn / 2; 
63:    end if; 
Count: 93058
Threshold: 1

Variable assignment statement on line 60:

60:      vAq := vAq / 2; 
Count: 1757
Threshold: 1

Variable assignment statement on line 61:

61:      vNq := vNq / 2; 
Count: 1757
Threshold: 1

Variable assignment statement on line 62:

62:      vNn := vNn / 2; 
Count: 1757
Threshold: 1

Variable assignment statement on line 65:

65:    vNq := vNq + 1; 
Count: 93058
Threshold: 1

Signal assignment statement on line 67:

67:    oAq <= to_unsigned(vAq, oAq'length); 
Count: 93058
Threshold: 1

Signal assignment statement on line 68:

68:    oNq <= to_unsigned(vNq, oNq'length); 
Count: 93058
Threshold: 1

Signal assignment statement on line 69:

69:    oNn <= to_unsigned(vNn, oNn'length); 
Count: 93058
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

52:    if (iErrVal < 0) then 
Evaluated toCountThreshold
BinTrue432001

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

59:    if (vNq = integer(RESET)) then 
Evaluated toCountThreshold
BinTrue17571

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: