NVC code coverage report

Back to summary

Coverage report for file:

File:  ../../Sources/A9_modulo_reduction.vhd

Current File:

File Statement Branch Toggle Expression FSM state Functional Average
A9_modulo_reduction.vhd 100.0 % (7/7) 100.0 % (2/2) N.A. N.A. N.A. N.A. 100.0 % (9/9)

Details:

Statement Branch Toggle Expression FSM state Functional

Uncovered statements:

Excluded statements:

Covered statements:

Signal assignment statement on line 39:

39:  sExt <= resize(iErrorVal, BITNESS + 2); 
Count: 912882
Threshold: 1

If statement on lines 41 to 42:

41:  sErrAdj <= sExt + RANGE_S when iErrorVal < 0 else 
42:             sExt; 
Count: 1635694
Threshold: 1

Signal assignment statement on line 41:

41:  sErrAdj <= sExt + RANGE_S when iErrorVal < 0 else 
Count: 745640
Threshold: 1

Signal assignment statement on line 42:

42:             sExt; 
Count: 890054
Threshold: 1

If statement on lines 44 to 45:

44:  oErrorVal <= resize(sErrAdj - RANGE_S, BITNESS + 1) when sErrAdj >= (RANGE_P + 1) / 2 else 
45:               resize(sErrAdj, BITNESS + 1); 
Count: 1167711
Threshold: 1

Signal assignment statement on line 44:

44:  oErrorVal <= resize(sErrAdj - RANGE_S, BITNESS + 1) when sErrAdj >= (RANGE_P + 1) / 2 else 
Count: 587493
Threshold: 1

Signal assignment statement on line 45:

45:               resize(sErrAdj, BITNESS + 1); 
Count: 580218
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

41:  sErrAdj <= sExt + RANGE_S when iErrorVal < 0 else 
Evaluated toCountThreshold
BinTrue7456401

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

44:  oErrorVal <= resize(sErrAdj - RANGE_S, BITNESS + 1) when sErrAdj >= (RANGE_P + 1) / 2 else 
Evaluated toCountThreshold
BinTrue5874931

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: