Covered statements:
If statement on lines 69 to 74:
69: if (iRiMode = '1') then
70: vJ := CO_J_TABLE(to_integer(iRunIndex));
71: vThreshold := LIMIT - vJ - QBPP - 2;
72: else
73: vThreshold := REG_THRESHOLD;
74: end if;
Count: 93526
Threshold: 1
Variable assignment statement on line 70:
70: vJ := CO_J_TABLE(to_integer(iRunIndex));
Count: 1028
Threshold: 1
Variable assignment statement on line 71:
71: vThreshold := LIMIT - vJ - QBPP - 2;
Count: 1028
Threshold: 1
Variable assignment statement on line 73:
73: vThreshold := REG_THRESHOLD;
Count: 92498
Threshold: 1
Variable assignment statement on line 76:
76: vKInt := to_integer(iK);
Count: 93526
Threshold: 1
Variable assignment statement on line 78:
78: vHighOrder := shift_right(iMappedErrorVal, vKInt);
Count: 93526
Threshold: 1
Variable assignment statement on line 80:
80: vLowOrder := iMappedErrorVal - shift_left(vHighOrder, vKInt);
Count: 93526
Threshold: 1
Variable assignment statement on line 82:
82: vIsEscape := (vHighOrder >= vThreshold);
Count: 93526
Threshold: 1
If statement on lines 84 to 103:
84: if (not vIsEscape) then
85: vUnaryZeros := resize(vHighOrder, vUnaryZeros'length);
...
102: vSuffixVal(QBPP - 1 downto 0) := vMappedErrorDec(QBPP - 1 downto 0);
103: end if;
Count: 93526
Threshold: 1
Variable assignment statement on line 85:
85: vUnaryZeros := resize(vHighOrder, vUnaryZeros'length);
Count: 90101
Threshold: 1
Variable assignment statement on line 86:
86: vSuffixLen := resize(iK, vSuffixLen'length);
Count: 90101
Threshold: 1
Variable assignment statement on line 88:
88: vSuffixVal := resize(vLowOrder, vSuffixVal'length);
Count: 90101
Threshold: 1
Assertion statement on lines 91 to 93:
91: assert (iMappedErrorVal /= 0) -- Catch impossible case on simulation set
92: report "LG(k,LIMIT) escape with MErrval=0 is impossible per T.87/14495-1"
93: severity failure;
Count: 3425
Threshold: 1
Variable assignment statement on line 96:
96: vUnaryZeros := to_unsigned(vThreshold, vUnaryZeros'length);
Count: 3425
Threshold: 1
Variable assignment statement on line 97:
97: vSuffixLen := to_unsigned(QBPP, vSuffixLen'length);
Count: 3425
Threshold: 1
Variable assignment statement on line 99:
99: vMappedErrorDec := iMappedErrorVal - 1; -- MErrval is guaranteed to be greater than 1 when escape
Count: 3425
Threshold: 1
Variable assignment statement on line 101:
101: vSuffixVal := (others => '0');
Count: 3425
Threshold: 1
Variable assignment statement on line 102:
102: vSuffixVal(QBPP - 1 downto 0) := vMappedErrorDec(QBPP - 1 downto 0);
Count: 3425
Threshold: 1
Signal assignment statement on line 105:
105: oUnaryZeros <= vUnaryZeros;
Count: 93526
Threshold: 1
Signal assignment statement on line 106:
106: oSuffixLen <= vSuffixLen;
Count: 93526
Threshold: 1
Signal assignment statement on line 107:
107: oSuffixVal <= vSuffixVal;
Count: 93526
Threshold: 1